AOTO Takahito 青戸等人

Researcher Number	00293390
Other IDs
Affiliation (Current)	2025: 新潟大学, 自然科学系, 教授
Affiliation (based on the past Project Information) *help	2015 – 2024: 新潟大学, 自然科学系, 教授 2007 – 2014: Tohoku University, 電気通信研究所, 准教授 2003 – 2006: 東北大学, 電気通信研究所, 助教授 2002: 東北大学, 電気通信研究所, 講師 1997: School of Information Science, JAIST, Research Associate, 情報科学研究科, 助手
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Fundamental theory of informatics / Theory of informatics / 計算機科学 Except Principal Investigator 計算機科学 / Fundamental theory of informatics / Science and Engineering / Software / Theory of informatics
Keywords	Principal Investigator 項書き換えシステム / 合流性 / 書き換え帰納法 / 帰納的定理 / 条件付き項書き換えシステム / 基底合流性 / 定理自動証明 / 停止性 / モデル生成器 / 計算モデル … More / 自動検証 / 一意正規形性 / 項書換えシステム / UNR性 / NFP性 / UNC性 / 正規形 / アンラベリング変換 / 補題生成法 / ホーン節帰納的定理 / ホーン節論理 / 基底合流生 / 補題発見 / 自動定理証明 / 発散鑑定法 / 健全一般化法 / 潜在帰納法 / リップリング / 書き換えシステム / 補題自動発見 / 変換パターン / 単純型付き書き換えシステム / 高階書き換えシステム / 帰納的定理証明 / 項群き換えシステム / 補題自動発見法 / パターン基づくプログラム変換 / プログラム変換 / プログラム検証 / 単純型付き項書き換えシステム / 高階関数 / 項書換え系 / ナローイング / AC記号 / 帰約的定理 / 高階項書き換え系 / 項書き換え系 / 宣言型プログラミング言語 … More Except Principal Investigator 書き換えシステム / 定理自動証明 / 項書き換えシステム / プログラム変換 / 情報基礎 / 停止性 / 自動検証 / 合流性 / 変換パターン / ソフトウェア検証 / プログラム検証 / balanced weak confluence / external reduction / normalizing strategy / negular preserving approximation / needed reduction / reduction system / 木オートマン / 逐次性 / 到達可能性 / リダクションの近以 / 構成子システム / 条件付き書き換え / リダクションの近似 / 優先順位付き書き換え / プロトコル検証 / 近似木オートマトン / バランス弱合流性 / 外延リダクション / 正規化戦略 / 正規保存近似 / 必須リダクション / リダクションシステム / constructive mathematics / term rewriting systems / modal logic / substructural logic / 項書き換え系 / 時間論理 / 構成的数学 / 項書換え系 / 様相論理 / 部分構造論理 / モジュラ性 / 補題自動導入法 / 融合変換 / 書き換え帰納法 / プログラム理論 Less

モデル生成器を利用した条件付き項書き換えシステムの合流性検証に関する研究Principal Investigator
- Principal Investigator
  
  青戸等人
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Niigata University
Study of Unique Normal Form Properties of Term Rewriting SystemsPrincipal Investigator
- Principal Investigator
  
  Aoto Takahito
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Niigata University
Inductive thoeorems and ground confluence for conditional term rewriting systemsPrincipal Investigator
- Principal Investigator
  
  Aoto Takahito
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Niigata University
Program Verification Methods based on Context-Moving Transformation and Higher-Order Rewriting Theory
- Principal Investigator
  
  KIKUCHI Kentaro
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tohoku University
Study on Ground Confluence of Rewrite SystemsPrincipal Investigator
- 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
Research on automated program verification based on confluence
- 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 ProvingPrincipal Investigator
- 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 systems
- 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 ProvingPrincipal Investigator
- 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 proving
- 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
完備化に基づくプログラム自動変換の研究
- 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)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
完備化に基づくプログラム自動変換の研究
- Principal Investigator
  
  TOYAMA Yoshihito
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tohoku University
宣言型プログラミング言語のためのAC記号のあるナローイングの計算理論Principal Investigator
- Principal Investigator
  
  青戸等人
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Tohoku University
Program verification method based on reduction approximations
- Principal Investigator
  
  TOYAMA Yoshihito
- Project Period (FY)
  2002 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- 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

[Journal Article] A critical pair criterion for level-commutation of conditional term rewriting systems2023
- Author(s)
  Ryota Haga, Yuki Kagaya, and Takahito Aoto
- Journal Title
  
  Proceedings of the 14th International Symposium on Frontiers of Combining Systems
  
  Volume: 14279 Pages: 99-116
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11750
[Journal Article] A new format for rewrite systems2023
- Author(s)
  Takahito Aoto, Nao Hirokawa, Dohan Kim, Misaki Kojima, Aart Middeldorp, Fabian Mitterwallner, Naoki Nishida, Teppei Saito, Jonas Schoepf, Kiraku Shintani, Rene Thiemann and Akihisa Yamada
- Journal Title
  
  Proceedings of the 12th International Workshop on Confluence
  
  Volume: NB Pages: 32-37
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11750
[Journal Article] Commutative rational term rewriting2021
- Author(s)
  Mamoru Ishizuka, Takahito Aoto and Munehiro Iwami
- Journal Title
  
  Proceedings of the 15th International Conference on Language and Automata Theory and Applications (LATA 2021), Lecture Notes in Computer Science,
  
  Volume: 12638 Pages: 200-212
- DOI
  10.1007/978-3-030-68195-1_15
- ISBN
  9783030681944, 9783030681951
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] Simple derivation systems for proving sufficient completeness of non-terminating term rewriting systems2021
- Author(s)
  Kentaro Kikuchi, Takahito Aoto
- Journal Title
  
  Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), LIPIcs
  
  Volume: 213
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11750
[Journal Article] フラット項書き換えシステムにおける正規形の一意性に関する性質の決定不能性2021
- Author(s)
  佐藤悠稀 , 青戸等人
- Journal Title
  
  情報処理学会論文誌プログラミング（PRO）
  
  Volume: 14 Pages: 15-24
- NAID
  170000184921
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11750
[Journal Article] フラット項書き換えシステムにおける正規形の一意性に関する性質の決定不能性2021
- Author(s)
  佐藤悠稀 , 青戸等人
- Journal Title
  
  情報処理学会論文誌プログラミング（PRO）
  
  Volume: 14 Pages: 15-24
- NAID
  170000184921
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] 圏論に基づく正則項上の単一化の形式化2021
- Author(s)
  宮前海里, 青戸等人
- Journal Title
  
  情報処理学会論文誌プログラミング（PRO）
  
  Volume: 14 Pages: 1-14
- NAID
  170000184922
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11750
[Journal Article] 圏論に基づく正則項上の単一化の形式化2021
- Author(s)
  宮前海里, 青戸等人
- Journal Title
  
  情報処理学会論文誌プログラミング（PRO）
  
  Volume: 14 Pages: 1-14
- NAID
  170000184922
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] A proof method for local sufficient completeness of term rewriting systems2021
- Author(s)
  Tomoki Shiraishi, Kentaro Kikuchi and Takahito Aoto
- Journal Title
  
  Proceedings of the 18th International International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), LNCS
  
  Volume: 12819 Pages: 386-404
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11750
[Journal Article] 交換律による正則項書き換えにおける有限オートマトンの構成法とその応用2020
- Author(s)
  石塚守, 青戸等人, 岩見宗弘
- Journal Title
  
  第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集
  
  Volume: C1-17 Pages: 1-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] 条件付き項書き換えシステムの階層合流性証明法2020
- Author(s)
  加賀谷有輝, 青戸等人
- Journal Title
  
  第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集
  
  Volume: C1-14 Pages: 1-12
- NAID
  170000180844
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] A fast decision procedure for uniqueness of normal forms w.r.t. conversion of shallow term rewriting systems2020
- Author(s)
  Masaomi Yamaguchi and Takahito Aoto
