KUSAKARI Keiichiro 草刈圭一朗

… Alternative Names

KUSAKARI Keiichirou 草刈圭一朗

草刈圭一郎クサカリケイイチロウ

Less

Researcher Number	90323112
Other IDs
External Links
Affiliation (Current)	2025: 岐阜大学, 工学部, 教授
Affiliation (based on the past Project Information) *help	2013 – 2016: 岐阜大学, 工学部, 教授 2010 – 2012: Nagoya University, 情報科学研究科, 准教授 2007 – 2011: Nagoya University, School of Information Science, Associate Professor 2006: 名古屋大学, 大学院情報科学研究科, 准教授 2006: 名古屋大学, 大学院情報科学研究科, 助教授 … More 2005: 名古屋大学, 大学院情報科学研究科, 講師 2003 – 2005: 名古屋大学, 大学院・情報科学研究科, 講師 2000 – 2002: 東北大学, 電気通信研究所, 助手 Less
Review Section/Research Field	Principal Investigator Fundamental theory of informatics Except Principal Investigator 計算機科学 / Fundamental theory of informatics / Software / Science and Engineering
Keywords	Principal Investigator 停止性 / 再帰定義 / 関数プログラム / 情報基礎 / 関数型プログラム / 静的再帰構造 / 停止性証明 / 単純型付き書換え系 / 関数型言語 / 静的依存対法 / 計算理論 … More Except Principal Investigator … More 項書換え系 / 潜在帰納法 / 自動証明 / 完備化 / normalizing strategy / 正規化戦略 / 書き換えシステム / 停止性証明 / 停止性 / 関数型言語 / プログラム変換 / Term Rewriting System / Type Inference / Secrecy / Exception Handling / Object-Oriented Program / 逆計算 / 通信エラー / 型推論 / 機密性 / 例外処理 / オブジェクト指向計算 / outer-most strategy / implicit induction / termination proof / functional language / term rewriting system / 最外戦略 / balanced weak confluence / external reduction / negular preserving approximation / needed reduction / reduction system / 木オートマン / 逐次性 / 到達可能性 / リダクションの近以 / 構成子システム / 条件付き書き換え / リダクションの近似 / 優先順位付き書き換え / プロトコル検証 / 近似木オートマトン / 変換パターン / バランス弱合流性 / 外延リダクション / 正規保存近似 / 必須リダクション / リダクションシステム / completion / rewriting system / higher order / coverset induction / rewriting induction / inductionless induction / 項書き換えシステム / 高階 / 被覆集合帰納法 / 書き換え帰納法 / 滞在帰納法 / 定理自動証明 / 単純型書換え系 / 合流性 / 論理式変換系 / 被覆集合 / 限量子付き等式仕様 / 融合変換 / 融合交換 Less

On Proving Termination of Functional Programs by Static Recursion AnalysisPrincipal Investigator
- Principal Investigator
  
  Kusakari Keiichirou
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Gifu University
  Nagoya University
On Proving Termination of Higher-Order Functional ProgramsPrincipal Investigator
- Principal Investigator
  
  KUSAKARI Keiichirou
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
- Principal Investigator
  
  SAKAI Masahiko
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University
限量子付き等式仕様からのプログラム生成に関する研究
- Principal Investigator
  
  SAKABE Toshiki
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Software
- Research Institution
  Nagoya University
Type Inference of Object-Oriented Programs with Exceptions Based on Term Rewriting
- Principal Investigator
  
  SAKABE Toshiki
- Project Period (FY)
  2004 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Nagoya University
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
- Principal Investigator
  
  SAKAI Masahiko
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nagoya University
完備化に基づくプログラム自動変換の研究
- 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 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
完備化に基づくプログラム自動変換の研究
- Principal Investigator
  
  TOYAMA Yoshihiro
- 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
Inductive theorem proving method for program verification
- 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

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

All Journal Article Presentation

[Journal Article] A Unified Ordering for Termination Proving2014
- Author(s)
  YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
- Journal Title
  
  Science of Computer Programming
  
  Volume: In Press, Corrected Proof Pages: 1-38
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24500012
[Journal Article] Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types2013
- Author(s)
  KUSAKARI Keiichirou
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E96-D Pages: 472-480
- NAID
  110009569242
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500012
[Journal Article] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems2011
- Author(s)
  SUZUKI Sho, KUSAKARI Keiichirou, Frederic Blanqui
- Journal Title
  
  IPSJ Transactions on Programming
  
  Volume: Vol.4, No.2 Pages: 1-12
- NAID
  130000655125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems2011
- Author(s)
  SUZUKI Sho, KUSAKARI Keiichirou, Frederic Blanqui
- Journal Title
  
  IPSJ Transactions on Programming Vol.4, No.2
  
  Pages: 1-12
- NAID
  130000655125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2010
- Author(s)
  KUSAKARI Keiichirou, ISOGAI Yasuo, SAKAI Masahiko, Frederic Blanqui
- Journal Title
  
  IEICE Transactions on Information and Systems E92-D
  
  Pages: 2007-2015
- NAID
  10026811591
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Context-Sensitive Innermost Reachability is Decidable for Linear Right-Shallow Term Rewriting Systems2009
- Author(s)
  KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki
- Journal Title
  
  IPSJ Transactions on Programming 2
  
  Pages: 20-32
- NAID
  130000140286
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009
- Author(s)
  KUSAKARI Keiichirou, SAKAI Masahiko
- Journal Title
  
  IEICE Transactions on Information and Systems, D Vol.E92, No.2
  
  Pages: 235-247
- NAID
  120005530810
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2009
- Author(s)
  KUSAKARI Keiichirou, ISOGAI Yasuo, SAKAI Masahiko, Frederic Blanqui
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: Vol.E92-D, No.10 Pages: 2007-2015
- NAID
  10026811591
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Journal Title
  
  IEICE Transactions on Information and Systems E92-D
  
  Pages: 235-247
- NAID
  120005530810
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems2009
- Author(s)
  Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe
- Journal Title
  
  IPSJ Transactions of Programming on Information 2巻
  
  Pages: 20-32
- NAID
  130000140286
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Context-Sensitive Innermost Reachability is Decidable for Linear Right-Shallow Term Rewriting Systems2009
- Author(s)
  KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki
- Journal Title
  
  IPSJ Transactions on Programming
  
  Volume: Vol.2, No.3 Pages: 20-32
- NAID
  130000140286
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2009
- Author(s)
  KUSAKARI Keiichirou, ISOGAI Yasuo, SAKAI Masahiko, Frederic Blanqui
- Journal Title
  
  IEICE Transactions on Information and Systems,D Vol.E92, No.10
  
  Pages: 2007-2015
- NAID
  10026811591
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems2009
- Author(s)
  Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe
- Journal Title
  
  IPSJ Transactions of Programming on Information 2
  
  Pages: 20-32
- NAID
  130000140286
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2009
- Author(s)
  Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frederic Blanqui
- Journal Title
  
  IEICE Transactions on Information and Systems E92-D巻
  
  Pages: 2007-2015
- NAID
  10026811591
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Journal Title
  
  IEICE Transactions on Information and Systems E92-D
  
  Pages: 235-247
- NAID
  120005530810
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009
- Author(s)
  KUSAKARI Keiichirou, SAKAI Masahiko
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: Vol.E92-D, No.2 Pages: 235-247
- NAID
  120005530810
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500008
[Journal Article] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2009
- Author(s)
  Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frederic Blanqui
- Journal Title
  
  IEICE Transactions on Information and Systems E92-D
  
  Pages: 2007-2015
- NAID
  10026811591
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2009
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Journal Title
  
  IEICE Transactions on Information and Systems E92-D巻
  
  Pages: 235-247
- NAID
  120005530810
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Error Detection with Soft Typing for Dynamically Typed Language2008
- Author(s)
  Akihisa Yamada, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe and Naoki Nishida
- Journal Title
  
  IEICE Technical Report SS2007-58 107
  
  Pages: 7-12
- NAID
  120005530811
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] A Sufficient Condition for Termination of Transforma-tions from Equations to Rewrite Rules2008
- Author(s)
  Kiyotaka, Mizuno, Naoki, Nishida, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari
- Journal Title
  
  IEICE Technical Report (SS2007-6) Vol.107, No.505(Non-refereed)
  
  Pages: 25-30
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム2008
- Author(s)
  黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会論文誌 J91-D
  
  Pages: 757-770
- NAID
  120005530809
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling2008
- Author(s)
  Sho, Kurokawa, Hiroaki, Kuwabara, Shin-ichiro, Yamamoto, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.J91-D, No.3(Refereed)
  
  Pages: 757-770
- NAID
  120005530809
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2008
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Journal Title
  
  IEICE Technical Report SS2007-60 107
  
  Pages: 19-24
- NAID
  120005530810
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2008
- Author(s)
  Keiichirou, Kusakari, Masahiko, Sakai
- Journal Title
  
  IEICE Technical Report SS2007-60 107(Non-refereed)
  
  Pages: 19-24
- NAID
  120005530810
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Error Detection with Soft Typing for Dynamically Typed Language2008
- Author(s)
  Akihisa, Yamada, Keiichirou, Kusakari, Masahiko, Sakai, Toshiki, Sakabe, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report SS2007-58 Vol.107, No.505(Non-refereed)
  
  Pages: 7-12
- NAID
  120005530811
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 等式を規則化する変換の停止条件2008
- Author(s)
  水野清貴, 西田直樹, 坂部俊樹、酒井正彦, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-61) 107
  
  Pages: 25-30
- NAID
  120005527805
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting2007
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Journal Title
  
  Applicable Algebra in Engineering, Communica-tion and Computing 18
  
  Pages: 407-431
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Implicit Induction for Proving Behavioral Equivalence by Equational Rewriting2007
- Author(s)
  Yuji, Sasada, Masahiko, Sakai, Naoki, Nishida, Toshiki, Sakabe, Keiichirou, Kusakari
- Journal Title
  
  IEICE Technical Report (SS2007-17) Vol.107, No.176(Non-refereed)
  
  Pages: 7-12
- NAID
  120005526507
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン2007
- Author(s)
  村田俊樹、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-16) 107
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems2007
- Author(s)
  Kiichirou Kusakari, Yasuo Iso-gai, Masahiko Sakai, Toshiki Sakabe Naoki Nishida
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-61) 107
  
  Pages: 17-22
- NAID
  110006343341
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Usable Rules and Labeling Product-Typed Terms for De-pendency Pair Method in Simply-Typed Term Rewriting Systems2007
- Author(s)
  Takahiro, Sakurai, Keiichirou, Kusakari, Masahiko, Sakai, Toshiki, Sakabe, Naoki, Nishida
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.J90-D, No.4(Refereed)
  
  Pages: 978-989
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Recognizable Approximation of Descendant Sets for Left-Linear Oriented Conditional Term Rewriting Systems2007
- Author(s)
  Toshiki, Murata, Naoki, Nishida, Masahiko, Sakai, Toshiki, Sakabe, Keiichirou, Kusakari
- Journal Title
  
  IEICE Technical Report (SS2007-16) Vol.107, No.176(Non-refereed)
  
  Pages: 1-6
- NAID
  120005526506
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007
- Author(s)
  櫻井敬大、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
- Journal Title
  
  電子情報通信学会論文誌 J90-D
  
  Pages: 978-989
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Enhancing Dependency Pair Method by Strong Com-putability in Simply-Typed Term Rewriting2007
- Author(s)
  Keiichirou, Kusakari, Masahiko, Sakai
- Journal Title
  
  Applicable Algebra in Engineering, Communica-tion and Computing Vol.18, No.5(Refereed)
  
  Pages: 407-431
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems2007
- Author(s)
  Keita Uchiyama, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari
- Journal Title
  
  LA-Symposium 2005 (Winter)
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems2007
- Author(s)
  Kiichirou Kusakari, Yasuo Iso-gai, Masahiko Sakai, Toshiki Sakabe Naoki Nishida
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-12) 107
  
  Pages: 17-22
- NAID
  110006343341
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007
- Author(s)
  櫻井敬大、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
- Journal Title
  
  電子情報通信学会論文誌 J90-D
  
  Pages: 978-989
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン2007
- Author(s)
  村田俊樹、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-61) 107
  
  Pages: 1-6
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting2007
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Journal Title
  
  Applicable Algebra in Engineering, Communi-cation and Computing 18
  
  Pages: 407-431
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007
- Author(s)
  櫻井敬大, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会論文誌 J90-D・4
  
  Pages: 978-989
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems2007
- Author(s)
  Keichirou, Kusakari, Yasuo, Isogai, Masahiko, Sakai, Toshiki, Sakabe Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2007-61) Vol.107, No.505(Non-refereed)
  
  Pages: 17-22
- NAID
  110006343341
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007
- Author(s)
  櫻井敬大, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会論文誌 (採録決定済)
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting2007
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Journal Title
  
  Applicable Algebra in Engineering, Communication and Computing Vol.18
  
  Pages: 407-431
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting2007
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Journal Title
  
  Applicable Algebra in Engineering, Communication and Computing 18巻
  
  Pages: 407-431
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007
- Author(s)
  櫻井敬大、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
- Journal Title
  
  電子情報通信学会論文誌 J90-D巻
  
  Pages: 978-989
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法2007
- Author(s)
  笹田悠司、酒井正彦、西田直樹、坂部俊樹、草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-17) 107
  
  Pages: 7-12
- NAID
  120005526507
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法2007
- Author(s)
  笹田悠司、酒井正彦、西田直樹、坂部俊樹、草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2007-61) 107
  
  Pages: 7-12
- NAID
  120005526507
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Lexicographic Path Ordering for Proving Termination of Functional Programs2006
- Author(s)
  Yumi, Hoshino, Keiichirou, Kusakari, Masahiko, Sakai, Toshiki, Sakabe, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2005-85) Vol.105, No.596(Non-refereed)
  
  Pages: 35-40
