稲垣 康善

• データ構造とアルゴリズム
• 自然言語処理
• ソフトウェアの形式的仕様記述,検証,自動生成
• Data Structure and Algorithm
• Natural Language Processing
Formal Approach to Specification,Correctness and Implementation of Software

• S FENG, T SAKABE, Y INAGAKI. MECHANIZING EXPLICIT INDUCTIVE EQUATIONAL REASONING BY DTRC. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 1995. E78D. 2. 113-121
• 項書換え系における並列最外戦略の効率的な実現法. 電子情報通信学会論文誌. 1994. J77-D-I. 10. 693-702
• 文字列書換え系における効率的な最外戦略の実現法. 電子情報通信学会論文誌. 1994. J77-D-I. 1. 12-19
• An Efficient Implementation of the Outermost Strategy for Term Rewriting Systems. 1994. J77-D-I. 10. 693-702
• An Efficient Implementation of the Outermost Strategy for String Reduction Systems. 1994. J77-D-I. 1. 12-19

もっと見る

• 形式的モデルと意味論(コンピュータ基礎理論ハンドブックII)(訳書)
  丸善 1994
• Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning
  Lecture Note in Computer Science, Springer Verlag 1993
• A Complete axion system for algebra of Closed-regular expression
  Lecture Notes in Computer Science 1984
• Specification of Abstract Data Types with Partially Defined Operations
  JARECT, Computer and Technologies 1984

• 欧州主要大学の工学教育におけるコンピュータ利用状況調査
  1995 -
• 大学等における情報処理教育のための調査研究
  1992 -
• Fundamental Research on Recommended Curricula in Computer Science
  1992 -

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

• 工学博士

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

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

日本オペレーションズリサーチ学会 ,  ヨーロッパ理論計算機科学会(European Association for Theoretical Computer Science) ,  米国計算機学会(The Association for computing Machinery) ,  米国電気電子学会(The Institute of Electrical And Electronics Engineers,Inc.) ,  電気学会 ,  ソフトウェア科学会 ,  人工知能学会 ,  情報処理学会 ,  電子情報通信学会