Updated on 2025/04/30

Information

 

写真a

 
MIZOGUCHI YOSHIHIRO
 
Organization
Institute of Mathematics for Industry Division of Applied Mathematics Professor
Education and Research Center for Mathematical and Data Science (Concurrent)
Research Institute for Information Technology (Concurrent)
School of Sciences Department of Mathematics(Concurrent)
Graduate School of Mathematics Department of Mathematics(Concurrent)
Joint Graduate School of Mathematics for Innovation (Concurrent)
Title
Professor
Contact information
メールアドレス
Profile
[Research] Fundamental theory of Software Science [Education] Theory and application of mathematical aspects of computer science topics. [Social Activities] Organizing educational workshops using computer networks.
External link

Research Areas

  • Informatics / Theory of informatics

  • Natural Science / Applied mathematics and statistics

Degree

  • Dr. Sci. ( 1992.9 Kyushu University )

Research History

  • Kyushu University Institute of Mathematics for Industry Professor 

    2016.8 - Present

      More details

  • Kyushu University Institute of Mathematics for Industry Associate Professor 

    2011.4 - 2016.7

      More details

    Country:Japan

  • The Open University of Japan  Visiting Associate Professor 客員准教授

    2008.4 - 2010.3

      More details

    Country:Japan

  • Kyushu University 大学院数理学研究院 Associate Professor 

    2000.10 - 2011.3

      More details

    Country:Japan

  • Kyushu Institute of Technology 情報工学部 Associate Professor 

    1993.4 - 2000.9

      More details

    Country:Japan

  • Kyushu Institute of Technology 情報工学部 Lecturer 

    1988.4 - 1993.3

      More details

    Country:Japan

▼display all

Education

  • Kyushu University   大学院理学研究科   数学専攻博士課程

    1985.4 - 1988.3

  • Kyushu University   大学院理学研究科   数学専攻修士課程

    1983.4 - 1985.3

  • Kyushu University   理学部   数学科

    1979.4 - 1983.3

      More details

    Country:Japan

