九州大学 研究者情報
論文一覧
溝口 佳寛(みぞぐち よしひろ) データ更新日:2023.11.22

教授 /  マス・フォア・インダストリ研究所 応用理論研究部門


原著論文
1. 檜貝信一, 溝口佳寛, 深作亮也, 計算材料科学の課題への数学・数理科学からのアプローチ:数理ベースプログラミング, Journal of Computer Chemistry, Japan, https://doi.org/10.2477/jccj.2021-0043, 20, 3, 112-115, 2021.11.
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, [URL].
3. 溝口佳寛, 棚橋典大, 文部科学省委託事業AIMaPの取り組みについて, 計測と制御, 58, 1, 38-41, 2019.01, 九州大学マス・フォア・インダストリ研究所が幹事拠点を務める文部科学省委託事業数学アドバンストイノベーションプラットフォーム事業(略称:AIMaP(Advanced Innovation powered by Mathematics Platform)の目的の一つである数学研究の知見を広く紹介し異分野との協働を促進するために開催した2018年度自動車技術会春季大会でのオーガナイズドセッション「自動車制御とモデリングの新しい課題と新しいアプローチ」の研究内容を紹介し, AIMaP事業を紹介したものである..
4. 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].
5. 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.
6. 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].
7. 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].
8. 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].
9. 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].
10. 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].
11. 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.
12. 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].
13. 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].
14. 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].
15. 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].
16. 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.
17. 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.
18. 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].
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. Y.Mizoguchi, Shortest path length calculation using graph transformations, Proc. 6th Joint Conference on Information Sciences, 358-361, 358-361, 2002.06.
29. 古川徹生, 巽純子, 溝口佳寛, 百渓英一, 武部啓, インターネットにおけるダウン症データライブラリの運営と展開, 医療情報学, Vol.21, pp.41-46, 2001.01.
30. 油利耕平, 溝口佳寛, RMIを用いた分散システム構築の自動化, ソフトウェア工学の基礎VII(日本ソフトウェア科学会FOSE2000), pp.245-248, 2001.01.
31. 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.
32. Y. Mizoguchi, Properties of graphs preserved by relational graph rewritings, Journal of Information Science, Vol.119,pp.289-299, 1999.01.
33. 溝口佳寛, 暗号化電子メールシステムの動向, 情報の科学と技術, Vol.46, pp.282-287, 1996.01.
34. 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.
35. 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].
36. 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].
37. 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.
38. 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.
39. 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].
40. Yoshihiro Mizoguchi, A Graph Reduction System Using Graph Terms, Bull. Informatics and Cybernetics, 25, 27-40, 1992.01.
41. Yasuo Kawahara, Yoshihiro Mizoguchi, Categorical assertion semantics in toposes, Advances in Software Science and Technology, 4, 137-150, 1992.01, [URL].
42. Yoshihiro Mizoguchi, Hiroshi Otsuka, Yasuo Kawahara, A Symbolic Calculus of Regular Expressions, Bull. of Informatics and Cybernetics, 22, 165-170, 1987.01.
43. 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.

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。