Yoshihiro Mizoguchi | Last modified dateļ¼2024.04.19 |
Professor /
Division of Applied Mathematics /
Institute of Mathematics for Industry
Papers
1. | H.Furuawa, T.Ishida, Y.Kawahara, Y.Mizoguchi, RELATIONAL CALCULUS AS A FORMAL SYSTEM , Bulletin of informatics and cybernetics, https://doi.org/10.5109/7170241, 56, 2, 1-22, 2024.03, 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.. |
2. | 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. |
3. | M.D.Akbar, Y.Mizoguchi, Adiwijaya, Class dependency of fuzzy relational database using relational calculus and conditional probability, Journal of Physics: Conference Series, 971, 1, 2018.01, [URL]. |
4. | M. D. Akbar, Y. Mizoguchi, A Formalization of a Fuzzy Relational Database Model using Relational Calculus, Bulletin of Infromatics and Cybernecs, 48, 83-104, 2016.12. |
5. | Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derounet-Jourdan, Verification of a brick Wang tiling algorithm, 7th International Symposium on Symbolic Computation in Software Science (SCSS2016), doi.org/10.29007/2m5f, 39, 107-116, 2016.03, [URL]. |
6. | 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), doi.org/10.29007/6fc5, 39, 60-80, 2016.03, [URL]. |
7. | Alexandre Derouet-Jourdan, Yoshihiro Mizoguchi, Marc Salvati, Wang Tiles Modeling of Wall Patterns, Mathematical Progress in Expressive Image Systems (MEIS2015), 64, 61-70, 2015.10, [URL]. |
8. | 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]. |
9. | 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]. |
10. | Mohamad Deni Akbar, Yoshihiro Mizoguchi, Fuzzy Relational Database Model Using Relational Calculus, Proc. of 7th International Conference on Soft Computing and Intelligent Systems, 1-4, 2014.12. |
11. | 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]. |
12. | 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]. |
13. | 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]. |
14. | 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]. |
15. | Yoshihiro Mizoguchi, Shuichi Inokuchi, Yasuo Kawahara, Sets of Collisions and Connected Subsets, Bull. of Informatics and Cybernetics, Bull. of Informatics and Cybernetics, 44, 111-115. |
16. | 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. |
17. | 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]. |
18. | 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. |
19. | Takahiro Ito, Shuichi Inokuchi, and Yoshihiro Mizoguchi, Abstract collision systems simulated by cellular automata, 3rd International Workshop on Natural Computing (IWNC 2008) Proceedings , pp 27-38, 2008.11. |
20. | 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. |
21. | A. Mikoda, S. Inokuchi, Y. Mizoguchi, M. Fujio, The number of orbits of periodic box-ball systems, Lecture Notes in Computer Science, Vol.4135(2006), pp.181-194., 2006.09. |
22. | S. Inokuchi, K. Honda, H. Lee, T. Sato, Y. Mizoguchi, Y. Kawahara, On reversible cellular automata with finite cell array., Lecture Notes in Computer Science, 3699, 130-141, Vol.3699(2005), pp.130-141., 2005.01. |
23. | N. Inui, S. Inokuchi, Y. Mizoguchi, N. Konno, Statistical properties of a quantum cellular automaton, Physical Review A, 10.1103/PhysRevA.72.032323, 72, 3, Vol.72(2005), 032323(8pages)., 2005.01. |
24. | S.Inokuchi and Y.Mizoguchi, Generalized partitioned quantum cellular automata and quantization of classical CA, Int. Journ. of Unconventional Computing, Vol.1(2005), 149-160., 2005.01. |
25. | Y.Mizoguchi and W.Kahl, Tagged Choice Graph Transformations (Abstract), Proc. of the 11th international meeting on DNA computing London,Canada, p.405, 2005.01. |
26. | M.Mori and Y.MIzoguchi, Graph transformation approach for the shortest path search and length calculation, Bull. of Informatics and Cybernetics, Vol.35, 57-67, 2003.01. |
27. | Y.Mizoguchi, Shortest path length calculation using graph transformations, Proc. 6th Joint Conference on Information Sciences, 358-361, 358-361, 2002.06. |
28. | 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. |
29. | Y. Mizoguchi, Properties of graphs preserved by relational graph rewritings, Journal of Information Science, Vol.119,pp.289-299, 1999.01. |
30. | Y.Kawahara, S.Kumamoto, Y.Mizoguchi, M.Nohmi, H.Ohtsuka, T.Shodai, On the Characteristic Numbers Associated with Two-Dimentional Cellular Automata ca-90(m,n), Journal of Mathematical Physics, Vol.36, pp.1435-1456, 1995.01. |
31. | 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]. |
32. | Yasuo Kawahara, Yoshihiro Mizoguchi, Relational Structures and Their Partial Morphisms in View of Single Pushout, Lecture Notes in Computer Science, 776, 218-233, 1994.01, [URL]. |
33. | Y.Mizoguchi, Y.Kawahara, Critidcal pairs of relational graph rewriting system, The 5th GraGra (International Workshop on Graph Grammars and Their Application to Computer Science), Williamsburg(USA), pp.326-331, 1994.01. |
34. | Y.Kawahara, Y.Mizoguchi, Relational Calculus and Categorical Assertion Semantics in Topoi, Information Modelling and Knowledge Bases IV, IOS Press, pp.305-318, 1993.01. |
35. | 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]. |
36. | Yoshihiro Mizoguchi, A Graph Reduction System Using Graph Terms, Bull. Informatics and Cybernetics, 25, 27-40, 1992.01. |
37. | Yasuo Kawahara, Yoshihiro Mizoguchi, Categorical assertion semantics in toposes, Advances in Software Science and Technology, 4, 137-150, 1992.01, [URL]. |
38. | Yoshihiro Mizoguchi, Hiroshi Otsuka, Yasuo Kawahara, A Symbolic Calculus of Regular Expressions, Bull. of Informatics and Cybernetics, 22, 165-170, 1987.01. |
39. | 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. |
Unauthorized reprint of the contents of this database is prohibited.