- NAID
  110004662816
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 関数プログラムの停止性証明に関する辞書式経路順序2006
- Author(s)
  星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告 105・596
  
  Pages: 35-40
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 紐解かれた項書換え系の文脈依存条件の除去のための変換2006
- Author(s)
  水谷知博, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  冬のLAシンポジウム
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み2006
- Author(s)
  古市祐樹, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術研究報告 (SS2006-41) 106・324
  
  Pages: 7-12
- NAID
  110004851223
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Secrecy Verification of Spi Calculus based on Term Reg-ular Expressions2006
- Author(s)
  Yoshihiko, Tashiro, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report IEICE (SS2005-82) Vol.105, No.596(Non-refereed)
  
  Pages: 35-40
- NAID
  110004662813
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 関数プログラムの停止性証明に関する辞書式経路順序2006
- Author(s)
  星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告 105・596
  
  Pages: 35-40
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 所属制約を持つ条件付き項書換え系の紐解き変換2006
- Author(s)
  村田俊樹, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  平成18年度電気関係学会東海支部連合大会講演論文集
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Security Analysis of Information Flow for an Object-Oriented Language with Exception Handling2006
- Author(s)
  Sho, Kurokawa, Hiroaki, Kuwabara, Shin-ichiro, Yamamoto, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2006-42) Vol.106, No.324(Non-refereed)
  
  Pages: 13-18
- NAID
  110004851224
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 例外処理付きオブジェクト指向言語における情報流の安全性解析2006
- Author(s)
  黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2006-42) 106
  
  Pages: 13-18
- NAID
  110004851224
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Transformation of Equational Rewriting Systems for Re-moving Some Equations2006
- Author(s)
  Kiochi, Miura, Naoki, Nishida, Masahiko, Sakai, Toshiki, Sakabe, Keiichirou, Kusakari
- Journal Title
  
  IEICE Technical Report (SS2006-14) Vol.106, No.120(Non-refereed)
  
  Pages: 7-12
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 等式付き書換え系の等式数を削減する変換2006
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告 106・120
  
  Pages: 7-12
- NAID
  110004750957
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] 項正規表現に基づくSpi計算の機密性検証2006
- Author(s)
  田代善彦, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2005-82) 105
  
  Pages: 35-40
- NAID
  110004662813
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 関数プログラムの停止性証明に関する辞書式経路順序2006
- Author(s)
  星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2005-82) 105
  
  Pages: 35-40
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み2006
- Author(s)
  古市祐樹, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2006-41) 106
  
  Pages: 7-12
- NAID
  110004851223
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 例外処理付きオブジェクト指向言語における情報流の安全性解析2006
- Author(s)
  黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告 (SS2006-42) 106・324
  
  Pages: 13-18
- NAID
  110004851224
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 等式付き書換え系の等式数を削減する変換2006
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2006-14) 106
  
  Pages: 7-12
- NAID
  110004750957
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] GeneSysによるプログラム生成例とIntroduction規則の追加2006
- Author(s)
  近藤悟, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告(SS2006-46) 106・324
  
  Pages: 37-42
- NAID
  110004851228
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] Approach to Software Verification Based on Transform-ing from Procedural Programs to Rewrite Systems2006
- Author(s)
  Yuki, Furuichi, Naoki, Nishida, Masahiko, Sakai, Keiichi-rou, Kusakari, Toshiki, Sakabe
- Journal Title
  
  IEICE Technical Report (SS2006-41) Vol.106, No.324(No-refereed)
  
  Pages: 7-12
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 強計算依存対法による高階書換え系の停止性証明2006
- Author(s)
  磯谷泰巨, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2006-6) 106・15
  
  Pages: 31-36
- NAID
  110004718943
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] 等式付き書換え系の等式数を削減する変換2006
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告 (SS2006-6) 106・120
  
  Pages: 7-12
- NAID
  110004750957
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] ナローイング計算の停止性証明のための依存グラフ法2006
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術研究報告SS2005-23 105・129
  
  Pages: 31-36
- NAID
  10016575794
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] 項正規表現に基づくSpi計算の機密性検証2006
- Author(s)
  田代善彦, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告SS2005-82 105・596
- NAID
  110004662813
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 単純型項書換え系における定理自動証明系HOPSYS2006
- Author(s)
  蒲田明憲, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術研究報告 106・424
  
  Pages: 7-12
- NAID
  110006163165
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法2005
- Author(s)
  櫻井敬大, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  情報科学技術レターズ LA-001
  
  Pages: 1-4
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] 分散JoinJAVAプログラムの通信エラーに対する型判定システム2005
- Author(s)
  佐伯昌樹, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2005-67) 105
  
  Pages: 25-30
