九州大学-研究者情報 [溝口佳寛 (教授) マス・フォア・インダストリ研究所応用理論研究部門]

溝口佳寛（みぞぐちよしひろ）

データ更新日：2024.04.19

教授　／　マス・フォア・インダストリ研究所応用理論研究部門

総説, 論評, 解説, 書評, 報告書等

1.	Taketoshi Kawabe, Yoshihiro Mizoguchi, Junichi Kako, Masakazu Mukai, Yuji Yasui, Advanced Automotive Control and Mathematics, MI Lecture Note Series, Vol.84, 2021.12, [URL].
2.	檜貝信一, 溝口佳寛, 深作亮也, 計算材料科学の課題への数学・数理科学からのアプローチ:数理ベースプログラミング, 分子シミュレーション学会誌"アンサンブル", 2021.12, [URL].
3.	溝口佳寛, 論理と計算について考えた人たち, 数学セミナー, 2019年1月号, pp.57-61, 2018.12.
4.	Bob Anderssen, Philip Broadbridge, Yasuhide Fukumoto, Naoyuki Kamiyama, Yoshihiro Mizoguchi, Konrad Polthier, OSAMU SAEKI, The Role and Importance of Mathematics in Innovation, Proceedings of the Forum "Math-for-Industry" 2015, Mathematics for Industry 25, Springer, 2016.04, [URL].
5.	溝口佳寛, 田上真, ケプラー予想の計算機による証明と検証について, 数学セミナー, 2014年12月号, pp.48-54, 2014.12, [URL], 1600年代からの大問題ケプラー予想は1998年にHalesによって証明解決されたが, その証明の正当性を誰も検証出来なかった. そして, それから10年以上の時を経て, Hales自らの手で形式証明支援系を用いケプラー予想の計算機による証明と検証が2014年8月に与えられた. 本稿はその計算機による証明と検証の解説記事である..
6.	Yoshihiro Mizoguchi, Theory of Automata, Mathematics for Industry, Vol.5, pp.337-348, 2014.07, [URL].
7.	溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt, 高信頼な理論と実装のための定理証明および定理証明器, Kyushu University, 2015.03, [URL].
8.	Yoshihiro Mizoguchi, Hayato Waki, Takafumi Shibuta, Osamu Shimabukuro, Makoto Tagami, Hirotake Kurihara, Shuya Chiba, Tetsuji Taniguchi, Hakata Workshop 2014, Discrete Mathematics and its Applications, 2014.03.
9.	栄伸一郎, 溝口佳寛, 脇隼人, 渋田敬史, Study Group Workshop 2013, 数学恊働プログラム報告書, 九州大学マス・フォア・インダストリ研究所, 2014.02.
10.	Ken Anjyo, OCHIAI HIROYUKI, Yoshinori Dobashi, Yoshihiro Mizoguchi, Shizuo Kaji, Symposium MEIS2013: Mathematical Progress in Expressive Image Synthesis, Institute of Mathematics for Industry, Kyushu University, 2013.10.
11.	Yoshihiro Mizoguchi, Tetsuji Taniguchi, Tsuyoshi Miezaki, Yoshitaka Watanabe, Daisuke TAGAMI, Combinatorics and Numerical Analysis Joint Workshop, Institute of Mathematics for Industry, Kyushu University, 2012.12.
12.	溝口佳寛, 脇隼人, 平坂貢, 谷口哲至, 島袋修, 博多ワークショップ「組み合わせとその応用」報告書, 九州大学マス・フォア・インダストリ研究所, 2013.03.
13.	溝口佳寛, オートマトン理論, その応用と抽象化, MI Lecture Note Series, Vol.46, 科学・技術の研究課題への数学アプローチ --数学モデリングの基礎と展開--, 九州大学, 2013.02, [URL].
14.	河原康雄・溝口佳寛, 有限オートマトンと正則表現, 電子情報通信学会・知識ベース「知識の森」, , 2011.03, [URL].
15.	溝口佳寛, 巽純子, 古川徹生, 石井琢磨, 隈本覚, 佐藤大, ヒトの遺伝に関わる総合教育マルチメディア教材開発と教育方法に関する研究, 平成15年度松下視聴覚教育助成成果報告集, pp.98-110, 2003.09.
16.	溝口佳寛, 教室内連絡システムの利用形態と利用状況, KARRNシンポジウム報告書, pp.61-64, 1993.11.

本データベースの内容を無断転載することを禁止します。

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。

　

QIR　九州大学学術情報リポジトリシステム情報科学研究院

生物環境調節センター