TOYAMA Yoshihito 外山芳人

Researcher Number	00251968
Other IDs
Affiliation *help	2007 – 2017 : Tohoku University, 電気通信研究所, 教授 1999 – 2005 : Tohoku University, Research Institute of Electrical Communication, Professor, 電気通信研究所, 教授 1995 – 2001 : 北陸先端科学技術大学院大学, 情報科学研究科, 教授 1999 : 北陸先端科学技術大学院大学, 教授
Review Section/Research Field	Principal Investigator Science and Engineering / 計算機科学 / Fundamental theory of informatics / Theory of informatics Except Principal Investigator Fundamental theory of informatics / 計算機科学 / General mathematics (including Probability theory/Statistical mathematics) / Software / Theory of informatics
Keywords	Principal Investigator 項書き換えシステム / プログラム変換 / 停止性 / 書き換えシステム / 定理自動証明 / 合流性 / 自動証明 / 情報基礎 / 完備化 / ソフトウェア検証 … More Except Principal Investigator 項書換え系 / term rewriting system / 項書き換え系 / 型理論 / 書き換え帰納法 / 部分構造論理 / 項書き換えシステム / ソフトウェア学 / 書き換えシステム / 正規化戦略 / constructive mathematics / ソフトウェア仕様記述 / functional logic programming / 関数型言語 / 発展的ソフトウェア / 合流条件 / 検証情報 / substructural logic / 様相論理 / functional language / 発展的計算モデル / 潜在帰納法 / 基底合流生 / normalizing strategy / 書換え型メタ計算モデル / 証明支援系 / E単一化 / 健全並列化 / 仕様記述・検証 / 証明検証 / 関数論理型プログラミング / 適応的発展機構 / 線形論理 / sound parallelization / 実時間論理 / クラス理論 / 圏論 / クリプキ意味論 / 停止条件 / 構成的数学 / modal logic / 検証系 / completion / reactive system / linear logic / 時相論理 / evolutionary programming mechanism / 完備化 / 時間論理 / confluence / 自動定理証明 / temporal logic / 定理自動証明 / 発展的プログラミング機構 / 補題発見 / 基底合流性 / 健全一般化法 / ソフトウェアの安全性 / 非標準論理 / ラムダ計算 / E-unification / 知識の論理 / term rewriting systems / 帰納的定理 / 合流性 / リアクティブシステム / リップリング / 論理・関数型プログラミング / verification / 発散鑑定法 / termination / 検証 Less

書き換えシステムの基底合流性自動証明の研究Ongoing
- Principal Investigator
  
  青戸等人
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Niigata University
Construction of a self-extendable software verification system based on class theory
- Principal Investigator
  
  Sato Masahiko
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Research on automated program verification based on confluencePrincipal Investigator
- Principal Investigator
  
  toyama yoshihito
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Tohoku University
Lemma Generation in Inductive Theorem Proving
- Principal Investigator
  
  AOTO takahito
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
Research on automated confluence proving for term rewriting systemsPrincipal Investigator
- Principal Investigator
  
  TOYAMA Yoshihito
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
Combining Rippling and Rewriting Induction for Inductive Theorm Proving
- Principal Investigator
  
  AOTO Takahito
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
Research on program transformation systems based on automated theorem provingPrincipal Investigator
- Principal Investigator
  
  TOYAMA Yoshihito
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
Studies on Properties of a Computation System over the Linear Category
- Principal Investigator
  
  HASEGAWA Ryu
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo
完備化に基づくプログラム自動変換の研究Principal Investigator
- Principal Investigator
  
  外山芳人
- Project Period (FY)
  2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tohoku University
完備化に基づくプログラム自動変換の研究Principal Investigator
- Principal Investigator
  
  外山芳人
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tohoku University
完備化に基づくプログラム自動変換の研究Principal Investigator
- Principal Investigator
  
  外山芳人
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tohoku University
Program verification method based on reduction approximationsPrincipal Investigator
- Principal Investigator
  
  TOYAMA Yoshihito
