Updated on 2024/07/28

Information

 

写真a

 
MIZOGUCHI YOSHIHIRO
 
Organization
Institute of Mathematics for Industry Division of Applied Mathematics Professor
Education and Research Center for Mathematical and Data Science (Joint Appointment)
Research Institute for Information Technology (Joint Appointment)
School of Sciences Department of Mathematics(Joint Appointment)
Graduate School of Mathematics Department of Mathematics(Joint Appointment)
Joint Graduate School of Mathematics for Innovation (Joint Appointment)
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.
External link

Degree

  • Dr. Sci.

Research History

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

Research Interests・Research Keywords

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

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

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: doi.org/10.29007/2m5f

    Other Link: https://doi.org/10.29007/2m5f

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: doi.org/10.29007/6fc5

    Other Link: https://doi.org/10.29007/6fc5

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

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

    Other Link: http://link.springer.com/article/10.1186/s40736-015-0015-3/fulltext.html

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: doi:10.1016/j.jda.2015.05.009

    Other Link: http://www.sciencedirect.com/science/article/pii/S1570866715000623

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Other Link: 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 Reviewed International journal

    Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi

    Proc. of First International Symposium on Computing and Networking   2013.12

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: 10.1109/CANDAR.2013.100

    Other Link: 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 Reviewed International journal

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

    Journal of Math-for-Industry   5   59 - 72   2013.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Other Link: http://catalog.lib.kyushu-u.ac.jp/recordID/1397719

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    Other Link: http://dl.acm.org/citation.cfm?id=2422368

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Other Link: http://catalog.lib.kyushu-u.ac.jp/recordID/13974

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • Properties of graphs preserved by relational graph rewritings Reviewed International journal

    Y. Mizoguchi

    Journal of Information Science   1999.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 暗号化電子メールシステムの動向 Invited

    溝口佳寛

    情報の科学と技術   1996.1

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  • Relational Graph Rewritings Reviewed International journal

    Yoshihiro Mizoguchi, Yasuo Kawahara

    Theoretical Computer Science   141 ( 1-2 )   311 - 328   1995.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

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

    Other Link: http://www.sciencedirect.com/science/article/pii/030439759400076U

    Repository Public URL: http://hdl.handle.net/2324/3060

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Other Link: http://www.numdam.org/numdam-bin/item?id=CTGDC_1993__34_1_2_0

    Repository Public URL: http://hdl.handle.net/2324/3061

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Repository Public URL: http://hdl.handle.net/2324/13370

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

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

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

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

    20 ( 3 )   112 - 115   2021.11

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

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

  • 文部科学省委託事業AIMaPの取り組みについて Invited Reviewed

    溝口佳寛, 棚橋典大

    計測と制御   58 ( 1 )   38 - 41   2019.1

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

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

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Other Link: http://stacks.iop.org/1742-6596/971/i=1/a=012001

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    Other Link: http://www.imi.kyushu-u.ac.jp/files/imipublishattachment/file/math_56306f17733f8.pdf

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Repository Public URL: http://hdl.handle.net/2324/11867

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Repository Public URL: http://hdl.handle.net/2324/11845

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1103/PhysRevA.72.032323

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Repository Public URL: http://hdl.handle.net/2324/3625

  • Shortest path length calculation using graph transformations Reviewed International journal

    Y.Mizoguchi

    Proc. 6th Joint Conference on Information Sciences   358 - 361   2002.6

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • インターネットにおけるダウン症データライブラリの運営と展開 Reviewed

    古川徹生, 巽純子, 溝口佳寛, 百渓英一, 武部啓

    医療情報学   2001.1

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  • RMIを用いた分散システム構築の自動化 Reviewed

    油利耕平, 溝口佳寛

    ソフトウェア工学の基礎VII(日本ソフトウェア科学会FOSE2000)   2001.1

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Other Link: http://www.springer.com/jp/book/9783540577874

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • Relational Calculus and Categorical Assertion Semantics in Topoi Reviewed International journal

    Y.Kawahara, Y.Mizoguchi

    Information Modelling and Knowledge Bases IV   1993.1

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  • A Graph Reduction System Using Graph Terms Reviewed International journal

    Yoshihiro Mizoguchi

    Bull. Informatics and Cybernetics   25   27 - 40   1992.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Repository Public URL: http://hdl.handle.net/2324/13421

  • Categorical assertion semantics in toposes Reviewed International journal

    Yasuo Kawahara, Yoshihiro Mizoguchi

    Advances in Software Science and Technology   4   137 - 150   1992.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Other Link: http://catalog.lib.kyushu-u.ac.jp/recordID/25296

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    Repository Public 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

     More details

    Language:English  

