未来の情報処理・情報通信技術を目指して

計算の限界を解明する

量子の不思議な現象を利用して高速に解ける問題はどのような構造をしているのか、解読問題が困難となる暗号技術をどのように設計すれば良いのか等、これらの研究に共通して重要なのはコンピュータで扱う問題の本質的な難しさについての理解です。どんなに高速なスーパーコンピュータがあっても、ムダだらけの解法をプログラムしていては問題を効率的に解くことはできません。問題の構造に着目した賢い解法をプログラムすることが非常に重要です。その一方でどんなに賢い解法でもこれ以上高速化できないという限界をいずれは迎えるはずです。計算量理論という分野ではこの計算の限界を解明するための研究が進んでいます。賞金百万ドルがかけられた数学での重要な未解決問題ミレニアム懸賞問題の一つ「NP対P予想」は情報科学からの唯一の問題であり、計算量理論の中心的な研究課題となっています。私は量子コンピューティング・暗号技術の基盤理論として計算量理論の研究にも取り組んでいます。

画像をクリックすると拡大表示されます。