Rchr

J-GLOBAL ID：200901078391776889 Update date: Jan. 30, 2024

Kusakari Keiichirou

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

Affiliation and department：
Other affiliations (2)：

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

Research field (1)： Information theory

Research keywords (4)：プログラム検証 , 定理自動証明 , 項書換え系 , プログラム理論

Research theme for competitive and other funds (10)：

2012 - 2017 静的再帰構造解析に基づく関数プログラムの停止性自動証明
2008 - 2011 高階関数プログラムの停止性判定に関する研究
2006 - 2009 Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
2004 - 2007 Type Inference of Object-Oriented Programs with Exceptions Based on Term Rewriting
2004 - 2006 限量子付き等式仕様からのプログラム生成に関する研究

Show all

Papers (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

ｍore...

MISC (75)：

ｍore...

Education (3)：

1996 - 2000 Japan Advanced Institute of Science and Technology
1994 - 1996 Japan Advanced Institute of Science and Technology
1988 - 1994 Tokyo Institute of Technology School of Science

Professional career (1)：

Ph.D.(Information Science) (Japan Advanced Institute of Science and Technology)

Work history (6)：

2014/03 - 現在 Gifu University Faculty of Engineering
2014/03/01 - Gifu University Faculty of Engineering
2007/04 - 2014/02 Nagoya University Graduate School of Information Science
2006/04 - 2007/03 Nagoya University Graduate School of Information Science
2003/04 - 2006/03 Nagoya University Graduate School of Information Science

Show all

Committee career (6)：

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

Show all

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM