研究者
J-GLOBAL ID：200901006959901755   更新日: 2023年09月04日

外山 芳人

トヤマ ヨシヒト | Toyama Yoshihito
所属機関・部署：
東北大学 電気通信研究所 システム・ソフトウェア研究部門 コンピューティング情報理論研究室

東北大学 電気通信研究所 システム・ソフトウェア研究部門 コンピューティング情報理論研究室 について


職名： 教授
ホームページURL (2件)： http://db.tohoku.ac.jp/whois/detail/0f666409594aae7598be2d54d55fce3d.html ,  http://db.tohoku.ac.jp/whois/e_detail/0f666409594aae7598be2d54d55fce3d.html
研究分野 (1件)： 情報学基礎論
競争的資金等の研究課題 (3件)：
  • 2001 - 現在 プログラムの自動変換
  • 1990 - 現在 項書き換えシステムの理論
  • 1990 - 現在 定理自動証明
論文 (42件)：
もっと見る
書籍 (3件)：
  • The functional Strategy and transitive term rewriting systems : in"Term Graph Rewriting"
    1993
  • Commutativity of term rewriting systems : in"Programming of Future Generation ComputerII"
    1987
  • T : A Simple reduction language based on combinatory term rewriting : in"Programmig of Future Generation Computer I"
    1986
講演・口頭発表等 (25件)：
  • 等式付き項書き換えシステムの完備化
    (電気関係学会東北支部連合大会 2012)
  • 木オートマトンをもちいた交差不能性判定
    (電気関係学会東北支部連合大会 2012)
  • 木オートマトンに基づく項書き換えシステムの逆計算
    (日本ソフトウェア科学会第29回大会 2012)
  • ボトムアップ書き換えに基づく到達可能性の判定法
    (日本ソフトウェア科学会第29回大会 2012)
  • 片側減少ダイアグラム法による項書き換えシステムの可換性証明法
    (第14回プログラミングおよびプログラミング言語ワークショップ 2012)
もっと見る
受賞 (1件)：
  • 1997/11/18 - 日本IBM 日本IBM科学賞
所属学会 (6件)：
LAシンポジウム ,  EATCS (European Association for Theoretical Computer Science) ,  ACM (the Association for Computing Machinery) ,  ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM