• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

TOYAMA Yoshihito  外山 芳人

ORCIDConnect your ORCID iD *help
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
  • Research Projects

    (22 results)
  • Research Products

    (111 results)
  • Co-Researchers

    (25 People)
  •  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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi