TOYAMA Yoshihito 外山芳人

Researcher Number	00251968
Other IDs
Affiliation (based on the past Project Information) *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 / Theory of informatics / Software / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 項書き換えシステム / プログラム変換 / 停止性 / 書き換えシステム / 定理自動証明 / 合流性 / 情報基礎 / 自動証明 / 完備化 / 自動検証 … More / 変換パターン / 書き換え帰納法 / ソフトウェア検証 / 融合変換 / 正規化戦略 / balanced weak confluence / external reduction / normalizing strategy / negular preserving approximation / needed reduction / reduction system / 木オートマン / 逐次性 / 到達可能性 / リダクションの近以 / 構成子システム / 条件付き書き換え / リダクションの近似 / 優先順位付き書き換え / プロトコル検証 / 近似木オートマトン / バランス弱合流性 / 外延リダクション / 正規保存近似 / 必須リダクション / リダクションシステム / completion / rewriting system / higher order / coverset induction / rewriting induction / inductionless induction / 高階 / 被覆集合帰納法 / 潜在帰納法 / reduction / termination / confluence property / higher order rewriting / term rewriting system / リダクション / 高階書き換えシステム / モジュラ性 / 補題自動導入法 / プログラム理論 / 融合交換 / 高階システム / 決定可能性 / 優先順位付き書き換えシステム … More Except Principal Investigator 項書換え系 / term rewriting system / 項書き換え系 / 項書き換えシステム / 書き換え帰納法 / 型理論 / 部分構造論理 / 基底合流生 / 基底合流性 / functional language / normalizing strategy / 関数型言語 / 正規化戦略 / linear logic / functional logic programming / temporal logic / reactive system / verification / sound parallelization / evolutionary programming mechanism / 適応的発展機構 / 発展的計算モデル / 検証情報 / 検証系 / 実時間論理 / 書換え型メタ計算モデル / 論理・関数型プログラミング / ソフトウェア仕様記述 / 発展的ソフトウェア / 線形論理 / 関数論理型プログラミング / 時相論理 / リアクティブシステム / 検証 / 健全並列化 / 発展的プログラミング機構 / constructive mathematics / term rewriting systems / modal logic / substructural logic / 時間論理 / 構成的数学 / 様相論理 / completion / E-unification / termination / confluence / 完備化 / E単一化 / 停止条件 / 合流条件 / 証明支援系 / 仕様記述・検証 / ソフトウェアの安全性 / 証明検証 / クラス理論 / 補題発見 / 帰納的定理 / 自動定理証明 / 合流性 / 発散鑑定法 / 健全一般化法 / 潜在帰納法 / リップリング / 書き換えシステム / 定理自動証明 / ソフトウェア学 / 圏論 / ラムダ計算 / クリプキ意味論 / 知識の論理 / 非標準論理 Less

Study on Ground Confluence of Rewrite Systems
- Principal Investigator
  
  Aoto Takahito
- 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
- 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 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2005 2004 2002 Other

All Journal Article Presentation

[Journal Article] Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems2017
- Author(s)
  Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)
  
  Volume: 10483 Pages: 115-131
- DOI
  10.1007/978-3-319-66167-4_7
- ISBN
  9783319661667, 9783319661674
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00091, KAKENHI-PROJECT-17K00005, KAKENHI-PROJECT-15K00003
[Journal Article] Improving rewriting induction approach for proving ground confluence2017
- Author(s)
  Takahito Aoto, Yoshihito Toyama and Yuta Kimura
- Journal Title
  
  Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction
  
  Volume: 84
- DOI
  10.4230/LIPIcs.FSCD.2017.7
- Peer Reviewed / Open Access
- 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] 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
- DOI
  10.4230/LIPIcs.FSCD.2016.33
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K00003
[Journal Article] Decision Method of Reachability based on Rewrite Rule Overlapping2016
- Author(s)
  島貫健太郎, 青戸等人, 外山芳人
- Journal Title
  
  Computer Software
  
  Volume: 33 Issue: 3 Pages: 3_93-3_107
- DOI
  10.11309/jssst.33.3_93
- NAID
  130005256734
- ISSN
  0289-6540
- Language
  Japanese