- Journal Title
  
  Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Leibniz International Proceedings in Informatics,
  
  Volume: 167
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] 項書き換えシステムにおける局所十分完全性の証明法2020
- Author(s)
  白石智輝, 青戸等人, 菊池健太郎
- Journal Title
  
  第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集
  
  Volume: C1-12 Pages: 1-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] Formalizing Rewriting Induction on Isabelle/HOL2020
- Author(s)
  木村優太, 青戸等人
- Journal Title
  
  Computer Software
  
  Volume: 37 Issue: 2 Pages: 2_104-2_119
- DOI
  10.11309/jssst.37.2_104
- NAID
  130007844692
- ISSN
  0289-6540
- Year and Date
  2020-04-23
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] 決定手続きを用いた項書き換えシステムの帰納的定理自動証明2019
- Author(s)
  山口諒, 青戸等人
- Journal Title
  
  第21回プログラミングおよびプログラミング言語ワークショップ
  
  Volume: 21 Pages: 1-14
- NAID
  40022502359
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] 書き換え帰納法を利用した帰納的定理証明の補題生成法2019
- Author(s)
  加藤裕人, 青戸等人
- Journal Title
  
  第21回プログラミングおよびプログラミング言語ワークショップ
  
  Volume: 21 Pages: 1-15
- NAID
  40021462142
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] 条件付き項書き換えシステムにおけるホーン節帰納的定理の自動証明2019
- Author(s)
  栗田泰智, 青戸等人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 36 Pages: 61-75
- NAID
  130007666999
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] Automated Proofs of Horn-Clause Inductive Theorems for Conditional Term Rewriting Systems.2019
- Author(s)
  栗田泰智, 青戸等人
- Journal Title
  
  Computer Software
  
  Volume: 36 Issue: 2 Pages: 2_61-2_75
- DOI
  10.11309/jssst.36.2_61
- NAID
  130007666999
- ISSN
  0289-6540
- Year and Date
  2019-04-26
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation2019
- Author(s)
  Kentaro Kikuchi, Takahito Aoto, Isao Sasano
- Journal Title
  
  Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)
  
  Volume: 21 Pages: 1-14
- DOI
  10.1145/3354166.3354178
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00005, KAKENHI-PROJECT-18K11158, KAKENHI-PROJECT-19K11891
[Journal Article] Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems2019
- Author(s)
  Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Proceedings of the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), LNCS
  
  Volume: 11715 Pages: 330-347
- DOI
  10.1007/978-3-030-29007-8_19
- ISBN
  9783030290061, 9783030290078
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11158
[Journal Article] Confluence Competition 20182018
- Author(s)
  T. Aoto, M. Hamana, N. Hirokawa, A. Middeldorp J. Nagele, N. Nishida, K. Shintani, and Harald Zankl
- Journal Title
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  Volume: 108
- DOI
  10.4230/LIPIcs.FSCD.2018.32
- NAID
  120006705615
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00092, KAKENHI-PROJECT-18K11158
[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] Nominal confluence tool2016
- Author(s)
  Takahito Aoto and Kentaro Kikuchi
- Journal Title
  
  Proceedings of the 8th International Joint Conference on Automated Reasoning, Coimbra, Portugal
  
  Volume: 9706 Pages: 173-182
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00003
[Journal Article] Nominal Confluence Tool2016
- Author(s)
  Takahito Aoto and Kentaro Kikuchi
- Journal Title
  
  Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)
  
  Volume: 9706 Pages: 173-182
- DOI
  10.1007/978-3-319-40229-1_12
- ISBN
  9783319402284, 9783319402291
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K00091
[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] A Rule-Based Procedure for Equivariant Nominal Unification2016
- Author(s)
  Takahito Aoto and Kentaro Kikuchi
- Journal Title
  
  Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016)
  
  Volume: －
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K00091
[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] 項書き換えシステムの変換を利用した帰納的定理自動証明2015
- Author(s)
  1.佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.32 Pages: 179-193
- NAID
  130004892317
