外山芳人 (Yoshihito Toyama) - マイポータル

基本情報

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

J-GLOBAL ID: 200901006959901755
researchmap会員ID: 1000165686

外部リンク: http://db.tohoku.ac.jp/whois/detail/0f666409594aae7598be2d54d55fce3d.html

研究分野

情報通信 / 情報学基礎論 /

受賞

1997年11月

日本IBM科学賞, 日本IBM

論文

Correctness of Context-Moving Transformations for Term Rewriting Systems

Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015) 9527 331-345 2015年査読有り
Proving confluence of term rewriting systems via persistency and decreasing diagrams

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年査読有り
項書き換えシステムの変換を利用した帰納的定理自動証明

佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人

コンピュータソフトウェア 2014年査読有り
A reduction-preserving completion for proving confluence of non-terminating term rewriting systems

Takahito Aoto, Yoshihito Toyama

Logical Methods in Computer Science 8(1) 2012年査読有り
多項式サイズ正規形を保証する項書き換えシステムの経路順序

磯部耕己, 青戸等人, 外山芳人

コンピュータソフトウェア 2012年査読有り
多項式サイズ正規形を保証する項書き換えシステムの経路順序

磯部耕己, 青戸等人, 外山芳人

第13回プログラミングおよびプログラミング言語ワークショップ論文集 pp.99-pp.113 2011年査読有り
基底項書き換え系の多項式時間合流性判定法の改良

村井正勝, 青戸等人, 外山芳人

第13回プログラミングおよびプログラミング言語ワークショップ論文集 pp.84-pp.98 2011年査読有り
項書き換えシステムの到達可能性自動証明法

高橋翔大, 青戸等人, 外山芳人

電気関係学会東北支部連合大会平成23年度 2D19 p.149 2011年査読有り
等式理論と組み合わせた書き換え帰納法

椛澤涼, 青戸等人, 外山芳人

電気関係学会東北支部連合大会平成23年度 2D18 p.148 2011年査読有り
Program Transformation Templates for Tupling Based on Term Rewriting

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E93D(5) 963-973 2010年5月査読有り
項書き換えシステムの合流性自動判定,

吉田順一, 青戸等人, 外山芳人

コンピュータソフトウェア, Vol.26(No.2) pp.76-92 2009年招待有り
反証機能付き書き換え帰納法のための補題自動生成法,

嶌津聡志, 青戸等人, 外山芳人

コンピュータソフトウェア, Vol.26 .(No.2) pp.41-55 2009年招待有り
Proving confluence of term rewriting systems automatically

青戸等人, 吉田順一, 外山芳人

the 20th International Conference on Rewriting Techniques and Applications (RTA 2009) LNCS 5595 pp.93-pp.102 2009年査読有り
Modular Church-Rosser Modulo: The Complete Picture,

Jean-Pierre Jouannaud, Yoshihito Toyama

International Journal of Software and Informatics, Vol.2(No.1) pp.61-75 2008年招待有り
Termination proof of S-expression rewriting systems with recursive path relations,

Yoshihito Toyama

In Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008), (LNCS 5117) pp.381-391 2008年招待有り
Automatic construction of program transformation templates,

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

IPSJ Transactions on Programming, Vol.49(No.SIG 1 (PRO 35)) pp.14-27 2008年招待有り
新しいソフトウェアの実現 - 科研「情報学」プロジェクトA01柱を振り返って

玉井哲雄, 稲葉雅幸, 外山芳人

情報処理学会誌 48(1) 62-76 2007年査読有り
項書き換えシステムの合流性自動判定.

吉田順一, 青戸等人, 外山芳人

第6回情報科学技術フォーラム(FIT2007)講演論文集, 情報技術レターズ(Vol.6) pp.31-34 2007年招待有り
Elimination transformations for associative-commutative rewriting systems

Kusakari Keiichirou, Nakamura Masaki, Toyama Yoshihito

JOURNAL OF AUTOMATED REASONING 37(3) 205-229 2006年10月査読有り
Confluent Term Rewriting Systems

Yoshihito Toyama

Rewriting Techniques and Applications 1-1 2005年4月査読有り招待有り

もっとみる

書籍等出版物