- NAID
  110003488400
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting2005
- Author(s)
  Keiichiro Kusakari, Masahiko Sakai, Toshiki Sakabe
- Journal Title
  
  IEICE Transactions on Information and Systems E88-D・12
  
  Pages: 2715-2726
- NAID
  110004019494
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] Primitive Indeuctive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting2005
- Author(s)
  K.Kusakari, M.Sakai, T.Sakabe
- Journal Title
  
  IEICE Trans. on Information and Systems Vol.E88-D, No.12
  
  Pages: 2715-2726
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] Secrecy Verification by Transforming Cryptographic Pro-tocol Descripstions to Coloured Petri Nets2005
- Author(s)
  Okuya, Daisuke, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2005-58) Vol.105, No.490(Non-refereed)
  
  Pages: 19-24
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法2005
- Author(s)
  櫻井敬大, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
- Journal Title
  
  情報科学技術レターズ LA-001
  
  Pages: 1-4
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems2005
- Author(s)
  M.Sakai, K.Kusakari
- Journal Title
  
  IEICE Trans. on Information and Systems E88-D・3
  
  Pages: 583-593
- NAID
  110003214222
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 難読プログラミング言語Malbolgeにおけるプログラム構成手法2005
- Author(s)
  飯澤恒, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告SS2005-52 105・129
  
  Pages: 25-30
- NAID
  10016575789
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] On Completeness of Outermost Strategy for Overlapping TRSs2005
- Author(s)
  Atsushi, Iwata, Masahiko, Sakai, Naoki, Nishida, Keiichirou, Kusakari, Toshiki, Sakabe
- Journal Title
  
  IEICE Technical Report (SS2005-46) Vol.105, No.331(Non-refereed)
  
  Pages: 39-44
- NAID
  110003498383
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 重なりを持つTRSにおける最外戦略の完全性について2005
- Author(s)
  岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術報告 105・331
  
  Pages: 39-44
- NAID
  110003498383
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems2005
- Author(s)
  M.Sakai, K.Kusakari
- Journal Title
  
  IEICE Trans. on Information and Systems Vol.E88-D, No.3
  
  Pages: 583-593
- NAID
  110003214222
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] Proving Sufficient Completeness of Functional Programs based on Recursive Structure Analysis and Strong Computability2005
- Author(s)
  Keita Sakurai, Keiichirou Kusakari, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
- Journal Title
  
  Information Technology Letters(in Japanese) Vol.LA-001
  
  Pages: 1-4
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法2005
- Author(s)
  櫻井, 草刈, 西田, 酒井, 坂部
- Journal Title
  
  情報科学技術レターズ LA-001
  
  Pages: 1-4
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] Type Judgement System for Communication Error in Distributed Join JAVA Programs2005
- Author(s)
  Saeki, Masaki, Toshiki, Sakabe, Masahiko, Sakai, Keiichirou, Kusakari, Naoki, Nishida
- Journal Title
  
  IEICE Technical Report (SS2005-67) Vol.105, No.491(Non-refereed)
  
  Pages: 25-30
- NAID
  110003488400
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 重なりを持つTRSにおける最外戦略の完全性について2005
- Author(s)
  岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術報告 105・331
  
  Pages: 39-44
- NAID
  110003498383
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems2005
- Author(s)
  M.Sakai, K.Kusakari
- Journal Title
  
  IEICE Trans.on Information and Systems E88-D・3
  
  Pages: 583-593
- NAID
  110003214222
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Primitive Indeuctive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting2005
- Author(s)
  K.Kusakari, M.Sakai, T.Sakabe
- Journal Title
  
  IEICE Trans. on Information and Systems E88-D・12
  
  Pages: 2715-2726
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証2005
- Author(s)
  奥谷大介, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告(SS2005-58) 105
  
  Pages: 19-24
- NAID
  110003488391
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 分散JoinJAVAプログラムの通信エラーに対する型判定システム2005
- Author(s)
  佐伯昌樹, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告SS2005-67 105・491
  
  Pages: 25-30
- NAID
  110003488400
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証2005
- Author(s)
  奥谷大介, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
- Journal Title
  
  電子情報通信学会技術研究報告SS2005-58 105・490
  
  Pages: 19-24
- NAID
  110003488391
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 重なりを持つTRSにおける最外戦略の完全性について2005
- Author(s)
  岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
- Journal Title
  
  電子情報通信学会技術報告(SS2005-46) 105
  
  Pages: 39-44
- NAID
  110003498383
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] 融合変換を模倣するプログラム生成変換の戦略2004
- Author(s)
  長島正憲, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  電子情報通信学会技術研究報告 SS2004-33
  
  Pages: 43-48
