2025/01/15 更新

お知らせ

 

写真a

ミゾグチ　ヨシヒロ
溝口 佳寛
MIZOGUCHI YOSHIHIRO
所属
マス・フォア・インダストリ研究所 応用理論研究部門 教授
数理・データサイエンス教育研究センター （併任）
情報基盤研究開発センター （併任）
理学部 数学科（併任）
数理学府 数理学専攻（併任）
マス・フォア・イノベーション連係学府 （併任）
職名
教授
連絡先
メールアドレス
プロフィール
[研究活動] ソフトウェア科学の基礎理論とそれらの応用プログラム開発について研究を行なっている. グラフ構造は, 複雑な状況を直観的に説明するための基本的な道具として計算機が生まれる前からその構造についての研究や応用が行なわれていた. 近年, 計算機の内部表現(データ構造)としてプログラム中でグラフが利用されるばかりか, グラフそのものを変換して計算を行なう新しい計算システムなども考案され, 従来の静的なグラフ構造の研究(グラフ理論)だけではなく, グラフを操作することに対する性質の変化を究明する研究(グラフ変換理論)が必要となっている. そこで, このグラフ変換理論の基礎研究を進めるとともに, その応用可能性を模索している. 特に, グラフ表現されたネットワークの信頼性をグラフ変換により計算するアルゴリズムとシステムの開発を進めている. [教育活動] 数理・データサイエンス教育研究センター副センター長として, データサイエンス教育に関わる企画立案, 指導, データベース構築に従事している. また, 近年の計算機ネットワークの発達により種々のデータ交換を電子メールで行なうことが多くなってきており, データの安全性(秘密)を守るために必要な暗号化技術が注目されている. これらに関連して, 公開鍵暗号化電子メールシステム, 分散オブジェクト認証技術, そして, 電子証明書による認証機能を利用した情報システムなどを, 実際的な側面としては運用面の立場から, 基礎的な側面としては数学理論の立場から教育, 及び, 研究指導を行っている. [社会活動] AIMaP(数学アドバンストイノベーションプラットフォーム事業:2018-2022)において数学技術相談ネットワーク構築のための活動をPostAMaP活動として続けている. また, 「計算機ネットワーク」を利用した教育や福祉などの諸活動に積極的に参加し協力している.
ホームページ
外部リンク

研究分野

  • 情報通信 / 情報学基礎論

  • 自然科学一般 / 応用数学、統計数学

学位

  • 博士(理学)

経歴

  • 九州大学 マス・フォア・インダストリ研究所 教授 

    2016年8月 - 現在

    　 詳細を見る

  • 九州工業大学情報工学部講師(1988年〜1993年) 同助教授(1993年〜2000年) 放送大学客員准教授(2008年〜2010年)   

研究テーマ・研究キーワード

  • 研究テーマ： 縮小写像型ニュ-ラルネットワ-ク

    研究キーワード： 縮小写像型ニュ-ラルネットワ-ク

    研究期間： 2024年

  • 研究テーマ： 数学理論を駆使した可視化技術の開発研究

    研究キーワード： 可視化技術, 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： https://doi.org/10.1007/s13160-019-00369-z

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： doi.org/10.29007/2m5f

    その他リンク： https://doi.org/10.29007/2m5f

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： doi.org/10.29007/6fc5

    その他リンク： https://doi.org/10.29007/6fc5

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： DOI:10.1186/s40736-015-0015-3

    その他リンク： http://link.springer.com/article/10.1186/s40736-015-0015-3/fulltext.html

  • Uniqueness of Buston Hadamard matrices of small degrees 査読 国際誌

    Mitsugu Hirasaka, Kyoung-Tark Kim, Yoshihiro Mizoguchi

    Journal of Discrete Algorithms   34   70 - 77   2015年6月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： doi:10.1016/j.jda.2015.05.009

    その他リンク： http://www.sciencedirect.com/science/article/pii/S1570866715000623

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    その他リンク： https://search.ieice.org/bin/summary.php?id=e97-d_3_448&category=D&lang=E&year=2014

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1109/CANDAR.2013.100

    その他リンク： http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6726962

  • Bipartition of graphs based on the normalized cut and spectral methods, Part I: Minimum normalized cut 査読 国際誌

    Yoshihiro Mizoguchi, K.K.K.R. Perera

    Journal of Math-for-Industry   5   59 - 72   2013年4月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    その他リンク： http://catalog.lib.kyushu-u.ac.jp/recordID/1397719

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    その他リンク： http://dl.acm.org/citation.cfm?id=2422368

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    その他リンク： http://catalog.lib.kyushu-u.ac.jp/recordID/13974

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1016/0304-3975(94)00076-U

    その他リンク： http://www.sciencedirect.com/science/article/pii/030439759400076U

    リポジトリ公開URL： http://hdl.handle.net/2324/3060

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    その他リンク： http://www.numdam.org/numdam-bin/item?id=CTGDC_1993__34_1_2_0

    リポジトリ公開URL： http://hdl.handle.net/2324/3061

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    リポジトリ公開URL： http://hdl.handle.net/2324/13370

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    In model theory, function symbols for formal systems are usually assumed to be totally defined. This paper reports that category theory is defined and discussed as a formal system with partial operations in first order predicate logic. We also review a formal definition of relational calculus with a local boolean structure and satisfying de Morgan-Schröder equivalences.

    DOI： https://doi.org/10.5109/7170241

  • 計算材料科学の課題への数学・数理科学からのアプローチ：数理ベースプログラミング 査読

    檜貝信一, 溝口佳寛, @深作亮也

    Journal of Computer Chemistry, Japan   20 ( 3 )   112 - 115   2021年11月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（学術雑誌）  

    DOI： https://doi.org/10.2477/jccj.2021-0043

    リポジトリ公開URL： https://hdl.handle.net/2324/7326917

  • 文部科学省委託事業AIMaPの取り組みについて 招待 査読

    溝口佳寛, 棚橋典大

    計測と制御   58 ( 1 )   38 - 41   2019年1月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（学術雑誌）  

    九州大学マス・フォア・インダストリ研究所が幹事拠点を務める文部科学省委託事業数学アドバンストイノベーションプラットフォーム事業(略称:AIMaP(Advanced Innovation powered by Mathematics Platform)の目的の一つである数学研究の知見を広く紹介し異分野との協働を促進するために開催した2018年度自動車技術会春季大会でのオーガナイズドセッション「自動車制御とモデリングの新しい課題と新しいアプローチ」の研究内容を紹介し, AIMaP事業を紹介したものである.

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    その他リンク： http://stacks.iop.org/1742-6596/971/i=1/a=012001

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    その他リンク： http://www.imi.kyushu-u.ac.jp/files/imipublishattachment/file/math_56306f17733f8.pdf

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    リポジトリ公開URL： http://hdl.handle.net/2324/11867

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    リポジトリ公開URL： http://hdl.handle.net/2324/11845

  • Statistical properties of a quantum cellular automaton 査読 国際誌

    N. Inui, S. Inokuchi, Y. Mizoguchi, N. Konno

    Physical Review A   72 ( 3 )   2005年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1103/PhysRevA.72.032323

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

  • Graph transformation approach for the shortest path search and length calculation 査読 国際誌

    M.Mori and Y.MIzoguchi

    Bull. of Informatics and Cybernetics   2003年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    リポジトリ公開URL： http://hdl.handle.net/2324/3625

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    その他リンク： http://www.springer.com/jp/book/9783540577874

  • 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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    リポジトリ公開URL： http://hdl.handle.net/2324/13421

  • Categorical assertion semantics in toposes 査読 国際誌

    Yasuo Kawahara, Yoshihiro Mizoguchi

    Advances in Software Science and Technology   4   137 - 150   1992年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    その他リンク： http://catalog.lib.kyushu-u.ac.jp/recordID/25296

  • A Symbolic Calculus of Regular Expressions 査読 国際誌

    Yoshihiro Mizoguchi, Hiroshi Otsuka, Yasuo Kawahara

    Bull. of Informatics and Cybernetics   22   165 - 170   1987年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    リポジトリ公開URL： http://hdl.handle.net/2324/13383

  • 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月 

    　詳細を見る

    開催年月日： 2016年9月 - 2016年10月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：University of Hawai`i, Manoa, USA   国名：日本国  

    その他リンク： http://math.hawaii.edu/~jb/workshop2/

  • Fuzzy Functional and Implication Dependency using Relational Calculus 国際会議

    Mohammad Deni Akbar, Yoshihiro Mizoguchi

    The Asian Mathematical Conference (AMC2016)  2016年7月 

    　詳細を見る

    開催年月日： 2016年7月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Bali Nusa Dua Convention Center   国名：インドネシア共和国  

    その他リンク： http://www.amc2016.org/home/

  • 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月 

    　詳細を見る

    開催年月日： 2016年7月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Vienna University of Technology   国名：オーストリア共和国  

    その他リンク： http://www.cse.chalmers.se/~laurako/links/COA.html

  • Theory of Relational Calculus and its formalization 招待 国際会議

    Yoshihiro Mizoguchi

    Universal Structures in Mathematics and Computing  2016年6月 

    　詳細を見る

    開催年月日： 2016年6月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：City Campus of La Trobe University (in Melbourne CBD)   国名：オーストラリア連邦  

    その他リンク： http://usmac.ltumathstats.com/home

  • Coqによる初等幾何の証明方法について

    溝口 佳寛, 田中久治

    日本数式処理学会  2015年6月 

    　詳細を見る

    開催年月日： 2015年6月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：筑波大学   国名：日本国  

  • Coq関係計算ライブラリの開発と写像の性質の証明

    溝口 佳寛, 松嶋 聡昭, 田中久治, 井口修一

    日本数式処理学会  2015年6月 

    　詳細を見る

    開催年月日： 2015年6月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：筑波大学   国名：日本国  

  • 有限オートマトンとスティッカー系に関する Coq による形式証明について

    溝口 佳寛, 田中久治, 坂下一生, 井口 修一

    日本数学会2014年度年会  2014年3月 

    　詳細を見る

    開催年月日： 2014年3月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：学習院大学   国名：日本国  

    有限オートマトンを構成する演算子や文字列の(無限) 集合をCoq 証明支援系を用いて形式的に定義しました. ここでは, Ssreflect (Small Scale Reflection Extension for the Coq system) も利用します. スティッカー系はPăun とRozenberg により1998 年に紹介されたDNA計算のための形式モデルです. 彼らは有限オートマトンと同等の能力を持つスティッカー系を構成する具体的な構成方法を示し, スティッカー 系の計算能力が有限オートマトンのそれを含むことを示しました. しかし, その構成方法には小さな誤りがありました. それを修正した構成方法を示すことと同時に私たちの構成方法の正当性に対して,コンピュータで検証可能な形式的証明を与えることが本研究の目的です. 現在までに, 諸性質を形式証明するための有限オートマトンとスティッカー系の定義や関数の形式化が出来ました. いくつかの具体例の形式的証明, Păun らの構成に誤りがあることの形式証明を含めて報告します.

  • Mathematical Aspect of Interpolation Technique for Computer Graphics 国際会議

    Yoshihiro Mizoguchi

    Forum "Math-for-Industry" 2012 Information Recovery and Discovery  2012年10月 

    　詳細を見る

    開催年月日： 2012年10月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Fukuoka International Congress Center   国名：日本国  

    In this talk, we introduce a simple mathematical framework for 2D shape interpolation methods that preserve rigidity. An interpolation technique in this framework works for given initial and target 2D shapes, which are compatibly triangulated. Focusing on the local affine maps between the corresponding triangles, we describe a global transformation as a piecewise affine map. Several existing rigid shape interpolation techniques are mathematically analyzed through this framework. Geometric transformations are fundamental concept of computer graphics and most commonly represented as square matrices. A general framework of linear combination of transformations was introduced in [Alexa2002]. We also introduce the Laplacian matrix of a graph and show some crucial properties about eigenvalues and eigenvectors in connection with image segmentations in [Shi2000] and group formations in [Takahashi2009].

    その他リンク： http://fmi2012.imi.kyushu-u.ac.jp/

  • Generalization of Compositions of Cellular Automata on Groups 国際会議

    Yoshihiro Mizoguchi

    Workshop on Algebraic Combinatorics, Sept. 2011,  2011年9月 

    　詳細を見る

    開催年月日： 2011年9月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Shanghai Jiao Tong University   国名：日本国  

    We introduce the notion of 'Composition', 'Union' and 'Division' of cellular automata on groups. We extend the notion to general cellular automata on groups and investigated their properties. We also show our formulation contains the representation using formal power series for linear cellular automata in Manzini (1998).

    その他リンク： http://math.sjtu.edu.cn/Conference/WACSJTU/

  • Laplacian energy of directed graphs 国際会議

    K.K.K.R.Perrera, Y.Mizoguchi

    International Conference on Algebraic and Geometric Combinatorics  2010年7月 

    　詳細を見る

    開催年月日： 2010年7月

    会議種別：口頭発表（一般）  

    開催地：Gyeongju   国名：大韓民国  

    Laplacian energy of directed graphs

  • 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月 

    　詳細を見る

    開催年月日： 2010年6月

    会議種別：口頭発表（一般）  

    開催地：LORIA laboratory, Nancy   国名：フランス共和国  

    Composition, union and division of cellular automata on groups

    その他リンク： http://automata.loria.fr/

  • 初等幾何学定理の証明におけるRegular Chainの有効性の評価

    田中久治,溝口佳寛,熊原啓作

    第19回日本数式処理学会大会  2010年6月 

    　詳細を見る

    開催年月日： 2010年6月

    会議種別：口頭発表（一般）  

    開催地：名古屋大学   国名：日本国  

  • The abstract collesion system 国際会議

    T. Ito, S. Inokuchi, Y. Mizoguchi

    Automata-2008  2008年6月 

    　詳細を見る

    開催年月日： 2008年6月

    会議種別：口頭発表（一般）  

    開催地：Bristol   国名：グレートブリテン・北アイルランド連合王国(英国)  

  • リンク共起情報に基づく概念グラフの提案とWeb空間の解析

    岡田幸治, 井口修一, 溝口佳寛, 廣川左千男

    第4回ネットワーク生態学シンポジウム  2008年3月 

    　詳細を見る

    開催年月日： 2008年3月

    開催地：京都産業大学   国名：日本国  

  • The number of orbits of periodic box-ball systems 国際会議

    A. Mikoda, S. Inokuchi, Y. Mizoguchi, M. Fujio

    International Conference on Unconventional Computation  2006年9月 

    　詳細を見る

    会議種別：口頭発表（一般）  

    開催地：York   国名：グレートブリテン・北アイルランド連合王国(英国)  

  • Relational Database Model Using Relational Calculus 国際会議

    Mohamad Deni Akbar, Yoshihiro Mizoguchi

    7th International Conference on Soft Computing and Intelligent Systems  2014年12月 

    　詳細を見る

    記述言語：英語  

    開催地：Kitakyushu International Conference Center   国名：日本国  

    その他リンク： http://www.scis2014.org/

  • 九州大学数理・データサイエンス教育研究センターの活動について 招待

    溝口佳寛

    日本数学会  2022年9月 

    　詳細を見る

    開催年月日： 2022年9月

    記述言語：日本語   会議種別：シンポジウム・ワークショップ パネル（公募）  

    開催地：北海道大学   国名：日本国  

    リポジトリ公開URL： https://hdl.handle.net/2324/7326919

  • 解析力学的アプローチによる分子動力学計算

    ＠深作亮也, 溝口佳寛, 檜貝信一

    日本コンピュータ化学会  2021年6月 

    　詳細を見る

    開催年月日： 2021年6月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：オンライン   国名：日本国  

  • 九州大学数理・データサイエンス教育研究センターとAIMaP事業について

    @溝口 佳寛

    第68回九州地区大学教育研協議会  2019年9月 

    　詳細を見る

    開催年月日： 2020年9月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：ニューウェルシティ宮崎   国名：日本国  

  • 位相空間の圏と同型な関係T代数の圏について

    阿川真士, 溝口佳寛

    日本数学会年会  2018年3月 

    　詳細を見る

    開催年月日： 2018年3月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：東京大学駒場キャンパス   国名：日本国  

  • Relational T-algebra and the category of topological spaces 招待 国際会議

    Yoshihiro Mizoguchi

    Workshop on logic algebra and category theory: LAC2018  2018年2月 

    　詳細を見る

    開催年月日： 2018年2月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：La Trobe University   国名：オーストラリア連邦  

    その他リンク： http://www2.math.kyushu-u.ac.jp/~lac2018/

  • 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月 

    　詳細を見る

    開催年月日： 2017年5月

    記述言語：英語  

    開催地：Jakarta   国名：インドネシア共和国  

    その他リンク： http://www.iaiai.org/conference/comcom2017/

  • Symbolic Computations in Conformal Geometric Algebra for Three Dimensional Origami Folds 招待 国際会議

    Yoshihiro Mizoguchi, Hiroyuki Ochiai

    PNU Math Forum 2016  2016年12月 

    　詳細を見る

    開催年月日： 2016年12月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Pusan National University   国名：大韓民国  

  • 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月 

    　詳細を見る

    開催年月日： 2016年10月 - 2016年11月

    記述言語：英語  

    開催地：Monterey   国名：アメリカ合衆国  

    その他リンク： http://www.isita.ieice.org/2016/

  • Wang Tiles Modeling of Wall Patterns 国際会議

    Alexandre Derouet-Jourdan, Yoshihiro Mizoguchi, Marc Salvati

    MEIS2015 : Mathematical Progress in Expressive Image Synthesis  2015年9月 

    　詳細を見る

    開催年月日： 2015年9月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Kyushu University, Fukuoka   国名：日本国  

    Wang Tiles Modeling of Wall Patterns

    その他リンク： http://mcg2.imi.kyushu-u.ac.jp/meis2015/

  • 定理証明支援系Coqについて 招待

    溝口 佳寛

    数学ソフトウェアとフリードキュメント XXI  2015年9月 

    　詳細を見る

    開催年月日： 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月 

    　詳細を見る

    開催年月日： 2013年12月

    記述言語：英語  

    開催地：Matsuyama   国名：日本国  

    We implemented operations appeared in the theory of automata using the Coq proof-assistant. A language which contains infinite elements is defined using ssreflect (a Small Scale Reflection Extension for the Coq system). We also implemented the modules for sticker systems. Paun and Rozenberg introduced a concrete method to transform an automaton to a sticker system in 1998. One of our aims is to present formal proofs of the correctness of their transformation. We modified some of their definitions to improve their insufficient results. We note that all of our formulation are written in Coq and we show some examples of machine-checkable proofs.

  • 三重対角行列に関連するグラフのラプラシアン行列の固有多項式について

    溝口 佳寛

    第127回日本数学会九州支部例会  2012年10月 

    　詳細を見る

    開催年月日： 2012年10月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：大分大学   国名：日本国  

  • アフィン写像を用いた補間による二次元アニメーションを作成するソフトウェアの開発

    溝口 佳寛, 松下昴平, 井慶喜, 池田有希, 松田元輝, 濱田裕康

    電気関係学会九州支部連合大会  2012年9月 

    　詳細を見る

    開催年月日： 2012年9月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：長崎大学   国名：日本国  

  • Interpolation using eigenvectors of the Laplacian matrix of a graph

    Yoshihiro Mizoguchi

    短期共同研究集会「新しいアニメーション補間手法とその評価指標の提案」  2012年3月 

    　詳細を見る

    開催年月日： 2012年3月

    会議種別：口頭発表（一般）  

    開催地：マス・フォア・インダストリ研究所   国名：日本国  

    二次元図形の補間を行いアニメーションを作成する方法へのグラフのラプラシアン行列の有効性を考察する.

  • Laplacian Energy of Directed Graphs and Minimizing Maximum Outdegree Algorithms

    K.K.K.R. Perera, Y. Mizoguchi

    第15回情報・統計科学シンポジウム  2010年12月 

    　詳細を見る

    開催年月日： 2010年12月

    会議種別：口頭発表（一般）  

    開催地：九州大学   国名：日本国  

  • Finding Clusters in Directed Network Graphs using Spectral Clustering Methods

    K.K.K.R. Perera, Y. Mizoguchi,

    電気関係学会九州支部連合大会  2009年9月 

    　詳細を見る

    開催年月日： 2009年9月

    会議種別：口頭発表（一般）  

    開催地：九州工業大学   国名：日本国  

    Finding Clusters in Directed Network Graphs using Spectral Clustering Methods

  • 抽象衝突系がセルオートマトンによって模倣できるための条件

    伊藤隆浩, 井口修一, 溝口佳寛

    2008年12月 

    　詳細を見る

    開催年月日： 2008年12月

    会議種別：口頭発表（一般）  

    開催地：龍谷大学理工学部   国名：日本国  

  • Haskell Modules for Automata and Sticker Systems

    K.K.K.R. Perera, Y. Mizoguchi

    電気関係学会九州支部連合大会  2008年9月 

    　詳細を見る

    開催年月日： 2008年9月

    会議種別：口頭発表（一般）  

    開催地：大分大学   国名：日本国  

    Joint Conference of Electrical and Electronics Engineers in Kyushu

  • リンク共起情報に基づく概念グラフの線形度

    岡田幸治, 井口修一, 溝口佳寛, 廣川佐千男

    電気関係学会九州支部連合大会  2008年9月 

    　詳細を見る

    開催年月日： 2008年9月

    開催地：大分大学   国名：日本国  

    Joint Conference of Electrical and Electronics Engineers in Kyushu

  • リンク共起情報を用いたナノテク関連学術ウェブページ群の解析

    岡田幸治, 溝口佳寛, 廣川佐千男

    Webインテリジェンスとインタラクション研究会  2008年4月 

    　詳細を見る

    開催年月日： 2008年4月

    会議種別：口頭発表（一般）  

    開催地：北九州学術研究都市   国名：日本国  

  • 理系離れ防止対策を試みとした高校生向け数理セミナー

    安藤祐子, 上野雄文, 加藤文元, 溝口佳寛, 渡辺暁, 内田聡子, 桂木洋光, 三浦麻実

    第28回日本科学教育学会  2004年8月 

    　詳細を見る

    開催年月日： 2004年8月

    会議種別：口頭発表（一般）  

    国名：日本国  

  • 数理科学教育における少人数セミナーの効果

    桂木洋光, 上野雄文, 溝口佳寛, 安藤祐子, 渡辺暁, 箱田桂子, 秋田純一, 羽原靖晃

    第109回日本物理学会九州支部例会  2003年11月 

    　詳細を見る

    開催年月日： 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月 

    　詳細を見る

    会議種別：口頭発表（一般）  

    国名：日本国  

  • 情報モデルの定義と変更の関係グラフ表現を用いた定式化

    Y.Mizoguchi

    応用数学合同研究集会  1999年12月 

    　詳細を見る

    会議種別：口頭発表（一般）  

    国名：日本国  

  • ２状態分割量子セルオートマトンの挙動について

    溝口佳寛, 井口修一

    応用数学合同研究集会  2001年12月 

    　詳細を見る

    会議種別：口頭発表（一般）  

    国名：日本国  

  • 学内仮想プライベートネットワーク(VPN)の活用とVoIP電話の試行について 招待

    井口修一, 溝口佳寛, 恒藤哲哉, 丸山修

    電気関係学会九州支部連合大会  2002年9月 

    　詳細を見る

    会議種別：口頭発表（一般）  

    国名：日本国  

  • Generalized Partitioned Quantum Cellular Automata and Quantumization of　Classical CA 国際会議

    S. Inokuchi, Y.Mizoguchi

    Eighth International Workshop on Cellular Automata  2002年9月 

    　詳細を見る

    会議種別：口頭発表（一般）  

    開催地：Praha   国名：チェコ共和国  

  • ダウン症データライブラリの利用者別ニーズの分析

    古川徹生, 巽純子, 溝口佳寛, 佐藤大, 藤田弘

    第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月 

    　詳細を見る

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Nagoya University   国名：日本国  

  • Mathematical Aspects of Interpolation Technique for Computer Graphics 招待 国際会議

    Yoshihiro Mizoguchi

    PNU Mathematics Seminar  2013年4月 

    　詳細を見る

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Pusan National University   国名：日本国  

  • グラフ上の追跡戦略と回避戦略

    池田有希, 溝口 佳寛

    第10回ネットワーク生態学シンポジウム  2013年9月 

    　詳細を見る

    記述言語：日本語  

    開催地：かんぽの宿有馬   国名：日本国  

▼全件表示

MISC

  • 論理と計算について考えた人たち

    溝口 佳寛

    数学セミナー, 2019年1月号, pp.57-61   2018年12月

    　詳細を見る

    記述言語：日本語   掲載種別：記事・総説・解説・論説等（学術雑誌）  

  • The Role and Importance of Mathematics in Innovation, Proceedings of the Forum "Math-for-Industry" 2015

    Bob Anderssen, Philip Broadbridge, Yasuhide Fukumoto, Naoyuki Kamiyama, Yoshihiro Mizoguchi, Konrad Polthier, OSAMU SAEKI

    Mathematics for Industry 25, Springer   2016年4月

    　詳細を見る

    記述言語：英語   掲載種別：機関テクニカルレポート，技術報告書，プレプリント等  

    その他リンク： http://www.springer.com/jp/book/9789811009617

  • 高信頼な理論と実装のための定理証明および定理証明器

    溝口 佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt

    Kyushu University   2015年3月

    　詳細を見る

    記述言語：日本語   掲載種別：機関テクニカルレポート，技術報告書，プレプリント等  

    Theorem proving and provers for reliable theory and implementations (TPP2014)

    その他リンク： http://imi.kyushu-u.ac.jp/lasm/tpp2014/

  • ケプラー予想の計算機による証明と検証について

    溝口 佳寛, 田上 真

    数学セミナー, 2014年12月号, pp.48-54   2014年12月

    　詳細を見る

    記述言語：日本語   掲載種別：記事・総説・解説・論説等（学術雑誌）  

    1600年代からの大問題ケプラー予想は1998年にHalesによって証明解決されたが, その証明の正当性を誰も検証出来なかった. そして, それから10年以上の時を経て, Hales自らの手で形式証明支援系を用いケプラー予想の計算機による証明と検証が2014年8月に与えられた. 本稿はその計算機による証明と検証の解説記事である.

  • Theory of Automata

    Yoshihiro Mizoguchi

    Mathematics for Industry, Vol.5, pp.337-348   2014年7月

    　詳細を見る

    記述言語：英語   掲載種別：記事・総説・解説・論説等（学術雑誌）  

    その他リンク： http://link.springer.com/chapter/10.1007%2F978-4-431-55060-0_25

  • オートマトン理論, その応用と抽象化

    溝口 佳寛

    MI Lecture Note Series, Vol.46, 科学・技術の研究課題への数学アプローチ --数学モデリングの基礎と展開--, 九州大学   2013年2月

    　詳細を見る

    記述言語：日本語   掲載種別：記事・総説・解説・論説等（学術雑誌）  

  • 有限オートマトンと正則表現

    河原康雄・溝口佳寛

    電子情報通信学会・知識ベース「知識の森」   2011年3月

    　詳細を見る

    記述言語：日本語   掲載種別：記事・総説・解説・論説等（学術雑誌）  

  • 計算材料科学の課題への数学・数理科学からのアプローチ:数理ベースプログラミング 査読

    檜貝信一, 溝口佳寛, 深作亮也

    分子シミュレーション学会誌"アンサンブル"   2021年12月

    　詳細を見る

    記述言語：日本語   掲載種別：記事・総説・解説・論説等（学術雑誌）  

  • Advanced Automotive Control and Mathematics

    Taketoshi Kawabe, Yoshihiro Mizoguchi, Junichi Kako, Masakazu Mukai, Yuji Yasui

    MI Lecture Note Series, Vol.84   2021年12月

    　詳細を見る

    記述言語：英語   掲載種別：機関テクニカルレポート，技術報告書，プレプリント等  

    その他リンク： https://www.imi.kyushu-u.ac.jp/files/imipublishattachment/file/math_61e775b29e0d5.pdf

  • 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（作品等）

  • 誤り訂正符号の原理と応用について

    溝口佳寛

    2024年7月

    　詳細を見る

    作品分類：教材   発表場所：九州大学  

    2024年度QFC-SPプライマリーコース講義「誤り訂正符号の原理と応用について」配布資料(抜粋)

    リポジトリ公開URL： https://hdl.handle.net/2324/7326921

  • A certified Wang tiling program in Coq

    Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan

    2016年3月

    　詳細を見る

    We have implemented a certified Wang tiling program for tiling a rectangle region using a brick corner Wang tile set. A brick corner Wang tile set is a special Wang tile set introduced by A. Derouet-Jourdan et al. in computer graphics in 2015 to model wall patterns texture. We have implemented a tiling algorithm using Coq proof assistant and proved its correctness. This correctness assures the existence of a tiling of any brick corner Wang tile set for any size of rectangle. The essential points of our proof are the existence of a tiling for a $2 \times 2$ rectangle and a simple induction process. Since the brick corner Wang tile is a class of infinite kinds of tile sets, it is not straightforward and there are many conditional branches to prove the correctness. The certification with Coq assures that there are no lack of conditions.

    その他リンク： https://github.com/KyushuUniversityMathematics/BrickCornerWangTiling

  • A Mathematica module for Conformal Geometric Algebra and Origami Folding

    Mitsuhiro Kondo , Takuya Matsuo , Yoshihiro Mizoguchi and Hiroyuki Ochiai

    2016年3月

    　詳細を見る

    We implemented a Mathematica module of CGA which includes functions to denote CGA elements and compute several operations in CGA. We can draw the figure in 3D space which is corresponding to a CGA element. Our draw function is using Gr\"{o}bner Basis for simplifying equations of figures. It can be used for any dimensional figures. One of our motivations is to realize 3D origami system using our own CGA Library. We follow the 2D computational origami system E-Origami-System developed by Ida et.al. and formulated simple fold operations in 3D by using CGA points and motions. Then, we proved some geometric theorems about origami properties by computing CGA equation formulas.

    その他リンク： https://github.com/KyushuUniversityMathematics/MathematicaCGA

  • A certified Wang tiling program in Coq

    Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan

    2016年3月

    　詳細を見る

    We have implemented a certified Wang tiling program for tiling a rectangle region using a brick corner Wang tile set. A brick corner Wang tile set is a special Wang tile set introduced by A. Derouet-Jourdan et al. in computer graphics in 2015 to model wall patterns texture. We have implemented a tiling algorithm using Coq proof assistant and proved its correctness. This correctness assures the existence of a tiling of any brick corner Wang tile set for any size of rectangle. The essential points of our proof are the existence of a tiling for a $2 \times 2$ rectangle and a simple induction process. Since the brick corner Wang tile is a class of infinite kinds of tile sets, it is not straightforward and there are many conditional branches to prove the correctness. The certification with Coq assures that there are no lack of conditions.

    researchmap

  • ProbeDeformer for iPad

    Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai, Yoshihiro Mizoguchi

    2014年3月

    　詳細を見る

    A simple 2D image deforming system using Dual Complex Numbers.

    [1] G.Matsuda, S.Kaji, H.Ochiai, Anti-commutative Dual Complex Numbers and 2D Rigid Transformation, Mathematical Progress in Expressive Image Synthesis, MI Lecture Note, Vol.50, pp.128-133, Kyushu University, 2013.

    その他リンク： https://github.com/KyushuUniversityMathematics/iPad-ProbeDeformer

  • ProbeDeformer for iPad

    Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai, Yoshihiro Mizoguchi

    2014年3月

    　詳細を見る

    A simple 2D image deforming system using Dual Complex Numbers.

    [1] G.Matsuda, S.Kaji, H.Ochiai, Anti-commutative Dual Complex Numbers and 2D Rigid Transformation, Mathematical Progress in Expressive Image Synthesis, MI Lecture Note, Vol.50, pp.128-133, Kyushu University, 2013.

    researchmap

  • Mathematica Modules for Graph Laplacians

    Yoshihiro Mizoguchi

    2013年6月

    　詳細を見る

    GraphLaplacian.m is a Mathematica module for graph laplacians, MMGLmanual.pdf Manual for the module and Example.m Example Mathematica file.

    その他リンク： https://github.com/ymizoguchi/MathematicaGraphLaplacian

  • Haskell Modules for Automata and Sticker Systems

    Yoshihiro Mizoguchi

    2013年6月

    　詳細を見る

    Haskell Modules for Sticker Systems, Finite Automata and Grammers.

    その他リンク： https://github.com/ymizoguchi/HaskellStickerModules

  • Mathematica Modules for Graph Laplacians

    Yoshihiro Mizoguchi

    2013年6月

    　詳細を見る

    GraphLaplacian.m is a Mathematica module for graph laplacians, MMGLmanual.pdf Manual for the module and Example.m Example Mathematica file.

    researchmap

▼全件表示

所属学協会

  • Association for Computing Machinery

  • 電子情報通信学会

  • 日本応用数理学会

  • ソフトウェア科学会

  • 情報処理学会

  • 日本数学会

  • 日本自動車技術会

  • 電子情報通信学会

    　 詳細を見る

  • 日本自動車技術会

    　 詳細を見る

  • 日本数学会

    　 詳細を見る

  • 日本応用数理学会

    　 詳細を見る

  • 情報処理学会

    　 詳細を見る

  • ソフトウェア科学会

    　 詳細を見る

  • Association for Computing Machinery

    　 詳細を見る

▼全件表示

委員歴

  • 公益社団法人九州数学教育会   会長   国内

    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月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：50

  • 学術論文等の審査

    役割：査読

    2023年

    　詳細を見る

    種別：査読等 

    外国語雑誌　査読論文数：2

  • 学術論文等の審査

    役割：査読

    2022年

    　詳細を見る

    種別：査読等 

    外国語雑誌　査読論文数：2

  • 学術論文等の審査

    役割：査読

    2021年

    　詳細を見る

    種別：査読等 

    外国語雑誌　査読論文数：2

    国際会議録　査読論文数：1

  • Program Committee 国際学術貢献

    SCSS2020, The 9th International Symposium on Symbolic Computation Software Science  （ Gammarth Tunisia ） 2020年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 座長

    第３１回代数, 論理, 幾何と情報科学研究集会  （ オンライン ） 2020年8月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：40

  • Scienctific Committee 国際学術貢献

    2020 Taipei International Conference on Combinatorics  （ Institute of Mathematics, Academia Sinica Taiwan ） 2020年2月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 学術論文等の審査

    役割：査読

    2020年

    　詳細を見る

    種別：査読等 

    外国語雑誌　査読論文数：2

  • 世話人

    第３０回代数, 論理, 幾何と情報科学研究集会  （ 九州大学伊都キャンパス ） 2019年8月 - 2019年9月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：40

  • International Journal of Mathematics for Industry 国際学術貢献

    2019年1月 - 現在

    　詳細を見る

    種別：学会・研究会等 

  • 学術論文等の審査

    役割：査読

    2019年

    　詳細を見る

    種別：査読等 

    外国語雑誌　査読論文数：2

  • 大分県立佐伯鶴城高校SSH運営指導委員

    役割：審査・評価

    大分県教育委員会  2018年4月 - 2020年3月

    　詳細を見る

    種別：審査・学術的助言 

  • 学術論文等の審査

    役割：査読

    2018年

    　詳細を見る

    種別：査読等 

    外国語雑誌　査読論文数：2

  • 実行委員

    CG技術の実装と数理2017  （ 株式会社ディー・エヌ・エー ） 2017年9月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：50

  • 学術論文等の審査

    役割：査読

    2017年

    　詳細を見る

    種別：査読等 

    外国語雑誌　査読論文数：2

    国際会議録　査読論文数：2

  • 司会（Moderator）

    研究集会「三次元幾何モデリング評価手法の提案とソフトウェア開発」  （ 九州大学マス・フォア・インダストリ研究所 ） 2016年8月

    　詳細を見る

    種別：大会・シンポジウム等 

  • プログラム委員長

    CG技術の実装と数理2016  （ 株式会社コロプラ, 株式会社スクウェア・エニックス ） 2016年7月 - 2016年9月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：50

  • 司会（Moderator）

    研究集会「複数画像間のパターンマッチによる土木測量技術の開発」  （ 九州大学マス・フォア・インダストリ研究所 ） 2016年6月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Program Committee 国際学術貢献

    The 7th International Symposium on Symbolic Computation in Software Science  （ Ochanomizu University, Tokyo Japan ） 2016年3月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：100

  • 座長（Chairmanship） 国際学術貢献

    研究集会「高信頼な理論と実装のための定理証明および定理証明器」  （ 九州大学西新プラザ ） 2015年12月

    　詳細を見る

    種別：大会・シンポジウム等 

  • Organized Committee 国際学術貢献

    Forum "Math-for-Industry" 2015 -The Role and Importance of Mathematics in Innovation-  （ Kyushu University, Fukuoka Japan ） 2015年10月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：100

  • 司会（Moderator） 国際学術貢献

    Forum "Math-for-Industry" 2015  （ Kyushu University, Fukuoka Japan ） 2015年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 座長（Chairmanship） 国際学術貢献

    Workshop on Formalization of Applied Mathematical Systems  （ University of Hawai`i, Manoa UnitedStatesofAmerica ） 2015年9月 - 2015年10月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 幹事

    研究集会「高信頼な理論と実装のための定理証明および定理証明器」  （ 九州大学西新プラザ ） 2014年12月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：80

  • Organizing committee 国際学術貢献

    Korea-Japan workshop on algebra and combinatorics  （ KAIST Korea ） 2014年1月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：50

  • Committee 国際学術貢献

    Mathematical Progress in Expressive Image Synthesis  （ Centennial Hall Kyushu University School of Medicine, Fukuoka, Japan Japan ） 2013年10月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：69

  • 実行委員

    日本応用数理学会2013年度年会  （ アクロス福岡 (福岡市) ） 2013年9月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：500

  • Organizing committee 国際学術貢献

    Japan-Korea workshop on algebra and combinatorics  （ ACROS Fukuoka Japan ） 2013年1月

    　詳細を見る

    種別：大会・シンポジウム等 

    参加者数：50

  • 大分県立舞鶴高校SSH運営指導委員

    役割：審査・評価

    大分県教育委員会  2012年4月 - 2020年3月

    　詳細を見る

    種別：審査・学術的助言 

  • 座長（Chairmanship）

    情報処理学会九州支部 火の国情報シンポジウム  （ 大分大学 ） 2004年3月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 電子情報通信学会英文誌D 国際学術貢献

    2003年5月

    　詳細を見る

    種別：査読等 

    researchmap

▼全件表示

共同研究・競争的資金等の研究課題

  • 物理的・確率的システムの検証を支える形式的基盤の構築

    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月   通年

  • 数学共創概論Ⅶ

    2023年4月 - 2023年9月   前期

  • 数理・データサイエンス活用PBL

    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月   後期

  • 計算数理学I

    2019年4月 - 2019年9月   前期

  • 情報数学・演習

    2019年4月 - 2019年9月   前期

  • 複雑システム大意

    2018年10月 - 2019年3月   後期

  • 情報数学・演習

    2018年4月 - 2018年9月   前期

  • 情報科指導法II

    2018年4月 - 2018年9月   前期

  • 複素関数論

    2017年10月 - 2018年3月   後期

  • 情報数学特論１

    2017年10月 - 2018年3月   後期

  • 機能数理学概論Ⅰ

    2017年4月 - 2017年9月   前期

  • MMA講究C

    2017年4月 - 2017年9月   前期

  • 計算数理学Ⅰ

    2017年4月 - 2017年9月   前期

  • 情報数学特論1

    2016年10月 - 2017年3月   後期

  • 機能数理学概論I

    2016年4月 - 2016年9月   前期

  • 情報科指導法II

    2016年4月 - 2016年9月   前期

  • 複素関数論

    2015年10月 - 2016年3月   後期

  • 複雑システム大意

    2015年4月 - 2015年9月   前期

  • プログラミング演習

    2015年4月 - 2015年9月   前期

  • 機能数理学概論I

    2015年4月 - 2015年9月   前期

  • 複雑システム大意

    2014年10月 - 2015年3月   後期

  • 線形代数

    2014年10月 - 2015年3月   後期

  • 機能数理学概論I

    2014年4月 - 2014年9月   前期

  • プログラミング演習

    2014年4月 - 2014年9月   前期

  • 情報科指導法II

    2014年4月 - 2014年9月   前期

  • 線形代数

    2013年10月 - 2014年3月   後期

  • 情報処理演習III

    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月   前期

  • 情報科指導法II

    2010年4月 - 2010年9月   前期

  • 計算機数学概論

    2010年4月 - 2010年9月   前期

  • 計算数理学

    2009年10月 - 2010年3月   後期

  • 情報処理演習III

    2009年10月 - 2010年3月   後期

  • 計算機数学概論

    2009年4月 - 2009年9月   前期

  • 情報処理演習III

    2008年10月 - 2009年3月   後期

  • 計算数理学基礎・演習

    2008年4月 - 2008年9月   前期

  • 情報科指導法II

    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月

    　詳細を見る

    対象：社会人・一般,　学術団体,　企業,　市民団体,　行政機関

    種別：その他

    福岡県朝倉市立秋月中学校中学生への スパコンITO見学, 若手数学研究者との座談会など.

  • Campus Walk in 九州大学

    朝倉市立秋月中学校  2023年2月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • Campus Walk in 九州大学

    朝倉市立秋月中学校  2023年2月

    　詳細を見る

    種別：その他

    researchmap

  • 九州大学キャンパスウォーク

    九州大学  九州大学理学部棟・情報基盤センター  2023年2月

    　詳細を見る

    種別：その他

    福岡県朝倉市立秋月中学校中学生への スパコンITO見学, 若手数学研究者との座談会など.

    researchmap

  • 講義「バーコードの数理」

    福岡県立香住ヶ丘高校  2019年12月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 第29回JST数学キャラバン 拡がりゆく数学 in 福岡

    主催： 九州大学マス・フォア・インダストリ研究所 共催： 国立研究開発法人科学技術振興機構 (JST) 後援：福岡県教育委員会, 九州数学教育会  九州大学 稲盛財団記念館 稲盛ホール  2018年12月

    　詳細を見る

    対象：社会人・一般,　学術団体,　企業,　市民団体,　行政機関

    種別：講演会

    https://www.imi.kyushu-u.ac.jp/events/view/2357

  • 講義「バーコードの数理」

    福岡県立香住ヶ丘高校  2018年12月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 高校生課題研究(数学・情報)ポスター発表会の運営と指導助言

    九州大学稲盛会館  2018年12月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • 第29回JST数学キャラバン 拡がりゆく数学 in 福岡

    主催： 九州大学マス・フォア・インダストリ研究所 共催： 国立研究開発法人科学技術振興機構 (JST) 後援：福岡県教育委員会, 九州数学教育会  九州大学 稲盛財団記念館 稲盛ホール  2018年12月

    　詳細を見る

    種別：出前授業

    https://www.imi.kyushu-u.ac.jp/events/view/2357

    researchmap

  • 高校生課題研究(数学・情報)ポスター発表会の運営と指導助言

    九州大学稲盛会館  2018年12月

    　詳細を見る

    種別：その他

    researchmap

  • 数理・データサイエンス教育の動向について

    福岡県高等学校数学教育会・福岡県立筑紫丘高校  2018年10月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 数理・データサイエンス教育の動向について

    福岡県高等学校数学教育会・福岡県立筑紫丘高校  2018年10月

    　詳細を見る

    種別：セミナー・ワークショップ

    researchmap

  • 第72回九州算数・数学教育研究(佐賀)大会, 高等学校部会指導助言者

    九州数学教育会  2018年7月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • 第72回九州算数・数学教育研究(佐賀)大会, 高等学校部会指導助言者

    九州数学教育会  2018年7月

    　詳細を見る

    種別：その他

    researchmap

  • 講義「計算機を用いて数学の問題を解くということ」

    佐賀県立佐賀西高校  2016年8月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • 講義「計算機を用いて数学の問題を解くということ」

    佐賀県立佐賀西高校  2016年8月

    　詳細を見る

    種別：その他

    researchmap

  • 第70回九州算数・数学教育研究(大分)大会, 高等学校部会指導助言者

    九州数学教育会  2016年7月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • 第70回九州算数・数学教育研究(大分)大会, 高等学校部会指導助言者

    九州数学教育会  2016年7月

    　詳細を見る

    種別：その他

    researchmap

  • スーパーサイエンスハイスクールおよびコアSSHに関わる運営指導(2012年から)

    大分県立舞鶴高等学校  2016年4月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • スーパーサイエンスハイスクールおよびコアSSHに関わる運営指導(2012年から)

    大分県立舞鶴高等学校  2016年4月

    　詳細を見る

    種別：その他

    researchmap

  • 第69回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者

    九州数学教育会  2015年7月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • 第69回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者

    九州数学教育会  2015年7月

    　詳細を見る

    種別：その他

    researchmap

  • 類型別出前講義「計算機を用いて数学の問題を解くということ」

    福岡県立香住ヶ丘高校  2015年2月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • 類型別出前講義「計算機を用いて数学の問題を解くということ」

    福岡県立香住ヶ丘高校  2015年2月

    　詳細を見る

    種別：その他

    researchmap

  • ケプラー予想の計算機による証明と検証について

    九州数学教育会第4回算数・数学教育研修会  2014年12月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 複素数・四元数と図形の回転

    第4回算数・数学教育研修会・九州数学教育会  2014年12月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 第68回九州算数・数学教育研究(熊本)大会, 高等学校部会指導助言者

    九州数学教育会  2014年7月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • 第68回九州算数・数学教育研究(熊本)大会, 高等学校部会指導助言者

    九州数学教育会  2014年7月

    　詳細を見る

    種別：その他

    researchmap

  • 複素数・四元数と図形の回転

    福岡県高等学校数学教育会筑後支部研究大会, 福岡県立伝習館高等学校  2013年11月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 第67回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者

    九州数学教育会  2013年7月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：その他

  • 第67回九州算数・数学教育研究(鹿児島)大会, 高等学校部会指導助言者

    九州数学教育会  2013年7月

    　詳細を見る

    種別：その他

    researchmap

  • 数学にコンピュータを使う～数式処理系(Maxima),定理証明支援系(Coq)など～

    第６回算数・数学教育研修会・九州数学教育会  2013年4月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 数学にコンピュータを使う～数式処理系(Maxima),定理証明支援系(Coq)など～

    第６回算数・数学教育研修会・九州数学教育会  2013年4月

    　詳細を見る

    種別：セミナー・ワークショップ

    researchmap

  • 行列計算を利用したデータ解析技術(主成分分析,多次元尺度構成法)

    第６回算数・数学教育研修会・九州数学教育会  2012年4月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 行列計算を利用したデータ解析技術(主成分分析,多次元尺度構成法)

    第６回算数・数学教育研修会・九州数学教育会  2012年4月

    　詳細を見る

    種別：セミナー・ワークショップ

    researchmap

  • 魁講座III(スタディセミナー)講演「バーコードの数理」

    山口県立徳山高等学校  2011年3月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 魁講座III(スタディセミナー)講演「バーコードの数理」

    山口県立徳山高等学校  2011年3月

    　詳細を見る

    種別：セミナー・ワークショップ

    researchmap

  • バーコードの数理

    大川市, 数理の翼「大川セミナー２０１０」  2010年8月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • バーコードの数理

    大川市, 数理の翼「大川セミナー２０１０」  2010年8月

    　詳細を見る

    種別：セミナー・ワークショップ

    researchmap

  • 順序機械の最小実現について

    第３０回数理の翼夏季セミナー, 於. 国立大学九重共同研修所  2009年8月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 順序機械の最小実現について

    第３０回数理の翼夏季セミナー, 於. 国立大学九重共同研修所  2009年8月

    　詳細を見る

    種別：セミナー・ワークショップ

    researchmap

  • 公開講座「現代数学入門」講師　「計算理論への招待」

    九州大学大学院数理学研究院  九州大学理学部大会議室   2007年8月

    　詳細を見る

    対象：社会人・一般,　学術団体,　企業,　市民団体,　行政機関

    種別：講演会

  • 福岡県２１世紀人材育成推進事業「ハイレベル合宿」ファシリテータ「情報処理のためのの論理と計算」

    福岡県教育委員会、福岡県スーパーハイスクール  2007年8月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 公開講座「現代数学入門」講師 「計算理論への招待」

    九州大学大学院数理学研究院  九州大学理学部大会議室  2007年8月

    　詳細を見る

    種別：出前授業

    researchmap

  • 福岡県２１世紀人材育成推進事業「ハイレベル合宿」ファシリテータ「情報処理のためのの論理と計算」

    福岡県教育委員会、福岡県スーパーハイスクール  2007年8月

    　詳細を見る

    種別：セミナー・ワークショップ

    researchmap

  • 計算機で問題を解くとは --地図の色分け, 信号機の設計, などを例に--

    福岡県立修猷館高等学校  2004年10月

    　詳細を見る

    対象：幼稚園以下,　小学生,　中学生,　高校生

    種別：セミナー・ワークショップ

  • 計算機で問題を解くとは --地図の色分け, 信号機の設計, などを例に--

    福岡県立修猷館高等学校  2004年10月

    　詳細を見る

    種別：セミナー・ワークショップ

    researchmap

▼全件表示

メディア報道

  • 教育最前線（座談会） 新聞・雑誌

    西日本新聞  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月   研究院 数理学研究院経理委員

▼全件表示