草刈圭一朗 KUSAKARI Keiichiro

… 別表記

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

研究者番号	90323112
その他のID
外部サイト
所属 (現在)	2025年度: 岐阜大学, 工学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2013年度 – 2016年度: 岐阜大学, 工学部, 教授 2010年度 – 2012年度: 名古屋大学, 情報科学研究科, 准教授 2007年度 – 2011年度: 名古屋大学, 大学院・情報科学研究科, 准教授 2006年度: 名古屋大学, 大学院情報科学研究科, 准教授 2006年度: 名古屋大学, 大学院情報科学研究科, 助教授 … もっと見る 2005年度: 名古屋大学, 大学院情報科学研究科, 講師 2003年度 – 2005年度: 名古屋大学, 大学院・情報科学研究科, 講師 2000年度 – 2002年度: 東北大学, 電気通信研究所, 助手隠す
審査区分/研究分野	研究代表者情報学基礎研究代表者以外計算機科学 / 情報学基礎 / ソフトウエア / 理工系
キーワード	研究代表者停止性 / 再帰定義 / 関数プログラム / 情報基礎 / 関数型プログラム / 静的再帰構造 / 停止性証明 / 単純型付き書換え系 / 関数型言語 / 静的依存対法 / 計算理論 … もっと見る研究代表者以外 … もっと見る項書換え系 / 潜在帰納法 / 自動証明 / 完備化 / 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 / 項書き換えシステム / 高階 / 被覆集合帰納法 / 書き換え帰納法 / 滞在帰納法 / 定理自動証明 / 単純型書換え系 / 合流性 / 論理式変換系 / 被覆集合 / 限量子付き等式仕様 / 融合変換 / 融合交換隠す

静的再帰構造解析に基づく関数プログラムの停止性自動証明研究代表者
- 研究代表者
  
  草刈圭一朗
- 研究期間 (年度)
  2012 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  岐阜大学
   名古屋大学
高階関数プログラムの停止性判定に関する研究研究代表者
- 研究代表者
  
  草刈圭一朗
- 研究期間 (年度)
  2008 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  名古屋大学
関数型言語の解析・検証・効率的実行のための書換え系理論の研究
- 研究代表者
  
  酒井正彦
- 研究期間 (年度)
  2006 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  名古屋大学
限量子付き等式仕様からのプログラム生成に関する研究
- 研究代表者
  
  坂部俊樹
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  萌芽研究
- 研究分野
  
  ソフトウエア
- 研究機関
  名古屋大学
書換えに基づく例外型を持つオブジェクト指向プログラムの型推論
- 研究代表者
  
  坂部俊樹
- 研究期間 (年度)
  2004 – 2007
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  名古屋大学
関数型言語の解析・検証・効率的実行のための書換え系理論の研究
- 研究代表者
  
  酒井正彦
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  名古屋大学
完備化に基づくプログラム自動変換の研究
- 研究代表者
  
  外山芳人
- 研究期間 (年度)
  2002
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  東北大学
リダクションの近似に基づくプログラム検証手法の研究
- 研究代表者
  
  外山芳人
- 研究期間 (年度)
  2002 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  東北大学
完備化に基づくプログラム自動変換の研究
- 研究代表者
  
  外山芳人
- 研究期間 (年度)
  2001
- 研究種目
  
  特定領域研究(C)
- 審査区分
  
  理工系
- 研究機関
  東北大学
プログラム検証のための帰納的定理自動証明法の研究
- 研究代表者
  
  外山芳人
- 研究期間 (年度)
  1998 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  東北大学
   北陸先端科学技術大学院大学

すべて 2016 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 その他

すべて雑誌論文学会発表

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

1. 坂部俊樹 (60111829)

共同の研究課題数: 6件

共同の研究成果数: 114件
2. 酒井正彦 (50215597)

共同の研究課題数: 6件

共同の研究成果数: 136件
3. 西田直樹 (00397449)

共同の研究課題数: 5件

共同の研究成果数: 128件
4. 外山芳人 (00251968)

共同の研究課題数: 4件

共同の研究成果数: 0件
5. 粕谷英人 (10295579)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 青戸等人 (00293390)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 菊池健太郎 (40396528)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 鈴木大郎 (90272179)

共同の研究課題数: 1件

共同の研究成果数: 0件

草刈 圭一朗 KUSAKARI Keiichiro

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

研究課題

研究成果

共同研究者

静的再帰構造解析に基づく関数プログラムの停止性自動証明研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高階関数プログラムの停止性判定に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] A Unified Ordering for Termination Proving2014

著者名/発表者名

雑誌名

データソース

[雑誌論文] Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems2010

著者名/発表者名

雑誌名

NAID

草刈圭一朗 KUSAKARI Keiichiro

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