▼display all

Presentations

  • A Coq Library for the Theory of Realational Calculus Invited International conference

    Yoshihiro Mizoguchi

    Workshop on Formalization of Applied Mathematical Systems  2016.9 

     More details

    Event date: 2016.9 - 2016.10

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

    Other Link: http://math.hawaii.edu/~jb/workshop2/

  • Fuzzy Functional and Implication Dependency using Relational Calculus International conference

    Mohammad Deni Akbar, Yoshihiro Mizoguchi

    The Asian Mathematical Conference (AMC2016)  2016.7 

     More details

    Event date: 2016.7

    Language:English   Presentation type:Oral presentation (general)  

    Country:Indonesia  

    Other Link: http://www.amc2016.org/home/

  • 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 

     More details

    Event date: 2016.7

    Language:English   Presentation type:Oral presentation (general)  

    Country:Austria  

    Other Link: http://www.cse.chalmers.se/~laurako/links/COA.html

  • Theory of Relational Calculus and its formalization Invited International conference

    Yoshihiro Mizoguchi

    Universal Structures in Mathematics and Computing  2016.6 

     More details

    Event date: 2016.6

    Language:English   Presentation type:Oral presentation (general)  

    Country:Australia  

    Other Link: http://usmac.ltumathstats.com/home

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

    溝口 佳寛, 田中久治

    日本数式処理学会  2015.6 

     More details

    Event date: 2015.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:筑波大学   Country:Japan  

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

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

    日本数式処理学会  2015.6 

     More details

    Event date: 2015.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:筑波大学   Country:Japan  

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

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

    日本数学会2014年度年会  2014.3 

     More details

    Event date: 2014.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:学習院大学   Country:Japan  

    有限オートマトンを構成する演算子や文字列の(無限) 集合を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 International conference

    Yoshihiro Mizoguchi

    Forum "Math-for-Industry" 2012 Information Recovery and Discovery  2012.10 

     More details

    Event date: 2012.10

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

    Other Link: http://fmi2012.imi.kyushu-u.ac.jp/

  • Generalization of Compositions of Cellular Automata on Groups International conference

    Yoshihiro Mizoguchi

    Workshop on Algebraic Combinatorics, Sept. 2011,  2011.9 

     More details

    Event date: 2011.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

    Other Link: http://math.sjtu.edu.cn/Conference/WACSJTU/

  • Laplacian energy of directed graphs International conference

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

    International Conference on Algebraic and Geometric Combinatorics  2010.7 

     More details

    Event date: 2010.7

    Presentation type:Oral presentation (general)  

    Country:Korea, Republic of  

    Laplacian energy of directed graphs

  • 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 

     More details

    Event date: 2010.6

    Presentation type:Oral presentation (general)  

    Country:France  

    Composition, union and division of cellular automata on groups

    Other Link: http://automata.loria.fr/

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

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

    第19回日本数式処理学会大会  2010.6 

     More details

    Event date: 2010.6

    Presentation type:Oral presentation (general)  

    Venue:名古屋大学   Country:Japan  

  • The abstract collesion system International conference

    T. Ito, S. Inokuchi, Y. Mizoguchi

    Automata-2008  2008.6 

     More details

    Event date: 2008.6

    Presentation type:Oral presentation (general)  

    Country:United Kingdom  

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

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

    第4回ネットワーク生態学シンポジウム  2008.3 

     More details

    Event date: 2008.3

    Venue:京都産業大学   Country:Japan  

  • Relational Database Model Using Relational Calculus International conference

    Mohamad Deni Akbar, Yoshihiro Mizoguchi

    7th International Conference on Soft Computing and Intelligent Systems  2014.12 

     More details

    Language:English  

    Country:Japan  

    Other Link: http://www.scis2014.org/

  • 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 

     More details

    Presentation type:Oral presentation (general)  

    Country:United Kingdom  

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

    溝口佳寛

    日本数学会  2022.9 

     More details

    Event date: 2023.9 - 2022.9

    Language:Japanese   Presentation type:Symposium, workshop panel (public)  

    Venue:北海道大学   Country:Japan  

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

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

    日本コンピュータ化学会  2021.6 

     More details

    Event date: 2021.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:オンライン   Country:Japan  

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

    @溝口 佳寛

    第68回九州地区大学教育研協議会  2019.9 

     More details

    Event date: 2020.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:ニューウェルシティ宮崎   Country:Japan  

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

    阿川真士, 溝口佳寛

    日本数学会年会  2018.3 

     More details

    Event date: 2018.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東京大学駒場キャンパス   Country:Japan  

  • Relational T-algebra and the category of topological spaces Invited International conference

    Yoshihiro Mizoguchi

    Workshop on logic algebra and category theory: LAC2018  2018.2 

     More details

    Event date: 2018.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Australia  

    Other Link: 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 

     More details

    Event date: 2017.5

    Language:English  

    Country:Indonesia  

    Other Link: http://www.iaiai.org/conference/comcom2017/

  • Symbolic Computations in Conformal Geometric Algebra for Three Dimensional Origami Folds Invited International conference

    Yoshihiro Mizoguchi, Hiroyuki Ochiai

    PNU Math Forum 2016  2016.12 

     More details

    Event date: 2016.12

    Language:English   Presentation type:Oral presentation (general)  

    Country:Korea, Republic of  

  • 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 

     More details

    Event date: 2016.10 - 2016.11

    Language:English  

    Country:United States  

    Other Link: http://www.isita.ieice.org/2016/

  • Wang Tiles Modeling of Wall Patterns International conference

    Alexandre Derouet-Jourdan, Yoshihiro Mizoguchi, Marc Salvati

    MEIS2015 : Mathematical Progress in Expressive Image Synthesis  2015.9 

     More details

    Event date: 2015.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

    Wang Tiles Modeling of Wall Patterns

    Other Link: http://mcg2.imi.kyushu-u.ac.jp/meis2015/

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

    溝口 佳寛

    数学ソフトウェアとフリードキュメント XXI  2015.9 

     More details

    Event date: 2015.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都産業大学   Country:Japan  

  • 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 

     More details

    Event date: 2013.12

    Language:English  

    Country:Japan  

    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 

     More details

    Event date: 2012.10

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:大分大学   Country:Japan  

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

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

    電気関係学会九州支部連合大会  2012.9 

     More details

    Event date: 2012.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:長崎大学   Country:Japan  

  • Interpolation using eigenvectors of the Laplacian matrix of a graph

    Yoshihiro Mizoguchi

    2012.3 

     More details

    Event date: 2012.3

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • Laplacian Energy of Directed Graphs and Minimizing Maximum Outdegree Algorithms

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

    2010.12 

     More details

    Event date: 2010.12

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • Finding Clusters in Directed Network Graphs using Spectral Clustering Methods

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

    2009.9 

     More details

    Event date: 2009.9

    Presentation type:Oral presentation (general)  

    Country:Japan  

    Finding Clusters in Directed Network Graphs using Spectral Clustering Methods

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

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

    2008.12 

     More details

    Event date: 2008.12

    Presentation type:Oral presentation (general)  

    Venue:龍谷大学理工学部   Country:Japan  

  • Haskell Modules for Automata and Sticker Systems

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

    2008.9 

     More details

    Event date: 2008.9

    Presentation type:Oral presentation (general)  

    Country:Japan  

    Joint Conference of Electrical and Electronics Engineers in Kyushu

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

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

    電気関係学会九州支部連合大会  2008.9 

     More details

    Event date: 2008.9

    Venue:大分大学   Country:Japan  

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

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

    Webインテリジェンスとインタラクション研究会  2008.4 

     More details

    Event date: 2008.4

    Presentation type:Oral presentation (general)  

    Venue:北九州学術研究都市   Country:Japan  

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

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

    第28回日本科学教育学会  2004.8 

     More details

    Event date: 2004.8

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

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

    第109回日本物理学会九州支部例会  2003.11 

     More details

    Event date: 2003.11

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 教室内LANの構築とその利用について

    溝口佳寛, 古川徹生, 木上あおい, 小林史典

    電気関係学会九州支部連合大会  1991.10 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 縮小写像原理にもとづく3層ニューラルネットワークの学習 --ゲノム情報解析への応用--

    新島 耕一, 篠原 武, 溝口 佳寛, 下薗 真一

    第3回ゲノム情報ワークショップ  1991.12 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 暗号化電子メールシステムの実装と課題

    小方 学, 溝口 佳寛

    電気関係学会九州支部連合大会  1993.10 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 3ビットの遺伝的アルゴリズムに対する収束性

    本田 啓太郎, 溝口 佳寛

    電気関係学会九州支部連合大会  1993.10 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 教室内計算機システムの再構築

    今井純, 岩崎宣仁, 溝口佳寛, 小林史典

    電気関係学会九州支部連合大会  1994.9 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • グラフ変換による最短経路問題の解法

    溝口 佳寛, 矢島 健一

    応用数学合同研究集会  1993.12 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 教室内連絡システムの利用形態と利用状況 Invited

    溝口 佳寛

    KARRNシンポジウム  1993.11 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • グラフ変換によるネットワーク量計算システムの開発

    矢島 健一, 溝口 佳寛

    電気関係学会九州支部連合大会  1993.10 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • DCTの計算誤差を考慮した画像深層暗号

    原田 徳嗣, 溝口 佳寛

    電気関係学会九州支部連合大会  1996.9 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 単純遺伝的アルゴリズムの収束性に関する1考察

    溝口 佳寛

    応用数学合同研究集会  1996.12 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 暗号化中継サーバの安全性強化について

    中尾英樹, 溝口 佳寛

    電気関係学会九州支部連合大会  1997.10 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    応用数学合同研究集会  1999.12 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    溝口佳寛, 井口修一

    応用数学合同研究集会  2001.12 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

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

    電気関係学会九州支部連合大会  2002.9 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • Generalized Partitioned Quantum Cellular Automata and Quantumization of Classical CA International conference

    2002.9 

     More details

    Presentation type:Oral presentation (general)  

    Venue:Praha   Country:Czech Republic  

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

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

    第22回医療情報学連合大会  2002.11 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 障害者支援文書による仮想図書館管理インターフェース開発の試み

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

    第22回医療情報学連合大会  2002.11 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 有限遷移系の木表現式からの遷移図の自動作成

    井口修一, 溝口佳寛, 河原康雄

    応用数学合同研究集会  2002.12 

     More details

    Presentation type:Oral presentation (general)  

    Country:Japan  

  • 量子回路を実現する関数型言語の実現に向けて

    小田大伊輔, 溝口佳寛

    応用数学合同研究集会  2005.12 

     More details

    Presentation type:Oral presentation (general)  

    Venue:龍谷大学   Country:Japan  

  • 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 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  • Mathematical Aspects of Interpolation Technique for Computer Graphics Invited International conference

    Yoshihiro Mizoguchi

    PNU Mathematics Seminar  2013.4 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

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

    池田有希, 溝口 佳寛

    第10回ネットワーク生態学シンポジウム  2013.9 

     More details

    Language:Japanese  

    Venue:かんぽの宿有馬   Country:Japan  

▼display all

MISC

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

    溝口 佳寛

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

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • 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

     More details

    Language:English   Publishing type:Internal/External technical report, pre-print, etc.  

    Other Link: http://www.springer.com/jp/book/9789811009617

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

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

    2015.3

     More details

    Language:Japanese   Publishing type:Internal/External technical report, pre-print, etc.  

    Other Link: http://imi.kyushu-u.ac.jp/lasm/tpp2014/

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

    溝口 佳寛, 田上 真

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

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

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

  • Theory of Automata

    Yoshihiro Mizoguchi

    Mathematics for Industry, Vol.5, pp.337-348   2014.7

     More details

    Language:English   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

    Other Link: http://link.springer.com/chapter/10.1007%2F978-4-431-55060-0_25

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

    溝口 佳寛

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

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

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

    河原康雄・溝口佳寛

    電子情報通信学会・知識ベース「知識の森」   2011.3

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • Advanced Automotive Control and Mathematics

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

    MI Lecture Note Series, Vol.84   2021.12

     More details

    Language:English   Publishing type:Internal/External technical report, pre-print, etc.  

    Other Link: https://www.imi.kyushu-u.ac.jp/files/imipublishattachment/file/math_61e775b29e0d5.pdf

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

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

    分子シミュレーション学会誌"アンサンブル"   2021.12

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)  

  • 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

     More details

    Language:English   Publishing type:Internal/External technical report, pre-print, etc.  

  • Study Group Workshop 2013, 数学恊働プログラム報告書

    栄 伸一郎, 溝口 佳寛, 脇 隼人, 渋田 敬史

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

     More details

    Language:Japanese   Publishing type:Internal/External technical report, pre-print, etc.  

  • 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

     More details

    Language:English   Publishing type:Internal/External technical report, pre-print, etc.  

  • 博多ワークショップ「組み合わせとその応用」報告書

    溝口 佳寛, 脇 隼人, 平坂貢, 谷口哲至, 島袋修

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

     More details

    Language:Japanese   Publishing type:Internal/External technical report, pre-print, etc.  

  • 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

     More details

    Language:English   Publishing type:Internal/External technical report, pre-print, etc.  

  • ヒトの遺伝に関わる総合教育マルチメディア教材開発と教育方法に関する研究

    溝口佳寛, 巽純子, 古川徹生, 石井琢磨, 隈本覚, 佐藤大

    平成15年度松下視聴覚教育助成成果報告集   2003.9

     More details

    Language:Japanese   Publishing type:Internal/External technical report, pre-print, etc.  

  • 教室内連絡システムの利用形態と利用状況

    溝口 佳寛

    KARRNシンポジウム報告書   1993.11

     More details

    Language:Japanese   Publishing type:Internal/External technical report, pre-print, etc.  

