コンピュータ科学科

研究内容

私の研究室では、複数のAIモデルやデータを連携させ、単一のAIモデルでは解決できない複雑な課題を解決するAIオーケストレーションに関する研究開発を行っています。 具体的には、異なる種類のデータやタスクを扱うAIモデルを必要に応 ...

研究内容

コミュニケーションの支援に関する研究をしています。コミュニケーションとは、思考や感情、情報などの伝達のことです。私たちが日常的に行う会話もコミュニケーションの1つです。会話には話し手と聴き手がいて、聴き手はあいづちなどの発話を ...

研究内容

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

研究内容

コンピュータの中には、コンピュータの頭脳であるCPU（Central Processing Unit）があります。実はこのCPU、近年では複数のコア（実際に計算を行う中の人）を内包することが一般的で、例えばiPhone

研究内容集積回路の潜在能力を引き出す設計技術

　私たちが日々利用する情報技術は、全て集積回路を利用しています。集積回路には、数10億個などの膨大な数のトランジスタ (回路を構成する基本パーツ) が搭載されていますが、実はこれらのトランジ ...

研究内容

現在、インターネットが日常生活に必要不可欠なものとなっている一方で、マルウェア感染や組織への標的型攻撃など金銭取得を目的とした組織的な活動による問題も発生している。そこで我々は、安全にインターネットが利用できる環境の実現を目的 ...

研究内容

スーパーコンピュータなどの高性能な計算ハードウェアの活用なくして、現代の便利な生活もさらなる科学の発展もありえません。計算ハードウェアの性能を最大限に発揮するためにはそれに見合うソフトウェアが必要ですが、ハードウェアの特徴・特 ...

研究内容

形式言語理論に関する研究と、それらの知見を利用してシステムの安全性などの検証法に関する研究に興味をもって取り組んでいる。具体的には、木変換器などの形式モデルなどの基礎研究や、それらを利用してXML文書などの構造化データに対する ...