溝口 佳寛
基本情報
- 所属
- 九州大学 マス・フォア・インダストリ研究所 教授
- 学位
-
博士(理学) (九州大学)
- J-GLOBAL ID
- 200901071361574209
- researchmap会員ID
- 1000041043
- 外部リンク
計算について論理的・数学的に考察する研究を行っています. 1930年代 Alan Turingは「チューリング機械」と呼ばれる形式的な計算モデルを構成し, 計算可能性, 万能性に関する計算理論の礎を築きました. 数の計算の実現に計算モデルのテープ上に記述された文字列が重要な役割を果たしました. 計算モデル「有限オートマトン」の研究では1950年代に入り文字列集合の認識機械としての考察が始まり言語との重要な関係が導かれました. その後, 形式言語の研究は「自然言語の機械翻訳」「文献データベース」「人工知能」などの研究へと発展しています.
数学(代数学)は「群」「環」「体」などの一種の集合上の演算を持つ代数系を対象とします. 代数系はモナドと呼ばれる圏の間の関手たちにより多種の集合間の関数を演算として持つ系に一般化されます. 多種代数系は「スタック」「木」「グラフ」などのプログラミングに必要なデータ構造を含みますので, 多種代数系やモナドの研究成果は計算の性質を考察するための強力な武器になります.
近年の計算機の発展と普及により, 社会システムは計算機(プログラム)にますます依存して来ています. システムに要求される仕様をプログラムで実現し計算機で実行します. プログラムが仕様を正しく実現していることは, 数理論理学において証明が定理を正しく導いていることに対応します. 論理的に誤りがないプログラムのための仕様記述, 開発, 検証の技術は形式手法と呼ばれます. 証券取引, 交通網, 航空宇宙工学, マイクロプロセッサなどプログラムの誤りにより多大な損失が生じるシステムに形式手法は活用されています.
最近は論理的・数学的な考察そのものにも計算機が利用され, 形式手法のための数学理論の構築と実現がますます重要になっています. 数の取り扱いのための文字列の研究のように, 計算に必要な数学概念の計算モデルの研究を続けています. 最近では, デジタル映像分野における計算のための新しい計算モデルも模索しています.
研究キーワード
48経歴
5-
2016年8月 - 現在
-
2011年4月 - 2016年7月
-
2000年10月 - 2011年3月
-
1993年4月 - 2000年9月
-
1988年4月 - 1993年3月
主要な論文
14-
Japan J. Indust. Appl. Math. 1-13 2019年4月 査読有り
-
7th International Symposium on Symbolic Computation in Software Science (SCSS2016) 39 107-116 2016年3月 査読有り招待有り
-
7th International Symposium on Symbolic Computation in Software Science (SCSS2016) 39 60-80 2016年3月 査読有り
-
Journal of Discrete Algorithms 34 70-77 2015年6月 査読有り
-
IEICE Transactions on Information and Systems E97- D(3) 448-454 2014年3月 査読有り
-
Proceedings of SCA2012 (ACM/Eurographics Symposium on Computer Animation 2012) 71-76 2012年7月 査読有り
主要なMISC
24-
2018年12月
-
2015年3月
-
数学セミナー 53(12) 48-54 2014年12月
-
2014年7月
-
2013年2月
主要な講演・口頭発表等
16-
Workshop on Formalization of Applied Mathematical Systems 2016年9月30日 招待有り
-
The Asian Mathematical Conference (AMC2016) 2016年7月29日
-
First International Workshop on Computational Origami and Applications 2016年7月20日
-
Universal Structures in Mathematics and Computing 2016年6月29日 招待有り
-
日本数式処理学会 2015年6月5日
-
日本数式処理学会 2015年6月5日
-
7th International Conference on Soft Computing and Intelligent Systems 2014年12月4日
-
Workshop on Algebraic Combinatorics, Sept. 2011, 2011年9月17日
Works(作品等)
5共同研究・競争的資金等の研究課題
17-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2022年4月 - 2026年3月
-
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C) Grant-in-Aid for Scientific Research (C) 2020年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2017年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2013年4月 - 2016年3月
-
文部科学省 科学研究費補助金(挑戦的萌芽研究) 挑戦的萌芽研究 2013年 - 2014年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2011年 - 2013年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2006年 - 2008年
-
文部科学省 科学研究費補助金(基盤研究(C)) 基盤研究(C) 2005年 - 2007年
-
文部科学省 科学研究費補助金(特定領域研究) 特定領域研究 2002年 - 2006年
-
文部科学省 科学研究費補助金(萌芽研究) 萌芽研究 2002年 - 2002年
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 1998年 - 2000年
-
文部科学省 科学研究費補助金(奨励研究(A)) 奨励研究(A) 1996年 - 1996年
-
文部科学省 科学研究費補助金(一般研究(C)) 一般研究(C) 1994年 - 1994年
-
文部科学省 科学研究費補助金(重点領域研究) 重点領域研究 1992年 - 1994年
-
文部科学省 科学研究費補助金(重点領域研究) 重点領域研究 1993年 - 1993年
-
文部科学省 科学研究費補助金(奨励研究(A)) 奨励研究(A) 1993年 - 1993年
-
文部科学省 科学研究費補助金(重点領域研究) 重点領域研究 1991年 - 1991年
委員歴
4-
2019年12月 - 2020年11月
-
2013年7月 - 2019年11月
-
2017年7月 - 2019年6月
-
2001年10月 - 2003年9月
学術貢献活動
12-
その他(Gammarth Tunisia) 2020年9月10日 - 2020年9月13日
-
その他(Institute of Mathematics, Academia Sinica Taiwan) 2020年2月6日 - 2020年2月8日
-
その他(University of Hawai`i, Manoa UnitedStatesofAmerica) 2015年9月25日 - 2015年10月1日
社会貢献活動
5