工学部 / 情報工学科 / 准教授 / 今井 勝喜
氏名 | 今井 勝喜 (いまい かつのぶ) |
---|---|
所属 | 工学部 情報工学科 |
職名 | 准教授 |
k。imai ★ fukuyama-u、ac.jp 迷惑メール対策として「@」,「.」を置き換えて表示しています.
|
|
TEL | 084-936-2112 (ext. 4151) |
FAX | |
WEB | https://www.wolframcloud.com/obj/imai/ |
更新日時 | 2023-09-05 11:01:02 |
学歴 | 1990年3月 大阪大学基礎工学部生物工学科卒業 |
1992年3月 大阪大学大学院基礎工学研究科物理系博士前期課程修了 | |
1993年5月 大阪大学大学院基礎工学研究科物理系博士後期課程退学 | |
学位・資格 | 博士 (工学) 大阪大学 1999年2月 |
職歴 | 広島大学工学部 助手 (1993年6月 - 2009年4月) |
広島工業大学環境学部 非常勤講師 (2007年4月 - 2008年3月) | |
フランス国立科学研究センター 短期研究員 (2008年6月 - 2008年9月) | |
広島大学大学院工学研究科 助教 (2009年4月 - 2020年4月) | |
広島大学大学院先端理工系科学研究科 助教 (2020年4月 - 2023年3月) | |
福山大学工学部 准教授 (2023年4月 - ) | |
放送大学 分担協力講師 (2023年4月 - ) | |
専門分野 | 自然計算 |
研究テーマ | 物理的な制約を伴うセル・オートマトンの計算能力 |
タイリングのコロナとその性質 | |
VR/ARによる可視化とプレゼンテーション | |
認知能力変動を考慮したユーザインターフェース | |
研究テーマのキーワード | セル・オートマトン, 可逆性, タイリング, VR, AR |
所属学会 | 電子情報通信学会, 人工知能学会, みんなの認知症情報学会, IFIP Working Group TC 1.5 |
学会活動 | 電子情報通信学会英文論文誌D 編集委員 (2015年4月 - 2016年3月) |
IFIP Working Group TC 1.5, Secretary (2016年 - ) | |
電子情報通信学会 中国支部学生会顧問兼支部運営委員 (2021年4月 - 2022年3月) | |
人工知能学会ナチュラルコンピューティング研究会主査(2022年4月 - ) | |
共同研究・科研費採択課題等実績 | 2017-2020年 科学研究費補助金基盤研究(C) 「保存的セルオートマトンの構造とその計算能力」 研究代表者 |
2014-2016年 科学研究費補助金基盤研究(C) 「準周期タイリング上のセル・オートマトンに関する研究」 研究代表者 | |
2010-2012年 科学研究費補助金基盤研究(C) 「保存的なセル・オートマトンのプログラミングに関する研究」 研究代表者 | |
2006年 文部科学省大学教育の国際化推進プログラム(海外先進研究実践支援) 「反応・拡散セルオートマトンに関する研究」研究代表者 | |
2004-2007年 科学研究費補助金基盤研究(C) 「将来の計算機構としての可逆コンピューティングの研究」 研究分担者 | |
2000-2003年 科学研究費補助金基盤研究(C) 「将来の計算機構としての可逆コンピューティングの研究」 研究分担者 | |
1998-1999年 科学研究費補助金基盤研究(C) 「可逆論理を基礎とする新しい計算メカニズムの理論的研究」 研究分担者 | |
1996年度 科学研究費補助金基盤研究(C) 「可逆論理に基づく新しい計算機構の研究」 研究分担者 | |
主な担当授業科目 | データ構造とアルゴリズム, 離散数学, 応用数学, 計算工学応用特論 |
主な学内役職・委員 | |
社会活動 | |
受賞,その他の実績 |
★ | 提出者 | Katsunobu Imai | ||||
---|---|---|---|---|---|---|
1 | 論文題目 | Computation-universality, synchronization and self-reproduction in reversible and conservative cellular automata | ||||
提出大学 | 大阪大学 | |||||
提出年 | 1999 | 提出月 | 2 |
★ | 著者 | Andrew Adamatzky (Ed.) | ||||
---|---|---|---|---|---|---|
2 | 書名 | Reversibility and Universality | ||||
出版社 | Springer | |||||
頁数(担当頁) | pp.269-277, 373-383 | 出版年 | 2018 | 出版月 | ||
★ | 著者 | Andrew Adamatzky, Genaro J. Martínez (Ed.) | ||||
3 | 書名 | Designing Beauty: The Art of Cellular Automata | ||||
出版社 | Springer | |||||
頁数(担当頁) | pp.155-158 | 出版年 | 2016 | 出版月 | ||
著者 | 国武豊喜監修, 下村政嗣, 山口智彦編 (森田 憲一, 今井 克暢) | |||||
4 | 書名 | 自己組織化ハンドブック 5.1節 セルラーオートマトン | ||||
出版社 | エヌ・ティー・エス | |||||
頁数(担当頁) | 421-424 | 出版年 | 2009 | 出版月 | ||
★ | 著者 | Andrew Adamatzky (Ed.) | ||||
5 | 書名 | Collision-Based Computing | ||||
出版社 | Springer-Verlag London | |||||
頁数(担当頁) | pp.161-199 | 出版年 | 2009 | 出版月 |
著者 | Katsunobu Imai, Hiroki Kitagawa, Kazuma Nakahara | |||||
---|---|---|---|---|---|---|
6 | 論文題目 | On Visualization of Three-Dimensional Cellular Automata and Tilings with Head-Mounted Display | ||||
掲載誌 | Proc. Asian Symposium on Cellular Automata Technology, Springer Nature Singapore | |||||
巻,号,頁 | 15-21 | 発行年 | 2023 | 発行月 | ||
著者 | Toru Nakanishi, Atsuki Iriboshi, Katsunobu Imai | |||||
7 | 論文題目 | Short DL-based Blacklistable Ring Signatures from DualRing | ||||
掲載誌 | Proc. Tenth International Symposium on Computing and Networking (CANDAR), 137-143 | |||||
◎ | 巻,号,頁 | 137-143 | 発行年 | 2022 | 発行月 | |
著者 | Taiga Tatsukawa, Teruaki Kitasuka, Katsunobu Imai | |||||
8 | 論文題目 | A Method for Selecting Relay Nodes in Delay Tolerant Network Routing U sing Periodicity | ||||
掲載誌 | Proc. TENCON 2022-2022 IEEE Region 10 Conference (TENCON) | |||||
◎ | 巻,号,頁 | 1-6 | 発行年 | 2022 | 発行月 | |
★ | 著者 | Hisamichi Ishizaka, GilTak Kong, Katsunobu Imai | ||||
9 | 論文題目 | The Weak Universality of Two-Dimensional Five-State von Neumann Neighborhood Number-Conserving Cellular Automaton | ||||
掲載誌 | New Generation Computing | |||||
◎ | 巻,号,頁 | 40(2): 541-551 | 発行年 | 2022 | 発行月 | |
著者 | Gil-Tak Kong, Katsunobu Imai, Toru Nakanishi | |||||
10 | 論文題目 | A New Structure of 2-State Number-Conserving Cellular Automata | ||||
掲載誌 | IEICE TRANSACTIONS on Information and Systems | |||||
◎ | 巻,号,頁 | 104, 5, 673-678 | 発行年 | 2021 | 発行月 | |
著者 | Gil-Tak Kong, Katsunobu Imai, Toru Nakanishi | |||||
11 | 論文題目 | The Structure of Hierarchical Motion Representation of 2-state Number Conserving Cellular Automata | ||||
掲載誌 | Journal of Cellular Automata | |||||
◎ | 巻,号,頁 | 14, 397-416 | 発行年 | 2019 | 発行月 | |
★ | 著者 | Shigeki Akiyama, Jonathan Caalim, Katsunobu Imai, Hajime Kaneko | ||||
12 | 論文題目 | Corona Limits of Tilings: Periodic Case | ||||
掲載誌 | Discrete and Computational Geometry | |||||
◎ | 巻,号,頁 | 61(3): 626-652 | 発行年 | 2019 | 発行月 | |
著者 | Katsunobu Imai, Kyosuke Oroji, Tomohiro Kubota | |||||
13 | 論文題目 | A Weakly Universal Three-Dimensional Larger than Life Cellular Automaton | ||||
掲載誌 | Peor. 5th International Workshop on Applications and Fundamentals of Cellular Automata (CANDAR-AFCA2018), Hida Takayama | |||||
◎ | 巻,号,頁 | 15-19 | 発行年 | 2018 | 発行月 | |
著者 | GilTak Kong, Katsunobu Imai, Toru Nakanishi | |||||
14 | 論文題目 | Hierarchical Motion Representation of 2-State Number Conserving Cellular Automata | ||||
掲載誌 | Proc. 5th International Workshop on Applications and Fundamentals of Cellular Automata (CANDAR-AFCA2017), Aomori | |||||
◎ | 巻,号,頁 | 194-199 | 発行年 | 2017 | 発行月 | |
著者 | Shigeki Akiyama, Katsunobu Imai | |||||
15 | 論文題目 | The Corona Limit of Penrose Tilings Is a Regular Decagon | ||||
掲載誌 | Proc. 21st international workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2016), Zurich, LNCS 9664 | |||||
◎ | 巻,号,頁 | 35-48 | 発行年 | 2016 | 発行月 | |
著者 | Artiom Alhazov, Katsunobu Imai | |||||
16 | 論文題目 | Particle Complexity of Universal Finite Number-Conserving Cellular Automata | ||||
掲載誌 | 4th International Workshop on Applications and Fundamentals of Cellular Automata, (CANDAR-AFCA2016, 10.1109/CANDAR.2016.0045) | |||||
◎ | 巻,号,頁 | 209-214 | 発行年 | 2016 | 発行月 | |
著者 | Shaoyu Wang, Katsunobu Imai, Masami Hagiya | |||||
17 | 論文題目 | An approach to constructing and simulating block cellular automata by gellular automata | ||||
掲載誌 | Proc. 3rd International Workshop on Applications and Fundamentals of Cellular Automata (CANDAR-AFCA2015) | |||||
◎ | 巻,号,頁 | 442-448 | 発行年 | 2015 | 発行月 | |
著者 | Hisamichi Ishizaka, Yohei Takemura, Katsunobu Imai | |||||
18 | 論文題目 | On Enumeration of Motion Representable Two-Dimensional Two-State Number-Conserving Cellular Automata | ||||
掲載誌 | Proc. 3rd International Workshop on Applications and Fundamentals of Cellular Automata (CANDAR-AFCA2015), Sapporo | |||||
◎ | 巻,号,頁 | 412-417 | 発行年 | 2015 | 発行月 | |
著者 | Wen-Hu Zhou, Jia Lee, Guo-Long Li, Katsunobu Imai | |||||
19 | 論文題目 | Embedding Game of Life into a Simple Asynchronous Cellular Automaton | ||||
掲載誌 | Proc. 2nd International Workshop on Applications and Fundamentals of Cellular Automata (CANDAR-AFCA2014), Shizuoka | |||||
◎ | 巻,号,頁 | 503-506 | 発行年 | 2014 | 発行月 | |
著者 | Shaoyu Wang, Katsunobu Imai, Masami Hagiya | |||||
20 | 論文題目 | On the composition of signals in gellular automata | ||||
掲載誌 | Proc. 2nd International Workshop on Applications and Fundamentals of Cellular Automata (CANDAR-AFCA2014),Shizuoka | |||||
◎ | 巻,号,頁 | 499-502 | 発行年 | 2014 | 発行月 | |
著者 | Katsunobu Imai, Hisamichi Ishizaka, Victor Poupet | |||||
21 | 論文題目 | 5-State Rotation-Symmetric Number-Conserving Cellular Automata are not Strongly Universal | ||||
掲載誌 | Proc. 20th international workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2014), Himeji, LNCS 8996 | |||||
◎ | 巻,号,頁 | 31-43 | 発行年 | 2014 | 発行月 | |
著者 | Masami Hagiya, Shaoyu Wang, Ibuki Kawamata, Satoshi Murata, Teijiro Isokawa, Ferdinand Peper, and Katsunobu Imai | |||||
22 | 論文題目 | On DNA-based gellular automata | ||||
掲載誌 | Proc. 13th International Conference Unconventional Computation and Natural Computation (UCNC2014), London, Ontario, LNCS 8553 | |||||
◎ | 巻,号,頁 | 177-189 | 発行年 | 2014 | 発行月 | |
著者 | Katsunobu Imai, Takahiro Hatsuda, Victor Poupet, Kota Sato | |||||
23 | 論文題目 | A 6-state Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings | ||||
掲載誌 | Fundamenta Informaticae | |||||
◎ | 巻,号,頁 | 126, 2-3, 247-261 | 発行年 | 2013 | 発行月 | |
著者 | Dansaku Nakayama, Naoshi Sakamoto, Katsunobu Imai | |||||
24 | 論文題目 | A Transferring Protocol using Local Information on Ad Hoc Sensor Network and Its Behaviors | ||||
掲載誌 | International Journal of Networking and Computing | |||||
◎ | 巻,号,頁 | 3(1), 170-180 | 発行年 | 2013 | 発行月 | |
著者 | Jia Lee, Ferdinand Peper, Katsunobu Imai | |||||
25 | 論文題目 | Computing on a Simple Asynchronous Cellular Automaton | ||||
掲載誌 | Proc. The 1st International Workshop on Applications and Fundamentals of Cellular Automata (CANDAR-AFCA2013), Matsuyama, IEEE Xplore 2013 First International Symposium on Computing and Networking | |||||
◎ | 巻,号,頁 | 505-509 | 発行年 | 2013 | 発行月 | |
著者 | Kota Sato, Katsunobu Imai, Chuzo Iwamoto | |||||
26 | 論文題目 | Universal von Neumann Neighborhood Cellular Automata on Penrose Tilings | ||||
掲載誌 | Proc. The 1st International Workshop on Applications and Fundamentals of Cellular Automata (CANDAR-AFCA2013), Matsuyama, IEEE Xplore 2013 First International Symposium on Computing and Networking | |||||
◎ | 巻,号,頁 | 515-521 | 発行年 | 2013 | 発行月 | |
著者 | Jia Lee, Katsunobu Imai, Qing-Sheng Zhu | |||||
27 | 論文題目 | Fluctuation-driven computing on number-conserving cellular automata | ||||
掲載誌 | Information Sciences | |||||
◎ | 巻,号,頁 | 187, 266-276 | 発行年 | 2012 | 発行月 | |
著者 | Katsunobu Imai, Takahiro Hatsuda, Victor Poupet, Kota Sato | |||||
28 | 論文題目 | A Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings | ||||
掲載誌 | Proc. 18th international workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2012), La Marana | |||||
◎ | 巻,号,頁 | 267-278 | 発行年 | 2012 | 発行月 | |
著者 | Susumu Adachi, Jia. Lee, Ferdinand. Peper, Teijiro Isokawa, Katsunobu Imai | |||||
29 | 論文題目 | Determining the Critical Temperature of the Continuous-State Game of Life | ||||
掲載誌 | Proc. 10th International Conference on Cellular Automata for Research and Industry (ACRI 2012), Santorini Island, LNCS 7495 | |||||
◎ | 巻,号,頁 | 83-90 | 発行年 | 2012 | 発行月 | |
著者 | Katsunobu Imai, Bruno Martin, Ryohei Saito | |||||
30 | 論文題目 | On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata | ||||
掲載誌 | Proc. Reversible Computing 2012 (RC 2012),Copenhagen | |||||
◎ | 巻,号,頁 | 54-60 | 発行年 | 2012 | 発行月 | |
著者 | Dansaku Nakayama, Naoshi Sakamoto, Katsunobu Imai | |||||
31 | 論文題目 | A Transferring Protocol with Local Information on an Ad-Hoc Sensor Network | ||||
掲載誌 | Second International Conference on Networking and Computing, ICNC-WANC 2011, Osaka | |||||
◎ | 巻,号,頁 | 291-293 | 発行年 | 2011 | 発行月 | |
著者 | Enrico Formenti, Katsunobu Imai, Bruno Martin, Jean-Baptiste Yunes | |||||
32 | 論文題目 | On 1-resilient, radius 2 elementary CA rules | ||||
掲載誌 | Proc. 17th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2011) Santiago | |||||
◎ | 巻,号,頁 | 41-54 | 発行年 | 2011 | 発行月 | |
著者 | Katsunobu Imai and Artiom Alhazov | |||||
33 | 論文題目 | On universality of radius 1/2 number-conserving cellular automata | ||||
掲載誌 | Proceedings of 9th International Conference on Unconvensional Computing, UC 2010}, Tokyo, LNCS 6079 | |||||
◎ | 巻,号,頁 | 45-55 | 発行年 | 2010 | 発行月 | |
著者 | Naonori Tanimoto, Katsunobu Imai, Chuzo Iwamoto, Kenichi Morita | |||||
34 | 論文題目 | On the non-existance of rotation-symmetric von Neumann neighbor number-conserving cellular automata of which the state number is less than four | ||||
掲載誌 | IEICE Transactions on Information and Systems | |||||
◎ | 巻,号,頁 | E92-D, 2, 255--257 | 発行年 | 2009 | 発行月 | |
著者 | Katsunobu Imai, Yasuaki Masamori, Chuzo Iwamoto, Kenichi Morita | |||||
35 | 論文題目 | On designing gliders in three-dimensional Larger than Life cellular automata | ||||
掲載誌 | Proc. 4th International Workshop on Natural Computing, IWNC 2009, Himeji, Springer | |||||
◎ | 巻,号,頁 | 184--190 | 発行年 | 2009 | 発行月 | |
★ | 著者 | Naonori Tanimoto, Katsunobu Imai | ||||
36 | 論文題目 | A Characterization of von Neumann Neighbor Number-Conserving Cellular Automata | ||||
掲載誌 | Journal of Cellular Automata | |||||
◎ | 巻,号,頁 | 4(1): 39-54 | 発行年 | 2009 | 発行月 | |
著者 | Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, Katsunobu Imai | |||||
37 | 論文題目 | A recursive padding technique on nondeterministic cellular automata | ||||
掲載誌 | IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | |||||
◎ | 巻,号,頁 | E91-A, 9, 2335--2340 | 発行年 | 2008 | 発行月 | |
著者 | Katsunobu Imai, Bruno Martin | |||||
38 | 論文題目 | Simulations between triangular and hexagonal number-conserving cellular automata | ||||
掲載誌 | Proceedings of 3rd International Workshop on Natural Computing, IWNC 2008, Yokohama | |||||
◎ | 巻,号,頁 | 16-26 | 発行年 | 2008 | 発行月 | |
著者 | Mitsuru Matsushima, Katsunobu Imai, Chuzo Iwamoto, and Kenichi Morita | |||||
39 | 論文題目 | A Java based three-dimensional cellular automata simulator and its application to three-dimensional Larger than Life | ||||
掲載誌 | Proc. EPSRC Workshop Cellular Automata Theory and Applications (AUTOMATA2008), Bristol, Luniver Press | |||||
◎ | 巻,号,頁 | 413-415 | 発行年 | 2008 | 発行月 | |
著者 | Naonori Tanimoto, Katsunobu Imai | |||||
40 | 論文題目 | A construction method of Moore neighborhood number-conserving cellular automata | ||||
掲載誌 | Proc. Eighth International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, LNCS 5191 | |||||
◎ | 巻,号,頁 | 244-251 | 発行年 | 2008 | 発行月 | |
著者 | Chuzo Iwamoto, Naoki Hatayama, Yoshiaki Nakashiba, Kenichi Morita, Katsunobu Imai | |||||
41 | 論文題目 | Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs | ||||
掲載誌 | Acta Informatica | |||||
◎ | 巻,号,頁 | 44, 5, 345--359. | 発行年 | 2007 | 発行月 | |
著者 | Naonori Tanimoto, Katsunobu Imai | |||||
42 | 論文題目 | A characterization of von Neumann neighbor number-conserving cellular automata | ||||
掲載誌 | Proc. 2nd International Workshop on Natural Computing, Nagoya | |||||
巻,号,頁 | 1--10 | 発行年 | 2007 | 発行月 | ||
著者 | Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, Katsunobu Imai | |||||
43 | 論文題目 | A time hierarchy theorem for nondeterministic cellular automata | ||||
掲載誌 | Proc. 4th Annual Conference on Theory and Applications of Models of Computation, TAMC 2007}, Shanghai, LNCS 4484 | |||||
◎ | 巻,号,頁 | 511-520 | 発行年 | 2007 | 発行月 | |
著者 | Katsunobu Imai | |||||
44 | 論文題目 | On the influence of symmetries and neighborhoods on constructing two dimensional number-conserving cellular automata rules | ||||
掲載誌 | Proc. 13th International Workshop on Cellular Automata, AUTOMATA 2007, Toronto | |||||
巻,号,頁 | 1 | 発行年 | 2007 | 発行月 | ||
著者 | Katsunobu Imai, Chuzo Iwamoto, Kenichi Morita | |||||
45 | 論文題目 | A Five-State von Neumann Neighbor Universal Hyperbolic Cellular Automaton | ||||
掲載誌 | Journal of Cellular Automata | |||||
◎ | 巻,号,頁 | 1(4): 275-297 | 発行年 | 2006 | 発行月 | |
著者 | Chuzo Iwamoto, Yoshiaki Nakashiba, Kenichi Morita, Katsunobu Imai | |||||
46 | 論文題目 | Translational lemmas for alternating TMs and PRAMs | ||||
掲載誌 | Proc. 15th International Symposium on Fundamentals of Computation Theory, FCT 2005, Luebeck, LNCS 3623 | |||||
◎ | 巻,号,頁 | 126-137 | 発行年 | 2005 | 発行月 | |
著者 | Chuzo Iwamoto, Naoki Hatayama, Kenichi Morita, Katsunobu Imai, Daisuke Wakamatsu | |||||
47 | 論文題目 | Hierarchies of DLOGTIME-uniform circuits | ||||
掲載誌 | Proc. International Conference on Machines, Computations and Universality, MCU 2004 Saint-Petersburg, LNCS 3354 | |||||
◎ | 巻,号,頁 | 211-222 | 発行年 | 2005 | 発行月 | |
著者 | Chuzo Iwamoto, Tomoka Yokouchi, Kenichi Morita, Katsunobu Imai | |||||
48 | 論文題目 | Prefix computations on iterative arrays with sequential input/output mode | ||||
掲載誌 | IEICE Transactions on Information and Systems | |||||
◎ | 巻,号,頁 | E87-D, 3, 708--712. | 発行年 | 2004 | 発行月 | |
著者 | Katsunobu Imai, Akihiko Ikazaki, Chuzo Iwamoto, Kenichi Morita | |||||
49 | 論文題目 | A logically universal number-conserving cellular automaton with a unary table-lookup function | ||||
掲載誌 | IEICE Transactions on Information and Systems | |||||
◎ | 巻,号,頁 | E87-D, 3, 694--699. | 発行年 | 2004 | 発行月 | |
著者 | Katsunobu Imai, Takahiro Hori, Yukio Matsuda, Kenji Fujita, Kenichi Morita | |||||
50 | 論文題目 | On simulations of self-reproducing cellular automata with shape-encoding mechanism | ||||
掲載誌 | Electronics and Communications in Japan | |||||
巻,号,頁 | Part 3, 87, 3, 1051-1058. | 発行年 | 2004 | 発行月 | ||
著者 | Chuzo Iwamoto, Katsuyuki Tateishi, Kenichi Morita, and Katsunobu Imai | |||||
51 | 論文題目 | Simulations between multi-dimensional deterministic and alternating cellular automata | ||||
掲載誌 | Fundamenta Informaticae | |||||
◎ | 巻,号,頁 | 58, 3-4, 261--271. | 発行年 | 2003 | 発行月 | |
著者 | Jia Lee , Katsunobu Imai, Kenichi Morita | |||||
52 | 論文題目 | Simulation of one-dimensional cellular automata by uniquely parallel parsable grammars | ||||
掲載誌 | Theoretcial Computer Scinece | |||||
◎ | 巻,号,頁 | 304, 185-200 | 発行年 | 2003 | 発行月 | |
著者 | Chuzo Iwamoto, Katsuyuki Tateishi, Kenichi Morita, Katsunobu Imai | |||||
53 | 論文題目 | A quadratic speed-up theorem for iterative arrays | ||||
掲載誌 | Acta Informatica | |||||
◎ | 巻,号,頁 | 38, 847--858 | 発行年 | 2002 | 発行月 | |
著者 | Katsunobu Imai, Kenichi Morita, Kenji Sako | |||||
54 | 論文題目 | Firing squad synchronization problem in number-conserving cellular automata | ||||
掲載誌 | Fundamenta Informaticae | |||||
◎ | 巻,号,頁 | 52, 1-3, 133-141. | 発行年 | 2002 | 発行月 | |
著者 | 今井 克暢, 堀 貴博, 松田 行雄, 藤田 研二, 森田 憲一 | |||||
55 | 論文題目 | 自己参照メカニズムに基づく自己増殖セル・オートマトンのシミュレーション | ||||
掲載誌 | 電子情報通信学会論文誌 | |||||
◎ | 巻,号,頁 | J85-A,1051-1058 | 発行年 | 2002 | 発行月 | |
著者 | Chuzo Iwamoto, Tomonobu Hatsuyama, Kenichi Morita, Katsunobu Imai | |||||
56 | 論文題目 | Constructible functions in cellular automata and their applications to hierarchy results | ||||
掲載誌 | Theoretical Computer Science | |||||
◎ | 巻,号,頁 | 270, 797-809 | 発行年 | 2002 | 発行月 | |
著者 | Katsunobu Imai, Kenji Fujita, Chuzo Iwamoto, Kenichi Morita | |||||
57 | 論文題目 | Embedding a logically universal model and a self-reproducing model into number-conserving cellular automata | ||||
掲載誌 | Proc. 3rd International Conference on Unconventional Models of Computation (UMC'02), Kobe, LNCS 2509 | |||||
◎ | 巻,号,頁 | 164-175 | 発行年 | 2002 | 発行月 | |
著者 | Chuzo Iwamoto, Takeshi Andou, Kenichi Morita, Katsunobu Imai | |||||
58 | 論文題目 | Computational complexity in the hyperbolic plane | ||||
掲載誌 | Proc. 27th International Symposium on Mathematical Foundations of Computer Science}, MFCS 2002 (LNCS 2420) Warszawa - Otwock | |||||
◎ | 巻,号,頁 | 365-374 | 発行年 | 2002 | 発行月 | |
★ | 著者 | Katsunobu Imai, Takahiro Hori, Kenichi Morita | ||||
59 | 論文題目 | Self-Reproduction in Three-Dimensional Reversible Cellular Space | ||||
掲載誌 | Artifitial Life | |||||
◎ | 巻,号,頁 | 8(2): 155-174 | 発行年 | 2002 | 発行月 | |
著者 | Katsunobu Imai, Kenji Fujita, Chuzo Iwamoto, Kenichi Morita | |||||
60 | 論文題目 | Embedding a Logically Universal Model and a Self-Reproducing Model into Number-Conserving Cellular Automata | ||||
掲載誌 | Proc. Unconventional Models of Computation: Third International Conference, UMC 2002 | |||||
◎ | 巻,号,頁 | 164-175 | 発行年 | 2002 | 発行月 | |
著者 | Katsunobu Imai, Yukio Matsuda, Chuzo Iwamoto, Kenichi Morita | |||||
61 | 論文題目 | A three-dimensional uniquely parsable array grammar that generates and parses cubes | ||||
掲載誌 | Proc. 8th International Workshop on Combinatrial Image Analysis (IWCIA), Philadelphia (2001) 351--366, Electric Notes in Theoretical Computer Science | |||||
◎ | 巻,号,頁 | 46, 16 pages | 発行年 | 2001 | 発行月 | |
著者 | Kenichi Morita, Yasuyuki Tojima, Katsunobu Imai | |||||
62 | 論文題目 | A simple computer embedded in a reversible and number-conserving two-dimensional cellular space | ||||
掲載誌 | Multiple-Valued Logic | |||||
◎ | 巻,号,頁 | 6, 483-514 | 発行年 | 2001 | 発行月 | |
著者 | Chuzo Iwamoto, Katsuyuki Tateishi, Kenichi Morita, Katsunobu Imai | |||||
63 | 論文題目 | Speeding-up cellular automata by alternations | ||||
掲載誌 | Proc. Third International Conference on Machines, Computations and Universality}, Chisinau, LNCS 2055 | |||||
◎ | 巻,号,頁 | 240--251 | 発行年 | 2001 | 発行月 | |
著者 | Jia Lee, Kenichi Morita, Hiorki Asou, Katsunobu Imai | |||||
64 | 論文題目 | Uniquely parsable unification grammars and their parser implemented in Prolog | ||||
掲載誌 | Grammars | |||||
◎ | 巻,号,頁 | 3-1, 68-81 | 発行年 | 2000 | 発行月 | |
著者 | 細川 英, 森田 憲一, 岩本 宙造, 今井 克暢 | |||||
65 | 論文題目 | 2点スプライシングシステムの言語生成能力の万能性 | ||||
掲載誌 | 電子情報通信学会論文誌 | |||||
◎ | 巻,号,頁 | J83-D-I, 55--59 | 発行年 | 2000 | 発行月 | |
著者 | Chuzo Iwamoto, Daisuke Wakamatsu, Kazuo Iwama, Kenichi Morita, Katsunobu Imai | |||||
66 | 論文題目 | Complexity Hierarchies on Circuits under Restricted Uniformities | ||||
掲載誌 | Proc. 10th International Conference on Computing and Information, ICCI2000, Kuwait | |||||
◎ | 巻,号,頁 | 18-21 | 発行年 | 2000 | 発行月 | |
★ | 著者 | Katsunobu Imai, Kenichi Morita | ||||
67 | 論文題目 | A computation-universal two-dimensional 8-state triangular reversible cellular automaton | ||||
掲載誌 | Theoretical Computer Science | |||||
◎ | 巻,号,頁 | 231(2): 181-191 | 発行年 | 2000 | 発行月 | |
著者 | Kenichi Morita, M. Margenstern, Katsunobu Imai | |||||
68 | 論文題目 | Universality of reversible hexagonal cellular automata | ||||
掲載誌 | RAIRO Theoretical Informatics and Applications | |||||
◎ | 巻,号,頁 | 33, 535-550 | 発行年 | 1999 | 発行月 | |
著者 | Kenichi Morita,Katsunobu Imai | |||||
69 | 論文題目 | Uniquely parsable array grammars for generating and parsing connected patterns | ||||
掲載誌 | Pattern Recognition | |||||
◎ | 巻,号,頁 | 32, 269-276 | 発行年 | 1999 | 発行月 | |
著者 | Kenichi Morita, Satoshi Ueno, Katsunobu Imai | |||||
70 | 論文題目 | Characterizing the ability of parallel array generators on reversible partitioned cellular automata | ||||
掲載誌 | International Journal of Pattern Recognition and Artificial Intelligence | |||||
◎ | 巻,号,頁 | 13, 523-538 | 発行年 | 1999 | 発行月 | |
著者 | Chuzo Iwamoto, Tomonobu Hatsuyama, Kenichi Morita, Katsunobu Imai | |||||
71 | 論文題目 | On time-constructible functions in one-dimensional cellular automata | ||||
掲載誌 | Proc. 12th International Symposium on Fundamentals of Computation Theory}, LNCS 1684 | |||||
◎ | 巻,号,頁 | 316-326 | 発行年 | 1999 | 発行月 | |
著者 | 近宗 克紀, 森田 憲一, 今井 克暢 | |||||
72 | 論文題目 | 32状態可逆セル・オートマトン上での論理回路合成 | ||||
掲載誌 | 電子情報通信学会論文誌 | |||||
◎ | 巻,号,頁 | J81-D-I, 350-352 | 発行年 | 1998 | 発行月 | |
著者 | Kenichi Morita, Katsunobu Imai | |||||
73 | 論文題目 | Number-conserving reversible cellular automata and their computation-universality | ||||
掲載誌 | Proc. MFCS'98 Workshop on Cellular Automata}, Brno | |||||
◎ | 巻,号,頁 | 51-68 | 発行年 | 1998 | 発行月 | |
著者 | Katsunobu Imai, Kenichi Morita | |||||
74 | 論文題目 | A computation-universal two-dimensional 8-state triangular reversible cellular automaton | ||||
掲載誌 | Proc. 2nd Colloquium on Universal Machines and Computations, Metz | |||||
◎ | 巻,号,頁 | 90-99 | 発行年 | 1998 | 発行月 | |
著者 | Koji Okuhara, Katsunobu Imai, Kenichi Morita, Shunji Osaki | |||||
75 | 論文題目 | A design method for parameters of synergetic computers for image recognition | ||||
掲載誌 | Proc. International Workshop on Parallel Image Analysis (IWPIA'97), Hiroshima | |||||
◎ | 巻,号,頁 | 102-111 | 発行年 | 1997 | 発行月 | |
著者 | Katsunobu Imai, Kenichi Morita | |||||
76 | 論文題目 | Generation and parsing of connected patterns by uniquely parsable array grammars | ||||
掲載誌 | Proc. International Workshop on Parallel Image Analysis (IWPIA'97), Hiroshima | |||||
◎ | 巻,号,頁 | 315-325 | 発行年 | 1997 | 発行月 | |
著者 | Kenichi Morita, Satoshi Ueno, Katsunobu Imai | |||||
77 | 論文題目 | Characterizing the ability of parallel array generators on reversible partitioned cellular automata | ||||
掲載誌 | Proc. International Workshop on Parallel Image Analysis (IWPIA'97), Hiroshima | |||||
◎ | 巻,号,頁 | 144-156 | 発行年 | 1997 | 発行月 | |
著者 | Kenichi Morita, Katsunobu Imai | |||||
78 | 論文題目 | Logical universality and self-reproduction in reversible cellular automata | ||||
掲載誌 | Proc. First International Conference on Evolvable Systems: From Biology to Hardware (ICES96) LNCS 1259 | |||||
◎ | 巻,号,頁 | 152-166 | 発行年 | 1997 | 発行月 | |
著者 | Kenichi Morita, Katsunobu Imai | |||||
79 | 論文題目 | A simple self-reproducing cellular automaton with shape-encoding mechanism | ||||
掲載誌 | Artificial Life V (eds. C.G.Langton and K. Shimohara), The MIT Press | |||||
◎ | 巻,号,頁 | 489-496 | 発行年 | 1997 | 発行月 | |
著者 | Kenichi Morita, Katsunobu Imai | |||||
80 | 論文題目 | Self-reproduction in a reversible cellular space | ||||
掲載誌 | Theoretical Computer Science | |||||
◎ | 巻,号,頁 | 168, 337-366 | 発行年 | 1996 | 発行月 | |
著者 | Katsunobu Imai, Kenichi Morita | |||||
81 | 論文題目 | Firing Squad Synchronization Problem in Reversible Cellular Automata | ||||
掲載誌 | Theoretical Computer Science | |||||
◎ | 巻,号,頁 | 165(2): 475-482 | 発行年 | 1996 | 発行月 | |
著者 | Masaaki Makikawa, Katsunobu Imai, T Shindoi, K Tanooka, H Iizumi, H Mitani | |||||
82 | 論文題目 | Microprocessor-based memory device for ambulatory heart rate and physical activity recording | ||||
掲載誌 | Methods of Information in Medicine | |||||
◎ | 巻,号,頁 | 33 (01), 94-96 | 発行年 | 1994 | 発行月 | |
著者 | 牧川 方昭, 今井 克暢, 新土井 賢, 田野岡 和紀, 飯泉 仁美, 三谷 壽 | |||||
83 | 論文題目 | マイクロコンピュータ技術を用いた生体信号無拘束計測装置 | ||||
掲載誌 | 計測自動制御学会論文集 | |||||
◎ | 巻,号,頁 | 29, 888-895 | 発行年 | 1993 | 発行月 |
工学部 / 情報工学科 / 准教授 / 今井 勝喜