- 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
  
  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] 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] 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] 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] Termination of rule-based calculi for uniform semi-unification2013
- Author(s)
  Takahito Aoto and Munehiro Iwami
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: Vol.7810 Pages: 56-67
- 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] Disproving confluence of term rewriting systems by interpretation and ordering, In Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013)2013
- Author(s)
  Takahito Aoto
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: Vol.8152 Pages: 311-326
- URL
  http://link.springer.com/chapter/10.1007%2F978-3-642-40885-4_22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] Disproving confluence of term rewriting systems by interpretation and ordering2013
- Author(s)
  Takahito Aoto
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: Vol.8152 Pages: 311-326
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330004
[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] Termination of rule-based calculi for uniform semi-unification, In Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA 2013)2013
- Author(s)
  Takahito Aoto and Munehiro Iwami
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: Vol.7810 Pages: 56-67
- URL
  http://link.springer.com/chapter/10.1007%2F978-3-642-37064-9_7
- 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
  
  第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] Rational term rewriting revisited : decidability and confluence, In Proceedings of the 6th International Conference on Graph Transformation (ICGT 2012)2012
- Author(s)
  Takahito Aoto and Jeroen Ketema
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: Vol.7562 Pages: 172-186
- URL
  http://link.springer.com/chapter/10.1007%2F978-3-642-33654-6_12
- 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] Rational term rewriting revisited: decidability and confluence2012
- Author(s)
  Takahito Aoto , Jeroen Ketema
- Journal Title
  
  Proceedings of the 6th International Conference on Graph Transformation (ICGT 2012)
  
  Volume: LNCS 7562 Pages: 172-186
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[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.29, No.1 Pages: 211-239
- NAID
  130004549258
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500002
[Journal Article] 無限項書き換えシステムにおける強頭部正規化可能性および一般生成性の自動反証2012
- Author(s)
  岩見宗弘, 青戸等人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.29, No.1 Pages: 211-239
- NAID
  130004549258
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[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
  
  コンピュータソフトウェア
  
  Volume: Vol.29,No.1 Pages: 211-239
- NAID
  130004549258
- URL
  https://www.jstage.jst.go.jp/article/jssst/29/1/29_1_1_211/_article/-char/ja/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[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] Natural inductive theorems for higher-order rewriting2011
- Author(s)
  Takahito Aoto, Toshiyuki Yamada, Yuki Chiba
- Journal Title
  
  Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
  
  Volume: Vol.10 Pages: 107-121
- NAID
  120006675017
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500002
[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] Natural inductive theorems for higher-order rewriting, In Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)2011
- Author(s)
  Takahito Aoto, Toshiyuki Yamada and Yuki Chiba
- Journal Title
  
  Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
  
  Volume: Vol.10 Pages: 107-121
- URL
  http://drops.dagstuhl.de/opus/volltexte/2011/3111/
- 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] Automated confluence proof by decreasing diagrams based on rule-labelling2010
- Author(s)
  Takahito Aoto
- Journal Title
  
  Proceedings of the 21st International Conference on Rewriting
  
  Volume: Vol.6 Pages: 7-16
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] Automated confluence proof by decreasing diagrams based on rule-labelling2010
- Author(s)
  Takahito Aoto
- Journal Title
  
  Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010), LIPIcs
  
  Volume: Vol.6 Pages: 7-16
- 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] Argument filterings and usable rules for simply typed dependency pairs2009
- Author(s)
  Takahito Aoto, Toshiyuki Yamada
- Journal Title
  
  LNAI Vol.5749
  
  Pages: 117-132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[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] Argument filterings and usable rules for simply typed dependency pairs, In Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009)2009
- Author(s)
  Takahito Aoto and Toshiyuki Yamada
- Journal Title
  
  Trento, Italy, Review existence
  
  Volume: LNAI5749 Pages: 117-132
- 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] Soundness of Rewriting Induction based on an Abstract Principle2008
- Author(s)
  Takahito Aoto
- Journal Title
  
  IPSJ Transactions on Programming 49
  
  Pages: 28-38