- NAID
  110003277237
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] Higher-Order Path Orders based on Computability2004
- Author(s)
  K.Kusakari
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E87-D, No.2
  
  Pages: 352-359
- NAID
  110003223356
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] 限量子付き等式理論の変換に基づく仕様からのプログラム生成2004
- Author(s)
  長島正徳, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Journal Title
  
  コンピュータソフトウェア 21・4
  
  Pages: 49-54
- NAID
  130004549022
- Data Source
  KAKENHI-PROJECT-16650005
[Journal Article] Characterizing, Proving and Disproving Inductive Theorems in Higher-Order Rewriting2004
- Author(s)
  K.Kusakari, M.Sakai, T.Sakabe
- Journal Title
  
  LA-Symposium 2004(Summer)
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Higher-Order Knuth-Bendix Procedure and its Applications2004
- Author(s)
  K.Kusakari, Y.Chiba
- Journal Title
  
  LA-Symposium 2004(Summer)
- NAID
  110007519531
- Data Source
  KAKENHI-PROJECT-16300005
[Journal Article] Higher-Order Path Orders based on Computability2004
- Author(s)
  K.Kusakari
- Journal Title
  
  IEICE Trans. on Information and Systems E87-D・2
  
  Pages: 352-359
- NAID
  110003223356
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500007
[Journal Article] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Journal Title
  
  Applicable Algebra in Engineering, Communication and Computing (採録決定済)
- Data Source
  KAKENHI-PROJECT-18500011
[Journal Article] On Dependency Pair Method for Procing Termination of Higher-Order Rewrite Systems
- Author(s)
  M.Sakai, K.Kusakari
- Journal Title
  
  IEICE Trans.on Information and Systems to appear
- Data Source
  KAKENHI-PROJECT-15500007
[Presentation] AC Dependency Pairs Revisited2016
- Author(s)
  YAMADA Akihisa, Christian Sternagel, Rene Thiemann, KUSAKARI Keiichirou
- Organizer
  25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
- Place of Presentation
  Marseille, France
- Year and Date
  2016-08-29
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] Size Complexity of BDD Construction of Pseudo-Boolean Constraints in binary/mixed-radix Base Form2014
- Author(s)
  Naoki Nagatsuka, Masahiko Sakai, Zankl Harald, Keiichirou Kusakari
- Organizer
  The 28th Annual Conference of the Japan Society of Artifical Intelligence
- Place of Presentation
  松山
- Year and Date
  2014-05-12
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] Nagoya Termination Tool2014
- Author(s)
  YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
- Organizer
  n Proc. Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications
- Place of Presentation
  Vienna (Austria)
- Year and Date
  2014-07-15
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] カリー化を組み込んだ高階辞書式経路順序の設計2013
- Author(s)
  松原穂波, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Organizer
  平成25年度電気関係学会東海支部連合大会講演論文集
- Place of Presentation
  静岡大学浜松キャンパス
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] Unifying the Knuth-Bendix, Recursive Path and Polynomial Orders2013
- Author(s)
  YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
- Organizer
  In Proc. of the 15th International Symposium on Principles and Practice of Declarative Programming (PPDP2013)
- Place of Presentation
  Madrid, Spain
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] 単純型付き項書換え系における帰納的定理自動証明の局所戦略について2013
- Author(s)
  神谷尚史, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Organizer
  平成25年度電気関係学会東海支部連合大会
- Place of Presentation
  静岡大学浜松キャンパス
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] 手続き型プログラムから書換え系への変換における停止性をより保存するためのループ不変式の利用2013
- Author(s)
  片岡巧, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Organizer
  平成25年度電気関係学会東海支部連合大会
- Place of Presentation
  静岡大学浜松キャンパス
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] Partial Status for KBO2013
- Author(s)
  YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki
- Organizer
  In Proc. of the 13th International Workshop on Termination (WST2013)
- Place of Presentation
  Bertinoro, Italy
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] 静的依存対法－再帰定義は定義か？－2013
- Author(s)
  草刈圭一朗
- Organizer
  第15回プログラミングおよび言語ワークショップ(PPL2013)
- Place of Presentation
  会津若松
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] 単純型付き項書換え系における書換え帰納法について2012
- Author(s)
  尾関朗,草刈圭一朗,坂田翼,西田直樹,酒井正彦,坂部俊樹
- Organizer
  Tech. Rep. of IEICE(SS2011-48)
- Place of Presentation
  高知
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 単純型付き項書換え系の停止性証明におけるカリー化の利用2012
- Author(s)
  倉田佳佑, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
- Organizer
  平成24年度電気関係学会東海支部連合大会
- Place of Presentation
  豊橋技術科学大学
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types2012
- Author(s)
  KUSAKARI Keiichirou
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  愛媛大学
- Data Source
  KAKENHI-PROJECT-24500012
