受賞
公開件数:6件
No. 賞名 タイトル 受賞年月日
1 ICGA Best Paper Award
Parallel Dovetailing and its Application to Depth-First Proof-Number Search.
2013
2 TAAI2012 Excellent Paper Award

2012/11/17
3 CEDEC AWARDS プログラミング・開発環境部門優秀賞

2011/09/07
4 文部科学大臣表彰科学技術賞 理解増進部門

2010/04/13
5 CSA研究賞

2009/05
6 山下記念研究賞

2005/11/18