- NAID
  130000058179
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700002
[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-17700002
[Journal Article] Soundness of rewriting induction based on an abstract principle2008
- Author(s)
  Takahito Aoto
- Journal Title
  
  IPSJ Transactions on Programming Vol.49、No.SIG 1(PRO 35)
  
  Pages: 28-38
- NAID
  130000058179
- 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] Designing a rewriting induction prover with an increased capability of non-orientable theorems, In Proceedings of Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)2008
- Author(s)
  Takahito Aoto
- Journal Title
  
  Hagenberg, Austria, Review existence
  
  Volume: 200 Pages: 1-15
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] Sound lemma generation for proving inductive validity of equations, In Proceedings of the 28th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)2008
- Author(s)
  Takahito Aoto
- Journal Title
  
  Bangalore, India, Dagstuhl Seminar Proceedings, Review existence
  
  Volume: Vol.08004 Pages: 13-24
- Data Source
  KAKENHI-PROJECT-20500002
[Journal Article] 項書き換えシステムの合流性自動判定法2007
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  情報技術レターズ 6
  
  Pages: 31-34
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500003
[Journal Article] 項書き換えシステムの合流性自動判定2007
- Author(s)
  吉田順一, 青戸等人, 外山芳人
- Journal Title
  
  情報技術レターズ 6
  
  Pages: 31-34
- NAID
  10025982412
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700002
[Journal Article] 書き換え帰納法における向き付け不能な等式の証明2006
- Author(s)
  青戸等人
- Journal Title
  
  第8回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages: 75-89
- Data Source
  KAKENHI-PROJECT-16016202
[Journal Article] 書き換え帰納法における向き付け不能な等式の証明2006
- Author(s)
  青戸等人
- Journal Title
  
  第8回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages: 75-89
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Program Transformation by Template : A Rewriting Framework2006
- Author(s)
  Y.Chiba, T.Aoto, Y.Toyama
- Journal Title
  
  IPSJ Transactions on Programming 47・SIG16
  
  Pages: 52-65
- NAID
  130000058313
- Data Source
  KAKENHI-PROJECT-17700002
[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] Dependency Pairs for Simply Typed Term Rewriting2005
- Author(s)
  Takahito Aoto
- Journal Title
  
  Lecture Notes in Computer Science 3467
  
  Pages: 120-134
- Data Source
  KAKENHI-PROJECT-16016202
[Journal Article] Dependency Pairs for Simply Typed Term Rewriting2005
- Author(s)
  Takahito Aoto
- Journal Title
  
  Lecture Notes in Computer Science 3467
  
  Pages: 120-134
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] パターンに基づくプログラム変換における列変数の導入2005
- Author(s)
  千葉勇輝, 青戸等人, 外山芳人
- Journal Title
  
  情報技術レターズ 4
  
  Pages: 5-8
- Data Source
  KAKENHI-PROJECT-17700002
[Journal Article] Termination of simply-typed applicative term rewriting systems2004
- Author(s)
  T.Aoto
- Journal Title
  
  Proceedings of the 2nd international Workshop on HOR
  
  Pages: 61-65
- Data Source
  KAKENHI-PROJECT-16016202
[Journal Article] Inductive Theorems for Higher-Order Rewriting2004
- Author(s)
  T.Aoto
- Journal Title
  
  Lecture Notes in Comput.Sci. Vol.3091
  
  Pages: 269-284
- Data Source
  KAKENHI-PROJECT-16016202
[Journal Article] Inductive Theorems for Higher-Order Rewriting2004
- Author(s)
  T.Aoto
- Journal Title
  
  Lecture Notes in Comput.Sci. Vol.3091
  
  Pages: 269-284
- Data Source
  KAKENHI-PROJECT-14580357
[Journal Article] Termination of simply-typed applicative term rewriting systems2004
- Author(s)
  T.Aoto
- Journal Title
  
  Proceedings of the 2nd International Workshop on HOR
  
  Pages: 61-65
- 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] Inductive theorems for higher-order rewriting2004
- Author(s)
  Takahito Aoto
