MIZOGUCHI YOSHIHIRO
Organization
Institute of Mathematics for Industry Division of Applied Mathematics Professor
Education and Research Center for Mathematical and Data Science
（Concurrent）
Research Institute for Information Technology
（Concurrent）
School of Sciences Department of Mathematics（Concurrent）
Graduate School of Mathematics Department of Mathematics（Concurrent）
Joint Graduate School of Mathematics for Innovation
（Concurrent）
Title
Professor
Contact information
Profile
[Research]
Fundamental theory of Software Science
[Education]
Theory and application of mathematical aspects of computer science topics.
[Social Activities]
Organizing educational workshops using computer networks.
Homepage
External link
Research Areas
-
Informatics / Theory of informatics
-
Natural Science / Applied mathematics and statistics
Degree
-
Dr. Sci.
Research History
-
Kyushu University Institute of Mathematics for Industry Professor
2016.8 - Present
-
九州工業大学情報工学部講師(1988年〜1993年) 同助教授(1993年〜2000年) 放送大学客員准教授(2008年〜2010年)
Research Interests・Research Keywords
-
Research theme：縮小写像型ニュ-ラルネットワ-ク
Keyword：縮小写像型ニュ-ラルネットワ-ク
Research period： 2024
-
Research theme：Development of visualization technique using a theory of mathematics
Keyword：Visualization, CG, Mathematics
Research period： 2014.4 - 2018.3
-
Research theme：Computational model using discrete transition systems
Keyword：Automaton, Discrete Transition System, Computational Model
Research period： 2005.4
-
Research theme：Design and implemantation of the information system for increasing receptivity for a congenial disease
Keyword：information system, internet, support of handicapped person
Research period： 2002.4 - 2011.3
-
Research theme：Resonstruction of computational formal theory using graph transformations
Keyword：graph transformation, algorithm, computational complexity, distributive computing
Research period： 1993.3
Papers
-
A linear algorithm for brick Wang tiling Reviewed International journal
@Alex Derouet-Jourdan, Shizuo Kaji, Yoshihiro Mizoguchi
Japan J. Indust. Appl. Math. 1 - 13 2019.4
-
Verification of a brick Wang tiling algorithm Invited Reviewed International journal
Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derounet-Jourdan
7th International Symposium on Symbolic Computation in Software Science (SCSS2016) 39 107 - 116 2016.3
-
A Mathematica module for Conformal Geometric Algebra and Origami Folding Reviewed International journal
MItsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai
7th International Symposium on Symbolic Computation in Software Science (SCSS2016) 39 60 - 80 2016.3
-
A Property of Random Walks on a Cycle Graph Reviewed International journal
Yuki Ikeda, yasunari fukai, Yoshihiro Mizoguchi
Pacific Journal of Mathematics for Industry 7 ( 3 ) 2015.12
-
Uniqueness of Buston Hadamard matrices of small degrees Reviewed International journal
Mitsugu Hirasaka, Kyoung-Tark Kim, Yoshihiro Mizoguchi
Journal of Discrete Algorithms 34 70 - 77 2015.6
-
A formulation of Composition for Cellular Automata on Groups Reviewed International journal
Shuichi Inokuchi, Takahiro Ito, Mitsuhiko Fujio, Yoshihiro Mizoguchi
IEICE Transactions on Information and Systems E97- D ( 3 ) 448 - 454 2014.3
-
Formal Proofs for Automata and Sticker Systems Reviewed International journal
Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi
Proc. of First International Symposium on Computing and Networking 2013.12
-
Bipartition of graphs based on the normalized cut and spectral methods, Part I: Minimum normalized cut Reviewed International journal
Yoshihiro Mizoguchi, K.K.K.R. Perera
Journal of Math-for-Industry 5 59 - 72 2013.4
-
Mathematical Analysis on Affine Maps for 2D Shape Interpolation Reviewed International journal
Shizuo Kaji, Sanpei Hirose, Yoshihiro Mizoguchi, Ken Anjyo
Proceedings of SCA2012 (ACM/Eurographics Symposium on Computer Animation 2012) 71 - 76 2012.7
-
Composition, union and division of cellular automata on groups Reviewed International journal
T. Ito, M. Fujio, S. Inokuchi, Y. Mizoguchi
Proc. of the 16th International Workshop on Cellular Automata and Discrete Complex Systems, Automata2010 2010.6
-
Implementation of Haskell Modules for Automata and Sticker Systems Reviewed International journal
K.K.K.R.Perera, Yoshihiro Mizoguchi
Journal of Math-for-industory 1 51 - 56 2009.4
-
Periodic behaviors of quantum cellular automata Reviewed International journal
S. Inokuchi, Y. Mizoguchi, H. Y. Lee and Y. Kawahara
Bull. of Informatics and Cybernetics 2008.12
-
An abstract collesion system Reviewed International journal
T. Ito, S. Inokuchi, Y. Mizoguchi
Automata-2008, Theory and Applications of Cellular Automata, Luniver Press 2008.6
-
Formalizing the Definition and Evolution of Models in a Repository International journal
Y. Mizoguchi and P. Loucopoulos
Proc. of the 5th RelMiCS (Seminar on Relational Methods in Computer Science) 2000.1
-
Properties of graphs preserved by relational graph rewritings Reviewed International journal
Y. Mizoguchi
Journal of Information Science 1999.1
-
暗号化電子メールシステムの動向 Invited
溝口佳寛
情報の科学と技術 1996.1
-
Relational Graph Rewritings Reviewed International journal
Yoshihiro Mizoguchi, Yasuo Kawahara
Theoretical Computer Science 141 ( 1-2 ) 311 - 328 1995.1
-
A Graph Structure over the Category of Sets and Partial Functions Reviewed International journal
Yoshihiro Mizoguchi
Cahiers de topologie et g'eom'etrie diff'erentielle cat'egoriques 34 2 - 12 1993.1
-
Powerset Monad, Filter Monad and Primefilter Monad in the Category of Sets with Monoid Actions Reviewed International journal
Yoshihiro Mizoguchi
Bull. of Informatics and Cybernetics 21 83 - 95 1985.1
-
RELATIONAL CALCULUS AS A FORMAL SYSTEM Reviewed International journal
@H.Furuawa, @T.Ishida, Y.Kawahara, Y.Mizoguchi
Bulletin of informatics and cybernetics 56 ( 2 ) 1 - 22 2024.3
-
計算材料科学の課題への数学・数理科学からのアプローチ：数理ベースプログラミング Reviewed
檜貝信一, 溝口佳寛, @深作亮也
20 ( 3 ) 112 - 115 2021.11
-
文部科学省委託事業AIMaPの取り組みについて Invited Reviewed
溝口佳寛, 棚橋典大
計測と制御 58 ( 1 ) 38 - 41 2019.1
-
Class dependency of fuzzy relational database using relational calculus and conditional probability Reviewed International journal
@M.D.Akbar, Y.Mizoguchi, @Adiwijaya
Journal of Physics: Conference Series 971 ( 1 ) 2018.1
-
A Formalization of a Fuzzy Relational Database Model using Relational Calculus Reviewed International journal
#M. D. Akbar, Y. Mizoguchi
Bulletin of Infromatics and Cybernecs 48 83 - 104 2016.12
-
Wang Tiles Modeling of Wall Patterns Reviewed International journal
Alexandre Derouet-Jourdan, Yoshihiro Mizoguchi, Marc Salvati
Mathematical Progress in Expressive Image Systems (MEIS2015) 64 61 - 70 2015.10
-
Fuzzy Relational Database Model Using Relational Calculus Reviewed International journal
Mohamad Deni Akbar, Yoshihiro Mizoguchi
Proc. of 7th International Conference on Soft Computing and Intelligent Systems 1 - 4 2014.12
-
Abstract collision systems simulated by cellular automata Reviewed International journal
Takahiro Ito, Shuichi Inokuchi, and Yoshihiro Mizoguchi
3rd International Workshop on Natural Computing (IWNC 2008) Proceedings 2008.11
-
The number of orbits of periodic box-ball systems Reviewed International journal
A. Mikoda, S. Inokuchi, Y. Mizoguchi, M. Fujio
Lecture Notes in Computer Science 2006.9
-
Tagged Choice Graph Transformations (Abstract) Reviewed International journal
Y.Mizoguchi and W.Kahl
Proc. of the 11th international meeting on DNA computing London,Canada 2005.1
-
Generalized partitioned quantum cellular automata and quantization of classical CA Reviewed International journal
S.Inokuchi and Y.Mizoguchi
Int. Journ. of Unconventional Computing 2005.1
-
Statistical properties of a quantum cellular automaton Reviewed International journal
N. Inui, S. Inokuchi, Y. Mizoguchi, N. Konno
Physical Review A 72 ( 3 ) 2005.1
-
On reversible cellular automata with finite cell array. International journal
S. Inokuchi, K. Honda, H. Lee, T. Sato, Y. Mizoguchi, Y. Kawahara
Lecture Notes in Computer Science 3699 130 - 141 2005.1
-
Graph transformation approach for the shortest path search and length calculation Reviewed International journal
M.Mori and Y.MIzoguchi
Bull. of Informatics and Cybernetics 2003.1
-
Shortest path length calculation using graph transformations Reviewed International journal
Y.Mizoguchi
Proc. 6th Joint Conference on Information Sciences 358 - 361 2002.6
-
インターネットにおけるダウン症データライブラリの運営と展開 Reviewed
古川徹生, 巽純子, 溝口佳寛, 百渓英一, 武部啓
医療情報学 2001.1
-
RMIを用いた分散システム構築の自動化 Reviewed
油利耕平, 溝口佳寛
ソフトウェア工学の基礎VII(日本ソフトウェア科学会FOSE2000) 2001.1
-
On the Characteristic Numbers Associated with Two-Dimentional Cellular Automata ca-90(m,n) Reviewed International journal
Y.Kawahara, S.Kumamoto, Y.Mizoguchi, M.Nohmi, H.Ohtsuka, T.Shodai
Journal of Mathematical Physics 1995.1
-
Relational Structures and Their Partial Morphisms in View of Single Pushout Reviewed International journal
Yasuo Kawahara, Yoshihiro Mizoguchi
Lecture Notes in Computer Science 776 218 - 233 1994.1
-
Critidcal pairs of relational graph rewriting system Reviewed International journal
Y.Mizoguchi, Y.Kawahara
The 5th GraGra (International Workshop on Graph Grammars and Their Application to Computer Science) 1994.1
-
Relational Calculus and Categorical Assertion Semantics in Topoi Reviewed International journal
Y.Kawahara, Y.Mizoguchi
Information Modelling and Knowledge Bases IV 1993.1
-
A Graph Reduction System Using Graph Terms Reviewed International journal
Yoshihiro Mizoguchi
Bull. Informatics and Cybernetics 25 27 - 40 1992.1
-
Categorical assertion semantics in toposes Reviewed International journal
Yasuo Kawahara, Yoshihiro Mizoguchi
Advances in Software Science and Technology 4 137 - 150 1992.1
-
A Symbolic Calculus of Regular Expressions Reviewed International journal
Yoshihiro Mizoguchi, Hiroshi Otsuka, Yasuo Kawahara
Bull. of Informatics and Cybernetics 22 165 - 170 1987.1
-
Sets of Collisions and Connected Subsets, Bull. of Informatics and Cybernetics
Yoshihiro Mizoguchi, Shuichi Inokuchi, Yasuo Kawahara
Bull. of Informatics and Cybernetics 44 111 - 115 1900
Presentations
-
A Coq Library for the Theory of Realational Calculus Invited International conference
Yoshihiro Mizoguchi
Workshop on Formalization of Applied Mathematical Systems 2016.9
-
Fuzzy Functional and Implication Dependency using Relational Calculus International conference
Mohammad Deni Akbar, Yoshihiro Mizoguchi
The Asian Mathematical Conference (AMC2016) 2016.7
-
Symbolic Computations in Conformal Geometric Algebra for Three Dimensional Origami Folds International conference
Yoshihiro Mizoguchi, Hiroyuki Ochiai
First International Workshop on Computational Origami and Applications 2016.7
-
Theory of Relational Calculus and its formalization Invited International conference
Yoshihiro Mizoguchi
Universal Structures in Mathematics and Computing 2016.6
-
溝口 佳寛, 田中久治
日本数式処理学会 2015.6
-
溝口 佳寛, 松嶋 聡昭, 田中久治, 井口修一
日本数式処理学会 2015.6
-
有限オートマトンとスティッカー系に関する Coq による形式証明について
溝口 佳寛, 田中久治, 坂下一生, 井口 修一
日本数学会2014年度年会 2014.3
-
Mathematical Aspect of Interpolation Technique for Computer Graphics International conference
Yoshihiro Mizoguchi
Forum "Math-for-Industry" 2012 Information Recovery and Discovery 2012.10
-
Generalization of Compositions of Cellular Automata on Groups International conference
Yoshihiro Mizoguchi
Workshop on Algebraic Combinatorics, Sept. 2011, 2011.9
-
Laplacian energy of directed graphs International conference
K.K.K.R.Perrera, Y.Mizoguchi
International Conference on Algebraic and Geometric Combinatorics 2010.7
-
Composition, union and division of cellular automata on groups International conference
T. Ito, M. Fujio, S. Inokuchi, Y. Mizoguchi
16th International Workshop on Cellular Automata and Discrete Complex Systems 2010.6
-
初等幾何学定理の証明におけるRegular Chainの有効性の評価
田中久治,溝口佳寛,熊原啓作
第19回日本数式処理学会大会 2010.6
-
The abstract collesion system International conference
T. Ito, S. Inokuchi, Y. Mizoguchi
Automata-2008 2008.6
-
リンク共起情報に基づく概念グラフの提案とWeb空間の解析
岡田幸治, 井口修一, 溝口佳寛, 廣川左千男
第4回ネットワーク生態学シンポジウム 2008.3
-
Relational Database Model Using Relational Calculus International conference
Mohamad Deni Akbar, Yoshihiro Mizoguchi
7th International Conference on Soft Computing and Intelligent Systems 2014.12
-
The number of orbits of periodic box-ball systems International conference
A. Mikoda, S. Inokuchi, Y. Mizoguchi, M. Fujio
International Conference on Unconventional Computation 2006.9
-
九州大学数理・データサイエンス教育研究センターの活動について Invited
溝口佳寛
日本数学会 2022.9
-
解析力学的アプローチによる分子動力学計算
＠深作亮也, 溝口佳寛, 檜貝信一
日本コンピュータ化学会 2021.6
-
九州大学数理・データサイエンス教育研究センターとAIMaP事業について
@溝口 佳寛
第68回九州地区大学教育研協議会 2019.9
-
阿川真士, 溝口佳寛
日本数学会年会 2018.3
-
Relational T-algebra and the category of topological spaces Invited International conference
Yoshihiro Mizoguchi
Workshop on logic algebra and category theory: LAC2018 2018.2
-
Formal equivalence classes model of fuzzy relational databases using relational calculus
Mohammad Deni Akbar, Yoshihiro Mizoguchi
1st International Conference on Applied Computer and Communication Technologies, ComCom 2017 2017.12
-
Symbolic Computations in Conformal Geometric Algebra for Three Dimensional Origami Folds Invited International conference
Yoshihiro Mizoguchi, Hiroyuki Ochiai
PNU Math Forum 2016 2016.12
-
Formalization of proofs using relational calculus
Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi
3rd International Symposium on Information Theory and Its Applications, ISITA 2016 2017.2
-
Wang Tiles Modeling of Wall Patterns International conference
Alexandre Derouet-Jourdan, Yoshihiro Mizoguchi, Marc Salvati
MEIS2015 : Mathematical Progress in Expressive Image Synthesis 2015.9
-
定理証明支援系Coqについて Invited
溝口 佳寛
数学ソフトウェアとフリードキュメント XXI 2015.9
-
Formal Proofs for Automata and Sticker Systems, Proc. of 1st International Workshop on Computing and Networking (CANDAR) International conference
Yoshihiro Mizoguchi
1st International Workshop on Computing and Networking 2013.12
-
三重対角行列に関連するグラフのラプラシアン行列の固有多項式について
溝口 佳寛
第127回日本数学会九州支部例会 2012.10
-
アフィン写像を用いた補間による二次元アニメーションを作成するソフトウェアの開発
溝口 佳寛, 松下昴平, 井慶喜, 池田有希, 松田元輝, 濱田裕康
電気関係学会九州支部連合大会 2012.9
-
Interpolation using eigenvectors of the Laplacian matrix of a graph
Yoshihiro Mizoguchi
2012.3
-
Laplacian Energy of Directed Graphs and Minimizing Maximum Outdegree Algorithms
K.K.K.R. Perera, Y. Mizoguchi
2010.12
-
Finding Clusters in Directed Network Graphs using Spectral Clustering Methods
K.K.K.R. Perera, Y. Mizoguchi,
2009.9
-
抽象衝突系がセルオートマトンによって模倣できるための条件
伊藤隆浩, 井口修一, 溝口佳寛
2008.12
-
Haskell Modules for Automata and Sticker Systems
K.K.K.R. Perera, Y. Mizoguchi
2008.9
-
岡田幸治, 井口修一, 溝口佳寛, 廣川佐千男
電気関係学会九州支部連合大会 2008.9
-
リンク共起情報を用いたナノテク関連学術ウェブページ群の解析
岡田幸治, 溝口佳寛, 廣川佐千男
Webインテリジェンスとインタラクション研究会 2008.4
-
理系離れ防止対策を試みとした高校生向け数理セミナー
安藤祐子, 上野雄文, 加藤文元, 溝口佳寛, 渡辺暁, 内田聡子, 桂木洋光, 三浦麻実
第28回日本科学教育学会 2004.8
-
数理科学教育における少人数セミナーの効果
桂木洋光, 上野雄文, 溝口佳寛, 安藤祐子, 渡辺暁, 箱田桂子, 秋田純一, 羽原靖晃
第109回日本物理学会九州支部例会 2003.11
-
教室内LANの構築とその利用について
溝口佳寛, 古川徹生, 木上あおい, 小林史典
電気関係学会九州支部連合大会 1991.10
-
縮小写像原理にもとづく3層ニューラルネットワークの学習 --ゲノム情報解析への応用--
新島 耕一, 篠原 武, 溝口 佳寛, 下薗 真一
第3回ゲノム情報ワークショップ 1991.12
-
暗号化電子メールシステムの実装と課題
小方 学, 溝口 佳寛
電気関係学会九州支部連合大会 1993.10
-
3ビットの遺伝的アルゴリズムに対する収束性
本田 啓太郎, 溝口 佳寛
電気関係学会九州支部連合大会 1993.10
-
教室内計算機システムの再構築
今井純, 岩崎宣仁, 溝口佳寛, 小林史典
電気関係学会九州支部連合大会 1994.9
-
グラフ変換による最短経路問題の解法
溝口 佳寛, 矢島 健一
応用数学合同研究集会 1993.12
-
教室内連絡システムの利用形態と利用状況 Invited
溝口 佳寛
KARRNシンポジウム 1993.11
-
グラフ変換によるネットワーク量計算システムの開発
矢島 健一, 溝口 佳寛
電気関係学会九州支部連合大会 1993.10
-
DCTの計算誤差を考慮した画像深層暗号
原田 徳嗣, 溝口 佳寛
電気関係学会九州支部連合大会 1996.9
-
単純遺伝的アルゴリズムの収束性に関する1考察
溝口 佳寛
応用数学合同研究集会 1996.12
-
暗号化中継サーバの安全性強化について
中尾英樹, 溝口 佳寛
電気関係学会九州支部連合大会 1997.10
-
情報モデルの定義と変更の関係グラフ表現を用いた定式化
応用数学合同研究集会 1999.12
-
２状態分割量子セルオートマトンの挙動について
溝口佳寛, 井口修一
応用数学合同研究集会 2001.12
-
学内仮想プライベートネットワーク(VPN)の活用とVoIP電話の試行について Invited
井口修一, 溝口佳寛, 恒藤哲哉, 丸山修
電気関係学会九州支部連合大会 2002.9
-
Generalized Partitioned Quantum Cellular Automata and Quantumization of Classical CA International conference
2002.9
-
ダウン症データライブラリの利用者別ニーズの分析
古川徹生, 巽純子, 溝口佳寛, 佐藤大, 藤田弘
第22回医療情報学連合大会 2002.11
-
障害者支援文書による仮想図書館管理インターフェース開発の試み
溝口佳寛, 古川徹生, 佐藤大, 巽純子
第22回医療情報学連合大会 2002.11
-
有限遷移系の木表現式からの遷移図の自動作成
井口修一, 溝口佳寛, 河原康雄
応用数学合同研究集会 2002.12
-
量子回路を実現する関数型言語の実現に向けて
小田大伊輔, 溝口佳寛
応用数学合同研究集会 2005.12
-
Graph partitioning and eigen polynomials of Laplacian matrices of Roach-type graphs International conference
Yoshihiro Mizoguchi
Algebraic Graph Theory, Spectral Graph Theory and Related Topics 2013.1
-
Mathematical Aspects of Interpolation Technique for Computer Graphics Invited International conference
Yoshihiro Mizoguchi
PNU Mathematics Seminar 2013.4
-
グラフ上の追跡戦略と回避戦略
池田有希, 溝口 佳寛
第10回ネットワーク生態学シンポジウム 2013.9
MISC
-
論理と計算について考えた人たち
溝口 佳寛
数学セミナー, 2019年1月号, pp.57-61 2018.12
-
Bob Anderssen, Philip Broadbridge, Yasuhide Fukumoto, Naoyuki Kamiyama, Yoshihiro Mizoguchi, Konrad Polthier, OSAMU SAEKI
Mathematics for Industry 25, Springer 2016.4
-
溝口 佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt
2015.3
-
溝口 佳寛, 田上 真
数学セミナー, 2014年12月号, pp.48-54 2014.12
-
Yoshihiro Mizoguchi
Mathematics for Industry, Vol.5, pp.337-348 2014.7
-
溝口 佳寛
MI Lecture Note Series, Vol.46, 科学・技術の研究課題への数学アプローチ --数学モデリングの基礎と展開--, 九州大学 2013.2
-
河原康雄・溝口佳寛
電子情報通信学会・知識ベース「知識の森」 2011.3
-
Advanced Automotive Control and Mathematics
Taketoshi Kawabe, Yoshihiro Mizoguchi, Junichi Kako, Masakazu Mukai, Yuji Yasui
MI Lecture Note Series, Vol.84 2021.12
-
計算材料科学の課題への数学・数理科学からのアプローチ:数理ベースプログラミング Reviewed
檜貝信一, 溝口佳寛, 深作亮也
分子シミュレーション学会誌"アンサンブル" 2021.12
-
Hakata Workshop 2014, Discrete Mathematics and its Applications
Yoshihiro Mizoguchi, Hayato Waki, Takafumi Shibuta, Osamu Shimabukuro, Makoto Tagami, Hirotake Kurihara, Shuya Chiba, Tetsuji Taniguchi
2014.3
-
Study Group Workshop 2013, 数学恊働プログラム報告書
栄 伸一郎, 溝口 佳寛, 脇 隼人, 渋田 敬史
九州大学マス・フォア・インダストリ研究所 2014.2
-
Symposium MEIS2013: Mathematical Progress in Expressive Image Synthesis
Ken Anjyo, OCHIAI HIROYUKI, Yoshinori Dobashi, Yoshihiro Mizoguchi, Shizuo Kaji
Institute of Mathematics for Industry, Kyushu University 2013.10
-
博多ワークショップ「組み合わせとその応用」報告書
溝口 佳寛, 脇 隼人, 平坂貢, 谷口哲至, 島袋修
九州大学マス・フォア・インダストリ研究所 2013.3
-
Combinatorics and Numerical Analysis Joint Workshop
Yoshihiro Mizoguchi, Tetsuji Taniguchi, Tsuyoshi Miezaki, Yoshitaka Watanabe, Daisuke TAGAMI
Institute of Mathematics for Industry, Kyushu University 2012.12
-
ヒトの遺伝に関わる総合教育マルチメディア教材開発と教育方法に関する研究
溝口佳寛, 巽純子, 古川徹生, 石井琢磨, 隈本覚, 佐藤大
平成15年度松下視聴覚教育助成成果報告集 2003.9
-
教室内連絡システムの利用形態と利用状況
溝口 佳寛
KARRNシンポジウム報告書 1993.11
Works
-
A certified Wang tiling program in Coq
Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan
2016.3
-
A Mathematica module for Conformal Geometric Algebra and Origami Folding
Mitsuhiro Kondo , Takuya Matsuo , Yoshihiro Mizoguchi and Hiroyuki Ochiai
2016.3
-
A certified Wang tiling program in Coq
Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan
2016.3
-
Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai, Yoshihiro Mizoguchi
2014.3
-
ProbeDeformer for iPad
Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai, Yoshihiro Mizoguchi
2014.3
-
Mathematica Modules for Graph Laplacians
Yoshihiro Mizoguchi
2013.6
-
Haskell Modules for Automata and Sticker Systems
Yoshihiro Mizoguchi
2013.6
-
Mathematica Modules for Graph Laplacians
Yoshihiro Mizoguchi
2013.6
Professional Memberships
-
Association for Computing Machinery (ACM)
-
The Institute of Electronic Information and Communication Engineers (IEICE)
-
The Japan Society for Industrial and Applied Mathematics
-
Japan Society of Software Science and Technology
-
Information Processing Society of Japan
-
The Mathematical Society of Japan
-
the Society of Automotive Engineers of Japan, Inc.
-
The Institute of Electronic Information and Communication Engineers (IEICE)
-
the Society of Automotive Engineers of Japan, Inc.
-
The Mathematical Society of Japan
-
The Japan Society for Industrial and Applied Mathematics
-
Information Processing Society of Japan
-
Japan Society of Software Science and Technology
-
Association for Computing Machinery (ACM)
Committee Memberships
-
Chairman Domestic
2019.12 - 2020.11
-
Steering committee member Domestic
2017.7 - 2019.6
-
日本自動車技術会自動車制御とモデル部門委員会 委員 Domestic
2017.6 - 2019.5
-
Executive Domestic
2013.7 - 2019.11
-
Executive Domestic
2001.10 - 2003.9
Academic Activities
-
Organizer
New Encounters in Spatial Intelligence, Intelligent Mobility and Mathematics Part-1 & Part-2 （ Mie University Japan ） 2023.9
-
Screening of academic papers
Role(s)： Peer review
2023
-
Screening of academic papers
Role(s)： Peer review
2022
-
Screening of academic papers
Role(s)： Peer review
2021
-
Program Committee International contribution
SCSS2020, The 9th International Symposium on Symbolic Computation Software Science （ Gammarth Tunisia ） 2020.9
-
座長
第３１回代数, 論理, 幾何と情報科学研究集会 （ オンライン ） 2020.8
-
Scienctific Committee International contribution
2020 Taipei International Conference on Combinatorics （ Institute of Mathematics, Academia Sinica Taiwan ） 2020.2
-
Screening of academic papers
Role(s)： Peer review
2020
-
世話人
第３０回代数, 論理, 幾何と情報科学研究集会 （ 九州大学伊都キャンパス ） 2019.8 - 2019.9
-
International Journal of Mathematics for Industry International contribution
2019.1 - Present
-
Screening of academic papers
Role(s)： Peer review
2019
-
大分県立佐伯鶴城高校SSH運営指導委員
Role(s)： Review, evaluation
大分県教育委員会 2018.4 - 2020.3
-
Screening of academic papers
Role(s)： Peer review
2018
-
実行委員
CG技術の実装と数理2017 （ 株式会社ディー・エヌ・エー ） 2017.9
-
Screening of academic papers
Role(s)： Peer review
2017
-
司会（Moderator）
研究集会「三次元幾何モデリング評価手法の提案とソフトウェア開発」 （ 九州大学マス・フォア・インダストリ研究所 ） 2016.8
-
プログラム委員長
CG技術の実装と数理2016 （ 株式会社コロプラ, 株式会社スクウェア・エニックス ） 2016.7 - 2016.9
-
司会（Moderator）
研究集会「複数画像間のパターンマッチによる土木測量技術の開発」 （ 九州大学マス・フォア・インダストリ研究所 ） 2016.6
-
Program Committee International contribution
The 7th International Symposium on Symbolic Computation in Software Science （ Ochanomizu University, Tokyo Japan ） 2016.3
-
座長（Chairmanship） International contribution
研究集会「高信頼な理論と実装のための定理証明および定理証明器」 （ 九州大学西新プラザ ） 2015.12
-
司会（Moderator） International contribution
2015.10
-
Organized Committee International contribution
Forum "Math-for-Industry" 2015 -The Role and Importance of Mathematics in Innovation- （ Kyushu University, Fukuoka Japan ） 2015.10
-
座長（Chairmanship） International contribution
2015.9 - 2015.10
-
幹事
研究集会「高信頼な理論と実装のための定理証明および定理証明器」 （ 九州大学西新プラザ ） 2014.12
-
Organizing committee International contribution
Korea-Japan workshop on algebra and combinatorics （ KAIST Korea ） 2014.1
-
Committee International contribution
Mathematical Progress in Expressive Image Synthesis （ Centennial Hall Kyushu University School of Medicine, Fukuoka, Japan Japan ） 2013.10
-
実行委員
日本応用数理学会2013年度年会 （ アクロス福岡 (福岡市) ） 2013.9
-
Organizing committee International contribution
Japan-Korea workshop on algebra and combinatorics （ ACROS Fukuoka Japan ） 2013.1
-
大分県立舞鶴高校SSH運営指導委員
Role(s)： Review, evaluation
大分県教育委員会 2012.4 - 2020.3
-
座長（Chairmanship）
情報処理学会九州支部 火の国情報シンポジウム （ 大分大学 ） 2004.3
-
電子情報通信学会英文誌D International contribution
2003.5
Research Projects
-
物理的・確率的システムの検証を支える形式的基盤の構築
2022.4 - 2026.3
日本
Authorship：Coinvestigator(s)
今日, コンピュータプログラムは, デジタル情報の操作やそのネットワークに加えて, 外界との相互作用を行うため, プログラムの検証には, 形式論理と離散数学だけでなく, 実解析や確率論や幾何学などの数学が必要となり, プログラムの様々な副作用の厳密な検証が困難になっている. その複雑さを抑えるためには, プログラムの意味論の基礎的な研究と, 高度な数学に一貫性のある形式表現を与える統合的な研究の双方が必要である. 本研究では, 定理証明支援系Coq上, 実解析, 連続確率, 剛体幾何を形式化し, モナドと等式推論に基づいて, 形式的基盤の構築とその評価を行う.
-
関係計算の形式化を用いた数学とソフトウェア検証のための理論構築
2017.4 - 2020.3
九州大学
Authorship：Principal investigator
高信頼ソフトウェア開発の基礎となる数理論理学や離散数学, 特に計算機による自動検証可能な形式証明を意識した, 関係計算による証明を用いた数学体系を広げること.
-
関係計算の形式化を用いた数学とソフトウェア検証のための理論構築
Grant number：17K05346 2017 - 2019
日本学術振興会 科学研究費助成事業 基盤研究(C)
Authorship：Principal investigator Grant type：Scientific research funding
-
離散構造体の計算理論に関する形式的証明と自動検証
2013.4 - 2015.3
日本学術振興会
Authorship：Principal investigator
本研究は離散構造体の変換による計算理論をグラフ変換, セルオートマトン, 言語理論の一般化として定式化するものである. 特に, 関係計算を用いて形式的な自動検証可能な証明を与えながら理論を構築する. 離散構造物の変換(変形)による計算理論の構築は, それそのものでも数学的対象として興味深いが, 全く新しい仕組みの計算機の実現へのヒントを与える可能性もあり, 非常に将来性のある研究課題である. 「圏論」「関係計算理論」「オートマトン理論」を基盤に「グラフ」「セル」という離散構造体を利用した計算を一般化し離散構造体の変換による計算理論を形式的証明とともに研究対象として構築することが目的である.
-
離散構造体の変換による計算理論と証明の自動検証
Grant number：25610034 2013 - 2014
科学研究費助成事業 挑戦的萌芽研究
Authorship：Principal investigator Grant type：Scientific research funding
-
デジタル映像数学の構築と表現技術の革新 (Mathematics for Expressive Image Synthesis)
2010.10 - 2015.3
JST(科学技術振興機構)(日本)
Authorship：Coinvestigator(s)
コンピュータグラフィックスに代表されるデジタル映像の応用は拡大の一途をたどっています。本研究は、作りやすさや効率を重視しつつ、従来よりさらに豊かな表現力を持つ映像の制作を可能にするために、デジタル映像表現を対象とする新たな数学分野形成の礎を築くことを目指します。特に、人間の動作や表情と流体の表現に焦点をあて、これらの映像表現の数学的特徴づけと、作り手の意図をより的確に反映できる数学モデルの構築を推進します。
Educational Activities
-
・Information and Mathematics
・Information and Computation
・Internet, Information and Mathematics
Class subject
-
情報数学特論１
2023.10 - 2024.3 Second semester
-
情報社会における企業とその職業観
2023.4 - 2024.3 Full year
-
数理・データサイエンス活用PBL
2023.4 - 2023.9 First semester
-
数学共創概論Ⅶ
2023.4 - 2023.9 First semester
-
情報数学特論１
2022.10 - 2023.3 Second semester
-
情報社会における企業とその職業観
2022.4 - 2023.3 Full year
-
情報科指導法Ⅱ
2022.4 - 2022.9 First semester
-
数学共創概論Ⅶ
2022.4 - 2022.9 First semester
-
数理・データサイエンス活用PBL
2022.4 - 2022.9 First semester
-
複素関数論
2021.10 - 2022.3 Second semester
-
情報社会における企業とその職業観
2021.4 - 2022.3 Full year
-
数理科学特別講義Ⅷ
2021.4 - 2021.9 First semester
-
数理科学特論８
2021.4 - 2021.9 First semester
-
情報数学・演習
2021.4 - 2021.9 First semester
-
複素関数論
2020.10 - 2021.3 Second semester
-
情報科指導法II
2020.4 - 2020.9 First semester
-
情報数学・演習
2020.4 - 2020.9 First semester
-
計算数理学II
2020.4 - 2020.9 First semester
-
複雑システム大意
2019.10 - 2020.3 Second semester
-
情報数学・演習
2019.4 - 2019.9 First semester
-
計算数理学I
2019.4 - 2019.9 First semester
-
複雑システム大意
2018.10 - 2019.3 Second semester
-
情報科指導法II
2018.4 - 2018.9 First semester
-
情報数学・演習
2018.4 - 2018.9 First semester
-
情報数学特論１
2017.10 - 2018.3 Second semester
-
複素関数論
2017.10 - 2018.3 Second semester
-
MMA講究C
2017.4 - 2017.9 First semester
-
計算数理学Ⅰ
2017.4 - 2017.9 First semester
-
機能数理学概論Ⅰ
2017.4 - 2017.9 First semester
-
情報数学特論1
2016.10 - 2017.3 Second semester
-
情報科指導法II
2016.4 - 2016.9 First semester
-
機能数理学概論I
2016.4 - 2016.9 First semester
-
複素関数論
2015.10 - 2016.3 Second semester
-
プログラミング演習
2015.4 - 2015.9 First semester
-
機能数理学概論I
2015.4 - 2015.9 First semester
-
複雑システム大意
2015.4 - 2015.9 First semester
-
複雑システム大意
2014.10 - 2015.3 Second semester
-
線形代数
2014.10 - 2015.3 Second semester
-
プログラミング演習
2014.4 - 2014.9 First semester
-
情報科指導法II
2014.4 - 2014.9 First semester
-
機能数理学概論I
2014.4 - 2014.9 First semester
-
情報処理演習III
2013.10 - 2014.3 Second semester
-
線形代数
2013.10 - 2014.3 Second semester
-
Computational Mathematics
2013.4 - 2013.9 First semester
-
線形代数
2012.10 - 2013.3 Second semester
-
情報科指導法II
2012.4 - 2012.9 First semester
-
線形代数・同演習
2011.4 - 2011.9 First semester
-
微分積分・同演習
2011.4 - 2011.9 First semester
-
計算機数学概論
2010.4 - 2010.9 First semester
-
情報科指導法II
2010.4 - 2010.9 First semester
-
情報処理演習III
2009.10 - 2010.3 Second semester
-
計算数理学
2009.10 - 2010.3 Second semester
-
計算機数学概論
2009.4 - 2009.9 First semester
-
情報処理演習III
2008.10 - 2009.3 Second semester
-
情報科指導法II
2008.4 - 2008.9 First semester
-
計算数理学基礎・演習
2008.4 - 2008.9 First semester
-
計算数理学大意
2007.10 - 2008.3 Second semester
-
情報数学特論Ｃ
2007.10 - 2008.3 Second semester
-
情報数学B・同演習
2007.4 - 2007.9 First semester
FD Participation
-
2022.4 Role：Participation Title：数理学府FD
Organizer：[Undergraduate school/graduate school/graduate faculty]
-
2021.7 Role：Participation Title：数理学府FD
Organizer：[Undergraduate school/graduate school/graduate faculty]
-
2019.7 Role：Participation Title：数理学府教員会議
Organizer：[Undergraduate school/graduate school/graduate faculty]
-
2019.3 Role：Participation Title：数理学府教員会議
Organizer：[Undergraduate school/graduate school/graduate faculty]
-
2018.7 Role：Participation Title：数理学府教員会議
Organizer：[Undergraduate school/graduate school/graduate faculty]
-
2018.4 Role：Participation Title：数理学府教員会議
Organizer：[Undergraduate school/graduate school/graduate faculty]
-
2018.3 Role：Participation Title：数理学府教員会議
Organizer：[Undergraduate school/graduate school/graduate faculty]
-
2017.7 Role：Participation Title：数理学府教員会議
Organizer：[Undergraduate school/graduate school/graduate faculty]
-
2016.5 Role：Participation Title：数理学府教員会議
Organizer：[Undergraduate school/graduate school/graduate faculty]
Visiting, concurrent, or part-time lecturers at other universities, institutions, etc.
-
2011 釜山国立大学 Classification:Intensive course Domestic/International Classification:Overseas
-
2009 鹿児島大学理学部 Classification:Intensive course Domestic/International Classification:Japan
-
2008 放送大学大学院 Classification:Affiliate faculty Domestic/International Classification:Japan
-
2005 愛媛大学理学部 Classification:Intensive course Domestic/International Classification:Japan
-
2003 島根大学総合理学部 Classification:Intensive course Domestic/International Classification:Japan
-
2000 九州工業大学・情報工学部 Classification:Part-time lecturer Domestic/International Classification:Japan
Other educational activity and Special note
-
2016 Special Affairs
Outline of Social Contribution and International Cooperation activities
-
アジア開発銀行第30回福岡大会・インターネット環境支援プロジェクト指導者(1997年)
認定NPO法人数理の翼理事(2001-2003年)
九州数学教育会理事(2013-2020年)
Social Activities
-
九州大学キャンパスウォーク
九州大学 九州大学理学部棟・情報基盤センター 2023.2
-
Campus Walk in 九州大学
朝倉市立秋月中学校 2023.2
-
Campus Walk in 九州大学
朝倉市立秋月中学校 2023.2
-
九州大学キャンパスウォーク
九州大学 九州大学理学部棟・情報基盤センター 2023.2
-
講義「バーコードの数理」
福岡県立香住ヶ丘高校 2019.12
-
第29回JST数学キャラバン 拡がりゆく数学 in 福岡
主催： 九州大学マス・フォア・インダストリ研究所 共催： 国立研究開発法人科学技術振興機構 (JST) 後援：福岡県教育委員会, 九州数学教育会 九州大学 稲盛財団記念館 稲盛ホール 2018.12
-
講義「バーコードの数理」
福岡県立香住ヶ丘高校 2018.12
-
高校生課題研究(数学・情報)ポスター発表会の運営と指導助言
九州大学稲盛会館 2018.12
-
第29回JST数学キャラバン 拡がりゆく数学 in 福岡
主催： 九州大学マス・フォア・インダストリ研究所 共催： 国立研究開発法人科学技術振興機構 (JST) 後援：福岡県教育委員会, 九州数学教育会 九州大学 稲盛財団記念館 稲盛ホール 2018.12
-
高校生課題研究(数学・情報)ポスター発表会の運営と指導助言
九州大学稲盛会館 2018.12
-
数理・データサイエンス教育の動向について
福岡県高等学校数学教育会・福岡県立筑紫丘高校 2018.10
-
数理・データサイエンス教育の動向について
福岡県高等学校数学教育会・福岡県立筑紫丘高校 2018.10
-
第72回九州算数・数学教育研究(佐賀)大会, 高等学校部会指導助言者
九州数学教育会 2018.7
-
第72回九州算数・数学教育研究(佐賀)大会, 高等学校部会指導助言者
九州数学教育会 2018.7
-
講義「計算機を用いて数学の問題を解くということ」
佐賀県立佐賀西高校 2016.8
-
講義「計算機を用いて数学の問題を解くということ」
佐賀県立佐賀西高校 2016.8
-
第70回九州算数・数学教育研究(大分)大会, 高等学校部会指導助言者
九州数学教育会 2016.7
-
第70回九州算数・数学教育研究(大分)大会, 高等学校部会指導助言者
九州数学教育会 2016.7
-
スーパーサイエンスハイスクールおよびコアSSHに関わる運営指導(2012年から)
大分県立舞鶴高等学校 2016.4
-
スーパーサイエンスハイスクールおよびコアSSHに関わる運営指導(2012年から)
大分県立舞鶴高等学校 2016.4
-
第69回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者
九州数学教育会 2015.7
-
第69回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者
九州数学教育会 2015.7
-
類型別出前講義「計算機を用いて数学の問題を解くということ」
福岡県立香住ヶ丘高校 2015.2
-
類型別出前講義「計算機を用いて数学の問題を解くということ」
福岡県立香住ヶ丘高校 2015.2
-
ケプラー予想の計算機による証明と検証について
九州数学教育会第4回算数・数学教育研修会 2014.12
-
複素数・四元数と図形の回転
第4回算数・数学教育研修会・九州数学教育会 2014.12
-
第68回九州算数・数学教育研究(熊本)大会, 高等学校部会指導助言者
九州数学教育会 2014.7
-
第68回九州算数・数学教育研究(熊本)大会, 高等学校部会指導助言者
九州数学教育会 2014.7
-
複素数・四元数と図形の回転
福岡県高等学校数学教育会筑後支部研究大会, 福岡県立伝習館高等学校 2013.11
-
第67回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者
九州数学教育会 2013.7
-
第67回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者
九州数学教育会 2013.7
-
数学にコンピュータを使う～数式処理系(Maxima),定理証明支援系(Coq)など～
第６回算数・数学教育研修会・九州数学教育会 2013.4
-
数学にコンピュータを使う～数式処理系(Maxima),定理証明支援系(Coq)など～
第６回算数・数学教育研修会・九州数学教育会 2013.4
-
行列計算を利用したデータ解析技術(主成分分析,多次元尺度構成法)
第６回算数・数学教育研修会・九州数学教育会 2012.4
-
行列計算を利用したデータ解析技術(主成分分析,多次元尺度構成法)
第６回算数・数学教育研修会・九州数学教育会 2012.4
-
魁講座III(スタディセミナー)講演「バーコードの数理」
山口県立徳山高等学校 2011.3
-
魁講座III(スタディセミナー)講演「バーコードの数理」
山口県立徳山高等学校 2011.3
-
バーコードの数理
大川市, 数理の翼「大川セミナー２０１０」 2010.8
-
バーコードの数理
大川市, 数理の翼「大川セミナー２０１０」 2010.8
-
順序機械の最小実現について
第３０回数理の翼夏季セミナー, 於. 国立大学九重共同研修所 2009.8
-
順序機械の最小実現について
第３０回数理の翼夏季セミナー, 於. 国立大学九重共同研修所 2009.8
-
公開講座「現代数学入門」講師 「計算理論への招待」
九州大学大学院数理学研究院 九州大学理学部大会議室 2007.8
-
福岡県２１世紀人材育成推進事業「ハイレベル合宿」ファシリテータ「情報処理のためのの論理と計算」
福岡県教育委員会、福岡県スーパーハイスクール 2007.8
-
公開講座「現代数学入門」講師 「計算理論への招待」
九州大学大学院数理学研究院 九州大学理学部大会議室 2007.8
-
福岡県２１世紀人材育成推進事業「ハイレベル合宿」ファシリテータ「情報処理のためのの論理と計算」
福岡県教育委員会、福岡県スーパーハイスクール 2007.8
-
計算機で問題を解くとは --地図の色分け, 信号機の設計, などを例に--
福岡県立修猷館高等学校 2004.10
-
計算機で問題を解くとは --地図の色分け, 信号機の設計, などを例に--
福岡県立修猷館高等学校 2004.10
Media Coverage
-
教育最前線（座談会） Newspaper, magazine
西日本新聞 2004.2
Acceptance of Foreign Researchers, etc.
-
University college London
Acceptance period： 2018.6 - 2018.9 （Period）：1 month or more
Nationality：United Kingdom
Business entity：Japan Society for the Promotion of Science
-
Pusan National University
Acceptance period： 2017.10 - 2018.2 （Period）：1 month or more
Nationality：Korea, Republic of
Business entity：Other
-
Pusan National University
Acceptance period： 2012.12 - 2013.3 （Period）：1 month or more
Nationality：Korea, Republic of
Business entity：Other
Travel Abroad
-
2014.11
Staying countory name 1：Korea, Republic of Staying institution name 1：釜山国立大学
-
2005.6
Staying countory name 1：Canada Staying institution name 1：McMaster University
-
1998.3 - 1999.1
Staying countory name 1：United Kingdom Staying institution name 1：マンチェスター工科大学