▼display all

Works

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.

▼display all

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

     More details

    Type:Competition, symposium, etc. 

    Number of participants:50

  • Screening of academic papers

    Role(s): Peer review

    2023

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:2

  • Screening of academic papers

    Role(s): Peer review

    2022

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:2

  • Screening of academic papers

    Role(s): Peer review

    2021

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:2

    Proceedings of International Conference Number of peer-reviewed papers:1

  • Program Committee International contribution

    SCSS2020, The 9th International Symposium on Symbolic Computation Software Science  ( Gammarth Tunisia ) 2020.9

     More details

    Type:Competition, symposium, etc. 

  • 座長

    第31回代数, 論理, 幾何と情報科学研究集会  ( オンライン ) 2020.8

     More details

    Type:Competition, symposium, etc. 

    Number of participants:40

  • Scienctific Committee International contribution

    2020 Taipei International Conference on Combinatorics  ( Institute of Mathematics, Academia Sinica Taiwan ) 2020.2

     More details

    Type:Competition, symposium, etc. 

  • Screening of academic papers

    Role(s): Peer review

    2020

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:2

  • 世話人

    第30回代数, 論理, 幾何と情報科学研究集会  ( 九州大学伊都キャンパス ) 2019.8 - 2019.9

     More details

    Type:Competition, symposium, etc. 

    Number of participants:40

  • International Journal of Mathematics for Industry International contribution

    2019.1 - Present

     More details

    Type:Academic society, research group, etc. 

  • Screening of academic papers

    Role(s): Peer review

    2019

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:2

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

    Role(s): Review, evaluation

    大分県教育委員会  2018.4 - 2020.3

     More details

    Type:Scientific advice/Review 

  • Screening of academic papers

    Role(s): Peer review

    2018

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:2

  • 実行委員

    CG技術の実装と数理2017  ( 株式会社ディー・エヌ・エー ) 2017.9

     More details

    Type:Competition, symposium, etc. 

    Number of participants:50

  • Screening of academic papers

    Role(s): Peer review

    2017

     More details

    Type:Peer review 

    Number of peer-reviewed articles in foreign language journals:2

    Proceedings of International Conference Number of peer-reviewed papers:2

  • 司会(Moderator)

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

     More details

    Type:Competition, symposium, etc. 

  • プログラム委員長

    CG技術の実装と数理2016  ( 株式会社コロプラ, 株式会社スクウェア・エニックス ) 2016.7 - 2016.9

     More details

    Type:Competition, symposium, etc. 

    Number of participants:50

  • 司会(Moderator)

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

     More details

    Type:Competition, symposium, etc. 

  • Program Committee International contribution

    The 7th International Symposium on Symbolic Computation in Software Science  ( Ochanomizu University, Tokyo Japan ) 2016.3

     More details

    Type:Competition, symposium, etc. 

    Number of participants:100

  • 座長(Chairmanship) International contribution

    研究集会「高信頼な理論と実装のための定理証明および定理証明器」  ( 九州大学西新プラザ ) 2015.12

     More details

    Type:Competition, symposium, etc. 

  • 司会(Moderator) International contribution

    2015.10

     More details

    Type:Competition, symposium, etc. 

  • Organized Committee International contribution

    Forum "Math-for-Industry" 2015 -The Role and Importance of Mathematics in Innovation-  ( Kyushu University, Fukuoka Japan ) 2015.10

     More details

    Type:Competition, symposium, etc. 

    Number of participants:100

  • 座長(Chairmanship) International contribution

    2015.9 - 2015.10

     More details

    Type:Competition, symposium, etc. 

  • 幹事

    研究集会「高信頼な理論と実装のための定理証明および定理証明器」  ( 九州大学西新プラザ ) 2014.12

     More details

    Type:Competition, symposium, etc. 

    Number of participants:80

  • Organizing committee International contribution

    Korea-Japan workshop on algebra and combinatorics  ( KAIST Korea ) 2014.1

     More details

    Type:Competition, symposium, etc. 

    Number of participants:50

  • Committee International contribution

    Mathematical Progress in Expressive Image Synthesis  ( Centennial Hall Kyushu University School of Medicine, Fukuoka, Japan Japan ) 2013.10

     More details

    Type:Competition, symposium, etc. 

    Number of participants:69

  • 実行委員

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

     More details

    Type:Competition, symposium, etc. 

    Number of participants:500

  • Organizing committee International contribution

    Japan-Korea workshop on algebra and combinatorics  ( ACROS Fukuoka Japan ) 2013.1

     More details

    Type:Competition, symposium, etc. 

    Number of participants:50

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

    Role(s): Review, evaluation

    大分県教育委員会  2012.4 - 2020.3

     More details

    Type:Scientific advice/Review 

  • 座長(Chairmanship)

    情報処理学会九州支部 火の国情報シンポジウム  ( 大分大学 ) 2004.3

     More details

    Type:Competition, symposium, etc. 