- Project Period (FY)
  2002 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Tohoku University
完備化に基づくプログラム自動変換の研究Principal Investigator
- Principal Investigator
  
  外山芳人
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (C)
- Review Section
  
  Science and Engineering
- Research Institution
  Tohoku University
Strategies on functional languages
- Principal Investigator
  
  SAKAI Masahiro
- Project Period (FY)
  1999 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Nagoya University
書き換えシステムに基づく発展的プログラミングの研究Principal Investigator
- Principal Investigator
  
  外山芳人
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Japan Advanced Institute of Science and Technology
Inductive theorem proving method for program verificationPrincipal Investigator
- Principal Investigator
  
  TOYAMA Yoshihiro
- Project Period (FY)
  1998 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Tohoku University
  Japan Advanced Institute of Science and Technology
書き換えシステムに基づく発展的プログラミングの研究Principal Investigator
- Principal Investigator
  
  外山芳人
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Japan Advanced Institute of Science and Technology
非標準論理とその情報科学への応用
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
Research on Theoretical Aspects of Evolutionary Software
- Principal Investigator
  
  ITO Takayasu
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A).
- Research Institution
  Tohoku University
Applications of Mathematical Logic in Theoretical Computer Science
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology, Hokuriku
Program verification based on higher order rewriting systemsPrincipal Investigator
- Principal Investigator
  
  TOYAMA Yoshihito
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology, Hokuriku
Fundamental research on software verification based on algebraic method
- Principal Investigator
  
  SAKAI Masahiko
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Nagoya University
  Japan Advanced Institute of Science and Technology

All 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2005 2004 2002 Other

All Journal Article Presentation

[Journal Article] 書き換え規則の重なりに基づく到達可能性判定法2016
- Author(s)
  島貫健太郎, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 33 Pages : 93-107
- DOI
  10.11309/jssst.33.3_93
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00003
[Journal Article] Critical pair analysis in nominal rewriting2016
- Author(s)
  Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  EPiC Series in Computing
  
  Volume : Vol.39 Pages : 156-168
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] Critical Pair Analysis in Nominal Rewriting2016
- Author(s)
  Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Proceedings of 7th SCSS
  
  Volume : 39 Pages : 156-168
- Peer Reviewed / Open Access / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00003
[Journal Article] Ground confluence prover based on rewriting induction2016
- Author(s)
  Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  In Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, Porto, Portugal
  
  Volume : 52
- Peer Reviewed / Open Access / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00003
[Journal Article] Normalisation by random descent2016
- Author(s)
  Vincent van Oostrom and Yoshihito Toyama
- Journal Title
  
  Leibniz International Proceedings in Informatics
  
  Volume : 52
- Open Access / Acknowledgement Compliant / Int'l Joint Research / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] Critical pair analysis in nominal rewriting2016
- Author(s)
  Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  EPiC Series in Computing
  
  Volume : 39 Pages : 156-168
- Peer Reviewed / Open Access / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] Ground confluence prover based on rewriting induction2016
- Author(s)
  Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Leibniz International Proceedings in Informatics
  
  Volume : 52
- Open Access / Acknowledgement Compliant / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] 項書き換えシステムの変換を利用した帰納的定理自動証明2015
- Author(s)
  1.佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.32 Pages : 179-193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] Correctness of context-moving transformations for term rewriting systems2015
- Author(s)
  Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume : Vol.9527 Pages : 331-345
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] Confluence of orthogonal nominal rewriting systems revisited2015
- Author(s)
  Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Leibniz International Proceedings in Informatics
  
  Volume : Vol.36 Pages : 301-317
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] Confluence of orthogonal nominal rewriting systems revisited2015
- Author(s)
  Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Proceedings of 26th RTA
  
  Volume : 36 Pages : 301-317
- Peer Reviewed / Open Access / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00003
[Journal Article] Correctness of context-moving transformations for term rewriting systems2015
- Author(s)
  Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Proceedings of 25th LOPSTR
  
  Volume : 9527 Pages : 331-345
