MIレクチャーノート
-
MIレクチャーノート Vol.100
Title：2024度採択分 九州大学マス・フォア・インダストリ研究所 共同利用研究集会
情報通信の技術革新のための基礎数理
Editors: Yutaka Jitsumatsu, Masayoshi Ohashi, Akio Hasegawa, Katsutoshi Shinohara, Shintaro Moriオンライン出版
-
MIレクチャーノート Vol.99
Title：2024度採択分 九州大学マス・フォア・インダストリ研究所 共同利用研究集会
コンピュータによる定理証明支援とその応用
Editors: Jacques Garrigueオンライン出版
-
MIレクチャーノート Vol.98
Title：2024度採択分 九州大学マス・フォア・インダストリ研究所 共同利用研究集会
自動車性能の飛躍的向上を目指すData-Driven設計
Editors: 中澤 嵩オンライン出版