著者

中村 正幸 楊 毓英 窪田 昭真 清水 洋 三浦 裕 和崎 克己 師玉 康成 滝沢 正臣

出版者

一般社団法人 日本医学物理学会

雑誌

医学物理 (ISSN:13455354)

巻号頁・発行日

vol.23, no.1, pp.30-39, 2003

---

A network of the emergency telemedicine for mountain climbers in Japan Alps area has been developed. The network consists of 2.4GHz wireless LAN with over 30 km distance to be connected the Cable TV LAN. We confirmed that this network is able to transfer the high quality video and audio signal suitable for the telemedicine between the mountain huts and hospitals. In this paper, we pointed out the shortcomings of wireless LAN system and cable TV network system in use, for the telemedicine, and wireless LAN module covered more than 30km and a extension system of upstream frequency bandwidth for Cable TV network. Experiments suggested that a low cost and long distance wireless LAN is useful for mountain climber's emergency telemedicine.

著者

辻井 弘忠

出版者

信州大学農学部附属アルプス圏フィールド科学教育研究センター

雑誌

信州大学農学部AFC報告 (ISSN:13487892)

巻号頁・発行日

no.1, pp.95-99, 2003-03 (Released:2011-03-05)

---

鹿追町のエゾシカ牧場の概要について記述した。主な点は、野生鹿のエゾシカを飼育繁殖し、全国の鹿牧場のモデルとなるシカの健康管理および血液検査など実地している。雄シカの幼角(鹿茸)を毎年採取して健康酒の原料提供を行っている。また、鹿肉処理場を設置し冬場の農作業の余剰労力を使って、有害駆除で捕獲されるエゾシカの肉を解体し、部位別の肉の処理ならびにソーセージなどの肉加工を行い、全国向けに販売を行っているなどであった。

著者

小川 祐喜子

---

2006

著者

今里 滋

出版者

九州大学

雑誌

法政研究 (ISSN:03872882)

巻号頁・発行日

vol.50, no.2, pp.223-266, 1984-01-25

著者

小野寺 夏生

出版者

学士会

雑誌

学士会会報

巻号頁・発行日

vol.2003, no.1, pp.50-57, 2003-01

被引用文献数

3

著者

今里 滋

出版者

九州大学

雑誌

法政研究 (ISSN:03872882)

巻号頁・発行日

vol.61, no.3, pp.951-1004, 1995-03-20

著者

今里 滋

出版者

学術雑誌目次速報データベース由来

雑誌

年報行政研究 (ISSN:05481570)

巻号頁・発行日

vol.36, pp.112-123, 2001

著者

澤 繁実 伊藤 秀昭 中村 清彦

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. NC, ニューロコンピューティング (ISSN:09135685)

巻号頁・発行日

vol.105, no.341, pp.39-44, 2005-10-10

---

環境から受け取った利得を主観的にどう評価するかの価値関数について研究したプロスペクト理論(Daniel Kahneman and Amos Tversky, 1979)[1]がある.本研究はこのプロスペクト理論の価値関数がヒトにおいてどのように獲得されたかを考察した.「環境における生き残りやすさ」という概念を導入した生存競争によってプロスペクト理論の価値関数の進化心理学的合理性を説明する.そのモデルを構築して数学的解析を行い, プロスペクト理論で示されるように価値関数がgainsの領域では上に凸となり, lossesの領域では下に凸となる条件を見出した.また, Daniel Kahneman and Amos Tversky (1992)[3]が求めたパラメーターに対して当モデルを適用し, ヒトの意志決定に関していくつかの新しい知見を得た.

著者

坂口 和彦 亀山 幸義

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.10, no.1, pp.14-28, 2017-01-06

---

本研究は,対話的定理証明器Coqの有限型と有限ドメイン関数に関する既存ライブラリを改良し,従来のライブラリを用いた証明をほとんど変更することなく,その証明から抽出されるプログラムの効率を大幅に改善したものである.CoqのSSReflect/Mathematical Componentsライブラリは,有限型と有限ドメイン関数をサポートするライブラリfintypeとfinfunを提供し,これらのデータに対する証明の手間を大幅に削減することに成功している.しかし,その証明からプログラム抽出の手法で作成したプログラムは,多くの場合において非常に効率が悪いという問題がある.本研究では,fintypeやfinfunを改善したライブラリを実装した.このライブラリを用いて作成した証明から抽出したOCamlコードは,既存ライブラリの場合と比べて非常に高速である.例として,行列積の計算では,計算時間をおよそO(n5)からO(n3)へ改善できたことを示す.また,既存のSSReflectライブラリを用いたCoqの証明は,ほとんど書き換えることなく本研究のライブラリを用いた証明となる.例として,GonthierらのFeit-Thompson定理の約17万行におよぶ形式証明が,わずか10行以下の修正で,本研究のライブラリを用いた証明にできたことを示す.

著者

富山大学附属図書館中央図書館

出版者

富山大学附属図書館中央図書館

雑誌

LiLi : Library Life

巻号頁・発行日

no.27, pp.1-2, 2017-01

---

