- 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 限量子付き等式仕様からのプログラム生成に関する研究
- 2003 - 2005 Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
- 2002 - 2005 Program verification method based on reduction approximations
- 2002 - 2002 完備化に基づくプログラム自動変換の研究
- 2001 - 2001 完備化に基づくプログラム自動変換の研究
- 1998 - 2001 Inductive theorem proving method for program verification
Show all