▼display all

Research Projects

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

    2022.4 - 2026.3

    日本 

      More details

    Authorship:Coinvestigator(s) 

    今日, コンピュータプログラムは, デジタル情報の操作やそのネットワークに加えて, 外界との相互作用を行うため, プログラムの検証には, 形式論理と離散数学だけでなく, 実解析や確率論や幾何学などの数学が必要となり, プログラムの様々な副作用の厳密な検証が困難になっている. その複雑さを抑えるためには, プログラムの意味論の基礎的な研究と, 高度な数学に一貫性のある形式表現を与える統合的な研究の双方が必要である. 本研究では, 定理証明支援系Coq上, 実解析, 連続確率, 剛体幾何を形式化し, モナドと等式推論に基づいて, 形式的基盤の構築とその評価を行う.

  • 関係計算の形式化を用いた数学とソフトウェア検証のための理論構築

    2017.4 - 2020.3

    九州大学 

      More details

    Authorship:Principal investigator 

    高信頼ソフトウェア開発の基礎となる数理論理学や離散数学, 特に計算機による自動検証可能な形式証明を意識した, 関係計算による証明を用いた数学体系を広げること.

  • 関係計算の形式化を用いた数学とソフトウェア検証のための理論構築

    Grant number:17K05346  2017 - 2019

    日本学術振興会  科学研究費助成事業  基盤研究(C)

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 離散構造体の計算理論に関する形式的証明と自動検証

    2013.4 - 2015.3

    日本学術振興会 

      More details

    Authorship:Principal investigator 

    本研究は離散構造体の変換による計算理論をグラフ変換, セルオートマトン, 言語理論の一般化として定式化するものである. 特に, 関係計算を用いて形式的な自動検証可能な証明を与えながら理論を構築する. 離散構造物の変換(変形)による計算理論の構築は, それそのものでも数学的対象として興味深いが, 全く新しい仕組みの計算機の実現へのヒントを与える可能性もあり, 非常に将来性のある研究課題である. 「圏論」「関係計算理論」「オートマトン理論」を基盤に「グラフ」「セル」という離散構造体を利用した計算を一般化し離散構造体の変換による計算理論を形式的証明とともに研究対象として構築することが目的である.

  • 離散構造体の変換による計算理論と証明の自動検証

    Grant number:25610034  2013 - 2014

    科学研究費助成事業  挑戦的萌芽研究

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • デジタル映像数学の構築と表現技術の革新 (Mathematics for Expressive Image Synthesis)

    2010.10 - 2015.3

    JST(科学技術振興機構)(日本) 

      More details

    Authorship:Coinvestigator(s) 

    コンピュータグラフィックスに代表されるデジタル映像の応用は拡大の一途をたどっています。本研究は、作りやすさや効率を重視しつつ、従来よりさらに豊かな表現力を持つ映像の制作を可能にするために、デジタル映像表現を対象とする新たな数学分野形成の礎を築くことを目指します。特に、人間の動作や表情と流体の表現に焦点をあて、これらの映像表現の数学的特徴づけと、作り手の意図をより的確に反映できる数学モデルの構築を推進します。

