学生の方へ
授業・講義や卒業研究の配属のご案内に加え、在籍学生の声や学会発表、先輩たちの卒業研究を紹介しています。
研究室への興味や、見学・面談の希望のほか、授業に関する質問も、お気軽にメールでご連絡ください。オフィスアワーは水曜5限、工学部3号館304号室です。事前にメールで予約してもらえると確実です。
メール：yoriyuki@u-fukui.ac.jp
授業・講義
学部
言語処理
形式言語とオートマトン
計算論とアルゴリズム設計
電気電子情報工学実験 III(b)
大学院
数理論理学
授業資料・連絡事項は Google Classroom で配信しています。ClassroomのコードはUniversal Passportおよび講義で告知します。
卒業研究・配属
ゼミ
週1回（3コマ）※8月・3月は休み
コアタイム
なし
PC
開発用ノートPCを貸与
ソフトウェア開発を行う学生が対象（2026年度はMacBook Air）
卒研テーマの例
- ソフトウェアのバグを自動的に見つけるツールの開発
- AIを使ってシステムの異常を検知する手法の研究
- プログラムの正しさを論理で確かめる仕組みづくり
在籍学生の声
山形研究室では、学生の自主性を尊重し、自分の興味に沿って研究を進めることができます。ゼミは週1回で、コアタイムもなく、自分で計画を立てて研究に取り組めます。私が「学会で発表してみたい」と相談した際には、その目標を実現できるよう、卒業研究の内容を先生と一緒に考えていただきました。挑戦したい気持ちを後押ししてもらえる研究室です。
学生の学会発表
これまでの卒業研究
-
2025
事故調査報告書におけるD-Caseの適用可能性に関する研究 学士
-
2025
大規模言語モデルによる命題論理証明生成の妥当性に関する研究 学士
-
2025
大規模言語モデルによる文書からのGSN生成 学士
-
2025
Programmable GSN のためのグラフィカルエディタの開発 学士デモ ↗
-
2025
ソフトウェアサプライチェーンセキュリティ分析のためのGSN自動生成手法と適用事例 学士
博士後期課程を希望する方へ
福井大学で学んでいる方で博士後期課程への進学に関心がある方は、修士修了後の就職なども含め、多様な進路について一緒に考えます。気軽に相談してください。
外部からの学生の受け入れは、主に博士後期課程からとなります。とくに理論計算機科学・数学基礎論に関心のある学生を歓迎します。
歓迎する研究分野
- 理論計算機科学（論理・型理論・プログラム検証の理論）
- 数学基礎論（限定算術・計算複雑度）
入学・受け入れの流れや、奨学金・経済支援についてはケースバイケースです。まずはお気軽にメールでご相談ください。その場合、修士論文やこれまでの出版物（あれば）を同時に送ってください。