- DOI
  10.1007/978-3-319-27436-2_20
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00003
[Journal Article] Confluence of orthogonal nominal rewriting systems revisited2015
- Author(s)
  Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Leibniz International Proceedings in Informatics
  
  Volume : 36 Pages : 301-317
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] Correctness of context-moving transformations for term rewriting systems2015
- Author(s)
  Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume : 9527 Pages : 331-345
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] 項書き換えシステムの変換を利用した帰納的定理自動証明2015
- Author(s)
  佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 32 Pages : 179-193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] Proving confluence of term rewriting systems via persistency and decreasing diagrams2014
- Author(s)
  Takahito Aoto, Yoshihito Toyama , Kazumasa Uchida
- Journal Title
  
  Proceedings of Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014)
  
  Volume : LNCS 8560 Pages : 46-60
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] 書き換え帰納法に基づく帰納的定理の決定可能性2014
- Author(s)
  4.中嶋辰成, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.31 Pages : 294-306
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] ボトムアップ最内項書き換えシステムの最内到達可能性2014
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.31, No.1 Pages : 75-89
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] 書き換え帰納法に基づく帰納的定理の決定可能性2014
- Author(s)
  中嶋辰成, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 31 Pages : 294-306
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] ボトムアップ最内項書き換えシステムの最内到達可能性2014
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 31 Pages : 75-89
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] Proving confluence of term rewriting systems via persistency and decreasing diagrams2014
- Author(s)
  Takahito Aoto, Yoshihito Toyama and Kazumasa Uchida
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume : 8560 Pages : 46-60
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] 永続性にもとづく項書き換えシステムの合流性証明2013
- Author(s)
  鈴木翼, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.30, No.3 Pages : 148-162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] 片側減少ダイアグラム法による項書き換えシステムの可換性証明法2013
- Author(s)
  的場正樹,青戸等人,外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.30,No.1 Pages : 187-202
- URL
  https://www.jstage.jst.go.jp/article/jssst/30/1/30_1_187/_article/-char/ja/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[Journal Article] ボトムアップ最内項書き換えシステムの最内到達可能性2013
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 31 Pages : 75-89
- DOI
  10.11309/jssst.31.1_75
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 永続性に基づく項書き換えシステムの合流性証明法2013
- Author(s)
  鈴木翼, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.30, No.3 Pages : 148-162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 片側減少ダイアグラム法による項書き換えシステムの可換性証明法2013
- Author(s)
  的場正樹, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.30, No.1 Pages : 187-202
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 書き換え帰納法に基づく帰納的定理の決定可能性2013
- Author(s)
  中嶋辰成, 青戸等人, 外山芳人
- Journal Title
  
  第15回プログラミングおよびプログラミング言語ワークショップ論文集
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] ボトムアップ書き換えに基づく最内書き換え到達可能性判定2013
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Journal Title
  
  第15回プログラミングおよびプログラミング言語ワークショップ論文集
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 片側減少ダイアグラム法による項書き換えシステムの可換性証明法2013
- Author(s)
  的場正樹, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.30, No.1 Pages : 187-202
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[Journal Article] 片側減少ダイアグラム法による項書き換えシステムの可換性証明法2012
- Author(s)
  的場正樹, 青戸等人, 外山芳人
- Journal Title
  
  第14回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages : 168-182
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] A reduction-preserving completion for proving confluence of non-terminating term rewriting systems2012
- Author(s)
  Takahito Aoto , Yoshihito Toyama
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume : Vol.8, No.1:31 Pages : 1-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[Journal Article] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2012
- Author(s)
  磯部耕己,青戸等人,外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.29,No.1 Pages : 176-190
- URL
  https://www.jstage.jst.go.jp/article/jssst/29/1/29_1_1_176/_article/-char/ja/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[Journal Article] 永続性にもとづく項書き換えシステムの合流性証明2012
- Author(s)
  鈴木翼, 青戸等人, 外山芳人
- Journal Title
  
  第14回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages : 153-167
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2012
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.129-1 Pages : 176-176
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[Journal Article] A reduction-preserving completion for proving confluence of non-terminating term rewriting systems2012
- Author(s)
  Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume : Vol.8, No.1:31 Pages : 1-29
- URL
  http://www.lmcs-online.org/ojs/viewarticle.php?id=1099&layout=abstract
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2012
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.29, No.1 Pages : 176-190
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2012
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.129-1 Pages : 176-176
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2011
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Journal Title
  
  第13回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages : 99-113
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 基底項書き換え系の多項式時間合流性判定法の改良2011
- Author(s)
  村井正勝, 青戸等人, 外山芳人
- Journal Title
  
  第13回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages : 84-98
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] Reduction-preserving completion for proving confluence of non-terminating term rewriting systems In Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)2011
- Author(s)
  Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
  
  Volume : Vol.10 Pages : 91-106
- URL
  http://drops.dagstuhl.de/opus/volltexte/2011/3110/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] Reduction-preserving completion for proving confluence of non-terminating term rewriting systems2011
- Author(s)
  Takahito Aoto, Yoshihito Toyama
- Journal Title
  
  Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
  
  Volume : Vol.10 Pages : 91-106
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[Journal Article] Program transformation templates for tupling based on term rewriting2010
- Author(s)
  Yuki Chiba, Takahito Aoto , Yoshihito Toyama
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume : Vol.E93-D, No.5 Pages : 963-973
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[Journal Article] Program transformation templates for tupling based on term rewriting2010
- Author(s)
  Yuki Chiba, Takahito Aoto, Yoshihito Toyama
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E93-D、No.5
  
  Pages : 963-973
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Program transformation templates for tupling based on term rewriting2010
- Author(s)
  Yuki Chiba, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  IEICE Transactions on Information and Systems, , Review existence
  
  Volume : Vol.E93-D, No.5 Pages : 963-973
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] Program transformation templates for tupling based on term rewriting2010
- Author(s)
  Yuki Chiba, Takahito Aoto, Yoshihito Toyama
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume : Vol.E93-D,No.5 Pages : 963-973
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[Journal Article] Program transformation templates for tupling based on term rewriting2010
- Author(s)
  Yuki Chiba, Takahito Aoto, Yoshihito Toyama
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume : Vol.E93-D Pages : 963-973
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 反証機能付き書き換え帰納法のための補題自動生成法2009
- Author(s)
  嶌津聡志, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア Vol.26, No.2
  
  Pages : 41-55
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] 項書き換えシステムの合流性自動判定2009
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア Vol.26, No.2
  
  Pages : 76-92
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Argument filterings and usable rules for simply typed dependency pairs2009
- Author(s)
  青戸等人, 吉田順一, 外山芳人
- Journal Title
  
  In Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009) LNCS 5595
  
  Pages : 93-102
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] 反証機能付き書き換え帰納法のための補題自動生成法2009
- Author(s)
  嶌津聡志, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.26, No.2 Pages : 41-55
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 項書き換えシステムの合流性自動判定2009
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : Vol.26, No.2 Pages : 76-92
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] Proving confluence of term rewriting systems automatically, In Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009)2009
- Author(s)
  Takahito Aoto, Junichi Yoshida and Yoshihito Toyama
- Journal Title
  
  Brasilia, Brazil, Review existence
  
  Volume : LNCS5595 Pages : 93-102
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 反証機能付き書き換え帰納法のための補題自動生成法2009
- Author(s)
  嶌津聡志, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア 26
  
  Pages : 41-55
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 項書き換えシステムの合流性自動判定2009
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア 26
  
  Pages : 76-92
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 反証機能付き書き換え帰納法のための補題自動生成法2009
- Author(s)
  嶌津聡志, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア Vol.26、No.2
  
  Pages : 41-55
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Proving confluence of term rewriting systems automatically2009
- Author(s)
  Takahito Aoto, Junichi Yoshida, Yoshihito Toyama
