Yoshihito Toyama - My portal

Profile Information

Affiliation: Professor, Research Institute of Electrical Communication Systems & Software Division Computing Information Theory, Tohoku University

J-GLOBAL ID: 200901006959901755
researchmap Member ID: 1000165686

External link: http://db.tohoku.ac.jp/whois/e_detail/0f666409594aae7598be2d54d55fce3d.html

Research Areas

Informatics / Information theory /

Awards

Nov, 1997

日本IBM科学賞, 日本IBM

Papers

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

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

コンピュータソフトウェア, 2014 Peer-reviewed
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 Peer-reviewed
多項式サイズ正規形を保証する項書き換えシステムの経路順序

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

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

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

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

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

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

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

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

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

電気関係学会東北支部連合大会, 平成23年度 2D18 p.148, 2011 Peer-reviewed
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, May, 2010 Peer-reviewed
項書き換えシステムの合流性自動判定,

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

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

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

コンピュータソフトウェア,, Vol.26 .(No.2) pp.41-55, 2009 Invited
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 Peer-reviewed
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 Invited
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 Invited
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 Invited
新しいソフトウェアの実現 - 科研「情報学」プロジェクトA01柱を振り返って

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

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

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

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

Kusakari Keiichirou, Nakamura Masaki, Toyama Yoshihito

JOURNAL OF AUTOMATED REASONING, 37(3) 205-229, Oct, 2006 Peer-reviewed
Confluent Term Rewriting Systems

Yoshihito Toyama

Rewriting Techniques and Applications, 1-1, Apr, 2005 Peer-reviewedInvited

Books and Other Publications

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

TOYAMA Yoshihito (Role: Joint author)

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 (Role: Joint author)

1986

Presentations

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

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

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

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

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

中嶋辰成, 青戸等人

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

高橋翔大, 青戸等人

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

的場正樹, 青戸等人

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

鈴木翼, 青戸等人

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Professional Memberships

Research Projects

Program Transformation

Grant-in-Aid for Scientific Research, Apr, 2001 - Present
Term Rewriting System Theory

The Other Research Programs, Apr, 1990 - Present
Automated theorem proving

The Other Research Programs, Apr, 1990 - Present