情報システム学専攻教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

形式言語理論やソフトウェア基礎理論の研究とともに、それらの理論を応用して現実世界をモデル化し問題解決することに興味をもっています。研究では、なぜ問題がうまく解けたのか(もしくは、解けなかったのか)を客観的に理解することも重要だ ...