2024/12/19 更新

写真a

イノクチ　シュウイチ
井口　修一
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 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年度   システムマネジメント基礎

  • 2023年度   基礎数学

  • 2023年度   線形代数Ⅰ

  • 2023年度   線形代数Ⅱ

  • 2023年度   システムマネジメントゼミナールⅠ

  • 2023年度   情報数学Ⅰ

  • 2023年度   情報数学Ⅱ

  • 2023年度   情報数理入門

  • 2023年度   システムマネジメントゼミナールⅡ

  • 2023年度   卒業研究

  • 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年度   卒業研究

▼全件表示