卒業研究

• 研究室紹介資料 (A4版) は myFIT から閲覧可能です。

• 本研究室を第一希望として研究室希望調査アンケートを提出する場合は、本研究室への研究室訪問 (面談) を必須とします。本研究室への研究室訪問 (面談) をせずに本研究室を第一希望とした場合、逆指名枠での受け入れを無条件で却下する場合があります。

• 研究室訪問はオンライン (研究室紹介動画のオンデマンド配信) と対面 (面談) の二段階方式とし、研究室紹介動画を視聴した上で本研究室を第一希望とする学生のみを対象として、対面による研究室訪問 (面談) を受け付けます。具体的な手順としては以下の通りです。

  1. 研究室訪問 (一段階目) を希望する学生は、メールで連絡してください。

  2. 研究室紹介動画のリンクを送るので、研究室訪問の一段階目として、動画を視聴してください。また、研究室紹介資料 (スライド版) にも目を通してください。

  3. 動画を視聴した上で、本研究室を第一希望にしたい学生のみ、再度メールで連絡をください。研究室訪問の二段階目として、日程調整の上で対面での面談を行います。

• 学生研究室の写真  (no.1, no.2, no.3, no.4, no.5, no.6, no.7, no.8)。写真には写っていませんが、1人1台USB-type C給電機能付きディスプレイ (ノートPC接続)、共用レーザーカラープリンターがあります。また、扉の鍵は電子鍵です (スマホアプリでワンタッチ開錠)。

• 研究内容やゼミの進め方は研究室紹介資料 (スライド版) を参考にしてください。本研究室では、3年夏休みからプレ卒研を行います (線形代数、離散数学の基礎事項など)。

• 数学検定1級取得のための特別ゼミを行う予定です (希望者のみ)。

• 理系女子 (リケジョ) 教育に力を入れています (2024年度配属実績：9名中女子3名、2025年度配属実績：6名中女子2名)。2024年7月より日本数学会の男女共同参画社会推進委員になったので、より一層力を入れたいと思います。特にエンジニア志望の女子学生に対するキャリア支援、大学院志望 (他大含む) の女子学生への数学教育 (大学院入試対策) 等で貢献します。

・研究室紹介資料は myFIT から閲覧可能です。

・学生研究室の写真  (no.1, no.2, no.3, no.4, no.5, no.6, no.7, no.8)。写真には写っていませんが、1人1台USB-type C給電機能付きディスプレイ (ノートPC接続)、共用レーザーカラープリンターがあります。また、扉の鍵は電子鍵です（スマホアプリでワンタッチ開錠）。

・研究内容やゼミの進め方は2024年度の情報を参考にしてください。

・3年後期からプレ卒研を行います (主に線形代数の復習ですが、希望があれば専門的な内容を学ぶことも可能)。

・前期 (うち4～6月末目安) のゼミは基本的に教員による講義・演習形式です。

・本格的に研究に取り組むのは7～10月 (目安) の4か月程度です。11月以降は卒論執筆や発表の練習、3年生への引継ぎが主となります。

・理系女子 (リケジョ) 教育に力を入れています（2024年度配属実績：9名中女子3名）。2024年7月より日本数学会の男女共同参画社会推進委員になったので、より一層力を入れたいと思います。特にエンジニア志望の女子学生に対するキャリア支援、大学院志望 (他大含む) の女子学生への数学教育 (大学院入試対策) 等で貢献します。

・(重要) 研究室訪問の予約を受け付けています。学科の定める研究室訪問期間は 7/16 (火) ～ 8/9 (金) ですが、この期間に工藤は国内外出張で不在にする平日が7日あり、学生が訪問できる日程は限られています。このため、早期に予約されることをお勧めします。実際に訪問できるのは7/16以降ですが、訪問予約は7/2から受け付けているので、希望される方は研究室紹介資料記載のメールアドレスに連絡を下さい。

概要

研究室紹介資料 (pdf)

研究キーワード：応用代数学, 計算機代数, 情報セキュリティ, 暗号数理, 公開鍵暗号, 耐量子計算機暗号

研究テーマ：本研究室では現代の情報社会で欠かせない情報通信技術の一つである公開鍵暗号について, 数学的側面からの研究 (安全性解析など), および実装 (プログラミング) 等を行います. 公開鍵暗号の中でも特に, 耐量子計算機暗号 (ポスト量子暗号) を扱います. 耐量子計算機暗号とは, 量子計算機が将来的に完成・普及しても安全に運用可能と期待できる, 次世代暗号の総称です (詳細は研究室紹介資料を参照). 耐量子計算機暗号には幾つか種類があり, 本研究室ではそのうち (A) 格子暗号と (B) 多変数多項式暗号の研究に取り組みます.

全体的なスケジュール：仮配属が決まった3年次後期から, 卒業研究に向けた準備として, 1・2年次に学んだ数学の復習に取り組みます. 無事に4年に進級したら, その年の4～7月にかけて主に教員による講義形式でのゼミを行い, 専門知識を深めます. 同時にプログラミング実習 (Python, C, または Java 等)を行い, 数学アルゴリズムに関するプログラミングスキルを高めます. その後, 7月末までには具体的な研究課題を学生自身で設定し, 8～11月にかけて課題解決のための研究に取り組み, 12～1月で卒業論文を執筆した後, 2月の卒業研究発表会および論文審査で合格となれば, 3月に無事卒業となります.

ゼミの進め方：
・学生は (A) 格子暗号と (B) 多変数多項式暗号のグループに分かれます (後で変更も可).
・前期は週3時限 (1時限=90分) ゼミを行います. うち1時限は全員参加の定例ゼミで, 前半6回は教員による講義形式, 後半9回は学生による発表形式で行います. 残り2時限分は隔週で格子暗号, 多変数多項式暗号についてのゼミを行います. 2時限のうち前半1時限は教員による講義形式で全員参加です. 後半1時限はプログラミング実習であり, 該当するグループのみ参加となります.
・ 後期も毎週ゼミを行う予定ですが, 前期と異なり学生による研究の進捗報告を行います.

研究課題の事例：
(1)  高速実装, 物理攻撃
・Python, C, Java のほか, 様々な言語でのプログラミングや, 暗号の実装比較
・言語特性を活かした高速実装
・マイコンなどへのハードウェア実装
・物理攻撃(電力解析、レーザー等), など
(2) 暗号の数理的側面
・安全性解析
・攻撃アルゴリズムの高速化
・暗号の数学的特徴付け
・脆弱なパラメータの特定
・暗号で用いる数学アルゴリズムの改良・解析, など