Shizuya Sakai Lab.

　

研究活動 Research

1.理論計算機科学
	理論計算機科学は計算量の理論、暗号理論、言語理論などを含む「計算」の基礎理論である。ここには、未解決問題が山積している。我々は、このなかから興味深い問題を発見し、それを解明することを日常的な研究活動としている。特に暗号理論には、数論や代数幾何に関連した計算量理論の問題が豊富に含まれている。例えば、暗号系を破る問題の難しさを特徴づける仕事を続けている。また、証明論における証明可能性と暗号理論における安全性の概念との関係、一部の関数型プログラミング言語の基礎となっている帰納的関数の理論と暗号化関数の関係などについて、これらが互いにどれほど強くリンクしているかにも興味をもっている。

2.情報セキュリティ
	情報通信における基盤技術として重要となるのが情報セキュリティ技術である。情報セキュリティ技術には暗号技術やディジタル署名技術、さらにはユーザ認証技術などがあり、それぞれ、情報の秘匿、メッセージの作成者や正当性の確認、システムにアクセスする利用者の正当性確認に用いられる。これらの技術は電子マネーや電子選挙などに活用され、社会基盤技術としての役割も果たしている。ソフトウェア保護や電子透かしなども重要な研究課題であり、これらの技術により情報の健全な活用が行なわれるようになる。情報セキュリティの研究には、暗号理論、計算量理論、数論、情報理論、計算機ネットワークなどの知識や手法が使われる。