Research Interests・Research Keywords

  • Research theme: Formal Foundations for Verification of Physical and Probabilistic Systems

    Keyword: Formal verification

    Research period: 2022.4 - Present

  • Research theme: Development of visualization technique using a theory of mathematics

    Keyword: Visualization, CG, Mathematics

    Research period: 2014.4 - 2018.3

  • Research theme: Formal proof and verification for discrete mathematics

    Keyword: formal verification

    Research period: 2013.4 - 2015.3

  • 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: Molecular computing as autonomous distributed computing

    Keyword: DNA computing

    Research period: 2002.4 - 2007.3

  • Research theme: Research on the application of graph rewriting to network invariant computation

    Keyword: graph transformation, algorithm, computational complexity, distributive computing

    Research period: 1993.4 - 1994.3

  • Research theme: Research on high-speed pattern matching algorithms for nucleotide sequence

    Keyword: パターン照合アルゴリズム

    Research period: 1992.4 - 1995.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)  

    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

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

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

    Journal of Computer Chemistry, Japan   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

    Repository Public URL: https://hdl.handle.net/2324/7326917

  • 文部科学省委託事業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

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

  • 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

  • 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

  • DNA計算に関するCoqモジュール開発

    早川銀河・溝口佳寛

    第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025)  2025.3  日本ソフトウェア科学会プログラミング論研究会

     More details

    Event date: 2025.3

    Language:Japanese   Presentation type:Poster presentation  

    Venue:ホテル明山荘(愛知県蒲郡市)   Country:Japan  

  • 統語意味論の実装とゼブラパズル解法への応用

    原田祐介・溝口佳寛・上山あゆみ

    電気・情報関係学会九州支部連合大会  2024.9  電気・情報関係学会九州支部連合大会委員会

     More details

    Event date: 2024.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:鹿児島大学工学部   Country:Japan  

    DOI: https://doi.org/10.11527/jceeek.2024.0_179

    Open data URL: https://doi.org/10.11527/jceeek.2024.0_179

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

    溝口佳寛

    日本数学会  2022.9 

     More details

    Event date: 2022.9

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

    Venue:北海道大学   Country:Japan  

    Repository Public URL: https://hdl.handle.net/2324/7326919

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

    Venue:University of Hawai`i, Manoa, USA   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)  

    Venue:Bali Nusa Dua Convention Center   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)  

    Venue:Vienna University of Technology   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)  

    Venue:City Campus of La Trobe University (in Melbourne CBD)   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  

  • 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

    Event date: 2014.12

    Language:English  

    Venue:Kitakyushu International Conference Center   Country:Japan  

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

  • 有限オートマトンとスティッカー系に関する 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)  

    Venue:Fukuoka International Congress Center   Country:Japan  

    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].

    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)  

    Venue:Shanghai Jiao Tong University   Country:Japan  

    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).

    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)  

    Venue:Gyeongju   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)  

    Venue:LORIA laboratory, Nancy   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)  

    Venue:Bristol   Country:United Kingdom  

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

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

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

     More details

    Event date: 2008.3

    Venue:京都産業大学   Country:Japan  

  • 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

    Event date: 2006.9

    Presentation type:Oral presentation (general)  

    Venue:York   Country:United Kingdom  

  • Coq 証明支援系によるDNA 計算モデルの形式化

    早川銀河・溝口佳寛

    電気・情報関係学会九州支部連合大会  2024.9  電気・情報関係学会九州支部連合大会委員会

     More details

    Event date: 2024.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:鹿児島大学工学部   Country:Japan  

    DOI: https://doi.org/10.11527/jceeek.2024.0_297

    Open data URL: https://doi.org/10.11527/jceeek.2024.0_297

  • ス マート衛星都市モビリティ サービス最適化問題 -SICE-JSAE-πMAPベンチマーク問題-

    安井裕司・向井正和・平野豊・青野俊宏・溝口佳寛・曹文静・川合信吉・伊藤太清・小林千紗

    自動車技術会2024年春季大会  2024.5  自動車技術会

     More details

    Event date: 2024.5

    Language:Japanese  

    Venue:パシフィコ横浜   Country:Japan  

    Other Link: https://www.ns.kogakuin.ac.jp/wwc1010/benchmark/

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

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

    日本コンピュータ化学会  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)  

    Venue:La Trobe University   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  

    Venue:Jakarta   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)  

    Venue:Pusan National University   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  

    Venue:Monterey   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)  

    Venue:Kyushu University, Fukuoka   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  

    Venue:Matsuyama   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.

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

    池田有希, 溝口 佳寛

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

     More details

    Event date: 2013.9

    Language:Japanese  

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

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

    Yoshihiro Mizoguchi

    PNU Mathematics Seminar  2013.4 

     More details

    Event date: 2013.4

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Pusan National University   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

    Event date: 2013.1

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Nagoya University   Country:Japan  

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

    溝口 佳寛

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

    Venue:マス・フォア・インダストリ研究所   Country:Japan  

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

  • Laplacian Energy of Directed Graphs and Minimizing Maximum Outdegree Algorithms

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

    第15回情報・統計科学シンポジウム  2010.12 

     More details

    Event date: 2010.12

    Presentation type:Oral presentation (general)  

    Venue:九州大学   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)  

    Venue:九州工業大学   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)  

    Venue:大分大学   Country:Japan  

    Joint Conference of Electrical and Electronics Engineers in Kyushu

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

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

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

     More details

    Event date: 2008.9

    Venue:大分大学   Country:Japan  

    Joint Conference of Electrical and Electronics Engineers in Kyushu

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

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

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

     More details

    Event date: 2008.4

    Presentation type:Oral presentation (general)  

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

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

    小田大伊輔, 溝口佳寛

    応用数学合同研究集会  2005.12 

     More details

    Event date: 2005.12

    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  

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

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

    応用数学合同研究集会  2002.12 

     More details

    Event date: 2002.12

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

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

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

     More details

    Event date: 2002.11

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

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

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

     More details

    Event date: 2002.11

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    S. Inokuchi, Y.Mizoguchi

    Eighth International Workshop on Cellular Automata  2002.9 

     More details

    Event date: 2002.9

    Presentation type:Oral presentation (general)  

    Venue:Praha   Country:Czech Republic  

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

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

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

     More details

    Event date: 2002.9

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    溝口佳寛, 井口修一

    応用数学合同研究集会  2001.12 

     More details

    Event date: 2001.12

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    Y.Mizoguchi

    応用数学合同研究集会  1999.12 

     More details

    Event date: 1999.12

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    中尾英樹, 溝口 佳寛

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

     More details

    Event date: 1997.10

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    溝口 佳寛

    応用数学合同研究集会  1996.12 

     More details

    Event date: 1996.12

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    原田 徳嗣, 溝口 佳寛

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

     More details

    Event date: 1996.9

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

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

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

     More details

    Event date: 1994.9

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    溝口 佳寛, 矢島 健一

    応用数学合同研究集会  1993.12 

     More details

    Event date: 1993.12

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    溝口 佳寛

    KARRNシンポジウム  1993.11 

     More details

    Event date: 1993.11

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    矢島 健一, 溝口 佳寛

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

     More details

    Event date: 1993.10

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    小方 学, 溝口 佳寛

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

     More details

    Event date: 1993.10

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

    本田 啓太郎, 溝口 佳寛

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

     More details

    Event date: 1993.10

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

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

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

     More details

    Event date: 1991.12

    Presentation type:Oral presentation (general)  

    Country:Japan  

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

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

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

     More details

    Event date: 1991.10

    Presentation type:Oral presentation (general)  

    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

    Kyushu University   2015.3

     More details

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

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

    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

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

    溝口佳寛

    2024.7

     More details

    Work type:Educational material   Location:九州大学  

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

    Repository Public URL: https://hdl.handle.net/2324/7326921

  • A certified Wang tiling program in Coq

    Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan

    2016.3

     More details

    Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan, A certified Wang tiling program in Coq.

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

     More details

    Mitsuhiro Kondo , Takuya Matsuo , Yoshihiro Mizoguchi and Hiroyuki Ochiai, A Mathematica module for Conformal Geometric Algebra and Origami Folding.

    Other Link: https://github.com/KyushuUniversityMathematics/MathematicaCGA

  • A certified Wang tiling program in Coq

    Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan

    2016.3

     More details

    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

     More details

    Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai, Yoshihiro Mizoguchi, ProbeDeformer for iPad.

    Other Link: https://github.com/KyushuUniversityMathematics/iPad-ProbeDeformer

  • ProbeDeformer for iPad

    Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai, Yoshihiro Mizoguchi

    2014.3

     More details

    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

     More details

    Yoshihiro Mizoguchi, Mathematica Modules for Graph Laplacians.

    Other Link: https://github.com/ymizoguchi/MathematicaGraphLaplacian

  • Haskell Modules for Automata and Sticker Systems

    Yoshihiro Mizoguchi

    2013.6

     More details

    Yoshihiro Mizoguchi, Haskell Modules for Automata and Sticker Systems.

    Other Link: https://github.com/ymizoguchi/HaskellStickerModules

  • Mathematica Modules for Graph Laplacians

    Yoshihiro Mizoguchi

    2013.6

     More details

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

    researchmap

▼display all

Professional Memberships

  • Association for Computing Machinery (ACM)

  • The Institute of Electronic Information and Communication Engineers (IEICE)

  • The Japan Society for Industrial and Applied Mathematics

  • Japan Society of Software Science and Technology

  • Information Processing Society of Japan

  • The Mathematical Society of Japan

  • the Society of Automotive Engineers of Japan, Inc.

  • The Institute of Electronic Information and Communication Engineers (IEICE)

      More details

  • the Society of Automotive Engineers of Japan, Inc.

      More details

  • The Mathematical Society of Japan

      More details

  • The Japan Society for Industrial and Applied Mathematics

      More details

  • Information Processing Society of Japan

      More details

  • Japan Society of Software Science and Technology

      More details

  • Association for Computing Machinery (ACM)

      More details

▼display all

Committee Memberships

  • 公益社団法人九州数学教育会   Chairman   Domestic

    2019.12 - 2020.11   

  • 日本数学会社会連携協議会   Steering committee member   Domestic

    2017.7 - 2019.6   

  • 日本自動車技術会自動車制御とモデル部門委員会   委員   Domestic

    2017.6 - Present   

  • 公益社団法人九州数学教育会   Executive   Domestic

    2013.7 - 2019.11   

  • 特定非営利活動法人数理の翼   Executive   Domestic

    2001.10 - 2003.9   

Academic Activities

  • New Encounters in Spatial Intelligence, Intelligent Mobility and Mathematics Part-1 & Part-2

    Role(s): Panel moderator, session chair, etc.

    計測自動制御学会  ( 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回代数, 論理, 幾何と情報科学研究集会  ( Japan ) 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回代数, 論理, 幾何と情報科学研究集会  ( Japan ) 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  ( Japan ) 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)

    研究集会「三次元幾何モデリング評価手法の提案とソフトウェア開発」  ( Japan ) 2016.8

     More details

    Type:Competition, symposium, etc. 

  • プログラム委員長

    CG技術の実装と数理2016  ( Japan ) 2016.7 - 2016.9

     More details

    Type:Competition, symposium, etc. 

    Number of participants:50

  • 司会(Moderator)

    研究集会「複数画像間のパターンマッチによる土木測量技術の開発」  ( Japan ) 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

    研究集会「高信頼な理論と実装のための定理証明および定理証明器」  ( Japan ) 2015.12

     More details

    Type:Competition, symposium, etc. 

  • 司会(Moderator) International contribution

    Forum "Math-for-Industry" 2015  ( Kyushu University, Fukuoka Japan ) 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

    Workshop on Formalization of Applied Mathematical Systems  ( University of Hawai`i, Manoa UnitedStatesofAmerica ) 2015.9 - 2015.10

     More details

    Type:Competition, symposium, etc. 

  • 幹事

    研究集会「高信頼な理論と実装のための定理証明および定理証明器」  ( Japan ) 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年度年会  ( Japan ) 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)

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

     More details

    Type:Competition, symposium, etc. 

  • 電子情報通信学会英文誌D International contribution

    2003.5

     More details

    Type:Peer review 

    researchmap