- Journal Title
  
  LNCS Vol.5595
  
  Pages : 93-102
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] 項書き換えシステムの合流性自動判定2009
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア Vol.26、No.2
  
  Pages : 76-92
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Modular Church-Rosser Modulo : The Complete Picture2008
- Author(s)
  Jean-Pierre Jouannaud and Yoshihito Toyama
- Journal Title
  
  International Journal of Software and Informatics Vol.2
  
  Pages : 61-75
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Automatic Construction of Program Transformation Templates2008
- Author(s)
  Yuki Chiba, Takahito Aoto, Yoshihito Toyama
- Journal Title
  
  IPSJ Transactions on Programming 49
  
  Pages : 14-27
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Termination proof of S-expression rewriting systems with recursive path relations2008
- Author(s)
  Yoshihito Toyama
- Journal Title
  
  Lecture Notes in Computer Science Vol.5117
  
  Pages : 381-391
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Termination proof of S-expression rewriting systems with recursive path relations, In Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008)2008
- Author(s)
  Yoshihito Toyama
- Journal Title
  
  Hagenberg, Austria, Review existence
  
  Volume : LNCS5117 Pages : 381-391
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] Modular Church-Rosser Modulo : The Complete Picture, International Journal of Software and Informatics2008
- Author(s)
  Jean-Pierre Jouannaud and Yoshihito Toyama
- Journal Title
  
  Review existence
  
  Volume : Vol.2, No.1 Pages : 61-75
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] Automatic construction of program transformation templates2008
- Author(s)
  Yuki Chiba, Takahito Aoto, Yoshihito Toyama
- Journal Title
  
  IPSJ Transactions on Programming Vol.49、No.SIG 1(PRO 35)
  
  Pages : 14-27
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Termination proof of S-expression rewriting systems with recursive path relations2008
- Author(s)
  Yoshihito Toyama
- Journal Title
  
  LNCS Vol.5117
  
  Pages : 381-391
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Modular Church-Rosser Modulo : The Complete Picture2008
- Author(s)
  Jean-Pierre Jouannaud, Yoshihito Toyama
- Journal Title
  
  International Journal of Software and Informatics Vol.2、No.1
  
  Pages : 61-75
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] 項書き換えシステムの合流性自動判定法2007
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  情報技術レターズ 6
  
  Pages : 31-34
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] Termination of S-Expression Rewriting Systems2005
- Author(s)
  Y.Toyama
- Journal Title
  
  第6回PPL論文集
  
  Pages : 17-17
- Data Source
  KAKENHI-PROJECT-16016202
[Journal Article] Confluent Term Rewriting Systems2005
- Author(s)
  Yoshihito Toyama
- Journal Title
  
  Lecture Notes in Computer Science 3467
  
  Pages : 1-1
- Data Source
  KAKENHI-PROJECT-16016202
[Journal Article] Termination of S-Expression Rewriting Systems2005
- Author(s)
  Y.Toyama
- Journal Title
  
  第6回PPL論文集
  
  Pages : 17-17
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Confluent Term Rewriting Systems2005
- Author(s)
  Yoshihito Toyama
- Journal Title
  
  Lecture Notes in Computer Science 3467
  
  Pages : 1-1
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Reduction strategies for left-linear term rewriting systems2005
- Author(s)
  Yoshihito Toyama
- Journal Title
  
  Lecture Notes in Computer Science 3838
  
  Pages : 198-223
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Introducing Sequence Variables in Program Transformation based on Templates2005
- Author(s)
  Y.Chiba, T.Aoto, Y.Toyama
- Journal Title
  
  Information Technology Letters Vol.4
  
  Pages : 5-8
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Reduction strategies for left-linear term rewriting systems2005
- Author(s)
  Y.Toyama
- Journal Title
  
  Lecture Notes in Computer Science 3838
  
  Pages : 198-223
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Termination of S-Expression Rewriting Systems2004
- Author(s)
  Y.TOYAMA
- Journal Title
  
  Lecture Notes in Comput.Sci. Vol.3091
  
  Pages : 40-54