- 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: 39 Pages: 156-168
- Peer Reviewed / Acknowledgement Compliant / Open Access
- 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
  
  Proceedings of 7th SCSS
  
  Volume: 39 Pages: 156-168
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K00003
[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
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] Normalisation by random descent2016
- Author(s)
  Vincent van Oostrom and Yoshihito Toyama
- Journal Title
  
  Leibniz International Proceedings in Informatics
  
  Volume: 52
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] 項書き換えシステムの変換を利用した帰納的定理自動証明2015
- Author(s)
  1.佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.32 Pages: 179-193
- NAID
  130004892317
- 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: 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
  
  Proceedings of 25th LOPSTR
  
  Volume: 9527 Pages: 331-345
- DOI
  10.1007/978-3-319-27436-2_20
- ISBN
  9783319274355, 9783319274362
- 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: Vol.36 Pages: 301-317
- 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] 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] 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
- DOI
  10.4230/LIPIcs.RTA.2015.301
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K00003
[Journal Article] 項書き換えシステムの変換を利用した帰納的定理自動証明2015
- Author(s)
  佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 32 Pages: 179-193
- NAID
  130004892317
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] 書き換え帰納法に基づく帰納的定理の決定可能性2014
- Author(s)
  中嶋辰成, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 31 Pages: 294-306
- NAID
  130004688287
- 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] Innermost Reachability of Bottom-Up Innermost Term Rewriting Systems2014
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Journal Title
  
  Computer Software
  
  Volume: 31 Issue: 1 Pages: 1_75-1_89
- DOI
  10.11309/jssst.31.1_75
- NAID
  130004549336
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] ボトムアップ最内項書き換えシステムの最内到達可能性2014
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 31 Pages: 75-89
- NAID
  130004549336
- 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)
  高橋翔大, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.31, No.1 Pages: 75-89
- NAID
  130004549336
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] 書き換え帰納法に基づく帰納的定理の決定可能性2014
- Author(s)
  4.中嶋辰成, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.31 Pages: 294-306
- NAID
  130004688287
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[Journal Article] 片側減少ダイアグラム法による項書き換えシステムの可換性証明法2013
- Author(s)
  的場正樹,青戸等人,外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.30,No.1 Pages: 187-202
- NAID
  130004549310
- 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: Vol.30, No.3 Pages: 148-162
- NAID
  40020657296
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[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
- NAID
  130004549310
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[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
  
  第15回プログラミングおよびプログラミング言語ワークショップ論文集
- NAID
  130004688287
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 片側減少ダイアグラム法による項書き換えシステムの可換性証明法2013
- Author(s)
  的場正樹, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.30, No.1 Pages: 187-202
- NAID
  130004549310
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2012
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.129-1 Pages: 176-176
- NAID
  130004549256
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2012
- Author(s)
  磯部耕己,青戸等人,外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.29,No.1 Pages: 176-190
- NAID
  130004549256
- 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] 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.129-1 Pages: 176-176
- NAID
  130004549256
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[Journal Article] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2012
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.29, No.1 Pages: 176-190
- NAID
  130004549256
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 永続性にもとづく項書き換えシステムの合流性証明2012
- Author(s)
  鈴木翼, 青戸等人, 外山芳人
- Journal Title
  
  第14回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages: 153-167
- NAID
  40020657296
- 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
  
  第14回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages: 168-182
- NAID
  130004549310
- 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] 多項式サイズ正規形を保証する項書き換えシステムの経路順序2011
- Author(s)
  磯部耕己, 青戸等人, 外山芳人
- Journal Title
  
  第13回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages: 99-113
- NAID
  130004549256
- 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
- NAID
  10026815249
- 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
- NAID
  10026815249
- 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
- NAID
  10026815249
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[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
- NAID
  10026815249
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[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
- NAID
  10026815249
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 反証機能付き書き換え帰納法のための補題自動生成法2009
- Author(s)
  嶌津聡志, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア Vol.26、No.2
  
  Pages: 41-55
- NAID
  10025982372
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] 項書き換えシステムの合流性自動判定2009
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア Vol.26、No.2
  
  Pages: 76-92
- NAID
  10025982412
- 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] 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] 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
  
  コンピュータソフトウェア Vol.26, No.2
  
  Pages: 76-92
