研究課題
挑戦的萌芽研究
本研究では、ゲーム意味論の考え方に基づいて、高い表現能力の形式的手法を創案し、通常の計算機構では捉え難い多元的なシステムの複雑さを解析した。また、それらの表現法の拡張性と限界について考察を行い、とくに種々のプッシュダウン・オートマトンによって定義されるゲームの必勝法の複雑さを高次計算論的に特定した。また、ゲーム木のランダム入力に対するクエリ複雑さに関する研究も行い、いくつかの新しい結果を得た。
数理論理学
