Rchr
J-GLOBAL ID:200901071361574209   Update date: Feb. 01, 2024

Mizoguchi Yoshihiro

Mizoguchi Yoshihiro
Affiliation and department:
Job title: Professor
Homepage URL  (1): http://imi.kyushu-u.ac.jp/~ym/
Research field  (4): Software ,  Applied mathematics and statistics ,  Basic mathematics ,  Information theory
Research keywords  (48): 最急降下法 ,  Huffman符号 ,  分子形態変化 ,  ランダムウォーク ,  DNA ,  エネルギー障壁問題 ,  木構造データ ,  セルラオートマトン ,  ゲノム解析 ,  塩基配列デ-タベ-ス ,  配列設計 ,  ウェ-ブレット ,  情報検索 ,  縮小写像型ニュ-ラルネットワ-ク ,  計算論的学習 ,  グラフの学習 ,  発見的アルゴリズム ,  情報圧縮 ,  テキストデ-タベ-ス ,  低周波成分 ,  高周波成分 ,  デ-タ圧縮 ,  分散計算 ,  グラフ構造データ ,  グラフパターン ,  タイリング ,  引き込み領域 ,  パタ-ン照合アルゴリズム ,  高速化 ,  最小化問題 ,  文字列パタ-ン照合 ,  画像圧縮 ,  詰め込み問題 ,  帰納推論 ,  機械学習 ,  分子計算 ,  フォルトトレラント ,  シミュレータ ,  連想記憶モデル ,  機能素子開発 ,  ネットワークトポロジー ,  輻輳制御 ,  代謝ネットワーク ,  カテゴリ-論 ,  ネットワ-ク ,  グラフ文法 ,  グラフ変換 ,  グラフアルゴリズム
Research theme for competitive and other funds  (17):
  • 2022 - 2026 Formal Foundations for Verification of Physical and Probabilistic Systems
  • 2020 - 2024 Mathematical foundations for the reconfiguration paradigm
  • 2017 - 2020 Theory of relational calculus for formal verification of mathematics and software programs.
  • 2013 - 2016 Formalization on Modern Coding Theory
  • 2013 - 2014 Toward a formal proofs and automated verifications of discrete mathematics
Show all
Papers (14):
  • 檜貝信一, 溝口佳寛, 深作亮也. 計算材料科学の課題への数学・数理科学からのアプローチ:数理ベースプログラミング. Journal of Computer Chemistry, Japan. 2021. 20. 3. 112-115
  • Alex Derouet-Jourdan, Shizuo Kaji, Yoshihiro Mizoguchi. A linear algorithm for brick Wang tiling. Japan J. Indust. Appl. Math. 2019. 1-13
  • 溝口佳寛, 棚橋典大. 文部科学省委託事業AIMaPの取り組みについて. 計測と制御. 2019. 58. 1. 38-41
  • M.D.Akbar Y.Mizoguchi, Adiwijaya. Class dependency of fuzzy relational database using relational calculus and conditional probability. Journal of Physics: Conference Series. 2018. 971. 1
  • M. D. Akbar, Y. Mizoguchi. A Formalization of a Fuzzy Relational Database Model using Relational Calculus. Bulletin of Infromatics and Cybernecs. 2016. 48. 83-104
more...
MISC (24):
  • 檜貝信一, 溝口佳寛, 深作亮也. 計算材料科学の課題への数学・数理科学からのアプローチ:数理ベースプログラミング. 2021
  • 溝口 佳寛. 論理と計算について考えた人たち. 2018
  • Relational Calculus Library in Coq. 2016. 22. 2. 39-42
  • Elementary Geometry in Coq. 2016. 22. 2. 43-47
  • 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. 2016
more...
Lectures and oral presentations  (16):
  • 解析力学的アプローチによる分子動力学計算
    (日本コンピュータ化学会 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)
more...
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 -
Professional career (1):
  • Dr.Sci.
Work history (5):
  • 2016/08 - 現在 Kyushu University Institute of Mathematics for Industry Professor
  • 2011/04 - 2016/07 Kyushu University Institute of Mathematics for Industry Associate Professor
  • 2000/10 - 2011/03 Kyushu University Faculty of Mathematics Associate Professor
  • 1993/04 - 2000/09 Kyushu Institute of Technology Faculty of Computer Science and System Engineering Associate Professor
  • 1988/04 - 1993/03 Kyushu Institute of Technology Faculty of Computer Science and System Engineering Lecturer
Committee career (4):
  • 2019/12 - 2020/11 公益社団法人九州数学教育会 会長
  • 2013/07 - 2019/11 公益社団法人九州数学教育会 理事
  • 2017/07 - 2019/06 日本数学会社会連携協議会 運営委員
  • 2001/10 - 2003/09 特定非営利活動法人数理の翼 理事
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page