外山 芳人

J-GLOBALへ         更新日: 18/02/06 03:03
 
アバター
研究者氏名
外山 芳人
 
トヤマ ヨシヒト
eメール
toyamanue.riec.tohoku.ac.jp
URL
http://db.tohoku.ac.jp/whois/detail/0f666409594aae7598be2d54d55fce3d.html
所属
東北大学
部署
電気通信研究所 システム・ソフトウェア研究部門 コンピューティング情報理論研究室
職名
教授

研究分野

 
 

受賞

 
1997年11月
日本IBM 日本IBM科学賞
 

論文

 
TOYAMA Yoshihito
J. ACM   34,128-143    1987年   [査読有り]
TOYAMA Yoshihito
Information Processing Letters   25,141-143    1987年   [査読有り]
Koichi Sato, Kentaro Kikuchi, Takahito Aoto , Yoshihito Toyama
Proceedings of 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)   Vol.9527 331-345   2015年7月   [査読有り]
佐藤洸一, 菊池健太郎、青戸等人, 外山芳人
コンピュータソフトウェア      2014年   [査読有り]
Proving confluence of term rewriting systems via persistency and decreasing diagrams
4.Takahito Aoto, Yoshihito Toyama , Kazumasa Uchida
Proceedings of Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014)      2014年   [査読有り]

書籍等出版物

 
T : A Simple reduction language based on combinatory term rewriting : in"Programmig of Future Generation Computer I"
TOYAMA Yoshihito, et al. (担当:共著)
1986年   
The functional Strategy and transitive term rewriting systems : in"Term Graph Rewriting"
TOYAMA Yoshihito, et al. (担当:共著)
1993年   
Commutativity of term rewriting systems : in"Programming of Future Generation ComputerII"
TOYAMA Yoshihito
1987年   

講演・口頭発表等

 
木オートマトンをもちいた交差不能性判定
四方駿作, 菊池健太郎, 青戸等人
電気関係学会東北支部連合大会   2012年8月30日   
等式付き項書き換えシステムの完備化
内田和真, 菊池健太郎, 青戸等人
電気関係学会東北支部連合大会   2012年8月30日   
ボトムアップ書き換えに基づく到達可能性の判定法
高橋翔大, 青戸等人
日本ソフトウェア科学会第29回大会   2012年8月22日   
木オートマトンに基づく項書き換えシステムの逆計算
中嶋辰成, 青戸等人
日本ソフトウェア科学会第29回大会   2012年8月22日   
永続性にもとづく項書き換えシステムの合流性証明
鈴木翼, 青戸等人
第14回プログラミングおよびプログラミング言語ワークショップ   2012年3月8日   

競争的資金等の研究課題

 
プログラムの自動変換
科学研究費補助金
研究期間: 2001年4月 - 現在
定理自動証明
その他の研究制度
研究期間: 1990年4月 - 現在
項書き換えシステムの理論
その他の研究制度
研究期間: 1990年4月 - 現在