教員紹介：関 浩之（せき ひろゆき）
研究内容
形式言語理論やソフトウェア基礎理論の研究とともに、それらの理論を応用して現実世界をモデル化し問題解決することに興味をもっています。研究では、なぜ問題がうまく解けたのか（もしくは、解けなかったのか）を客観的に理解することも重要だ ...
教員紹介：星野 哲也（ほしの てつや）
研究内容
コンピュータの中には、コンピュータの頭脳であるCPU（Central Processing Unit）があります。実はこのCPU、近年では複数のコア（実際に計算を行う中の人）を内包することが一般的で、例えばiPhone