学生の方へ
授業・講義の情報と、卒業研究の配属についてご案内します。
授業・講義
学部
言語処理
形式言語とオートマトン
計算論とアルゴリズム設計
電気電子情報工学実験 III(b)
大学院
数理論理学
📋 授業資料・連絡事項は Google Classroom で配信しています。 ClassroomのコードはUniversal Passportおよび講義で告知します。
卒業研究・配属
ゼミ
週1回(3〜5限)
コアタイム
なし
卒研テーマの例
- ソフトウェアのバグを自動的に見つけるツールの開発
- AIを使ってシステムの異常を検知する手法の研究
- プログラムの正しさを論理で確かめる仕組みづくり
研究室に興味のある方は、お気軽にメールでご連絡ください。 見学・面談も歓迎します。
博士後期課程を希望する方へ
外部からの学生の受け入れは、主に博士後期課程からとなります。 とくに理論計算機科学・数学基礎論に関心のある学生を歓迎します。
歓迎する研究分野
- 理論計算機科学(論理・型理論・プログラム検証の理論)
- 数学基礎論(限定算術・計算複雑度)
入学・受け入れの流れや、奨学金・経済支援についてはケースバイケースです。 まずはお気軽にメールでご相談ください。
これまでの卒業研究
-
2025
事故調査報告書におけるD-Caseの適用可能性に関する研究 学士
-
2025
大規模言語モデルによる命題論理証明生成の妥当性に関する研究 学士
-
2025
大規模言語モデルによる文書からのGSN生成 学士
-
2025
Programmable GSN のためのグラフィカルエディタの開発 学士デモ ↗
-
2025
ソフトウェアサプライチェーンセキュリティ分析のためのGSN自動生成手法と適用事例 学士