▼display all

Research Projects

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

    Grant number:22H00520  2022.4 - 2026.3

    Japan Society for the Promotion of Science  Grants-In-Aid for Scienctific Research  基盤研究(A)

    Affeldt Reynald

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

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

  • Mathematical foundations for the reconfiguration paradigm

    Grant number:20K03718  2020 - 2023

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

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

    Grant number:17K05346  2017 - 2019

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    溝口佳寛

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • モダン符号の形式化

    Grant number: 25289118  2013.4 - 2016.3

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

      More details

    Authorship:Coinvestigator(s) 

    大きな目的は,情報学の基礎理論の普遍性・正当性を確固たるものにすることである.本研究ではその手段として,証明支援系による形式化を行う.本研究成果により,「1.モダン符号における論理的な曖昧さを排除できる」,「2.諸概念や命題をライブラリ化し,それらを公開することで,世界の人達にとって符号理論の検証が容易になる」,「3.形式化によって符号理論の理解が深まり,理論の拡張へ繋げやすくなる」,といった意義が期待できる.さらに,これらの形式化により得られた知見を活かし「4.新たな誤り訂正符号や応用の発見・発明.それによる,符号理論の実用性や産業的価値の向上」とする.

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

    Grant number:25610034  2013.4 - 2015.3

    Grants-in-Aid for Scientific Research  Grant-in-Aid for challenging Exploratory Research

    溝口佳寛

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • クラス指向グラフパターン設計手法の開発とグラフマイニングへの応用

    Grant number:23500182  2011.4 - 2013.3

    九州大学  日本学術振興会   基盤研究(C)

    正代隆義

      More details

    Authorship:Collaborating Investigator(s) (not designated on Grant-in-Aid)  Grant type:Scientific research funding

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

    2010.10 - 2015.3

    JST(科学技術振興機構)(日本)  戦略的創造研究推進事業CREST  

    安生健一

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive funding other than Grants-in-Aid for Scientific Research

    Computer graphics (CG) is increasingly transforming every aspect of image creation and processing. This project pursues a new mathematical framework to greatly enhance the expressive ability of digital image creation. It seeks a methodology for making animations directable in a quicker and more intuitive way than ever before, even while focusing on challenging image categories such as humans and fluids.

  • 降水レーダを用いた次世代土砂災害予警報システムの構築とその応用

    Grant number:18360239  2006.4 - 2008.3

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

    森山聡之

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • グラフ言語の多項式時間学習アルゴリズムとその応用

    Grant number:17500009  2005.4 - 2008.3

    九州大学  科学研究費助成事業  基盤研究(C)

    正代隆義

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • 中等科学教育におけるオーダーメイドカリキュラムの開発および展開研究

    Grant number:15020105  2003 - 2006

    日本学術振興会  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research on Priority Areas

    泉俊輔

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • グラフ変換を用いた計算の単位の定数化と計算量理論の再構築

    Grant number:14658093  2002

    Grants-in-Aid for Scientific Research  Grant-in-Aid for Exploratory Research

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • ダウン症データライブラリ開発

    2002

    松下視聴覚教育研究財団  松下視聴覚教育助成事業 

    溝口佳寛

      More details

    Authorship:Principal investigator  Grant type:Donation

  • 自律的分散型計算としての分子計算 International coauthorship

    Grant number:14085204  2001.9 - 2007.3

    日本学術振興会  科学研究費助成事業  特定領域研究

    山下雅史

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • 生命の情報通信機能の解明と生命型情報通信ネットワークの構造デザイン

    Grant number: 10555128  1998.4 - 2001.3

    日本学術振興会  科学研究費助成金  基盤研究(B)

    岡本正宏

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

  • ネットワーク量を計算する並列アルゴリズムに関する研究

    Grant number:08780296  1996.4 - 1997.3

    日本学術振興会  科学研究費助成事業  奨励研究(A)

    溝口佳寛

      More details

    Authorship:Principal investigator  Grant type:Scientific research funding

  • 塩基配列用の高速パターン照合アルゴリズムの研究

    Grant number: 04261210  1992.4 - 1995.3

    日本学術振興会  科学研究費助成事業  重点領域研究

    篠原武

      More details

    Grant type:Scientific research funding

  • 塩基配列用の高速パタ-ン照合アルゴリズムの研究

    Grant number: 03266212  1991.4 - 1992.3

    日本学術振興会  科学研究費助成事業  重点領域研究

    篠原武

      More details

    Authorship:Coinvestigator(s)  Grant type:Scientific research funding