▼display all

Educational Activities

  • ・Information and Mathematics
    ・Information and Computation
    ・Internet, Information and Mathematics

Class subject

  • 情報数学特論1

    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

  • 情報数学特論1

    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

  • 数理科学特論8

    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

  • 情報数学特論1

    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

  • 機能数理学概論I

    2014.4 - 2014.9   First semester

  • プログラミング演習

    2014.4 - 2014.9   First semester

  • 情報科指導法II

    2014.4 - 2014.9   First semester

  • 線形代数

    2013.10 - 2014.3   Second semester

  • 情報処理演習III

    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

  • 情報科指導法II

    2010.4 - 2010.9   First semester

  • 計算機数学概論

    2010.4 - 2010.9   First semester

  • 計算数理学

    2009.10 - 2010.3   Second semester

  • 情報処理演習III

    2009.10 - 2010.3   Second semester

  • 計算機数学概論

    2009.4 - 2009.9   First semester

  • 情報処理演習III

    2008.10 - 2009.3   Second semester

  • 計算数理学基礎・演習

    2008.4 - 2008.9   First semester

  • 情報科指導法II

    2008.4 - 2008.9   First semester

  • 計算数理学大意

    2007.10 - 2008.3   Second semester

  • 情報数学特論C

    2007.10 - 2008.3   Second semester

  • 情報数学B・同演習

    2007.4 - 2007.9   First semester

