安永憲司研究室

About关于研究室

暗号や計算を数学的に見てみよう

安永研究室は、暗号技術や誤り訂正符号など、理論計算機科学のさまざまな技術を研究しています。
計算することを数学的に書き表したとき、何が実現できて何ができないのか、その境界を探っています。
暗号の安全性をどう測るかという基礎の部分や、ゲーム理論を使った安全性の考え方も扱います。
研究テーマは、学生と教員が相談しながら決めています。

Research研究课题

暗号技術や誤り訂正符号といった理論計算機科学の技術について、何が実現可能で何が不可能か、その境界を探っています。暗号の基礎理論、ゲーム理論的な安全性をもつ暗号プロトコル、誤り訂正符号が主なテーマで、計算量理論や情報理論、量子情報も興味の範囲です。

※示意图

暗号の基礎理論↗

暗号理論のなかでも基礎的な側面を研究しています。安全性の強さを表すビットセキュリティという指標に、操作的な意味をもつ量としての枠組みを与えました。分布どうしの距離の測り方を変えたときに、これまでの安全性の解析をどう見直せばよいかにも関心があります。

※示意图

ゲーム理論で考える暗号プロトコル↗

暗号プロトコルの参加者は、決まりどおりに従う正直者か、邪魔をする攻撃者かのどちらかで表されることが多いです。その中間として、ゲーム理論の意味で合理的に振る舞うプレイヤーを考え、低いコストで暗号プロトコルを実現する技術を目指しています。

※示意图

誤り訂正符号↗

誤り訂正符号は、符号化した文字列どうしが互いに離れていれば、誤りが起きても元の文字列に戻せるというしくみです。暗号技術を使って訂正の能力を高める方法や、エクスパンダーグラフを使った符号の設計、量子ノイズに強い符号の設計に関心を持っています。

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。