▼display all

Educational Activities

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

Class subject

  • 複素関数論

    2024.10 - 2025.3   Second semester

  • 情報社会における企業とその職業観

    2024.4 - 2025.3   Full year

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

    2024.4 - 2024.9   First semester

  • 情報科指導法Ⅱ

    2024.4 - 2024.9   First semester

  • 情報数学特論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

  • 数理科学特別講義Ⅷ

    2021.4 - 2021.9   First semester

  • 数理科学特論8

    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

  • 計算数理学I

    2019.4 - 2019.9   First semester

  • 情報数学・演習

    2019.4 - 2019.9   First semester

  • 複雑システム大意

    2018.10 - 2019.3   Second semester

  • 情報数学・演習

    2018.4 - 2018.9   First semester

  • 情報科指導法II

    2018.4 - 2018.9   First semester

  • 複素関数論

    2017.10 - 2018.3   Second semester

  • 情報数学特論1

    2017.10 - 2018.3   Second semester

  • 機能数理学概論Ⅰ

    2017.4 - 2017.9   First semester

  • MMA講究C

    2017.4 - 2017.9   First semester

  • 計算数理学Ⅰ

    2017.4 - 2017.9   First semester

  • 情報数学特論1

    2016.10 - 2017.3   Second semester

  • 機能数理学概論I

    2016.4 - 2016.9   First semester

  • 情報科指導法II

    2016.4 - 2016.9   First semester

  • 複素関数論

    2015.10 - 2016.3   Second semester

  • 複雑システム大意

    2015.4 - 2015.9   First semester

  • プログラミング演習

    2015.4 - 2015.9   First semester

  • 機能数理学概論I

    2015.4 - 2015.9   First semester

  • 複雑システム大意

    2014.10 - 2015.3   Second semester

  • 線形代数

    2014.10 - 2015.3   Second semester

  • プログラミング演習

    2014.4 - 2014.9   First semester

  • 情報科指導法II

    2014.4 - 2014.9   First semester

  • 機能数理学概論I

    2014.4 - 2014.9   First semester

  • 情報処理演習III

    2013.10 - 2014.3   Second semester

  • 線形代数

    2013.10 - 2014.3   Second semester

  • Computational Mathematics

    2013.4 - 2013.9   First semester

  • 線形代数

    2012.10 - 2013.3   Second semester

  • 情報科指導法II

    2012.4 - 2012.9   First semester

  • 線形代数・同演習

    2011.4 - 2011.9   First semester

  • 微分積分・同演習

    2011.4 - 2011.9   First semester

  • 計算機数学概論

    2010.4 - 2010.9   First semester

  • 情報科指導法II

    2010.4 - 2010.9   First semester

  • 情報処理演習III

    2009.10 - 2010.3   Second semester

  • 計算数理学

    2009.10 - 2010.3   Second semester

  • 計算機数学概論

    2009.4 - 2009.9   First semester

  • 情報処理演習III

    2008.10 - 2009.3   Second semester

  • 情報科指導法II

    2008.4 - 2008.9   First semester

  • 計算数理学基礎・演習

    2008.4 - 2008.9   First semester

  • 情報数学特論C

    2007.10 - 2008.3   Second semester

  • 計算数理学大意

    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

  • 2024  Development of Textbook and Teaching Material  誤り訂正符号の原理と応用について

     詳細を見る

    QFCプライマリー講座・講義

  • 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

  • Campus Walk in 九州大学

    朝倉市立秋月中学校  2023.2

     More details

    Type:Other

    researchmap

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

    九州大学  九州大学理学部棟・情報基盤センター  2023.2

     More details

    Type:Other

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

    researchmap

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

    福岡県立香住ヶ丘高校  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

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

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

    九州大学稲盛会館  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

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

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

     More details

    Type:Visiting lecture

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

    researchmap

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

    九州大学稲盛会館  2018.12

     More details

    Type:Other

    researchmap

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

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

     More details

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

    Type:Seminar, workshop

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

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

     More details

    Type:Seminar, workshop

    researchmap

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

    九州数学教育会  2018.7

     More details

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

    Type:Other

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

    九州数学教育会  2018.7

     More details

    Type:Other

    researchmap

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

    佐賀県立佐賀西高校  2016.8

     More details

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

    Type:Other

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

    佐賀県立佐賀西高校  2016.8

     More details

    Type:Other

    researchmap

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

    九州数学教育会  2016.7

     More details

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

    Type:Other

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

    九州数学教育会  2016.7

     More details

    Type:Other

    researchmap

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

    大分県立舞鶴高等学校  2016.4

     More details

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

    Type:Other

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

    大分県立舞鶴高等学校  2016.4

     More details

    Type:Other

    researchmap

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

    九州数学教育会  2015.7

     More details

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

    Type:Other

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

    九州数学教育会  2015.7

     More details

    Type:Other

    researchmap

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

    福岡県立香住ヶ丘高校  2015.2

     More details

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

    Type:Other

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

    福岡県立香住ヶ丘高校  2015.2

     More details

    Type:Other

    researchmap

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

    九州数学教育会第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

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

    九州数学教育会  2014.7

     More details

    Type:Other

    researchmap

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

    福岡県高等学校数学教育会筑後支部研究大会, 福岡県立伝習館高等学校  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

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

    九州数学教育会  2013.7

     More details

    Type:Other

    researchmap

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

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

     More details

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

    Type:Seminar, workshop

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

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

     More details

    Type:Seminar, workshop

    researchmap

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

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

     More details

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

    Type:Seminar, workshop

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

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

     More details

    Type:Seminar, workshop

    researchmap

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

    山口県立徳山高等学校  2011.3

     More details

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

    Type:Seminar, workshop

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

    山口県立徳山高等学校  2011.3

     More details

    Type:Seminar, workshop

    researchmap

  • バーコードの数理

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

     More details

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

    Type:Seminar, workshop

  • バーコードの数理

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

     More details

    Type:Seminar, workshop

    researchmap

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

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

     More details

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

    Type:Seminar, workshop

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

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

     More details

    Type:Seminar, workshop

    researchmap

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

    九州大学大学院数理学研究院  九州大学理学部大会議室   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

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

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

     More details

    Type:Visiting lecture

    researchmap

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

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

     More details

    Type:Seminar, workshop

    researchmap

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

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

     More details

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

    Type:Seminar, workshop

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

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

     More details

    Type:Seminar, workshop

    researchmap

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