稲垣 康善

J-GLOBALへ         更新日: 14/05/02 11:04
 
アバター
研究者氏名
稲垣 康善
 
イナガキ ヤスヨシ
所属
豊橋技術科学大学
部署
リーディング大学院教育推進機構
職名
特命教授
学位
工学博士

研究分野

 
 

学歴

 
 
 - 
1967年
名古屋大学 工学研究科 電子工学専攻
 
 
 - 
1962年
名古屋大学 工学部 電子工学科
 

委員歴

 
1996年
   
 
電子情報通信学会  情報システムソサイエティ会長
 
1992年
 - 
1993年
情報処理学会  理事
 
1992年
 - 
1993年
人工知能学会  理事
 
1987年
 - 
1988年
ソフトウェア科学会  理事
 

受賞

 
1992年
電子情報通信学会論文賞
 
1966年
電気通信学会稲田賞
 

Misc

 
文字列書換え系における効率的な最外戦略の実現法
電子情報通信学会論文誌   J77-D-I(1) 12-19   1994年
項書換え系における並列最外戦略の効率的な実現法
電子情報通信学会論文誌   J77-D-I(10) 693-702   1994年
Simple Objectにおけるクラス定義単位の型制約導出と型検査
情報処理学会プログラミング-言語・基礎・実践研究会資料   14-7 57-64   1993年
LFGと文脈状態に基づく日本語テキストの意味解析
信学技法   NLC93-49 9-16   1993年
日本語とウイグル語の助詞の対応関係とその機械翻訳への応用
信学技報   NLC93-60 45-52   1993年

書籍等出版物

 
形式的モデルと意味論(コンピュータ基礎理論ハンドブックII)(訳書)
丸善   1994年   

Works

 
欧州主要大学の工学教育におけるコンピュータ利用状況調査
1995年
大学等における情報処理教育のための調査研究
1992年

競争的資金等の研究課題

 
ソフトウェアの形式的仕様記述,検証,自動生成
自然言語処理
データ構造とアルゴリズム