高橋 孝一

(たかはし こういち)


1988年 名古屋大学大学院理学研究科数学専攻修了.
博士(理学).
現在,産業技術総合研究所所属.計算機科学に興味.
定理証明や抽象モデル検査の研究に従事.

執筆箇所:

  ・7群1編 ソフトウェア基礎