研究者

J-GLOBAL ID：200901078391776889 更新日: 2024年01月30日

草刈圭一朗

クサカリケイイチロウ | Kusakari Keiichirou

所属機関・部署：
職名：教授
その他の所属（所属・部署名・職名） (2件)：

教育推進・学生支援機構教授
工学研究科教授

研究分野 (1件)：情報学基礎論

研究キーワード (4件)：プログラム検証 , 定理自動証明 , 項書換え系 , プログラム理論

競争的資金等の研究課題 (10件)：

2012 - 2017 静的再帰構造解析に基づく関数プログラムの停止性自動証明
2008 - 2011 高階関数プログラムの停止性判定に関する研究
2006 - 2009 関数型言語の解析・検証・効率的実行のための書換え系理論の研究
2004 - 2007 書換えに基づく例外型を持つオブジェクト指向プログラムの型推論
2004 - 2006 限量子付き等式仕様からのプログラム生成に関する研究

全件表示

論文 (39件)：

Keiichirou Kusakari. Static dependency pair method in functional programs. IEICE Transactions on Information and Systems. 2018. E101D. 6. 1491-1502
Akihisa Yamada, Christian Sternagel, René Thiemann, Keiichirou Kusakari. AC dependency Pairs revisited. Leibniz International Proceedings in Informatics, LIPIcs. 2016. 62. 8:1-8:16
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe. A unified ordering for termination proving. SCIENCE OF COMPUTER PROGRAMMING. 2015. 111. 1404.6245. 110-134
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe. Nagoya termination tool. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2014. 8560. 466-475
YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki. Partial Status for KBO. In Proc. of the 13th International Workshop on Termination (WST2013). 2013. 74-78

もっと見る

MISC (75件)：

もっと見る

学歴 (3件)：

1996 - 2000 北陸先端科学技術大学院大学情報科学研究科博士後期課程
1994 - 1996 北陸先端科学技術大学院大学情報科学研究科博士前期課程
1988 - 1994 東京工業大学理学部生命理学科

学位 (1件)：

博士(情報科学) (北陸先端科学技術大学院大学)

経歴 (6件)：

2014/03 - 現在岐阜大学工学部教授
2014/03/01 - 岐阜大学工学部教授
2007/04 - 2014/02 名古屋大学大学院情報科学研究科准教授
2006/04 - 2007/03 名古屋大学大学院情報科学研究科助教授
2003/04 - 2006/03 名古屋大学大学院情報科学研究科講師

全件表示

委員歴 (6件)：

2021/06 - 現在電子情報通信学会東海支部支部委員
2014 - 2018 電子情報通信学会英文論文誌「理論計算機科学」特集号編集委員
2006/05 - 2012/05 電子情報通信学会コンピュテーション研究会専門委員
2009/04 - 2011/03 情報処理学会プログラミング研究会運営委員
2006/05 - 2010/05 電子情報通信学会ソフトウェアサイエンス研究専門委員会幹事

全件表示

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM