ミゾグチ ヨシヒロ
溝口 佳寛
MIZOGUCHI YOSHIHIRO
所属
マス・フォア・インダストリ研究所 応用理論研究部門 教授
数理・データサイエンス教育研究センター
（併任）
情報基盤研究開発センター
（併任）
理学部 数学科（併任）
数理学府 数理学専攻（併任）
マス・フォア・イノベーション連係学府
（併任）
職名
教授
連絡先
プロフィール
[研究活動]
ソフトウェア科学の基礎理論とそれらの応用プログラム開発について研究を行なっている.
グラフ構造は, 複雑な状況を直観的に説明するための基本的な道具として計算機が生まれる前からその構造についての研究や応用が行なわれていた. 近年, 計算機の内部表現(データ構造)としてプログラム中でグラフが利用されるばかりか, グラフそのものを変換して計算を行なう新しい計算システムなども考案され, 従来の静的なグラフ構造の研究(グラフ理論)だけではなく, グラフを操作することに対する性質の変化を究明する研究(グラフ変換理論)が必要となっている. そこで, このグラフ変換理論の基礎研究を進めるとともに, その応用可能性を模索している. 特に, グラフ表現されたネットワークの信頼性をグラフ変換により計算するアルゴリズムとシステムの開発を進めている.
[教育活動]
数理・データサイエンス教育研究センター副センター長として, データサイエンス教育に関わる企画立案, 指導, データベース構築に従事している. また, 近年の計算機ネットワークの発達により種々のデータ交換を電子メールで行なうことが多くなってきており, データの安全性(秘密)を守るために必要な暗号化技術が注目されている. これらに関連して, 公開鍵暗号化電子メールシステム, 分散オブジェクト認証技術, そして, 電子証明書による認証機能を利用した情報システムなどを, 実際的な側面としては運用面の立場から, 基礎的な側面としては数学理論の立場から教育, 及び, 研究指導を行っている.
[社会活動]
AIMaP(数学アドバンストイノベーションプラットフォーム事業:2018-2022)において数学技術相談ネットワーク構築のための活動をPostAMaP活動として続けている.
また, 「計算機ネットワーク」を利用した教育や福祉などの諸活動に積極的に参加し協力している.
外部リンク
学位
-
博士(理学)
経歴
-
九州工業大学情報工学部講師(1988年〜1993年) 同助教授(1993年〜2000年) 放送大学客員准教授(2008年〜2010年)
研究テーマ・研究キーワード
-
研究テーマ：数学理論を駆使した可視化技術の開発研究
研究キーワード：可視化技術, CG, 映像数学
研究期間： 2014年4月 - 2018年3月
-
研究テーマ：離散遷移系による計算モデルの考察
研究キーワード：オートマトン, 離散遷移系, 計算モデル
研究期間： 2005年4月
-
研究テーマ：受容プロセスの促進を目的とした先天障害者支援情報システムの構築
研究キーワード：障害者支援, 情報システム, インターネット
研究期間： 2002年4月 - 2011年3月
-
研究テーマ：グラフ変換を用いた計算の単位の定式化と計算量理論の再構築
研究キーワード：グラフ変換, アルゴリズム, 計算量, 分散計算
研究期間： 1993年3月
論文
-
A linear algorithm for brick Wang tiling 査読 国際誌
@Alex Derouet-Jourdan, Shizuo Kaji, Yoshihiro Mizoguchi
Japan J. Indust. Appl. Math. 1 - 13 2019年4月
-
Verification of a brick Wang tiling algorithm 招待 査読 国際誌
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 査読 国際誌
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 査読 国際誌
Yuki Ikeda, yasunari fukai, Yoshihiro Mizoguchi
Pacific Journal of Mathematics for Industry 7 ( 3 ) 2015年12月
-
Uniqueness of Buston Hadamard matrices of small degrees 査読 国際誌
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 査読 国際誌
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 査読 国際誌
Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi
Proc. of First International Symposium on Computing and Networking 2013年12月
-
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 査読 国際誌
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 査読 国際誌
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 査読 国際誌
K.K.K.R.Perera, Yoshihiro Mizoguchi
Journal of Math-for-industory 1 51 - 56 2009年4月
-
Periodic behaviors of quantum cellular automata 査読 国際誌
S. Inokuchi, Y. Mizoguchi, H. Y. Lee and Y. Kawahara
Bull. of Informatics and Cybernetics 2008年12月
-
An abstract collesion system 査読 国際誌
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 国際誌
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 査読 国際誌
Y. Mizoguchi
Journal of Information Science 1999年1月
-
暗号化電子メールシステムの動向 招待
溝口佳寛
情報の科学と技術 1996年1月
-
Relational Graph Rewritings 査読 国際誌
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 査読 国際誌
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 査読 国際誌
Yoshihiro Mizoguchi
Bull. of Informatics and Cybernetics 21 83 - 95 1985年1月
-
RELATIONAL CALCULUS AS A FORMAL SYSTEM 査読 国際誌
@H.Furuawa, @T.Ishida, Y.Kawahara, Y.Mizoguchi
Bulletin of informatics and cybernetics 56 ( 2 ) 1 - 22 2024年3月
-
計算材料科学の課題への数学・数理科学からのアプローチ：数理ベースプログラミング 査読
檜貝信一, 溝口佳寛, @深作亮也
20 ( 3 ) 112 - 115 2021年11月
-
文部科学省委託事業AIMaPの取り組みについて 招待 査読
溝口佳寛, 棚橋典大
計測と制御 58 ( 1 ) 38 - 41 2019年1月
-
Class dependency of fuzzy relational database using relational calculus and conditional probability 査読 国際誌
@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 査読 国際誌
#M. D. Akbar, Y. Mizoguchi
Bulletin of Infromatics and Cybernecs 48 83 - 104 2016年12月
-
Wang Tiles Modeling of Wall Patterns 査読 国際誌
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 査読 国際誌
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 査読 国際誌
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 査読 国際誌
A. Mikoda, S. Inokuchi, Y. Mizoguchi, M. Fujio
Lecture Notes in Computer Science 2006年9月
-
On reversible cellular automata with finite cell array. 国際誌
S. Inokuchi, K. Honda, H. Lee, T. Sato, Y. Mizoguchi, Y. Kawahara
Lecture Notes in Computer Science 3699 130 - 141 2005年1月
-
Tagged Choice Graph Transformations (Abstract) 査読 国際誌
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 査読 国際誌
S.Inokuchi and Y.Mizoguchi
Int. Journ. of Unconventional Computing 2005年1月
-
Statistical properties of a quantum cellular automaton 査読 国際誌
N. Inui, S. Inokuchi, Y. Mizoguchi, N. Konno
Physical Review A 72 ( 3 ) 2005年1月
-
Graph transformation approach for the shortest path search and length calculation 査読 国際誌
M.Mori and Y.MIzoguchi
Bull. of Informatics and Cybernetics 2003年1月
-
Shortest path length calculation using graph transformations 査読 国際誌
Y.Mizoguchi
Proc. 6th Joint Conference on Information Sciences 358 - 361 2002年6月
-
インターネットにおけるダウン症データライブラリの運営と展開 査読
古川徹生, 巽純子, 溝口佳寛, 百渓英一, 武部啓
医療情報学 2001年1月
-
RMIを用いた分散システム構築の自動化 査読
油利耕平, 溝口佳寛
ソフトウェア工学の基礎VII(日本ソフトウェア科学会FOSE2000) 2001年1月
-
On the Characteristic Numbers Associated with Two-Dimentional Cellular Automata ca-90(m,n) 査読 国際誌
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 査読 国際誌
Yasuo Kawahara, Yoshihiro Mizoguchi
Lecture Notes in Computer Science 776 218 - 233 1994年1月
-
Critidcal pairs of relational graph rewriting system 査読 国際誌
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 査読 国際誌
Y.Kawahara, Y.Mizoguchi
Information Modelling and Knowledge Bases IV 1993年1月
-
A Graph Reduction System Using Graph Terms 査読 国際誌
Yoshihiro Mizoguchi
Bull. Informatics and Cybernetics 25 27 - 40 1992年1月
-
Categorical assertion semantics in toposes 査読 国際誌
Yasuo Kawahara, Yoshihiro Mizoguchi
Advances in Software Science and Technology 4 137 - 150 1992年1月
-
A Symbolic Calculus of Regular Expressions 査読 国際誌
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年
講演・口頭発表等
-
A Coq Library for the Theory of Realational Calculus 招待 国際会議
Yoshihiro Mizoguchi
Workshop on Formalization of Applied Mathematical Systems 2016年9月
-
Fuzzy Functional and Implication Dependency using Relational Calculus 国際会議
Mohammad Deni Akbar, Yoshihiro Mizoguchi
The Asian Mathematical Conference (AMC2016) 2016年7月
-
Symbolic Computations in Conformal Geometric Algebra for Three Dimensional Origami Folds 国際会議
Yoshihiro Mizoguchi, Hiroyuki Ochiai
First International Workshop on Computational Origami and Applications 2016年7月
-
Theory of Relational Calculus and its formalization 招待 国際会議
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 国際会議
Yoshihiro Mizoguchi
Forum "Math-for-Industry" 2012 Information Recovery and Discovery 2012年10月
-
Generalization of Compositions of Cellular Automata on Groups 国際会議
Yoshihiro Mizoguchi
Workshop on Algebraic Combinatorics, Sept. 2011, 2011年9月
-
Laplacian energy of directed graphs 国際会議
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 国際会議
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 国際会議
T. Ito, S. Inokuchi, Y. Mizoguchi
Automata-2008 2008年6月
-
リンク共起情報に基づく概念グラフの提案とWeb空間の解析
岡田幸治, 井口修一, 溝口佳寛, 廣川左千男
第4回ネットワーク生態学シンポジウム 2008年3月
-
Relational Database Model Using Relational Calculus 国際会議
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 国際会議
A. Mikoda, S. Inokuchi, Y. Mizoguchi, M. Fujio
International Conference on Unconventional Computation 2006年9月
-
九州大学数理・データサイエンス教育研究センターの活動について 招待
溝口佳寛
日本数学会 2022年9月
-
解析力学的アプローチによる分子動力学計算
＠深作亮也, 溝口佳寛, 檜貝信一
日本コンピュータ化学会 2021年6月
-
九州大学数理・データサイエンス教育研究センターとAIMaP事業について
@溝口 佳寛
第68回九州地区大学教育研協議会 2019年9月
-
阿川真士, 溝口佳寛
日本数学会年会 2018年3月
-
Relational T-algebra and the category of topological spaces 招待 国際会議
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 招待 国際会議
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 国際会議
Alexandre Derouet-Jourdan, Yoshihiro Mizoguchi, Marc Salvati
MEIS2015 : Mathematical Progress in Expressive Image Synthesis 2015年9月
-
溝口 佳寛
数学ソフトウェアとフリードキュメント XXI 2015年9月
-
Formal Proofs for Automata and Sticker Systems, Proc. of 1st International Workshop on Computing and Networking (CANDAR) 国際会議
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月
-
教室内連絡システムの利用形態と利用状況 招待
溝口 佳寛
KARRNシンポジウム 1993年11月
-
グラフ変換によるネットワーク量計算システムの開発
矢島 健一, 溝口 佳寛
電気関係学会九州支部連合大会 1993年10月
-
DCTの計算誤差を考慮した画像深層暗号
原田 徳嗣, 溝口 佳寛
電気関係学会九州支部連合大会 1996年9月
-
単純遺伝的アルゴリズムの収束性に関する1考察
溝口 佳寛
応用数学合同研究集会 1996年12月
-
暗号化中継サーバの安全性強化について
中尾英樹, 溝口 佳寛
電気関係学会九州支部連合大会 1997年10月
-
情報モデルの定義と変更の関係グラフ表現を用いた定式化
応用数学合同研究集会 1999年12月
-
２状態分割量子セルオートマトンの挙動について
溝口佳寛, 井口修一
応用数学合同研究集会 2001年12月
-
学内仮想プライベートネットワーク(VPN)の活用とVoIP電話の試行について 招待
井口修一, 溝口佳寛, 恒藤哲哉, 丸山修
電気関係学会九州支部連合大会 2002年9月
-
Generalized Partitioned Quantum Cellular Automata and Quantumization of Classical CA 国際会議
2002年9月
-
ダウン症データライブラリの利用者別ニーズの分析
古川徹生, 巽純子, 溝口佳寛, 佐藤大, 藤田弘
第22回医療情報学連合大会 2002年11月
-
障害者支援文書による仮想図書館管理インターフェース開発の試み
溝口佳寛, 古川徹生, 佐藤大, 巽純子
第22回医療情報学連合大会 2002年11月
-
有限遷移系の木表現式からの遷移図の自動作成
井口修一, 溝口佳寛, 河原康雄
応用数学合同研究集会 2002年12月
-
量子回路を実現する関数型言語の実現に向けて
小田大伊輔, 溝口佳寛
応用数学合同研究集会 2005年12月
-
Graph partitioning and eigen polynomials of Laplacian matrices of Roach-type graphs 国際会議
Yoshihiro Mizoguchi
Algebraic Graph Theory, Spectral Graph Theory and Related Topics 2013年1月
-
Mathematical Aspects of Interpolation Technique for Computer Graphics 招待 国際会議
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月
-
計算材料科学の課題への数学・数理科学からのアプローチ:数理ベースプログラミング 査読
檜貝信一, 溝口佳寛, 深作亮也
分子シミュレーション学会誌"アンサンブル" 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月
-
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月
委員歴
-
公益社団法人九州数学教育会 会長 国内
2019年12月 - 2020年11月
-
日本数学会社会連携協議会 運営委員 国内
2017年7月 - 2019年6月
-
日本自動車技術会自動車制御とモデル部門委員会 委員 国内
2017年6月 - 2019年5月
-
公益社団法人九州数学教育会 理事 国内
2013年7月 - 2019年11月
-
特定非営利活動法人数理の翼 理事 国内
2001年10月 - 2003年9月
学術貢献活動
-
Organizer
New Encounters in Spatial Intelligence, Intelligent Mobility and Mathematics Part-1 & Part-2 （ Mie University Japan ） 2023年9月
-
学術論文等の審査
役割：査読
2023年
-
学術論文等の審査
役割：査読
2022年
-
学術論文等の審査
役割：査読
2021年
-
Program Committee 国際学術貢献
SCSS2020, The 9th International Symposium on Symbolic Computation Software Science （ Gammarth Tunisia ） 2020年9月
-
座長
第３１回代数, 論理, 幾何と情報科学研究集会 （ オンライン ） 2020年8月
-
Scienctific Committee 国際学術貢献
2020 Taipei International Conference on Combinatorics （ Institute of Mathematics, Academia Sinica Taiwan ） 2020年2月
-
学術論文等の審査
役割：査読
2020年
-
世話人
第３０回代数, 論理, 幾何と情報科学研究集会 （ 九州大学伊都キャンパス ） 2019年8月 - 2019年9月
-
International Journal of Mathematics for Industry 国際学術貢献
2019年1月 - 現在
-
学術論文等の審査
役割：査読
2019年
-
大分県立佐伯鶴城高校SSH運営指導委員
役割：審査・評価
大分県教育委員会 2018年4月 - 2020年3月
-
学術論文等の審査
役割：査読
2018年
-
実行委員
CG技術の実装と数理2017 （ 株式会社ディー・エヌ・エー ） 2017年9月
-
学術論文等の審査
役割：査読
2017年
-
司会（Moderator）
研究集会「三次元幾何モデリング評価手法の提案とソフトウェア開発」 （ 九州大学マス・フォア・インダストリ研究所 ） 2016年8月
-
プログラム委員長
CG技術の実装と数理2016 （ 株式会社コロプラ, 株式会社スクウェア・エニックス ） 2016年7月 - 2016年9月
-
司会（Moderator）
研究集会「複数画像間のパターンマッチによる土木測量技術の開発」 （ 九州大学マス・フォア・インダストリ研究所 ） 2016年6月
-
Program Committee 国際学術貢献
The 7th International Symposium on Symbolic Computation in Software Science （ Ochanomizu University, Tokyo Japan ） 2016年3月
-
座長（Chairmanship） 国際学術貢献
研究集会「高信頼な理論と実装のための定理証明および定理証明器」 （ 九州大学西新プラザ ） 2015年12月
-
司会（Moderator） 国際学術貢献
2015年10月
-
Organized Committee 国際学術貢献
Forum "Math-for-Industry" 2015 -The Role and Importance of Mathematics in Innovation- （ Kyushu University, Fukuoka Japan ） 2015年10月
-
座長（Chairmanship） 国際学術貢献
2015年9月 - 2015年10月
-
幹事
研究集会「高信頼な理論と実装のための定理証明および定理証明器」 （ 九州大学西新プラザ ） 2014年12月
-
Organizing committee 国際学術貢献
Korea-Japan workshop on algebra and combinatorics （ KAIST Korea ） 2014年1月
-
Committee 国際学術貢献
Mathematical Progress in Expressive Image Synthesis （ Centennial Hall Kyushu University School of Medicine, Fukuoka, Japan Japan ） 2013年10月
-
実行委員
日本応用数理学会2013年度年会 （ アクロス福岡 (福岡市) ） 2013年9月
-
Organizing committee 国際学術貢献
Japan-Korea workshop on algebra and combinatorics （ ACROS Fukuoka Japan ） 2013年1月
-
大分県立舞鶴高校SSH運営指導委員
役割：審査・評価
大分県教育委員会 2012年4月 - 2020年3月
-
座長（Chairmanship）
情報処理学会九州支部 火の国情報シンポジウム （ 大分大学 ） 2004年3月
共同研究・競争的資金等の研究課題
-
物理的・確率的システムの検証を支える形式的基盤の構築
2022年4月 - 2026年3月
日本
担当区分：研究分担者
今日, コンピュータプログラムは, デジタル情報の操作やそのネットワークに加えて, 外界との相互作用を行うため, プログラムの検証には, 形式論理と離散数学だけでなく, 実解析や確率論や幾何学などの数学が必要となり, プログラムの様々な副作用の厳密な検証が困難になっている. その複雑さを抑えるためには, プログラムの意味論の基礎的な研究と, 高度な数学に一貫性のある形式表現を与える統合的な研究の双方が必要である. 本研究では, 定理証明支援系Coq上, 実解析, 連続確率, 剛体幾何を形式化し, モナドと等式推論に基づいて, 形式的基盤の構築とその評価を行う.
-
関係計算の形式化を用いた数学とソフトウェア検証のための理論構築
2017年4月 - 2020年3月
九州大学
担当区分：研究代表者
高信頼ソフトウェア開発の基礎となる数理論理学や離散数学, 特に計算機による自動検証可能な形式証明を意識した, 関係計算による証明を用いた数学体系を広げること.
-
関係計算の形式化を用いた数学とソフトウェア検証のための理論構築
研究課題/領域番号：17K05346 2017年 - 2019年
日本学術振興会 科学研究費助成事業 基盤研究(C)
担当区分：研究代表者 資金種別：科研費
-
離散構造体の計算理論に関する形式的証明と自動検証
2013年4月 - 2015年3月
日本学術振興会
担当区分：研究代表者
本研究は離散構造体の変換による計算理論をグラフ変換, セルオートマトン, 言語理論の一般化として定式化するものである. 特に, 関係計算を用いて形式的な自動検証可能な証明を与えながら理論を構築する. 離散構造物の変換(変形)による計算理論の構築は, それそのものでも数学的対象として興味深いが, 全く新しい仕組みの計算機の実現へのヒントを与える可能性もあり, 非常に将来性のある研究課題である. 「圏論」「関係計算理論」「オートマトン理論」を基盤に「グラフ」「セル」という離散構造体を利用した計算を一般化し離散構造体の変換による計算理論を形式的証明とともに研究対象として構築することが目的である.
-
離散構造体の変換による計算理論と証明の自動検証
研究課題/領域番号：25610034 2013年 - 2014年
科学研究費助成事業 挑戦的萌芽研究
担当区分：研究代表者 資金種別：科研費
-
デジタル映像数学の構築と表現技術の革新 (Mathematics for Expressive Image Synthesis)
2010年10月 - 2015年3月
JST(科学技術振興機構)(日本)
担当区分：研究分担者
コンピュータグラフィックスに代表されるデジタル映像の応用は拡大の一途をたどっています。本研究は、作りやすさや効率を重視しつつ、従来よりさらに豊かな表現力を持つ映像の制作を可能にするために、デジタル映像表現を対象とする新たな数学分野形成の礎を築くことを目指します。特に、人間の動作や表情と流体の表現に焦点をあて、これらの映像表現の数学的特徴づけと、作り手の意図をより的確に反映できる数学モデルの構築を推進します。
教育活動概要
-
計算機数学に関する学部科目, 教職免許情報に関わる教職科目, 学部や大学院における数学講究などを担当している. 数理・データサイエンス教育研究センターの活動として, 企業とともに, PBL科目の実施等を行なっている.
担当授業科目
-
情報数学特論１
2023年10月 - 2024年3月 後期
-
情報社会における企業とその職業観
2023年4月 - 2024年3月 通年
-
数理・データサイエンス活用PBL
2023年4月 - 2023年9月 前期
-
数学共創概論Ⅶ
2023年4月 - 2023年9月 前期
-
情報数学特論１
2022年10月 - 2023年3月 後期
-
情報社会における企業とその職業観
2022年4月 - 2023年3月 通年
-
情報科指導法Ⅱ
2022年4月 - 2022年9月 前期
-
数学共創概論Ⅶ
2022年4月 - 2022年9月 前期
-
数理・データサイエンス活用PBL
2022年4月 - 2022年9月 前期
-
複素関数論
2021年10月 - 2022年3月 後期
-
情報社会における企業とその職業観
2021年4月 - 2022年3月 通年
-
情報数学・演習
2021年4月 - 2021年9月 前期
-
数理科学特別講義Ⅷ
2021年4月 - 2021年9月 前期
-
数理科学特論８
2021年4月 - 2021年9月 前期
-
複素関数論
2020年10月 - 2021年3月 後期
-
情報科指導法II
2020年4月 - 2020年9月 前期
-
情報数学・演習
2020年4月 - 2020年9月 前期
-
計算数理学II
2020年4月 - 2020年9月 前期
-
複雑システム大意
2019年10月 - 2020年3月 後期
-
情報数学・演習
2019年4月 - 2019年9月 前期
-
計算数理学I
2019年4月 - 2019年9月 前期
-
複雑システム大意
2018年10月 - 2019年3月 後期
-
情報科指導法II
2018年4月 - 2018年9月 前期
-
情報数学・演習
2018年4月 - 2018年9月 前期
-
情報数学特論１
2017年10月 - 2018年3月 後期
-
複素関数論
2017年10月 - 2018年3月 後期
-
MMA講究C
2017年4月 - 2017年9月 前期
-
計算数理学Ⅰ
2017年4月 - 2017年9月 前期
-
機能数理学概論Ⅰ
2017年4月 - 2017年9月 前期
-
情報数学特論1
2016年10月 - 2017年3月 後期
-
情報科指導法II
2016年4月 - 2016年9月 前期
-
機能数理学概論I
2016年4月 - 2016年9月 前期
-
複素関数論
2015年10月 - 2016年3月 後期
-
プログラミング演習
2015年4月 - 2015年9月 前期
-
機能数理学概論I
2015年4月 - 2015年9月 前期
-
複雑システム大意
2015年4月 - 2015年9月 前期
-
複雑システム大意
2014年10月 - 2015年3月 後期
-
線形代数
2014年10月 - 2015年3月 後期
-
プログラミング演習
2014年4月 - 2014年9月 前期
-
情報科指導法II
2014年4月 - 2014年9月 前期
-
機能数理学概論I
2014年4月 - 2014年9月 前期
-
情報処理演習III
2013年10月 - 2014年3月 後期
-
線形代数
2013年10月 - 2014年3月 後期
-
Computational Mathematics
2013年4月 - 2013年9月 前期
-
線形代数
2012年10月 - 2013年3月 後期
-
情報科指導法II
2012年4月 - 2012年9月 前期
-
線形代数・同演習
2011年4月 - 2011年9月 前期
-
微分積分・同演習
2011年4月 - 2011年9月 前期
-
計算機数学概論
2010年4月 - 2010年9月 前期
-
情報科指導法II
2010年4月 - 2010年9月 前期
-
情報処理演習III
2009年10月 - 2010年3月 後期
-
計算数理学
2009年10月 - 2010年3月 後期
-
計算機数学概論
2009年4月 - 2009年9月 前期
-
情報処理演習III
2008年10月 - 2009年3月 後期
-
情報科指導法II
2008年4月 - 2008年9月 前期
-
計算数理学基礎・演習
2008年4月 - 2008年9月 前期
-
情報数学特論Ｃ
2007年10月 - 2008年3月 後期
-
計算数理学大意
2007年10月 - 2008年3月 後期
-
情報数学B・同演習
2007年4月 - 2007年9月 前期
FD参加状況
-
2022年4月 役割：参加 名称：数理学府FD
主催組織：部局
-
2021年7月 役割：参加 名称：数理学府FD
主催組織：部局
-
2019年7月 役割：参加 名称：数理学府教員会議
主催組織：部局
-
2019年3月 役割：参加 名称：数理学府教員会議
主催組織：部局
-
2018年7月 役割：参加 名称：数理学府教員会議
主催組織：部局
-
2018年4月 役割：参加 名称：数理学府教員会議
主催組織：部局
-
2018年3月 役割：参加 名称：数理学府教員会議
主催組織：部局
-
2017年7月 役割：参加 名称：数理学府教員会議
主催組織：部局
-
2016年5月 役割：参加 名称：数理学府教員会議
主催組織：部局
他大学・他機関等の客員・兼任・非常勤講師等
-
2011年 釜山国立大学 区分:集中講義 国内外の区分:国外
-
2009年 鹿児島大学理学部 区分:集中講義 国内外の区分:国内
-
2008年 放送大学大学院 区分:客員教員 国内外の区分:国内
-
2005年 愛媛大学理学部 区分:集中講義 国内外の区分:国内
-
2003年 島根大学総合理学部 区分:集中講義 国内外の区分:国内
-
2000年 九州工業大学・情報工学部 区分:非常勤講師 国内外の区分:国内
その他教育活動及び特記事項
-
2016年 その他特記事項 城西大学理学部数学科講演会「計算機を用いて数学の問題を解くということ」(於.城西大学東京紀尾井町キャンパス, 坂戸キャンパス)
社会貢献・国際連携活動概要
-
アジア開発銀行第30回福岡大会・インターネット環境支援プロジェクト指導者(1997年)
認定NPO法人数理の翼理事(2001-2003年)
九州数学教育会理事(2013-2020年)
社会貢献活動
-
九州大学キャンパスウォーク
九州大学 九州大学理学部棟・情報基盤センター 2023年2月
-
Campus Walk in 九州大学
朝倉市立秋月中学校 2023年2月
-
講義「バーコードの数理」
福岡県立香住ヶ丘高校 2019年12月
-
第29回JST数学キャラバン 拡がりゆく数学 in 福岡
主催： 九州大学マス・フォア・インダストリ研究所 共催： 国立研究開発法人科学技術振興機構 (JST) 後援：福岡県教育委員会, 九州数学教育会 九州大学 稲盛財団記念館 稲盛ホール 2018年12月
-
高校生課題研究(数学・情報)ポスター発表会の運営と指導助言
九州大学稲盛会館 2018年12月
-
講義「バーコードの数理」
福岡県立香住ヶ丘高校 2018年12月
-
数理・データサイエンス教育の動向について
福岡県高等学校数学教育会・福岡県立筑紫丘高校 2018年10月
-
第72回九州算数・数学教育研究(佐賀)大会, 高等学校部会指導助言者
九州数学教育会 2018年7月
-
講義「計算機を用いて数学の問題を解くということ」
佐賀県立佐賀西高校 2016年8月
-
第70回九州算数・数学教育研究(大分)大会, 高等学校部会指導助言者
九州数学教育会 2016年7月
-
スーパーサイエンスハイスクールおよびコアSSHに関わる運営指導(2012年から)
大分県立舞鶴高等学校 2016年4月
-
第69回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者
九州数学教育会 2015年7月
-
類型別出前講義「計算機を用いて数学の問題を解くということ」
福岡県立香住ヶ丘高校 2015年2月
-
ケプラー予想の計算機による証明と検証について
九州数学教育会第4回算数・数学教育研修会 2014年12月
-
複素数・四元数と図形の回転
第4回算数・数学教育研修会・九州数学教育会 2014年12月
-
第68回九州算数・数学教育研究(熊本)大会, 高等学校部会指導助言者
九州数学教育会 2014年7月
-
複素数・四元数と図形の回転
福岡県高等学校数学教育会筑後支部研究大会, 福岡県立伝習館高等学校 2013年11月
-
第67回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者
九州数学教育会 2013年7月
-
数学にコンピュータを使う～数式処理系(Maxima),定理証明支援系(Coq)など～
第６回算数・数学教育研修会・九州数学教育会 2013年4月
-
行列計算を利用したデータ解析技術(主成分分析,多次元尺度構成法)
第６回算数・数学教育研修会・九州数学教育会 2012年4月
-
魁講座III(スタディセミナー)講演「バーコードの数理」
山口県立徳山高等学校 2011年3月
-
バーコードの数理
大川市, 数理の翼「大川セミナー２０１０」 2010年8月
-
順序機械の最小実現について
第３０回数理の翼夏季セミナー, 於. 国立大学九重共同研修所 2009年8月
-
公開講座「現代数学入門」講師 「計算理論への招待」
九州大学大学院数理学研究院 九州大学理学部大会議室 2007年8月
-
福岡県２１世紀人材育成推進事業「ハイレベル合宿」ファシリテータ「情報処理のためのの論理と計算」
福岡県教育委員会、福岡県スーパーハイスクール 2007年8月
-
計算機で問題を解くとは --地図の色分け, 信号機の設計, などを例に--
福岡県立修猷館高等学校 2004年10月
メディア報道
-
教育最前線（座談会） 新聞・雑誌
西日本新聞 2004年2月
外国人研究者等の受け入れ状況
-
University college London
受入れ期間： 2018年6月 - 2018年9月 （期間）：1ヶ月以上
国籍：グレートブリテン・北アイルランド連合王国(英国)
専業主体：日本学術振興会
-
Pusan National University
受入れ期間： 2017年10月 - 2018年2月 （期間）：1ヶ月以上
国籍：大韓民国
専業主体：その他
-
Pusan National University
受入れ期間： 2012年12月 - 2013年3月 （期間）：1ヶ月以上
国籍：大韓民国
専業主体：その他
海外渡航歴
-
2014年11月
滞在国名1：大韓民国 滞在機関名1：釜山国立大学
-
2005年6月
滞在国名1：カナダ 滞在機関名1：McMaster University
-
1998年3月 - 1999年1月
滞在国名1：グレートブリテン・北アイルランド連合王国(英国) 滞在機関名1：マンチェスター工科大学
学内運営に関わる各種委員・役職等
-
2018年4月 - 2019年3月 全学 基幹教育情報科目実施班員
-
2014年4月 - 2015年3月 全学 ハラスメント対策委員会
-
2013年4月 - 2025年3月 学府 数理学府経理委員
-
2011年4月 - 2025年3月 研究所 マス・フォア・インダストリ研究所計算機委員
-
2010年4月 - 2016年3月 学部 理学系総合研究教育棟移転作業情報ネットワークチーム委員
-
2007年12月 - 2010年3月 全学 伊都キャンパス情報通信インフラ整備プロジェクト委員
-
2007年4月 - 2013年3月 学部 理学部情報推進専門委員
-
2007年4月 - 2011年3月 研究院 数理学研究院計算機委員
-
2007年4月 - 2011年3月 研究院 数理学研究院経理委員