▼display all

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]

▼display all

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 

▼display all

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

     More details

    Audience: General, Scientific, Company, Civic organization, Governmental agency

    Type:Other

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

  • Campus Walk in 九州大学

    朝倉市立秋月中学校  2023.2

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

    福岡県立香住ヶ丘高校  2019.12

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

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

     More details

    Audience: General, Scientific, Company, Civic organization, Governmental agency

    Type:Lecture

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

    九州大学稲盛会館  2018.12

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

    福岡県立香住ヶ丘高校  2018.12

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    福岡県高等学校数学教育会・福岡県立筑紫丘高校  2018.10

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    九州数学教育会  2018.7

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

    佐賀県立佐賀西高校  2016.8

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

    九州数学教育会  2016.7

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

    大分県立舞鶴高等学校  2016.4

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

    九州数学教育会  2015.7

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

    福岡県立香住ヶ丘高校  2015.2

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

    九州数学教育会第4回算数・数学教育研修会  2014.12

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    第4回算数・数学教育研修会・九州数学教育会  2014.12

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    九州数学教育会  2014.7

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

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

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    九州数学教育会  2013.7

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Other

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

    第6回算数・数学教育研修会・九州数学教育会  2013.4

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    第6回算数・数学教育研修会・九州数学教育会  2012.4

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    山口県立徳山高等学校  2011.3

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

  • バーコードの数理

    大川市, 数理の翼「大川セミナー2010」  2010.8

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    第30回数理の翼夏季セミナー, 於. 国立大学九重共同研修所  2009.8

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    九州大学大学院数理学研究院  九州大学理学部大会議室   2007.8

     More details

    Audience: General, Scientific, Company, Civic organization, Governmental agency

    Type:Lecture

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

    福岡県教育委員会、福岡県スーパーハイスクール  2007.8

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

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

    福岡県立修猷館高等学校  2004.10

     More details

    Audience: Infants, Schoolchildren, Junior students, High school students

    Type:Seminar, workshop

▼display all

Media Coverage

  • 教育最前線(座談会) Newspaper, magazine

    西日本新聞  2004.2

     More details

    教育最前線(座談会)

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:マンチェスター工科大学