- Data Source
  KAKENHI-PROJECT-16016202
[Journal Article] Termination of S-Expression Rewriting Systems2004
- Author(s)
  Y.TOYAMA
- Journal Title
  
  Lecture Notes in Comput.Sci. Vol.3091
  
  Pages : 40-54
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Termination of S-expression rewriting systems2004
- Author(s)
  Yoshihito Toyama
- Journal Title
  
  Lecture Notes in Computer Science 3091
  
  Pages : 40-54
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Termination of S-Expression Rewriting Systems2004
- Author(s)
  Y.Toyama
- Journal Title
  
  Lecture Notes in Computer Science 3091
  
  Pages : 40-54
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Inductive Theorems for Higher-Order Rewriting2004
- Author(s)
  T.Aoto, T.Yamada, Y.Toyama
- Journal Title
  
  Lecture Notes in Computer Science 3091
  
  Pages : 269-284
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Decidability for left-linear growing term rewriting systems2002
- Author(s)
  T.Nagaya, Y.Toyama
- Journal Title
  
  Information and Computation Vol.178
  
  Pages : 499-514
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Program transformation by templates based on term rewriting
- Author(s)
  Y.Chiba, T.Aoto, Y.Toyama
- Journal Title
  
  Proc.of the 7th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
  
  Pages : 59-69
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580357
[Presentation] 永続性と減少ダイアグラム法に基づく合流性自動証明2014
- Author(s)
  内田和真, 青戸等人, 外山芳人
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  阿蘇
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 名目書き換えシステムの合流性について2014
- Author(s)
  鈴木貴樹, 菊池健太郎, 青戸等人, 外山芳人
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  阿蘇
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 帰納的定理自動証明のための項書き換えシステム自動変換2014
- Author(s)
  佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  阿蘇
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 閉包操作に基づく右基底項書き換えシステムの到達可能性判定2014
- Author(s)
  四方駿作, 青戸等人, 外山芳人
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  阿蘇
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 名目書き換えシステムの合流性について2014
- Author(s)
  鈴木貴樹, 菊池健太郎, 青戸等人, 外山芳人
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」
- Data Source
  KAKENHI-PROJECT-25280025
[Presentation] 自動検証のためのプログラム変換2013
- Author(s)
  佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京
- Year and Date
  2013-09-13
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 閉包操作に基づく項書き換えシステムの到達可能性判定2013
- Author(s)
  四方駿作, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京
- Year and Date
  2013-09-13
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 永続性と減少ダイアグラム法に基づく合流性証明法2013
- Author(s)
  内田和真, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京
- Year and Date
  2013-09-13
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 書き換え帰納法に基づく帰納的定理の決定可能性2013
- Author(s)
  中嶋辰成, 青戸等人, 外山芳人
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  会津若松
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] ボトムアップ書き換えに基づく最内書き換え到達可能性判定2013
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  会津若松
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 木オートマトンに基づく項書き換えシステムの逆計算2012
- Author(s)
  椛澤涼, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  東京
- Year and Date
  2012-08-22
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 書き換え帰納法に基づく帰納的定理の決定手続き2012
- Author(s)
  中嶋辰成, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  東京
- Year and Date
  2012-08-22
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] ボトムアップ書き換えに基づく到達可能性の判定法2012
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  東京
- Year and Date
  2012-08-22
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2011
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  北海道札幌市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 基底項書き換え系の多項式時間合流性判定法の改良2011
- Author(s)
  村井正勝, 青戸等人, 外山芳人
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  北海道札幌市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] Reduction-preserving completion for proving confluence of non-terminating term rewriting systems2011
- Author(s)
  Takahito Aoto , Yoshihito Toyama
- Organizer
  the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
- Place of Presentation
  Novi Sad, Serbia
- Data Source
  KAKENHI-PROJECT-22500002