[Presentation] 高階書換え系における引数切り落とし関数の下での実効規則について2012
- Author(s)
  大井一展,草刈圭一朗,酒井正彦,坂部俊樹,西田直樹
- Organizer
  Tech. Rep. of IEICE(SS2011-49)
- Place of Presentation
  高知
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 単純型付き項書換え系における書換え帰納法について2012
- Author(s)
  尾関朗, 草刈圭一朗, 坂田翼, 西田直樹, 酒井正彦, 坂部俊樹
- Organizer
  電気情報通信学会
- Place of Presentation
  高知
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 高階書換え系における引数切り落とし関数の下での実効規則について2012
- Author(s)
  大井一展, 草刈圭一朗, 酒井正彦, 坂部俊樹,西田直樹
- Organizer
  電気情報通信学会
- Place of Presentation
  高知
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 多重文脈書換え帰納法における反証と補題追加2011
- Author(s)
  坂田翼,西田直樹,酒井正彦,草刈圭一朗,坂部俊樹
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 制約付き項書換え系における木準同型写像を用いた関数等価性検証2011
- Author(s)
  高桑一也,西田直樹,酒井正彦,坂部俊樹,草刈圭一朗
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 制約付き木オートマトンとその閉包性2011
- Author(s)
  倉橋克尚, 酒井正彦, 西田直樹, 野村太志, 坂部俊樹, 草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  那覇市
- Year and Date
  2011-03-07
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 多重文脈書換え帰納法における反証と補題追加2011
- Author(s)
  坂田翼, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 制約付き木オートマトンとその閉包性2011
- Author(s)
  倉橋克尚,酒井正彦,西田直樹,野村太志,坂部俊樹,草刈圭一朗
- Organizer
  Tech. Rep. of IEICE(SS2010-63)
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 制約付き項書換え系における木準同型写像を用いた関数等価性検証2011
- Author(s)
  高桑一也, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  那覇
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 例外処理を持つ関数型プログラムの停止性証明法2010
- Author(s)
  馬場正貴、酒井正彦、濱口毅、西田直樹、坂部俊樹、草刈圭一朗
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップPPL2010
- Place of Presentation
  ポスター・デモ発表、琴平市
- Year and Date
  2010-03-03
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 等式理論を法とするDPLL遷移系について2010
- Author(s)
  馬場達也,坂部俊樹,西田直樹,草刈圭一朗,酒井正彦
- Organizer
  Tech. Rep. of IEICE(SS2010-36)
- Place of Presentation
  滝沢村(岩手県)
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 例外処理を持つ関数型プログラムの停止性証明法2010
- Author(s)
  馬場正貴, 酒井正彦, 濱口毅, 西田直樹, 坂部俊樹, 草刈圭一朗
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップPPL2010
- Place of Presentation
  琴平
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 例外処理を持つ関数型プログラムの停止性証明法2010
- Author(s)
  馬場正貴,酒井正彦,濱口毅,西田直樹,坂部俊樹,草刈圭一朗
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  琴平
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 等式理論を法とするDPLL遷移系について2010
- Author(s)
  馬場達也, 坂部俊樹, 西田直樹, 草刈圭一朗, 酒井正彦
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  岩手県
- Year and Date
  2010-10-15
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について2010
- Author(s)
  服部達哉,酒井正彦,西田直樹,草刈圭一朗,坂部俊樹
- Organizer
  Tech. Rep. of IEICE(SS2010-44)
- Place of Presentation
  渋川
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems2010
- Author(s)
  SUZUKI Sho, KUSAKARI Keiichirou, Frederic Blanqui
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  旭川市
- Year and Date
  2010-08-05
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について2010
- Author(s)
  服部達哉, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  渋川市
- Year and Date
  2010-12-14
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 例外処理を持つ関数型プログラムの停止性証明法2010
- Author(s)
  馬場正貴、酒井正彦、濱口毅、西田直樹、坂部俊樹、草刈圭一朗
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップPPL2010、ポスター・デモ発表
- Place of Presentation
  琴平市
- Year and Date
  2010-03-03
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems2010
- Author(s)
  SUZUKI Sho, KUSAKARI Keiichirou, Frederic Blanqui
- Organizer
  Tech. Rep. of IEICE(SS2010-24)
- Place of Presentation
  旭川
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 高階書換え系における引数切り落とし方と実効規則2009
- Author(s)
  鈴木翔、草刈圭一朗、坂部俊樹、酒井正彦、西田直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  香川市
- Year and Date
  2009-12-17
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 高階書換え系における引数切り落とし法と実効規則2009
- Author(s)
  鈴木翔, 草刈圭一朗, 坂部俊樹, 酒井正彦, 西田直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  高松
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 高階書換え系における引数切り落とし法と実効規則2009
- Author(s)
  鈴木翔,草刈圭一朗,坂部俊樹,酒井正彦,西田直樹
- Organizer
  Tech. Rep. of IEICE(SS2009-39)
- Place of Presentation
  高松
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Context-Sensitive Innermost Reduction of Linear Right-Shallow Term Rewriting Systems Effectively Preserves Regularity2009
- Author(s)
  KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki
- Organizer
  LA-Symposium 2009(Summer)
- Place of Presentation
  東松島
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Context-Sensitive Innermost Reduction of Linear Right-Shallow Term Rewriting Systems Effectively Preserves Regularity2009
- Author(s)
  Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari
- Organizer
  夏のLAシンポジュウム
- Place of Presentation
  東松島市
- Year and Date
  2009-07-23
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について2009
- Author(s)
  御宿義勝,酒井正彦,坂部俊樹,草刈圭一朗,西田直樹
- Organizer
  Tech. Rep. of IEICE(SS2009-40)
- Place of Presentation
  高松
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について2009
- Author(s)
  御宿義勝、酒井正彦、坂部俊樹、草刈圭一朗、西田直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  香川市
- Year and Date
  2009-12-17
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について2009
- Author(s)
  御宿義勝, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
- Organizer
  電子悟報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  高松
- Data Source
  KAKENHI-PROJECT-20500008
[Presentation] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2008
- Author(s)
  Keiichirou Kusakari, Masahiko Sakai
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  長崎市
- Year and Date
  2008-03-03
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] プレスブルガー文付き項書換え系における書換え帰納法について2008
- Author(s)
  坂田翼, 西田直樹, 酒井正彦、草刈圭一朗, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  宮崎市
- Year and Date
  2008-05-29
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序2008
- Author(s)
  西田直樹, 坂田翼, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  函館市
- Year and Date
  2008-07-31
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序2008
- Author(s)
  西田直樹, 坂田翼, 酒井正彦, 草刈圭一朗, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  松江市
- Year and Date
  2008-09-17
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 等式を規則化する変換の停止条件2008
- Author(s)
  水野清貴, 西田直樹, 坂部俊樹、酒井正彦, 草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  長崎市
- Year and Date
  2008-03-03
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法2008
- Author(s)
  笹田悠司、酒井正彦、西田直樹、坂部俊樹、草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  札幌市
- Year and Date
  2008-08-02
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Decidability of Termination Properties for Term Rewriting Systems consisting of Shallow Dependency Pairs2008
- Author(s)
  Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe, Keiichirou kusakari, Naoki Nishida
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  高知市
- Year and Date
  2008-12-19
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems2007
- Author(s)
  Kiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  能美市
- Year and Date
  2007-06-22
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 二階の書換え系における引数切り落とし法2007
- Author(s)
  磯谷泰巨、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  能美市
- Year and Date
  2007-06-22
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン2007
- Author(s)
  村田俊樹、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  札幌市
- Year and Date
  2007-08-02
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 導出木からのループ検出による論理プログラムの非停止性証明法2007
- Author(s)
  水谷知博、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  黒川郡
- Year and Date
  2007-10-22
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 単純型項書換え系における定理自動証明系HOPSYS2006
- Author(s)
  蒲田明憲, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  福岡市
- Year and Date
  2006-12-14
- Data Source
  KAKENHI-PROJECT-18500011
[Presentation] 等式付き書換え系の等式数を削減する変換2006
- Author(s)
  三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  岡山市
- Year and Date
  2006-06-22
- Data Source
  KAKENHI-PROJECT-18500011

1. SAKABE Toshiki (60111829)

# of Collaborated Projects: 6 results

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

# of Collaborated Projects: 6 results

# of Collaborated Products: 136 results
3. NISHIDA Naoki (00397449)

# of Collaborated Projects: 5 results

# of Collaborated Products: 128 results
4. TOYAMA Yoshihiro (00251968)

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. AOTO Takahito (00293390)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KUSAKARI Keiichiro 草刈 圭一朗

KUSAKARI Keiichirou 草刈 圭一朗

草刈 圭一郎 クサカリ ケイイチロウ

Research Projects

Research Products

Co-Researchers

On Proving Termination of Functional Programs by Static Recursion AnalysisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On Proving Termination of Higher-Order Functional ProgramsPrincipal 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

Research Field

Research Institution

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

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A Unified Ordering for Termination Proving2014

Author(s)

Journal Title

Data Source

[Journal Article] Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types2013

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems2011

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems2011

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2010

Author(s)

Journal Title

KUSAKARI Keiichiro 草刈圭一朗

KUSAKARI Keiichirou 草刈圭一朗

草刈圭一郎クサカリケイイチロウ