Yoshihiro Mizoguchi | Last modified date：2019.06.20 |

Graduate School

Undergraduate School

E-Mail

Homepage

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

Academic Degree

Dr. Sci.

Country of degree conferring institution (Overseas)

No

Field of Specialization

Computational Mathematics

Total Priod of education and research career in the foreign country

01years00months

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. | Alex Derouet-Jourdan, Shizuo Kaji, Yoshihiro Mizoguchi, A linear algorithm for brick Wang tiling, Japan J. Indust. Appl. Math., https://doi.org/10.1007/s13160-019-00369-z, 1-13, 2019.04. |

2. | 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, 107-116, 2016.03, [URL]. |

3. | 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, 60-80, 2016.03, [URL]. |

4. | Mitsugu Hirasaka, Kyoung-Tark Kim, Yoshihiro Mizoguchi, Uniqueness of Buston Hadamard matrices of small degrees, Journal of Discrete Algorithms, doi:10.1016/j.jda.2015.05.009, 34, 70-77, 2015.06, [URL]. |

5. | Yuki Ikeda, yasunari fukai, Yoshihiro Mizoguchi, A Property of Random Walks on a Cycle Graph, Pacific Journal of Mathematics for Industry, DOI:10.1186/s40736-015-0015-3 , 7, 3, 2015.12, [URL]. |

6. | Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi, Formal Proofs for Automata and Sticker Systems, Proc. of First International Symposium on Computing and Networking, 10.1109/CANDAR.2013.100, 2013.12, [URL]. |

7. | 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, 448-454, 2014.03, [URL]. |

8. | 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), 71-76, 2012.07, [URL]. |

9. | 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, 59-72, 2013.04, [URL]. |

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

11. | K.K.K.R.Perera, Yoshihiro Mizoguchi, Implementation of Haskell Modules for Automata and Sticker Systems, Journal of Math-for-industory, 1, 51-56, 2009.04, [URL]. |

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

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

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

15. | Y. Mizoguchi, Properties of graphs preserved by relational graph rewritings, Journal of Information Science, Vol.119,pp.289-299, 1999.01. |

16. | Yoshihiro Mizoguchi, Yasuo Kawahara, Relational Graph Rewritings, Theoretical Computer Science, 10.1016/0304-3975(94)00076-U, 141, 1-2, 311-328, 1995.01, [URL]. |

17. | 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, 2-12, 1993.01, [URL]. |

18. | Yoshihiro Mizoguchi, Powerset Monad, Filter Monad and Primefilter Monad in the Category of Sets with Monoid Actions, Bull. of Informatics and Cybernetics, 21, 83-95, 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, [URL]. |

2. | Mohammad Deni Akbar, Yoshihiro Mizoguchi, Fuzzy Functional and Implication Dependency using Relational Calculus, The Asian Mathematical Conference (AMC2016), 2016.07, [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, [URL]. |

4. | Yoshihiro Mizoguchi, Theory of Relational Calculus and its formalization, Universal Structures in Mathematics and Computing, 2016.06, [URL]. |

5. | Mohamad Deni Akbar, Yoshihiro Mizoguchi, Relational Database Model Using Relational Calculus, 7th International Conference on Soft Computing and Intelligent Systems, 2014.12, [URL]. |

6. | Yoshihiro Mizoguchi, Mathematical Aspect of Interpolation Technique for Computer Graphics, Forum "Math-for-Industry" 2012 Information Recovery and Discovery, 2012.10, [URL], 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]. . |

7. | Yoshihiro Mizoguchi, Generalization of Compositions of Cellular Automata on Groups, Workshop on Algebraic Combinatorics, Sept. 2011,, 2011.09, [URL], 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).. |

8. | Laplacian energy of directed graphs. |

9. | Composition, union and division of cellular automata on groups, [URL]. |

**Membership in Academic Society**

- the Society of Automotive Engineers of Japan, Inc.
- 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.