- 2006 - 現在 離散幾何
- 2004 - 現在 計算論的学習理論
- 2003 - 現在 タイリング
- 2016 - 2022 球面タイリングの対称性と変形
- 2017 - 2019 単元型を持つ概外延的な型理論の操作的意味論と型検査アルゴリズム
- 2015 - 2019 離散幾何解析学の進展
- 2011 - 2015 物性物理に発する非可換幾何学モデルの提案
- 2009 - 2011 離散幾何対象の機械学習の新しい効率評価理論の
- 2007 - 2009 構成的数学における逆数学の研究
- 2007 - 2009 頻度に基づく下方集合の高速探索を利用した構造データからの知識発見
- 2008 - 統計的学習理論
- 2003 - 2005 近似プログララムの計算論-古典論理の証明のテストにむけて-
- 2001 - 2003 超準的手法と構成的手法の比較研究
- 2001 - 2003 極限計算の論理とその応用
- 1997 - 1999 算術と計算の論理構造に関する研究
- 1997 - 1998 変換系と翻訳の理論と応用
- 1996 - 1996 ゲーム理論とプログラム言語の意味論
全件表示