- NAID
  10025982412
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] 項書き換えシステムの合流性自動判定2009
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア 26
  
  Pages: 76-92
- NAID
  10025982412
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 項書き換えシステムの合流性自動判定2009
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.26, No.2 Pages: 76-92
- NAID
  10025982412
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 反証機能付き書き換え帰納法のための補題自動生成法2009
- Author(s)
  嶌津聡志, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア Vol.26, No.2
  
  Pages: 41-55
- NAID
  10025982372
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] 反証機能付き書き換え帰納法のための補題自動生成法2009
- Author(s)
  嶌津聡志, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.26, No.2 Pages: 41-55
- NAID
  10025982372
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 反証機能付き書き換え帰納法のための補題自動生成法2009
- Author(s)
  嶌津聡志, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア 26
  
  Pages: 41-55
- NAID
  10025982372
- Peer Reviewed
- 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
- NAID
  130000058178
- 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] 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
- NAID
  40022087286
- 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] Automatic Construction of Program Transformation Templates2008
- Author(s)
  Yuki Chiba, Takahito Aoto, Yoshihito Toyama
- Journal Title
  
  IPSJ Transactions on Programming 49
  
  Pages: 14-27
- NAID
  130000058178
- 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
- NAID
  40022087286
- 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] 項書き換えシステムの合流性自動判定法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] 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 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] 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] 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] 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] 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] 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] 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] 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] Decidability for left-linear growing term rewriting systems2002
- Author(s)
  T.Nagaya, Y.Toyama
- Journal Title
  
  Information and Computation Vol.178
  
  Pages: 499-514
- NAID
  110000570827
- 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-25280025
[Presentation] 永続性と減少ダイアグラム法に基づく合流性自動証明2014
- Author(s)
  内田和真, 青戸等人, 外山芳人
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  阿蘇
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] ボトムアップ書き換えに基づく最内書き換え到達可能性判定2013
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  会津若松
- 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
  日本ソフトウェア科学会第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] ボトムアップ書き換えに基づく到達可能性の判定法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
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  那覇
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 基底項書き換え系の多項式時間合流性判定法の改良2011
- Author(s)
  村井正勝, 青戸等人, 外山芳人
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  北海道札幌市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 減少ダイアグラム法による項書き換えシステムの可換性証明法2011
- Author(s)
  的場正樹, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  那覇
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-23500002
[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
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  北海道札幌市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 拡大手法に基づく項書き換え系の合流性自動証明2010
- Author(s)
  道又淳一, 青戸等人, 外山芳人
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  香川県琴平町
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 文脈移動法による項書き換えシステムの変換2010
- Author(s)
  鈴木翼, 青戸等人, 外山芳人
- Organizer
  電気関係学会東北支部連合大会
- Place of Presentation
  青森県八戸市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] SMTソルバを用いた項書き換えシステムの合流性自動判定2010
- Author(s)
  的場正樹, 青戸等人, 外山芳人
- Organizer
  電気関係学会東北支部連合大会
- Place of Presentation
  青森県八戸市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 基底項書き換え系の合流性自動判定2009
- Author(s)
  村井正勝, 青戸等人, 外山芳人
- Organizer
  第8回情報科学技術フォーラム(FIT2009)
- Place of Presentation
  宮城県仙台市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 基底項書換え系の合流性判定手続きの効率化2009
- Author(s)
  村井正勝, 青戸等人, 外山芳人
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ
- 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] 多重Knuth-Bendix完備化における効率化手法の導入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
  第11回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  岐阜県高山市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 帰納的経路関係に基づくS式書き換えシステムの停止性証明2007
- Author(s)
  外山芳人
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-19500003
[Presentation] 帰納的順序関係に基づくS式書き換えシステムの停止性証明2007
- Author(s)
  外山芳人
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-19500003

1. AOTO Takahito (00293390)

# of Collaborated Projects: 10 results

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

# of Collaborated Projects: 6 results

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

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TOYAMA Yoshihito 外山 芳人

Research Projects

Research Products

Co-Researchers

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)

Research Category

TOYAMA Yoshihito 外山芳人