研究者
J-GLOBAL ID：200901071361574209   更新日: 2025年12月05日

溝口 佳寛

Mizoguchi Yoshihiro
所属機関・部署：
九州大学 マス・フォア・インダストリ研究所

九州大学 マス・フォア・インダストリ研究所 について


職名： 教授
ホームページURL (1件)： http://imi.kyushu-u.ac.jp/~ym/
研究分野 (4件)： ソフトウェア ,  応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (48件)： 最急降下法 ,  Huffman符号 ,  分子形態変化 ,  ランダムウォーク ,  DNA ,  エネルギー障壁問題 ,  木構造データ ,  セルラオートマトン ,  ゲノム解析 ,  塩基配列デ-タベ-ス ,  配列設計 ,  ウェ-ブレット ,  情報検索 ,  縮小写像型ニュ-ラルネットワ-ク ,  計算論的学習 ,  グラフの学習 ,  発見的アルゴリズム ,  情報圧縮 ,  テキストデ-タベ-ス ,  低周波成分 ,  高周波成分 ,  デ-タ圧縮 ,  分散計算 ,  グラフ構造データ ,  グラフパターン ,  タイリング ,  引き込み領域 ,  パタ-ン照合アルゴリズム ,  高速化 ,  最小化問題 ,  文字列パタ-ン照合 ,  画像圧縮 ,  詰め込み問題 ,  帰納推論 ,  機械学習 ,  分子計算 ,  フォルトトレラント ,  シミュレータ ,  連想記憶モデル ,  機能素子開発 ,  ネットワークトポロジー ,  輻輳制御 ,  代謝ネットワーク ,  カテゴリ-論 ,  ネットワ-ク ,  グラフ文法 ,  グラフ変換 ,  グラフアルゴリズム
競争的資金等の研究課題 (17件)：
  • 2022 - 2026 物理的・確率的システムの検証を支える形式的基盤の構築
  • 2020 - 2024 Mathematical foundations for the reconfiguration paradigm
  • 2017 - 2020 関係計算の形式化を用いた数学とソフトウェア検証のための理論構築
  • 2013 - 2016 モダン符号の形式化
  • 2013 - 2014 離散構造体の計算理論に関する形式的証明と自動検証
全件表示
論文 (40件)：
もっと見る
MISC (33件)：
  • Taketoshi Kawabe, Yoshihiro Mizoguchi, Junichi Kako, Masakazu Mukai, Yuji Yasui. Advanced Automotive Control and Mathematics. 2021
  • 檜貝信一, 溝口佳寛, 深作亮也. 計算材料科学の課題への数学・数理科学からのアプローチ:数理ベースプログラミング. 2021
  • 溝口 佳寛. 論理と計算について考えた人たち. 2018
  • 溝口 佳寛, 松嶋 聡昭, 田中 久治, 井口 修一. Coq関係計算ライブラリの開発と写像の性質の証明 (第24回日本数式処理学会大会報告). 数式処理. 2016. 22. 2. 39-42
  • 田中 久治, 溝口 佳寛. Coqによる初等幾何学の証明方式について (第24回日本数式処理学会大会報告). 数式処理. 2016. 22. 2. 43-47
もっと見る
講演・口頭発表等 (59件)：
  • 解析力学的アプローチによる分子動力学計算
    (日本コンピュータ化学会 2021)
  • 九州大学数理・データサイエンス教育研究センターとAIMaP事業について
    (第68回九州地区大学教育研協議会 2019)
  • 位相空間の圏と同型な関係T代数の圏について
    (日本数学会年会 2018)
  • Relational T-algebra and the category of topological spaces
    (Workshop on logic algebra and category theory: LAC2018 2018)
  • Formal equivalence classes model of fuzzy relational databases using relational calculus
    (1st International Conference on Applied Computer and Communication Technologies, ComCom 2017 2017)
もっと見る
Works (5件)：
  • A certified Wang tiling program in Coq
    Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan 2016 -
  • A Mathematica module for Conformal Geometric Algebra and Origami Folding
    Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi and Hiroyuki Ochiai 2016 -
  • ProbeDeformer for iPad
    Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai, Yoshihiro Mizoguchi 2014 -
  • Mathematica Modules for Graph Laplacians
    Yoshihiro Mizoguchi 2013 -
  • Haskell Modules for Automata and Sticker Systems
    Yoshihiro Mizoguchi 2013 -
学位 (1件)：
  • 博士(理学) (九州大学)
経歴 (5件)：
  • 2016/08 - 現在 九州大学 マス・フォア・インダストリ研究所 教授
  • 2011/04 - 2016/07 九州大学 マス・フォア・インダストリ研究所 准教授
  • 2000/10 - 2011/03 九州大学 大学院数理学研究院 准教授
  • 1993/04 - 2000/09 九州工業大学 情報工学部 助教授
  • 1988/04 - 1993/03 九州工業大学 情報工学部 講師
委員歴 (4件)：
  • 2019/12 - 2020/11 公益社団法人九州数学教育会 会長
  • 2013/07 - 2019/11 公益社団法人九州数学教育会 理事
  • 2017/07 - 2019/06 日本数学会社会連携協議会 運営委員
  • 2001/10 - 2003/09 特定非営利活動法人数理の翼 理事
所属学会 (7件)：
日本数学会 ,  情報処理学会 ,  電子情報通信学会 ,  日本自動車技術会 ,  ソフトウェア科学会 ,  Association for Computing Machinery ,  日本応用数理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM