Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
Yoshihiro Mizoguchi Last modified date:2016.10.22

Graduate School
Undergraduate School

Academic Degree
Dr. Sci.
Field of Specialization
Computational Mathematics
Outline Activities
Fundamental theory of Software Science

Theory and application of mathematical aspects of computer science topics.

[Social Activities]
Organizing educational workshops using computer networks.
Research Interests
  • Computational model using discrete transition systems
    keyword : Automaton, Discrete Transition System, Computational Model
  • Development of visualization technique using a theory of mathematics
    keyword : Visualization, CG, Mathematics
  • Resonstruction of computational formal theory using graph transformations
    keyword : graph transformation, algorithm, computational complexity, distributive computing
    1993.03Rebuilding of formulation of computational theory using graph transformation..
Current and Past Project
  • 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.
Academic Activities
1. Bob Anderssen, Philip Broadbridge, Yasuhide Fukumoto, Naoyuki Kamiyama, Yoshihiro Mizoguchi, Konrad Polthier, OSAMU SAEKI, The Role and Importance of Mathematics in Innovation, Proceedings of the Forum "Math-for-Industry" 2015, Mathematics for Industry 25, Springer, 2016.04, [URL].
2. Yoshihiro Mizoguchi, Theory of Automata, Mathematics for Industry, Vol.5, pp.337-348, 2014.07, [URL].
3. Theorem proving and provers for reliable theory and implementations (TPP2014), [URL].
1. Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derounet-Jourdan, Verification of a brick Wang tiling algorithm, 7th International Symposium on Symbolic Computation in Software Science (SCSS2016), 39, 2016.03, [URL].
2. MItsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai, A Mathematica module for Conformal Geometric Algebra and Origami Folding, 7th International Symposium on Symbolic Computation in Software Science (SCSS2016), 39, 2016.03, [URL].
3. Mitsugu Hirasaka, Kyoung-Tark Kim, Yoshihiro Mizoguchi, Uniqueness of Buston Hadamard matrices of small degrees, Journal of Discrete Algorithms, 34, 2015.06, [URL].
4. Yuki Ikeda, yasunari fukai, Yoshihiro Mizoguchi, A Property of Random Walks on a Cycle Graph, Pacific Journal of Mathematics for Industry, 7, 3, 2015.12, [URL].
5. Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi, Formal Proofs for Automata and Sticker Systems, Proc. of First International Symposium on Computing and Networking, 2013.12, [URL].
6. Shuichi Inokuchi, Takahiro Ito, Mitsuhiko Fujio, Yoshihiro Mizoguchi, A formulation of Composition for Cellular Automata on Groups, IEICE Transactions on Information and Systems, E97- D, 3, 2014.03, [URL].
7. Shizuo Kaji, Sanpei Hirose, Yoshihiro Mizoguchi, Ken Anjyo, Mathematical Analysis on Affine Maps for 2D Shape Interpolation, Proceedings of SCA2012 (ACM/Eurographics Symposium on Computer Animation 2012), 2012.07, [URL].
8. Yoshihiro Mizoguchi, K.K.K.R. Perera, Bipartition of graphs based on the normalized cut and spectral methods, Part I: Minimum normalized cut, Journal of Math-for-Industry, 5, 2013.04, [URL].
9. T. Ito, M. Fujio, S. Inokuchi, Y. Mizoguchi, Composition, union and division of cellular automata on groups
, Proc. of the 16th International Workshop on Cellular Automata and Discrete Complex Systems, Automata2010, 255-264, 2010.06.
10. K.K.K.R.Perera, Yoshihiro Mizoguchi, Implementation of Haskell Modules for Automata and Sticker Systems, Journal of Math-for-industory, 1, 2009.04, [URL].
11. S. Inokuchi, Y. Mizoguchi, H. Y. Lee and Y. Kawahara, Periodic behaviors of quantum cellular automata, Bull. of Informatics and Cybernetics, Vol.40(2008), pp.17-50.
, 2008.12.
12. T. Ito, S. Inokuchi, Y. Mizoguchi, An abstract collesion system, Automata-2008, Theory and Applications of Cellular Automata, Luniver Press, pp.339-355., 2008.06.
13. Y. Mizoguchi and P. Loucopoulos, Formalizing the Definition and Evolution of Models in a Repository, Proc. of the 5th RelMiCS (Seminar on Relational Methods in Computer Science), Quebec(Canada), pp.203-209, 2000.01.
14. Y. Mizoguchi, Properties of graphs preserved by relational graph rewritings, Journal of Information Science, Vol.119,pp.289-299, 1999.01.
15. Yoshihiro Mizoguchi, Yasuo Kawahara, Relational Graph Rewritings, Theoretical Computer Science, 141, 1-2, 1995.01, [URL].
16. Yoshihiro Mizoguchi, A Graph Structure over the Category of Sets and Partial Functions, Cahiers de topologie et g'eom'etrie diff'erentielle cat'egoriques, 34, 1993.01, [URL].
17. Yoshihiro Mizoguchi, Powerset Monad, Filter Monad and Primefilter Monad in the Category of Sets with Monoid Actions, Bull. of Informatics and Cybernetics, 21, 1985.01.
Works, Software and Database
1. Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan, A certified Wang tiling program in Coq.
2. Mitsuhiro Kondo , Takuya Matsuo , Yoshihiro Mizoguchi and Hiroyuki Ochiai, A Mathematica module for Conformal Geometric Algebra and Origami Folding.
3. Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai, Yoshihiro Mizoguchi, ProbeDeformer for iPad.
4. Yoshihiro Mizoguchi, Mathematica Modules for Graph Laplacians.
5. Yoshihiro Mizoguchi, Haskell Modules for Automata and Sticker Systems.
1. Yoshihiro Mizoguchi, A Coq Library for the Theory of Realational Calculus, Workshop on Formalization of Applied Mathematical Systems, 2016.09.30, [URL].
2. Mohammad Deni Akbar, Yoshihiro Mizoguchi, Fuzzy Functional and Implication Dependency using Relational Calculus, The Asian Mathematical Conference (AMC2016), 2016.07.29, [URL].
3. Yoshihiro Mizoguchi, Hiroyuki Ochiai, Symbolic Computations in Conformal Geometric Algebra for Three Dimensional Origami Folds, First International Workshop on Computational Origami and Applications, 2016.07.20, [URL].
4. Yoshihiro Mizoguchi, Theory of Relational Calculus and its formalization, Universal Structures in Mathematics and Computing, 2016.06.29, [URL].
5. Mohamad Deni Akbar, Yoshihiro Mizoguchi, Relational Database Model Using Relational Calculus, 7th International Conference on Soft Computing and Intelligent Systems, 2014.12.04, [URL].
6. Yoshihiro Mizoguchi, Mathematical Aspect of Interpolation Technique for Computer Graphics, Forum "Math-for-Industry" 2012 Information Recovery and Discovery, 2012.10.22, [URL].
7. Yoshihiro Mizoguchi, Generalization of Compositions of Cellular Automata on Groups, Workshop on Algebraic Combinatorics, Sept. 2011,, 2011.09.17, [URL].
8. Laplacian energy of directed graphs.
9. Composition, union and division of cellular automata on groups, [URL].
Membership in Academic Society
  • The Mathematical Society of Japan
  • Information Processing Society of Japan
  • Japan Society of Software Science and Technology
  • The Japan Society for Industrial and Applied Mathematics
  • The Institute of Electronic Information and Communication Engineers (IEICE)
  • Association for Computing Machinery (ACM)
Other Educational Activities
  • 2016.09.