- Journal Title
  
  Lecture Notes in Computer Science 3091
  
  Pages: 269-284
- 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] フラット右線形項書き換えシステムの簡約に関する一意正規形性の決定不能性2023
- Author(s)
  趙順, 青戸等人
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ(
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] フラット右線形項書き換えシステムの簡約に関する一意正規形性の決定不能性の証明について2023
- Author(s)
  趙順, 青戸等人
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 方向付け不能なホーン節に対する書き換え帰納法2023
- Author(s)
  笠鳥謙太, 青戸等人
- Organizer
  第146回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 条件付き項書き換えシステムの危険対条件に基づく合流性検証2023
- Author(s)
  東幸輝, 青戸等人
- Organizer
  日本ソフトウェア科学会第40回大会(ポスター・デモ)
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 論理制約付き項書き換えシステムにおける末尾再帰変換の正当性証明と実装2023
- Author(s)
  井出政宏, 青戸等人
- Organizer
  日本ソフトウェア科学会第40回大会(ポスター・デモ)
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] A critical pair criterion for level-commutation of conditional term rewriting systems2023
- Author(s)
  Ryota Haga, Yuki Kagaya, and Takahito Aoto
- Organizer
  The 11th International Workshop on Confluence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 正則項書き換えにおける書き換えステップの決定可能性について2023
- Author(s)
  望月美希, 青戸等人
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 項書き換えシステムにおける生成性と局所十分完全性について2023
- Author(s)
  櫻井爽一, 青戸等人
- Organizer
  第146回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 危険対条件に基づく条件付き項書き換えシステムの階層可換性2021
- Author(s)
  芳賀亮太, 青戸等人
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 置換に関する不動点制約を用いた名目書き換え2021
- Author(s)
  芳賀雅樹, 青戸等人
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 危険対条件に基づく条件付き項書き換えシステムの階層可換性2021
- Author(s)
  芳賀亮太, 青戸等人,
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 交差式条件付き項書き換えシステムに対するアンラベリング変換の健全性について2021
- Author(s)
  大野峻, 青戸等人
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] 書き換え帰納法による帰納的定理証明と循環余帰納法による余帰納的定理証明の融合2021
- Author(s)
  南山駿人, 青戸等人
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
- Data Source
  KAKENHI-PROJECT-21K11750
[Presentation] フラット項書き換えシステムにおける正規形の一意性に関する性質の決定不能性2020
- Author(s)
  佐藤悠稀, 青戸等人
- Organizer
  第131回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-18K11158
[Presentation] Proving sufficient completeness w.r.t. reduction of CTRSs automatically2020
- Author(s)
  Takahito Aoto
- Organizer
  第52回 TRS ミーティング
- Data Source
  KAKENHI-PROJECT-18K11158
[Presentation] 圏論にもとづく正則項上の単一化の形式化2020
- Author(s)
  宮前海里, 青戸等人
- Organizer
  第131回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-18K11158
[Presentation] 外部変数のある可換式条件付き項書き換えシステムの合流性条件2020
- Author(s)
  笹川葵生, 青戸等人
- Organizer
  第131回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-18K11158
[Presentation] Level-confluence of left-linear overlapping CTRSs2019
- Author(s)
  Takahito Aoto
- Organizer
  第51回 TRS ミーティング
- Data Source
  KAKENHI-PROJECT-18K11158
[Presentation] 条件付き項書き換えシステムにおけるホーン節帰納的定理の自動証明2018
- Author(s)
  栗田泰智，青戸等人
- Organizer
  第20回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-15K00003
