Updated on 2024/12/19
博士（理学）
セルオートマトン
セルオートマトン
Others / Others / Fundamental informatics
Natural Science / Basic mathematics
Informatics / Theory of informatics
Natural Science / Applied mathematics and statistics
Kyushu University
Kyushu University
情報処理学会
電子情報通信学会
統計科学研究会
日本数学会
Commutativity of Composition of some n-Dimensional Cellular Automata on Monoids Reviewed
T.Ishida, S.Inokuchi
International Journal of Networking and Computing 12 ( 1 ) 188 - 203 2022.1
Turing Tumble による 1 次元セルオートマトンの実現 Reviewed
井口 修一，下之薗佳吾
電子情報通信学会 論文誌 J105-D ( 01 ) 110 - 120 2022.1
Reversibility of CA-150 with Symmetry Local Structure Reviewed
S. Inokuchi, T. Ishida
Bulletin of Informatics and Cybernetics 53 ( 5 ) 1 - 7 2021.11
ルールの発現が制御された CA による雪の結晶パターン生成とその性質について Reviewed
森下那穂，井口修一
電子情報通信学会 論文誌 Vol. J102-D ( No. 12 ) 764 - 772 2019.12
Propositional Logic and Cellular Automata on Monoids Reviewed
T. Ishida, S. Inokuchi and Y.Kawahara
Journal of Cellular Automata 12 ( 1-2 ) 27 - 45 2017.1
Cellular Automata Associated with Σ-Algebras Reviewed
S. INOKUCHI, H. FURUSAWA, T. ISHIDA and Y. KAWAHARA
IEICE Transactions on Information and Systems E99-D ( 3 ) 588 - 597 2016.3
Cellular Automata and Formulae on Monoids
Toshikazu Ishida, Shuichi Inokuchi and Yasuo Kawahara
Cellular Automata, LNCS 8751 55 - 64 2014
A Formulation of Composition for Cellular Automata on Groups Reviewed
S. Inokuchi, T. Ito, M. Fujio and Y. Mizoguchi
IEICE TRANSACTIONS on Information and Systems E97 ( 3 ) 448 - 454 2014
Formal Proofs for Automata and Sticker Systems
H. Tanaka, I. Sakashita, S. Inokuchi and Y. Mizoguchi
Proc. of 1st International Workshop on Computing and Networking 563 - 566 2013
Continuity of Inverse Transition Relations of 2-Neighborhood Cellular Automata
T. Ishida and S. Inokuchi
Proc. of 1st International Workshop on Computing and Networking 495 - 499 2013
Limit Cycle for Composited Cellular Automata
T. Ishia and S. Inokuchi
Proc. of 10th International Conference on Cellular Automata for Research and Industry, LNCS 7495 32 - 41 2012
Sets of Collisions and Connected Subsets Reviewed
S. Inokuchi, Y. Kawahara and Y. Mizoguchi
Bull. of Informatics and Cybernetics 44 111 - 115 2012
Composition, union and division of cellular automata on groups
T. Ito, M. Fujio, S. Inokuchi, Y. Mizoguchi
Proc. of the 16th International Workshop on Cellular Automata and Discrete Complex Systems, Automata2010 255 - 264 2010
Periodic behaviors of quantum cellular automata Reviewed
S. Inokuchi, Y. Mizoguchi, H. Y. Lee and Y. Kawahara
Bull. of Informatics and Cybernetics 40 17 - 50 2008
An abstract collision system
T. Ito, S. Inokuchi, Y. Mizoguchi
Automata-2008, Theory and Applications of Cellular Automata 339 - 355 2008
The number of orbits of periodic box-ball systems
A. Mikoda, S. Inokuchi, Y. Mizoguchi and M. Fujio
Proceedings of Fifth International Conference on Unconventional Computation, LNCS 4135 2006
On reversible cellular automata with finite cell array
S. Inokuchi, K. Honda, H. Lee, T. Sato, Y. Mizoguchi, Y. Kawahara
Proceedings of Fourth International Conference on Unconventional Computation, LNCS 3699 2005
Statistical properties of a quantum cellalar automaton Reviewed
N. Inui, S. Inokuchi, Y. Mizoguchi, N. Konno
Physical Review A 72 032323 2005
Generalized Partitioned Quantum Cellular Automata and Quantization of Classical CA Reviewed
S. Inokuchi and Y. Mizoguchi
Int. Journ. of Unconventional Computing 1 149 - 160 2005
Tree Expressions and Their Product Formula Reviewed
S. Inokuchi and Y. Kawahara
Bulletin of Informatics and Cybernetics 35 ( 1-2 ) 69 - 84 2003
On Behaviors of Cellular Automata with Rule 14 and 142 Reviewed
S. Inokuchi
Kyushu Journal of Mathematics 54 ( 1 ) 111 - 125 2000
On Limit Cycles and Transient Lengths of Cellular Automata with Threshold Rules Reviewed
S. Inokuchi and T. Sato
Bull. of Informatics and Cybernetics 32 ( 1 ) 23 - 60 2000
On Behaviors of Cellular Automata with Rule 156 Reviewed
S. Inokuchi
Bull. of Informatics and Cybernetics 30 ( 1 ) 121 - 131 1998
Commutativity of Composition of some Elementary Cellular Automata on Monoids
T.Ishida, S.Inokuchi
2020 Eighth International Symposium on Computing and Networking (CANDAR) 1128--133
Formalization of proofs using relational calculus
Y. Mizoguchi, H. Tanaka, S. Inokuchi
The International Symposium on Information Theory and Its Applications
Abstract collision systems simulated by cellular automata
T. Ito, S. Inokuchi, Y. Mizoguchi
Proc. of the 3rd International Workshop on Natural Computing, IWNC2008 27 - 38
Commutativity of Composition of some Elementary Cellular Automata with Essentially 2-Neighborhood Local Functions on Monoids
T.Ishida, S.Inokuchi
13th International Workshop on Parallel and Distributed Algorithms and Applications
2023 Introduction of Systems Management
2023 Elementary Mathematics
2023 Linear Algebra I
2023 Linear Algebra II
2023 Systems Management Seminar I
2023 Information Mathematics I
2023 Information Mathematics II
2023 Introduction of Mathmatics for
2023 Systems Management Seminar II
2023 Graduation Study
2022 Linear Algebra II
2022 Introduction of Systems Management
2022 Elementary Mathematics
2022 Linear Algebra I
2022 Introduction of Mathmatics for
2022 Information Mathematics II
2022 Systems Management Seminar I
2022 Information Mathematics I
2022 Systems Management Seminar II
2022 Graduation Study
2022 Advanced Lectures on Mathematical System
2021 Linear Algebra II
2021 Introduction of Systems Management
2021 Elementary Mathematics
2021 Linear Algebra I
2021 Introduction of Mathmatics for
2021 Information Mathematics II
2021 Systems Management Seminar I
2021 Information Mathematics I
2021 Systems Management Seminar II
2021 Graduation Study
2020 Introduction of Systems Management
2020 Elementary Mathematics
2020 Linear Algebra I
2020 Linear Algebra II
2020 Information Mathematics I
2020 Information Mathematics II
2020 Systems Management Seminar I
2020 Introduction of Mathmatics for
2020 Systems Management Seminar II
2020 Graduation Study
2019 Introduction of Systems Management
2019 Elementary Mathematics
2019 Linear Algebra I
2019 Linear Algebra II
2019 Systems Management Seminar I
2019 Introduction of Mathmatics for
2019 Information Mathematics I
2019 Information Mathematics II
2019 Systems Management Seminar II
2019 Graduation Study
2018 Introduction of Systems Management
2018 Elementary Mathematics
2018 Linear Algebra I
2018 Linear Algebra II
2018 Information Mathematics I
2018 Information Mathematics II
2018 Systems Management Seminar I
2018 Introduction of Mathmatics for
2018 Systems Management Seminar II
2018 Graduation Study
2017 Introduction of Systems Management
2017 Elementary Mathematics
2017 Linear Algebra I
2017 Linear Algebra II
2017 Information Mathematics II
2017 Introduction of Mathmatics for
2017 Information Mathematics I
2017 Systems Management Seminar I
2017 Systems Management Seminar II
2017 Graduation Study
2016 Introduction of Systems Management
2016 Linear Algebra I
2016 Linear Algebra II
2016 Information Mathematics II
2016 Introduction of Mathmatics for
2016 Information Mathematics I
2016 Systems Management Seminar I
2016 Seminar in Systems Management II
2016 Graduation Study
