所属
情報工学部 情報マネジメント学科 教授
大学院 工学研究科 修士課程 システムマネジメント専攻 教授
大学院 工学研究科 修士課程 システムマネジメント専攻 教授
職名
教授
連絡先
外部リンク
イノクチ シュウイチ
井口 修一
INOKUCHI Shuichi
学位
-
博士（理学）
研究キーワード
-
セルオートマトン
研究分野
-
その他 / その他 / 情報学基礎
学歴
-
九州大学
-
九州大学
所属学協会
-
情報処理学会
-
電子情報通信学会
-
統計科学研究会
-
日本数学会
論文
-
Commutativity of Composition of some n-Dimensional Cellular Automata on Monoids 査読
T.Ishida, S.Inokuchi
International Journal of Networking and Computing 12 ( 1 ) 188 - 203 2022年1月
-
Turing Tumble による 1 次元セルオートマトンの実現 査読
井口 修一，下之薗佳吾
電子情報通信学会 論文誌 J105-D ( 01 ) 110 - 120 2022年1月
-
Reversibility of CA-150 with Symmetry Local Structure 査読
S. Inokuchi, T. Ishida
Bulletin of Informatics and Cybernetics 53 ( 5 ) 1 - 7 2021年11月
-
ルールの発現が制御された CA による雪の結晶パターン生成とその性質について 査読
森下那穂，井口修一
電子情報通信学会 論文誌 Vol. J102-D ( No. 12 ) 764 - 772 2019年12月
-
Propositional Logic and Cellular Automata on Monoids 査読
T. Ishida, S. Inokuchi and Y.Kawahara
Journal of Cellular Automata 12 ( 1-2 ) 27 - 45 2017年1月
-
Cellular Automata Associated with Σ-Algebras 査読
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 査読
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 査読
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 査読
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 査読
N. Inui, S. Inokuchi, Y. Mizoguchi, N. Konno
Physical Review A 72 032323 2005年
-
Generalized Partitioned Quantum Cellular Automata and Quantization of Classical CA 査読
S. Inokuchi and Y. Mizoguchi
Int. Journ. of Unconventional Computing 1 149 - 160 2005年
-
Tree Expressions and Their Product Formula 査読
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 査読
S. Inokuchi
Kyushu Journal of Mathematics 54 ( 1 ) 111 - 125 2000年
-
On Limit Cycles and Transient Lengths of Cellular Automata with Threshold Rules 査読
S. Inokuchi and T. Sato
Bull. of Informatics and Cybernetics 32 ( 1 ) 23 - 60 2000年
-
On Behaviors of Cellular Automata with Rule 156 査読
S. Inokuchi
Bull. of Informatics and Cybernetics 30 ( 1 ) 121 - 131 1998年
-
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
-
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
担当授業科目（学内）
-
2022年度 線形代数Ⅱ
-
2022年度 システムマネジメント基礎
-
2022年度 基礎数学
-
2022年度 線形代数Ⅰ
-
2022年度 情報数理入門
-
2022年度 情報数学Ⅱ
-
2022年度 システムマネジメントゼミナールⅠ
-
2022年度 情報数学Ⅰ
-
2022年度 システムマネジメントゼミナールⅡ
-
2022年度 卒業研究
-
2022年度 数理システム特論
-
2021年度 線形代数Ⅱ
-
2021年度 システムマネジメント基礎
-
2021年度 基礎数学
-
2021年度 線形代数Ⅰ
-
2021年度 情報数理入門
-
2021年度 情報数学Ⅱ
-
2021年度 システムマネジメントゼミナールⅠ
-
2021年度 情報数学Ⅰ
-
2021年度 システムマネジメントゼミナールⅡ
-
2021年度 卒業研究
-
2020年度 システムマネジメント基礎
-
2020年度 基礎数学
-
2020年度 線形代数Ⅰ
-
2020年度 線形代数Ⅱ
-
2020年度 情報数学Ⅰ
-
2020年度 情報数学Ⅱ
-
2020年度 システムマネジメントゼミナールⅠ
-
2020年度 情報数理入門
-
2020年度 システムマネジメントゼミナールⅡ
-
2020年度 卒業研究
-
2019年度 システムマネジメント基礎
-
2019年度 基礎数学
-
2019年度 線形代数Ⅰ
-
2019年度 線形代数Ⅱ
-
2019年度 システムマネジメントゼミナールⅠ
-
2019年度 情報数理入門
-
2019年度 情報数学Ⅰ
-
2019年度 情報数学Ⅱ
-
2019年度 システムマネジメントゼミナールⅡ
-
2019年度 卒業研究
-
2018年度 システムマネジメント基礎
-
2018年度 基礎数学
-
2018年度 線形代数Ⅰ
-
2018年度 線形代数Ⅱ
-
2018年度 情報数学Ⅰ
-
2018年度 情報数学Ⅱ
-
2018年度 システムマネジメントゼミナールⅠ
-
2018年度 情報数理入門
-
2018年度 システムマネジメントゼミナールⅡ
-
2018年度 卒業研究
-
2017年度 システムマネジメント基礎
-
2017年度 基礎数学
-
2017年度 線形代数Ⅰ
-
2017年度 線形代数Ⅱ
-
2017年度 情報数学Ⅱ
-
2017年度 情報数理入門
-
2017年度 情報数学Ⅰ
-
2017年度 システムマネジメントゼミナールⅠ
-
2017年度 システムマネジメントゼミナールⅡ
-
2017年度 卒業研究
-
2016年度 システムマネジメント基礎
-
2016年度 線形代数Ⅰ
-
2016年度 線形代数Ⅱ
-
2016年度 情報数学Ⅱ
-
2016年度 情報数理入門
-
2016年度 情報数学Ⅰ
-
2016年度 システムマネジメントゼミナールⅠ
-
2016年度 システムマネジメントゼミナールⅡ
-
2016年度 卒業研究