[Presentation] Jaffarのアルゴリズムに基づく正則項の単一化2018
- Author(s)
  石塚守, 青戸等人
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-18K11158
[Presentation] 決定手続きを用いた項書き換えシステムの帰納的定理自動証明2018
- Author(s)
  山口諒, 青戸等人
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-18K11158
[Presentation] 極大完備化に基づく等式定理の自動証明2017
- Author(s)
  萩原崇央，青戸等人
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-15K00003
[Presentation] ACPH: System Description for CoCo 20172017
- Author(s)
  Kouta Onozawa, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Organizer
  The 6th International Workshop on Confluence (IWC 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00091
[Presentation] 書き換え帰納法を利用した帰納的定理証明の補題生成法2017
- Author(s)
  加藤裕人，青戸等人
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-15K00003
[Presentation] Nrbox: System Description for CoCo 20162016
- Author(s)
  Takahito Aoto and Kentaro Kikuchi
- Organizer
  The 5th International Workshop on Confluence (IWC 2016)
- Place of Presentation
  Obergurgl University Center, Austria
- Year and Date
  2016-09-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00091
[Presentation] ACPH: System Description for CoCo 20162016
- Author(s)
  Kouta Onozawa, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Organizer
  The 5th International Workshop on Confluence (IWC 2016)
- Place of Presentation
  Obergurgl University Center, Austria
- Year and Date
  2016-09-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00091
[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] Disproving confluence of term rewriting systems by interpretation and ordering2013
- Author(s)
  Takahito Aoto
- Organizer
  the 9th International Symposium on Frontiers of Combining Systems
- Place of Presentation
  Nancy, France
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] Disproving confluence of term rewriting systems by interpretation and ordering (extended abstract)2013
- Author(s)
  Takahito Aoto
- Organizer
  the 2nd International Workshop on Confluence
- Place of Presentation
  Eindhoven, The Netherlands
- 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] Disproving confluence of term rewriting systems by interpretation and ordering (extended abstract)2013
- Author(s)
  Takahito Aoto
- Organizer
  the 2nd International Workshop on Confluence (IWC)
- Place of Presentation
  Eindhoven, The Netherlands
- Data Source
  KAKENHI-PROJECT-25330004
[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] Disproving confluence of term rewriting systems by interpretation and ordering (extended abstract)2013
- Author(s)
  Takahito Aoto
- Organizer
  Proceedings of the 2nd International Workshop on Confluence (IWC 2013)
- Place of Presentation
  Eindhoven, The Netherlands
- Year and Date
  2013-06-28
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] Termination of rule-based calculi for uniform semi-unification2013
- Author(s)
  Takahito Aoto and Munehiro Iwami
- Organizer
  the 7th International Conference on Language and Automata Theory and Applications
- Place of Presentation
  Bilbao, Spain
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] Termination of rule-based calculi for uniform semi-unification2013
- Author(s)
  Takahito Aoto , Munehiro Iwami
- Organizer
  the 7th International Conference on Language and Automata Theory and Applications (LATA 2013)
- Place of Presentation
  Bilbao, Spain
- Data Source
  KAKENHI-PROJECT-22500002
[Presentation] Transformations by templates for simply-typed term rewriting2012
- Author(s)
  Yuki Chiba and Takahito Aoto
- Organizer
  6th International Workshop on Higher-Order Rewriting
- Place of Presentation
  名古屋
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] Rational term rewriting revisited:decidability and confluence2012
- Author(s)
  Takahito Aoto , Jeroen Ketema
- Organizer
  the 6th International Conference on Graph Transformation (ICGT 2012)
- Place of Presentation
  Bremen, Germany
- Data Source
  KAKENHI-PROJECT-22500002
[Presentation] ボトムアップ書き換えに基づく到達可能性の判定法2012
- Author(s)
  高橋翔大, 青戸等人, 外山芳人
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  東京
- Year and Date
  2012-08-22
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] Rational term rewriting revisited: decidability and confluence2012
- Author(s)
  Takahito Aoto and Jeroen Ketema
- Organizer
  6th International Conference on Graph Transformation
- Place of Presentation
  Bremen, Germany
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] Transformations by templates for simply-typed term rewriting2012
- Author(s)
  Yuki Chiba , Takahito Aoto
- Organizer
  the 6th International Workshop on Higher-Order Rewriting (HOR 2012)
- Place of Presentation
  Nagoya Japan
- Invited
- Data Source
  KAKENHI-PROJECT-22500002
