岩沼 宏治

J-GLOBALへ         更新日: 03/12/04 00:00
 
アバター
研究者氏名
岩沼 宏治
 
イワヌマ コウジ
URL
http://www.kki.media.yamanashi.ac.jp/~iwanuma
所属
山梨大学
部署
大学院医学工学総合研究部 生体環境医工学系 山梨大学 大学院医学工学総合研究部 生体環境医工学系
職名
教授
学位
工学博士(東北大学)

研究分野

 
 

経歴

 
1985年4月
   
 
山形大学助手(工学部)
 
1990年4月
   
 
山梨大学講師(工学部)
 
1992年4月
   
 
山梨大学助教授(工学部)
 
2002年10月
   
 
山梨大学教授
 
2004年4月
   
 
山梨大学総合情報処理センター長
 

学歴

 
 
 - 
1985年
東北大学大学院  
 

委員歴

 
1990年4月
 - 
1992年3月
新世代コンピュータ技術開発機構,演繹・オブジェクト指向データベース専門委員会 委員
 
1992年5月
   
 
電子情報通信学会・人工知能と知識処理研究専門委員会 専門委員
 
1994年4月
 - 
1996年3月
人工知能学会・人工知能基礎論研究会 専門委員
 
1996年6月
 - 
2004年5月
電子情報通信学会・人工知能と知識処理研究専門委員会 幹事
 
1999年6月
 - 
2000年5月
電子情報通信学会・英文論文誌 Information & Systems 編集委員
 

受賞

 
1987年
1987年度人工知能学会全国大学優秀論文賞
 
1989年
1989年度人工知能学会全国大学優秀論文賞
 
1990年
1990年度人工知能学会全国大学優秀論文賞
 
1991年
1991年度人工知能学会全国大学優秀論文賞
 
2004年
第3回情報科学技術フォーラム(FIT2004)優秀論文賞
 

Misc

 
時空間様相論理ETSLとその決定手続き
岩沼宏治,原尾政輝,野口正一
電子通信学会論文誌D   J69-D(3) 365-374   1986年
Knowledge Representation and Inference Based on First-Order Modal Logic
KojiIwanuma,Masateru Harao
Proc. of International Conference on Fifth Generation Computer systems   449-506   1988年
定理証明的手法による再帰方程式からの回路の自動合成
原尾政輝,岩沼宏治
電子情報通信学会論文誌D-Ⅱ   J72-D-Ⅱ(5) 132-141   1989年
述語サーカムスクリプションにおける質問変換の正規化戦略
岩沼宏治,原尾政輝,野口正一
人工知能学会誌   5(5) 617-626   1990年
一階理論に対する単一名公理の計算法
太田和彦,岩沼宏治
コンピュータソフトエア   12(2) 67-75   1994年

書籍等出版物

 
プログラム理論と様相論理
1986年   
プログラム理論における時相論理
産業調査会   1989年   
人工知能の基礎論の計算論,記号計算,知識表現と推論、学習等に関する24項目
コロナ社   1999年   
近年の定理自動証明技術
2001年   
執筆担当部分:「定理自動証明」と「導出原理」
共立出版   2005年   

競争的資金等の研究課題

 
定理自動証明
不完全情報環境と推論
WEB インテリジェンス
系列データマイニング
automated theorem proving