The functional Strategy and transitive term rewriting systems : in"Term Graph Rewriting"

TOYAMA Yoshihito (担当:共著)

1993年
Commutativity of term rewriting systems : in"Programming of Future Generation ComputerII"

TOYAMA Yoshihito

1987年
T : A Simple reduction language based on combinatory term rewriting : in"Programmig of Future Generation Computer I"

TOYAMA Yoshihito (担当:共著)

1986年

講演・口頭発表等

等式付き項書き換えシステムの完備化

内田和真, 菊池健太郎, 青戸等人

電気関係学会東北支部連合大会 2012年8月30日
木オートマトンをもちいた交差不能性判定

四方駿作, 菊池健太郎, 青戸等人

電気関係学会東北支部連合大会 2012年8月30日
木オートマトンに基づく項書き換えシステムの逆計算

中嶋辰成, 青戸等人

日本ソフトウェア科学会第29回大会 2012年8月22日
ボトムアップ書き換えに基づく到達可能性の判定法

高橋翔大, 青戸等人

日本ソフトウェア科学会第29回大会 2012年8月22日
片側減少ダイアグラム法による項書き換えシステムの可換性証明法

的場正樹, 青戸等人

第14回プログラミングおよびプログラミング言語ワークショップ 2012年3月8日
永続性にもとづく項書き換えシステムの合流性証明

鈴木翼, 青戸等人

第14回プログラミングおよびプログラミング言語ワークショップ 2012年3月8日
減少ダイアグラム法による項書き換えシステムの可換性証明法

的場正樹, 青戸等人, 外山芳人

日本ソフトウェア科学会第28回大会 2011年9月
永続性にもとづく項書き換えシステムの合流性証明

鈴木翼, 青戸等人, 外山芳人

日本ソフトウェア科学会第28回大会 2011年9月
項書き換えシステムの到達可能性自動証明法

高橋翔大, 青戸等人, 外山芳人

電気関係学会東北支部連合大会 2011年8月
等式理論と組み合わせた書き換え帰納法

椛澤涼, 青戸等人, 外山芳人

電気関係学会東北支部連合大会 2011年8月
多項式サイズ正規形を保証する項書き換えシステムの経路順序

磯部耕己, 青戸等人, 外山芳人

第13回プログラミングおよびプログラミング言語ワークショップ 2011年3月
SMTソルバを用いた項書き換えシステムの合流性自動判定

的場正樹, 青戸等人, 外山芳人

電気関係学会東北支部連合大会 2010年8月
文脈移動法による項書き換えシステムの変換

鈴木翼, 青戸等人, 外山芳人

電気関係学会東北支部連合大会 2010年8月
拡大手法に基づく項書き換え系の合流性自動証明

道又淳一, 青戸等人, 外山芳人

第12回プログラミングおよびプログラミング言語ワークショップ 2010年3月
基底項書き換え系の合流性自動判定

村井正勝, 青戸等人, 外山芳人

第8回情報科学技術フォーラム(FIT2009) 2009年9月
S式書き換えシステムの停止性を保証するカリー化について

磯部耕己, 青戸等人, 外山芳人

第8回情報科学技術フォーラム(FIT2009) 2009年9月
S式書換え系の停止性を保証するカリー化について，

磯部耕己, 青戸等人, 外山芳人

第11回プログラミングおよびプログラミング言語ワークショップ 2009年3月
多重Knuth-Bendix完備化における効率化手法の導入，

道又淳一, 青戸等人, 外山芳人

第11回プログラミングおよびプログラミング言語ワークショップ 2009年3月
基底項書換え系の合流性判定手続きの効率化，

村井正勝, 青戸等人, 外山芳人

第11回プログラミングおよびプログラミング言語ワークショップ 2009年3月
S式書換え系の停止性を保証するカリー化について

磯部耕己, 青戸等人, 外山芳人

第11回プログラミングおよびプログラミング言語ワークショップ 2009年3月

もっとみる

所属学協会

共同研究・競争的資金等の研究課題

プログラムの自動変換

科学研究費補助金 2001年4月 - 現在
項書き換えシステムの理論

その他の研究制度 1990年4月 - 現在
定理自動証明

その他の研究制度 1990年4月 - 現在