Yoshihiro Mizoguchi | Last modified date：2016.10.22 |

Graduate School

Undergraduate School

E-Mail

Homepage

##### http://imi.kyushu-u.ac.jp/~ym/

Academic Degree

Dr. Sci.

Field of Specialization

Computational Mathematics

Outline Activities

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

Fundamental theory of Software Science

[Education]

Theory and application of mathematical aspects of computer science topics.

[Social Activities]

Organizing educational workshops using computer networks.

Research

**Research Interests**

- Computational model using discrete transition systems

keyword : Automaton, Discrete Transition System, Computational Model

2005.04. - Development of visualization technique using a theory of mathematics

keyword : Visualization, CG, Mathematics

2014.04～2018.03. - 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**

**Reports**

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

**Papers**

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

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

3. | Genki Matsuda, Shizuo Kaji, Hiroyuki Ochiai, Yoshihiro Mizoguchi, ProbeDeformer for iPad. [URL]. |

4. | Yoshihiro Mizoguchi, Mathematica Modules for Graph Laplacians. [URL]. |

5. | Yoshihiro Mizoguchi, Haskell Modules for Automata and Sticker Systems. [URL]. |

**Presentations**

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)

Educational

Unauthorized reprint of the contents of this database is prohibited.