English
外山 芳人
コンピューティング情報理論研究分野 教授
- 住所:
-
〒980-8577 仙台市 青葉区 片平2-1-1
東北大学 電気通信研究所
- E-mail:
- 研究室:
- 電気通信研究所 本館 5階 M516号室
- 項書き換えシステム
- 定理自動証明
- ソフトウェア基礎
略歴
1952年生．1975年 新潟大学工学部電子工学科卒業．1977年 東北大学大学
院工学研究科情報工学専攻修士課程修了．同年 日本電信電話公社 (現 NTT)
武蔵野電気通信研究所 入所．1991年 NTT コミュニケーション科学研究所 主
幹研究員．1993 年 北陸先端科学技術大学院大学 情報科学研究科 教授．2000
年より東北大学 電気通信研究所 教授. この間，項書き換えシステム，プログ
ラム理論，定理自動証明の研究に従事．工学博士(東北大学)．電子情報通信学
会，情報処理学会，ソフトウェア科学会，ACM，EATCS各会員．