[Presentation] 永続性にもとづく項書き換えシステムの合流性証明2011
- Author(s)
  鈴木翼, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  那覇
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 減少ダイアグラム法による項書き換えシステムの可換性証明法2011
- Author(s)
  的場正樹, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  那覇
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 拡大手法に基づく項書き換え系の合流性自動証明2010
- Author(s)
  道又淳一, 青戸等人, 外山芳人
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  香川県琴平町
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] SMTソルバを用いた項書き換えシステムの合流性自動判定2010
- Author(s)
  的場正樹, 青戸等人, 外山芳人
- Organizer
  電気関係学会東北支部連合大会
- Place of Presentation
  青森県八戸市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 文脈移動法による項書き換えシステムの変換2010
- Author(s)
  鈴木翼, 青戸等人, 外山芳人
- Organizer
  電気関係学会東北支部連合大会
- Place of Presentation
  青森県八戸市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 基底項書換え系の合流性判定手続きの効率化2009
- Author(s)
  村井正勝, 青戸等人, 外山芳人
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  岐阜県高山市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 多重Knuth-Bendix完備化における効率化手法の導入2009
- Author(s)
  道又淳一, 青戸等人, 外山芳人
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  岐阜県高山市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] S式書換え系の停止性を保証するカリー化について2009
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  岐阜県高山市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 多重Knuth-Bendix完備化における危険対除去手法の導入2009
- Author(s)
  道又淳一, 青戸等人, 外山芳人
- Organizer
  第8回情報科学技術フォーラム(FIT2009)
- Place of Presentation
  宮城県仙台市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] S式書き換えシステムの停止性を保証するカリー化について2009
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Organizer
  第8回情報科学技術フォーラム(FIT2009)
- Place of Presentation
  宮城県仙台市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 基底項書き換え系の合流性自動判定2009
- Author(s)
  村井正勝, 青戸等人, 外山芳人
- Organizer
  第8回情報科学技術フォーラム(FIT2009)
- Place of Presentation
  宮城県仙台市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 帰納的順序関係に基づくS式書き換えシステムの停止性証明2007
- Author(s)
  外山芳人
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-19500003
[Presentation] 帰納的経路関係に基づくS式書き換えシステムの停止性証明2007
- Author(s)
  外山芳人
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-19500003

1. AOTO Takahito (00293390)

# of Collaborated Projects : 10results

# of Collaborated Products : 80results
2. SAKAI Masahiko (50215597)

# of Collaborated Projects : 6results

# of Collaborated Products : 0results
3. KUSAKARI Keichirou (90323112)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
4. ONO Hiroakira (90055319)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
5. KIKUCHI Kentarou (40396528)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
6. SAKABE Toshiki (60111829)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
7. 鈴木大郎 (90272179)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
8. HASEGAWA Ryu (20243107)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
9. Sato Masahiko (20027387)

# of Collaborated Projects : 1results

# of Collaborated Products : 2results
10. KOBAYASHI Naoki (00262155)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
11. YAMAMOTO Shinichiro (40240098)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
12. KASHIMA Ryo (10240756)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
13. ISHIHARA Hajime (10211046)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
14. ITO Takayasu (80124551)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
15. IDA Tetsuo (70100047)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
16. YONEZAKI Naoki (00126286)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
17. HAGIYA Masami (30156252)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
18. KASUYA Hideto (10295579)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
19. 金子守 (40114061)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
20. 鈴木信行 (60216421)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
21. 高野道夫 (70126423)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
22. 古森雄一 (10022302)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
23. 五十嵐淳 (40323456)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
24. 桜井貴文 (60183373)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
25. WOLTER Frank (20272990)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results

TOYAMA Yoshihito 外山 芳人

Research Projects

Research Products

Co-Researchers

書き換えシステムの基底合流性自動証明の研究Ongoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on automated program verification based on confluencePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on automated confluence proving for term rewriting systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on program transformation systems based on automated theorem provingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

完備化に基づくプログラム自動変換の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

完備化に基づくプログラム自動変換の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

完備化に基づくプログラム自動変換の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Program verification method based on reduction approximationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

完備化に基づくプログラム自動変換の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

TOYAMA Yoshihito 外山芳人