研究者紹介
写真



著書論文等全件
氏名
外山 芳人
TOYAMA Yoshihito
所属
電気通信研究所
システム・ソフトウェア研究部門
コンピューティング情報理論研究室
大学院担当
大学院情報科学研究科
情報基礎科学専攻

職名
教授
研究分野
  • 情報学基礎
全件表示
研究課題
  • プログラムの自動変換 (2001-)
  • 定理自動証明 (1990-)
  • 項書き換えシステムの理論 (1990-)
全件表示
所属学会
  • 電子情報通信学会
  • 情報処理学会
  • ソフトウェア科学会
全件表示
主要著書

T : A Simple reduction language based on combinatory term rewriting : in"Programmig of Future Generation Computer I".[(1986)]TOYAMA Yoshihito, et al.


全件表示
主要論文

On the Church-Rosser property for the direct sum of term rewriting systems.[J. ACM,34,128-143,(1987)]TOYAMA Yoshihito


Counterexample to termination for the direct sum of term rewriting systems.[Information Processing Letters,25,141-143,(1987)]TOYAMA Yoshihito


全件表示
学術関係受賞
  • 日本IBM科学賞(1997)
全件表示
メールアドレス
メールアドレス
データ更新日
2016.03.01
Englishこのページのトップへ
copyright(c)2005 Tohoku University