教員紹介：関 浩之（せき ひろゆき）
研究内容
形式言語理論やソフトウェア基礎理論の研究とともに、それらの理論を応用して現実世界をモデル化し問題解決することに興味をもっています。研究では、なぜ問題がうまく解けたのか（もしくは、解けなかったのか）を客観的に理解することも重要だ ...
教員紹介：星野 哲也（ほしの てつや）
研究内容
コンピュータの中には、コンピュータの頭脳であるCPU（Central Processing Unit）があります。実はこのCPU、近年では複数のコア（実際に計算を行う中の人）を内包することが一般的で、例えばiPhone
教員紹介: 増田 豊 (ますだ ゆたか)
研究内容集積回路の潜在能力を引き出す設計技術
私たちが日々利用する情報技術は、全て集積回路を利用しています。集積回路には、数10億個などの膨大な数のトランジスタ (回路を構成する基本パーツ) が搭載されていますが、実はこれらのトランジ ...