富山県内公共図書館との相互貸借がはじまりました!相互貸借とは、他の図書館にある本を取寄せて利用できるサービスのこと。(学内者限定)今までは富山県立図書館にある本のみ取寄せ可能でしたが、富山県内のすべての公共図書館から取寄せ可能になりました。

著者

大武 健一郎

出版者

公益財団法人 日本醸造協会

雑誌

日本醸造協会誌 (ISSN:09147314)

巻号頁・発行日

vol.94, no.5, pp.357-357, 1999-05-15 (Released:2011-09-20)

著者

大畑 真生

出版者

大学院情報理工学系研究科電子情報学専攻

巻号頁・発行日

2007-02-02

---

報告番号: ; 学位授与年月日: 2007-03- ; 学位の種別: 修士; 学位の種類: 修士() ; 学位記番号: 修第号 ; 研究科・専攻: 情報理工学系研究科電子情報学専攻

出版者

日経BP社

雑誌

日経ビジネス (ISSN:00290491)

巻号頁・発行日

no.1229, pp.84-86, 2004-02-16

---

1月11日、北九州市門司区で開かれた消防出初め式。消防団員による伝統的な「まとい振り」などに続き、一見、建設機械を改造したかのような巨大ロボットが出現した。人が歩くほどの速さで会場を行進し、2本の腕を器用に動かして「敬礼」のポーズを取ると、見物客から歓声が上がった。

著者

今野 元 Hajime KONNO

出版者

愛知県立大学外国語学部

雑誌

紀要.地域研究・国際学編 = Journal of the Faculty of Foreign Studies, Aichi Prefectural University: Area Studies and International Relations (ISSN:13420992)

巻号頁・発行日

vol.47, pp.289-308, 2015-03-22

著者

デジタル・キュレーション・センター

出版者

国立国会図書館

巻号頁・発行日

2010-09-01

著者

服部 裕子 藤田 和生

出版者

日本動物心理学会

雑誌

動物心理学研究 (ISSN:09168419)

巻号頁・発行日

vol.58, no.2, 2008-12-25

著者

Choa AN Yumiko OKAMOTO Siyu XU Kyung Yeon EO Junpei KIMURA Naomichi YAMAMOTO

出版者

公益社団法人 日本獣医学会

雑誌

Journal of Veterinary Medical Science (ISSN:09167250)

巻号頁・発行日

pp.16-0472, (Released:2016-12-30)

被引用文献数

19

---

This study aimed at characterizing fecal microbiota of three captive carnivore species of leopard cats Prionailurus bengalensis, Eurasian otters Lutra lutra and raccoon dogs Nyctereutes procyonoides. We used DNA barcoding sequencing to analyze 16S rRNA genes of uncultured bacteria in the feces collected in the Seoul Zoo. The sequencing analyses revealed that: 1) Firmicutes was the most dominant phylum for all three animals; 2) bacterial genus-rank compositions were distinct across species of the animals; and 3) bacterial community memberships were different across species of the studied animals. We expect such baseline information is useful for better understanding of these endangered species and future management of their health in zoos.

著者

新妻 信明

出版者

The Geological Society of Japan

雑誌

日本地質学会学術大会講演要旨 (ISSN:13483935)

巻号頁・発行日

pp.052, 2013 (Released:2014-04-01)

著者

Auchithya Dissanayaka Tito O. Rodriguez Shaokang Di Fan Yan Stephen M. Githiri Felipe Rojas Rodas Jun Abe Ryoji Takahashi

出版者

日本育種学会

雑誌

Breeding Science (ISSN:13447610)

巻号頁・発行日

vol.66, no.3, pp.407-415, 2016 (Released:2016-06-29)

参考文献数

32

被引用文献数

33

---

Time to flowering and maturity in soybean is controlled by loci E1 to E5, and E7 to E9. These loci were assigned to molecular linkage groups (MLGs) except for E5. This study was conducted to map the E5 locus using F2 populations expected to segregate for E5. F2 populations were subjected to quantitative trait locus (QTL) analysis for days to flowering (DF) and maturity (DM). In Harosoy-E5 × Clark-e2 population, QTLs for DF and DM were found at a similar position with E2. In Harosoy × Clark-e2E5 population, QTLs for DF and DM were found in MLG D1a and B1, respectively. In Harosoy-E5Dt2 × Clark-e2 population, a QTL for DF was found in MLG B1. Thus, results from these populations were not fully consistent, and no candidate QTL for E5 was found. In Harosoy × PI 80837 population, from which E5 was originally identified, QTLs corresponding to E1 and E3 were found, but none for E5 existed. Harosoy and PI 80837 had the e2-ns allele whereas Harosoy-E5 had the E2-dl allele. The E2-dl allele of Harosoy-E5 may have been generated by outcrossing and may be responsible for the lateness of Harosoy-E5. We conclude that a unique E5 gene may not exist.

著者

喜多 敏明

出版者

日本未病システム学会

雑誌

日本未病システム学会雑誌 (ISSN:13475541)

巻号頁・発行日

vol.13, no.2, pp.260-262, 2008-03-12 (Released:2010-09-09)

参考文献数

4

被引用文献数

1