著者
堀越 哲美
巻号頁・発行日
2008-07-03

環境と健康:変動する地球環境と人の暮らし.平成20年7月3日~平成20年7月4日.札幌市
著者
片山 喬 吉田 豊彦 近藤 洋一郎 奥村 康
出版者
泌尿器科紀要刊行会
雑誌
泌尿器科紀要 (ISSN:00181994)
巻号頁・発行日
vol.17, no.9, pp.561-567, 1971-09

A five-year-old boy was admitted because of precocious puberty. He suddenly died while various examinations were going on. Autopsy revealed the intraventricular hemorrhage, which is probably cause of his death, from the pineal teratoma. Discussions were made on the relation between sexual precocity and the pineal tumor.
著者
猪股 正廣
出版者
早稲田商学同攻會
雑誌
文化論集 = The Cultural review (ISSN:09184589)
巻号頁・発行日
vol.2, pp.141-153, 1993-02

論文
著者
角田 忠信
出版者
物性研究刊行会
雑誌
物性研究 (ISSN:05252997)
巻号頁・発行日
vol.84, no.2, pp.252-271, 2005-05-20

この論文は国立情報学研究所の電子図書館事業により電子化されました。
著者
Nagoya University Library 名古屋大学附属図書館
巻号頁・発行日
2005-10-07 (Released:2005-10-07)
著者
緒方 和博
雑誌
科学研究費補助金研究成果報告書
巻号頁・発行日
pp.1-5, 2009-04-10

証明支援系とモデル検査器を効果的に利用できるよう、定理証明向きのシステム仕様をモデル検査向きのシステム仕様に自動変換する方法を考案した。変換により、モデル検査向きのシステム仕様が大きくなりすぎて効果的にモデル検査ができなくなることを防ぐための工夫を行った。提案した変換方法の有効性を確認するため、電子商取引プロトコルiKPとMondexの検証実験に適用した。また、変換を支援する変換ツールの拡張性の高い実装方法も提案した。この実装方法では、複数の変換規則をモジュラーに組み入れることを可能にする。