[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] Transformations by templates for simply-typed term rewriting2012
- Author(s)
  Yuki Chiba , Takahito Aoto
- Organizer
  the 6th International Workshop on Higher-Order Rewriting (HOR 2012)
- Place of Presentation
  Nagoya, Japan
- Data Source
  KAKENHI-PROJECT-22500002
[Presentation] Transformations by templates for simply-typed term rewriting2012
- Author(s)
  Yuki Chiba and Takahito Aoto
- Organizer
  Proceedings of the 6th International Workshop on Higher-Order Rewriting (HOR 2012)
- Place of Presentation
  Nagoya, Japan
- Year and Date
  2012-06-02
- Data Source
  KAKENHI-PROJECT-23500002
[Presentation] 無限項書き換えシステムにおける性質に関する考察, 「代数と言語のアルゴリズムと計算理論」研究集会報告集, 数理解析研究所講究録2011
- Author(s)
  岩見宗弘, 青戸等人
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2011-04-26
- 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] Natural inductive theorems for higher-order rewriting2011
- Author(s)
  Takahito Aoto, Toshiyuki Yamada , Yuki Chiba
- Organizer
  the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
- Place of Presentation
  Novi Sad, Serbia
- Data Source
  KAKENHI-PROJECT-22500002
[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] Automated confluence proof by decreasingdiagrams based on rule-labelling2010
- Author(s)
  Takahito Aoto
- Organizer
  the 21st International Conference on Rewriting Techniques and Applications (RTA 2010)
- Place of Presentation
  Edingburgh, UK
- Data Source
  KAKENHI-PROJECT-22500002
[Presentation] SMTソルバを用いた項書き換えシステムの合流性自動判定2010
- Author(s)
  的場正樹, 青戸等人, 外山芳人
- Organizer
  電気関係学会東北支部連合大会
- Place of Presentation
  青森県八戸市
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 無限項書き換えシステムにおける強頭部正規化可能性の反証手続き2010
- Author(s)
  岩見宗弘, 青戸等人
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  香川県琴平町
- Data Source
  KAKENHI-PROJECT-20500002
[Presentation] 反証機能付き書き換え帰納法のための補題自動生成法2009
- Author(s)
  青戸等人
- Organizer
  書き換え技法および応用に関する国際会議
- Place of Presentation
  ブラジリア(ブラジル)
- Year and Date
  2009-06-29
- 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] 項書き換えシステム停止性検証器におけるSATソルバ利用のための新しい符号化法2007
- Author(s)
  青戸等人
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-17700002
[Presentation] 停止性検証器を利用した書き換え帰納法手続き2007
- Author(s)
  青戸等人
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-19500003
[Presentation] Decision procedures for proving inductive theorems without induction
- Author(s)
  Takahito Aoto , Sorin Stratulat
- Organizer
  16th International Symposium on Principles and
- Place of Presentation
  Canterbury, UK
- Year and Date
  2014-09-08 – 2014-09-10
- Data Source
  KAKENHI-PROJECT-25330004

1. TOYAMA Yoshihito (00251968)

# of Collaborated Projects: 10 results

# of Collaborated Products: 79 results
2. KIKUCHI Kentarou (40396528)

# of Collaborated Projects: 3 results

# of Collaborated Products: 7 results
3. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 酒井正彦 (50215597)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 草刈圭一郎 (90323112)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 浜名誠

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

AOTO Takahito 青戸 等人

Research Projects

Research Products

Co-Researchers

モデル生成器を利用した条件付き項書き換えシステムの合流性検証に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Study of Unique Normal Form Properties of Term Rewriting SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Inductive thoeorems and ground confluence for conditional term rewriting systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Ground Confluence of Rewrite SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Lemma Generation in Inductive 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

Combining Rippling and Rewriting Induction for Inductive Theorm 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

Project Period (FY)

Research Category

Review Section

Research Institution

高階関数を用いたプログラム検証および変換技術の高度化に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

宣言型プログラミング言語のためのAC記号のあるナローイングの計算理論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

AOTO Takahito 青戸等人