岩本宙造 Iwamoto Chuzo

研究者番号	60274495
その他のID
外部サイト
所属 (現在)	2025年度: 広島大学, 先進理工系科学研究科(工), 教授
所属 (過去の研究課題情報に基づく) *注記	2023年度: 広島大学, 先進理工系科学研究科(工), 教授 2020年度 – 2021年度: 広島大学, 先進理工系科学研究科(工), 教授 2017年度 – 2019年度: 広島大学, 工学研究科, 教授 2016年度: 広島大学, 工学研究院, 教授 2014年度 – 2015年度: 広島大学, 工学(系)研究科(研究院), 教授 … もっと見る 2011年度 – 2013年度: 広島大学, 工学(系)研究科(研究院), 准教授 2009年度 – 2010年度: 広島大学, 大学院・工学研究院, 准教授 2007年度 – 2009年度: 広島大学, 大学院・工学研究科, 准教授 2005年度 – 2006年度: 広島大学, 大学院工学研究科, 助教授 2004年度: 広島大学, 大学院・工学研究科, 助教授 2001年度 – 2002年度: 広島大学, 大学院・工学研究科, 助教授 1997年度 – 2001年度: 広島大学, 工学部, 助教授 1996年度: 九州芸術工科大学, 講師 1995年度: 九州芸術工科大学, 芸術工学部, 講師隠す
審査区分/研究分野	研究代表者情報学基礎 / 計算機科学 / 小区分60010:情報学基礎論関連 / 情報学基礎理論研究代表者以外計算機科学
キーワード	研究代表者計算複雑さ / 計算量理論 / システム評価 / セルオートマトン / 階層定理 / 計算の複雑さ / 論理設計 / 一様論理回路族 / 非決定性計算 / 計算機モデル … もっと見る / チューリング機械 / 加速定理 / 論理最適化システム / 領域計算量 / 時間計算量 / 美術館定理 / 計算複雑性 / 並列ランダムアクセス機械 / 交代性チューリング機械 / CAD / 論理合成システム / イテラティブアレイ / 自動設計システム / システム性能評価 / 時間複雑さ / 対数時間一様 / 計算量の階層 / 論理回路族 / 回路計算量 … もっと見る研究代表者以外 PVM / CAD / 充足可能性問題 / bit reversal permutation / queue size / randomization / adaptation / oblivious routing / permutation routing / mesh computers / コンパクトラウティング / ラウティングテーブル / ラウティング / メッシュ計算機 / 2次元メッシュネットワーク / ビット反転置換 / キューサイズ / 確率化 / 適応化 / 無情報ラウティング / 全置換ラウティング / メッシュ型計算機 / vectorization / parallelization / local search algorithms / student assignment / Partial MAXSAT / CNF Satisfiability / real-world problems / NP完全性 / 組合せ問題 / SAT / 多項式時間変換 / 最適化問題 / ベクトル化 / 並列化 / 局所探索アルゴリズム / 学生配属問題 / 部分MAXSAT / 実世界問題 / random generation / benchmarks / optimization / logic design / 回路理論的複雑さ / オンセットサイズ / 等価変換 / 入出力次数制限 / NANDゲート回路 / 論理回路最適化システム / ベンチマーク生成システム / ランダム論理回路 / ランダム生成 / ベンチマーク / 最適化 / 論理設計 / Security of instance generation / Computational complexity / Read-once resolution / Propositional proof system / Weighting strategy / Local search / Control of the number of solutions / Satisfiability problem / 例題生成系の安全性 / 計算複雑さ / 単読導出原理 / 定理自動証明 / 重みつけ法 / 局所探索法 / 充足解数の制御隠す

無線LAN環境を考慮した美術館定理の証明と人工建築物や自然地形への応用研究代表者
- 研究代表者
  
  岩本宙造
- 研究期間 (年度)
  2023 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  広島大学
計算量クラスの階層定理の証明と論理合成システムの新評価法の確立研究代表者
- 研究代表者
  
  岩本宙造
- 研究期間 (年度)
  2016 – 2021
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  広島大学
計算複雑性クラスの階層構造の理論的解明と回路設計システムの新評価法の提案研究代表者
- 研究代表者
  
  岩本宙造
- 研究期間 (年度)
  2011 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  広島大学
素子数と段数に基づく回路計算量の階層性の証明と自動設計システムの評価への応用研究代表者
- 研究代表者
  
  岩本宙造
- 研究期間 (年度)
  2007 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  広島大学
計算複雑さに基づく関数集合の階級付けと論理設計ツールの評価法の確立研究代表者
- 研究代表者
  
  岩本宙造
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  広島大学
論理回路族の階層性の証明と論理合成CADシステムの評価への応用研究代表者
- 研究代表者
  
  岩本宙造
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  広島大学
計算量クラスの理論的な分離と自動設計システムの評価への応用研究代表者
- 研究代表者
  
  岩本宙造
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  広島大学
適応化と確率化による高速ラウティングアルゴリズムの開発
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  特定領域研究(B)
- 研究機関
  京都大学
素子数と段数に基づく回路計算量の階層性の証明と論理合成システムの評価への応用研究代表者
- 研究代表者
  
  岩本宙造
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  広島大学
高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
ベンチマ-キングのための不自然でないランダム論理回路の高速大量生成
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  1996 – 1997
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
   九州大学
各種属性を制御可能なランダムテスト例題生成技術の研究
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  1995 – 1996
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学

[雑誌論文] Chained Block is NP-Complete2024
- 著者名/発表者名
  IWAMOTO Chuzo、IDE Tatsuya
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E107.D 号: 3 ページ: 320-324
- DOI
  10.1587/transinf.2023FCL0001
- ISSN
  0916-8532, 1745-1361
- 年月日
  2024-03-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23K10987
[雑誌論文] 数コロの計算複雑さ2023
- 著者名/発表者名
  岩本宙造、小田涼香
- 雑誌名
  
  電子情報通信学会論文誌D 情報・システム
  
  巻: J106-D 号: 5 ページ: 357-361
- DOI
  10.14923/transinfj.2022JDL8010
- ISSN
  1880-4535, 1881-0225
- 年月日
  2023-05-01
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-23K10987
[雑誌論文] Computational Complexity of the Vertex-to-Point Conflict-Free Chromatic Art Gallery Problem2023
- 著者名/発表者名
  IWAMOTO Chuzo、IBUSUKI Tatsuaki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E106.D 号: 9 ページ: 1499-1506
- DOI
  10.1587/transinf.2022EDP7222
- ISSN
  0916-8532, 1745-1361
- 年月日
  2023-09-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23K10987
[雑誌論文] Moon-or-Sun, Nagareru, and Nurimeizu are NP-complete2022
- 著者名/発表者名
  Chuzo Iwamoto、Tatsuya Ide
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E105.A ページ: 1-8
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Five Cells and Tilepaint are NP-Complete2022
- 著者名/発表者名
  IWAMOTO Chuzo、IDE Tatsuya
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E105.D 号: 3 ページ: 508-516
- DOI
  10.1587/transinf.2021FCP0001
- NAID
  130008165595
- ISSN
  0916-8532, 1745-1361
- 年月日
  2022-03-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Vertex-to-Point Conflict-Free Chromatic Guarding is NP-Hard2022
- 著者名/発表者名
  Iwamoto Chuzo、Ibusuki Tatsuaki
- 雑誌名
  
  Lecture Notes in Computer Science, Springer-Verlag
  
  巻: 13174 ページ: 111-122
- DOI
  10.1007/978-3-030-96731-4_10
- ISBN
  9783030967307, 9783030967314
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Chromatic Art Gallery Problem with r-visibility is NP-complete2021
- 著者名/発表者名
  Chuzo Iwamoto, Tatsuaki Ibusuki
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E104-A ページ: 1-8
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Computational Complexity of Two Pencil Puzzles: Kurotto and Juosan2021
- 著者名/発表者名
  Iwamoto Chuzo、Ibusuki Tatsuaki
- 雑誌名
  
  Lecture Notes in Computer Science, Springer-Verlag
  
  巻: 13034 ページ: 175-185
- DOI
  10.1007/978-3-030-90048-9_14
- ISBN
  9783030900472, 9783030900489
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Computational Complexity of Nurimisaki and Sashigane2020
- 著者名/発表者名
  IWAMOTO Chuzo、IDE Tatsuya
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E103.A 号: 10 ページ: 1183-1192
- DOI
  10.1587/transfun.2019DMP0002
- NAID
  130007920259
- ISSN
  0916-8508, 1745-1337
- 年月日
  2020-10-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Computational Complexity of the Chromatic Art Gallery Problem for Orthogonal Polygons2020
- 著者名/発表者名
  Iwamoto Chuzo、Ibusuki Tatsuaki
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 12049 ページ: 146-157
- DOI
  10.1007/978-3-030-39881-1_13
- ISBN
  9783030398804, 9783030398811
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Polynomial-Time Reductions from 3SAT to Kurotto and Juosan Puzzles2020
- 著者名/発表者名
  Chuzo Iwamoto and Tatsuya Ibusuki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E103.D 号: 3 ページ: 500-505
- DOI
  10.1587/transinf.2019FCP0004
- NAID
  130007804165
- ISSN
  0916-8532, 1745-1361
- 年月日
  2020-03-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Computational Complexity of Herugolf and Makaro2019
- 著者名/発表者名
  Chuzo Iwamoto, Masato Haruishi, and Tatsuya Ibusuki
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E102.A 号: 9 ページ: 1118-1125
- DOI
  10.1587/transfun.E102.A.1118
- NAID
  130007699568
- ISSN
  0916-8508, 1745-1337
- 年月日
  2019-09-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Dosun-Fuwari is NP-complete2018
- 著者名/発表者名
  Chuzo Iwamoto and Tatsuaki Ibusuki
- 雑誌名
  
  Journal of Information Processing
  
  巻: 26 号: 0 ページ: 358-361
- DOI
  10.2197/ipsjjip.26.358
- NAID
  130006707935
- ISSN
  1882-6652
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Computational Complexity of Usowan Puzzles2018
- 著者名/発表者名
  Chuzo Iwamoto and Masato Haruishi
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E101.A 号: 9 ページ: 1537-1540
- DOI
  10.1587/transfun.E101.A.1537
- NAID
  130007479526
- ISSN
  0916-8508, 1745-1337
- 年月日
  2018-09-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Finding the Minimum Number of Open-Edge Guards in an Orthogonal Polygon is NP-Hard2017
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E100.D 号: 7 ページ: 1521-1525
- DOI
  10.1587/transinf.2016EDL8251
- NAID
  130006792955
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Finding the Minimum Number of Open-Edge Guards in an Orthogonal Polygon is NP-hard2017
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E100-D
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] もじぴったんのNP完全性2017
- 著者名/発表者名
  岩本宙造，春石聖人
- 雑誌名
  
  電子情報通信学会論文誌D 情報・システム
  
  巻: J100-D 号: 12 ページ: 974-977
- DOI
  10.14923/transinfj.2017JDL8016
- ISSN
  1880-4535, 1881-0225
- 年月日
  2017-12-01
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00020
[雑誌論文] Computational Complexity of Building Puzzles2016
- 著者名/発表者名
  Chuzo Iwamoto and Yuta Matsui
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E99.A 号: 6 ページ: 1145-1148
- DOI
  10.1587/transfun.E99.A.1145
- NAID
  130005154236
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018, KAKENHI-PROJECT-16K00020
[雑誌論文] Visibility Problems for Manhattan Towers2016
- 著者名/発表者名
  Chuzo Iwamoto and Yusuke Kitagaki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E99.D 号: 3 ページ: 607-614
- DOI
  10.1587/transinf.2015FCP0007
- NAID
  130005131813
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] Computational Complexity of Generalized Forty Thieves2015
- 著者名/発表者名
  Chuzo Iwamoto and Yuta Matsui
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E98.D 号: 2 ページ: 429-432
- DOI
  10.1587/transinf.2014EDL8154
- NAID
  130004841843
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] Computational Complexity of Generalized Golf Solitaire2015
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E98.D 号: 3 ページ: 541-544
- DOI
  10.1587/transinf.2014FCL0001
- NAID
  130004841874
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] Computational Complexity of the r-visibility Guard Set Problem for Polyominoes2014
- 著者名/発表者名
  Chuzo Iwamoto and Toshihiko Kume
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 8845 ページ: 87-95
- DOI
  10.1007/978-3-319-13287-7_8
- ISBN
  9783319132860, 9783319132877
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] Yosenabe is NP-complete2014
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  Journal of Information Processing
  
  巻: 22 号: 1 ページ: 40-43
- DOI
  10.2197/ipsjjip.22.40
- NAID
  130003394447
- ISSN
  1882-6652
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] Generalized Pyramid is NP-Complete2013
- 著者名/発表者名
  Chuzo Iwamoto and Yuta Matsui
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E96.D 号: 11 ページ: 2462-2465
- DOI
  10.1587/transinf.E96.D.2462
- NAID
  130003385408
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication2013
- 著者名/発表者名
  M. Villagra, M. Nakanishi, S. Yamashita, and Y. Nakashima
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E96.D 号: 1 ページ: 1-8
- DOI
  10.1587/transinf.E96.D.1
- NAID
  10031167374
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-21700016, KAKENHI-PROJECT-22500009, KAKENHI-PROJECT-23240001, KAKENHI-PROJECT-23500018, KAKENHI-PROJECT-24500003, KAKENHI-PLANNED-24106009
[雑誌論文] Generalized Shisen-Sho is NP-Complete2012
- 著者名/発表者名
  Chuzo Iwamoto, Yoshihiro Wada, and Kenichi Morita
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E95.D 号: 11 ページ: 2712-2715
- DOI
  10.1587/transinf.E95.D.2712
- NAID
  10031142898
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] Lower Bound of Face Guards of Polyhedral Terrains2012
- 著者名/発表者名
  Chuzo Iwamoto, Junichi Kishi, and Kenichi Morita
- 雑誌名
  
  Journal of Information Processing
  
  巻: 20 ページ: 435-437
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] 多面体テラインの面警備員数の上下限の改善2012
- 著者名/発表者名
  岩本宙造，蔵信卓己
- 雑誌名
  
  電子情報通信学会論文誌D-I
  
  巻: J95-D ページ: 1869-1872
- NAID
  110009517646
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] Lower Bound of Face Guards of Polyhedral Terrains2012
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  Journal of Information Processing
  
  巻: 53 ページ: 1-4
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] A Polynomial-Time Reduction from the 3SAT Problem to the Generalized String Puzzle Problem2012
- 著者名/発表者名
  Chuzo Iwamoto, Kento Sasaki, and Kenichi Morita
- 雑誌名
  
  Algorithms
  
  巻: Vol.5, No.2 号: 2 ページ: 261-272
- DOI
  10.3390/a5020261
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014, KAKENHI-PROJECT-23500018
[雑誌論文] Lower Bound of Face Guards of Polyhedral Terrains2012
- 著者名/発表者名
  Chuzo Iwamoto, Junichi Kishi, and Kenichi Morita
- 雑誌名
  
  Journal of Information Processing(JIP)
  
  巻: Vol.20, No.2 ページ: 435-437
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] Finding the Minimum Number of Face Guards is NP-Hard2012
- 著者名/発表者名
  Chuzo Iwamoto, Yusuke Kitagaki, and Kenichi Morita
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E95.D 号: 11 ページ: 2716-2719
- DOI
  10.1587/transinf.E95.D.2716
- NAID
  10031142899
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] A Polynomial-Time Reduction from the SAT Problem to the Generalized One-Person Last-and-First Game2011
- 著者名/発表者名
  Chuzo Iwamoto and Yusuke Sumida
- 雑誌名
  
  Advances in Computer Science and Engineering
  
  巻: Vol.6, No.2 ページ: 105-114
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] A Polynomial-Time Reduction from the SAT Problem to the Generalized One-Person Last-and-First Game2011
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  Advances in Computer Science and Engineering
  
  巻: 6 ページ: 105-114
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] 非決定性回路族における深さと非決定性ゲート数の関係2011
- 著者名/発表者名
  岩本宙造
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 52 ページ: 1667-1677
- NAID
  110008507999
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] 非決定性回路族における深さと非決定性ゲート数の関係2011
- 著者名/発表者名
  岩本宙造，小野優介，森田憲一，今井克暢
- 雑誌名
  
  情報処理学会論文誌
  
  巻: 52 ページ: 1667-1677
- NAID
  110008507999
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] A Polynomial-Time Reduction from the SAT Problem to the Generalized One-Person Last-and-First Game2011
- 著者名/発表者名
  Chuzo Iwamoto and Yusuke Sumida
- 雑誌名
  
  Advances in Computer Science and Engineering
  
  巻: 6 ページ: 105-114
- 査読あり
- データソース
  KAKENHI-PROJECT-23500018
[雑誌論文] Relationship between Depth and Nondeterministic Gates in Nondeterministic Circuit Families2011
- 著者名/発表者名
  Chuzo Iwamoto, Yusuke Ono, Kenichi Morita, and Katsunobu Imai
- 雑誌名
  
  IPSJ Journal
  
  巻: Vol.52, No.4 ページ: 1667-1677
- NAID
  110008507999
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] NP-Hard and k-EXPSPACE-Hard Cast Puzzles2010
- 著者名/発表者名
  Chuzo Iwamoto, Kento Sasaki, Kenji Nishio, and Kenichi Morita
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E93-D 号: 11 ページ: 2995-3004
- DOI
  10.1587/transinf.E93.D.2995
- NAID
  10027988361
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] A Tight Space-Hierarchy Theorem for Nondeterministic Turing Machines2010
- 著者名/発表者名
  Chuzo Iwamoto, Daisuke Tachibana, Seiki Tokunaga, and Kenichi Morita
- 雑誌名
  
  The Transactions of the Institute of Electronics, In for mation and Communication Engineers D-I
  
  巻: Vol.J93-D, No.9 ページ: 1717-1726
- NAID
  110007700685
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] NP-hard and k-EXPSPACE-hard Cast Puzzles2010
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E93-D ページ: 295-3004
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] 非決定性チューリング機械の厳密な領域階層定理2010
- 著者名/発表者名
  岩本宙造
- 雑誌名
  
  電子情報通信学会論文誌D-I
  
  巻: J93-D ページ: 1717-1726
- NAID
  110007700685
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] An Efficient Reconstruction Algorithm for Restricted Domino Tilings2009
- 著者名/発表者名
  Chuzo Iwamoto, Reijiro Mikamo
- 雑誌名
  
  The Transactions of the Institute of Electronics, Information and Communication Engineers D-I Vol. J92-D, No. 6(in Japanese)
  
  ページ: 758-766
- NAID
  110007328880
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] 段数を制限したドミノタイリングの効率良い再構成アルゴリズム2009
- 著者名/発表者名
  岩本宙造
- 雑誌名
  
  電子情報通信学会論文誌D-I
  
  巻: J92-D ページ: 758-766
- NAID
  110007328880
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] On the Non-existence of Rotation-Symmetric von Neumann Neighbor Number-Conserving Cellular Automata of which the State Number is Less than Four2009
- 著者名/発表者名
  Naonori Tanimoto, Katsunobu Imai, Chuzo Iwamoto, and Kenichi Morita
- 雑誌名
  
  IEICETransactions on Information and Systems
  
  巻: Vol.E92-D, No.2 ページ: 255-257
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] Computational Complexity of Cast Puzzles2009
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  Proceedings of the 20th International Symposiumon Algorithms and Computation (Lecture Notes in Computer Science)?
  
  巻: 5878 ページ: 122-131
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] An Efficient Reconstruction Algorithm for Restricted Domino Tilings2009
- 著者名/発表者名
  Chuzo Iwamoto and Reijiro Mikamo
- 雑誌名
  
  The Transactions of the Institute of Electronics, Information and Communication Engineers D-I
  
  巻: Vol.J92-D, No.6 ページ: 758-766
- NAID
  110007328880
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] A Recursive Padding Technique on Nondeterministic Cellular Automata2008
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A(9)
  
  ページ: 2335-2340
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] A Recursive Padding Technique on Nondeterministic Cellular Automata2008
- 著者名/発表者名
  Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, Katsunobu Imai
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol. E91-A, No. 9
  
  ページ: 2335-2340
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] A Recursive Padding Technique on Nondeterministic Cellular Automata2008
- 著者名/発表者名
  Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, and Katsunobu Imai
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E91-A 号: 9 ページ: 2335-2340
- DOI
  10.1093/ietfec/e91-a.9.2335
- NAID
  10026851419
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] A Five-State von Neumann Neighbor Universal Hyperbolic Cellular Automaton2007
- 著者名/発表者名
  Katsunobu Imai, Chuzo Iwamoto, and Kenichi Morita
- 雑誌名
  
  Journal of Cellular Automata
  
  巻: Vol.1, No.4 ページ: 275-297
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] Translational Lemmas for DLOGTIME-uniform Circuits, Alternating TMs, and PRAMs2007
- 著者名/発表者名
  Chuzo Iwamoto, Naoki Hatayama, Yoshiaki Nakashiba, Kenichi Morita, Katsunobu Imai
- 雑誌名
  
  Acta Informatica Vol. 44, No. 5
  
  ページ: 345-359
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] Translational Lemmas for DLOGTIME-uniform Circuits, Alternating TMs, and PRAMs2007
- 著者名/発表者名
  Chuzo Iwamoto, Naoki Hatayama, Yoshiaki Nakashiba, Kenichi Morita, and Katsunobu Imai
- 雑誌名
  
  Acta Informatica
  
  巻: Vol.44, No.5 号: 5 ページ: 345-359
- DOI
  10.1007/s00236-007-0051-2
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] A Time Hierarchy Theorem for Nondeterministic Cellular Automata2007
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  Proc. 4th Ann. Conf. on Theory and Applications of Models of Computation, (Lecture Notes in Computer Science) 4484
  
  ページ: 511-520
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] Translational Lemmas for DLOGTIME-uniform Circuits, Alternating TMs, and PRAMs2007
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  Acta Informatica 44
  
  ページ: 345-359
- 査読あり
- データソース
  KAKENHI-PROJECT-19500014
[雑誌論文] Translational Lemmas for Alternating TMs and PRAMs2005
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  Lecture Notes in Computer Science 3623
  
  ページ: 126-137
- データソース
  KAKENHI-PROJECT-16700015
[雑誌論文] Hierarchies of DLOGTIME-Uniform Circuits2004
- 著者名/発表者名
  Chuzo Iwamoto
- 雑誌名
  
  M.Margenstern (ed.): Machines, Computations and Universality (Proc.MCU2004). Lecture Notes in Computer Science 3354
  
  ページ: 211-222
- データソース
  KAKENHI-PROJECT-16700015
[雑誌論文] A Tight Space-Hierarchy Theorem for Nondeterministic Turing Machines
- 著者名/発表者名
  Chuzo Iwamoto, Daisuke Tachibana, Seiki Tokunaga, Kenichi Morita
- 雑誌名
  
  The Transactions of the Institute of Electronics, Information and Communication Engineers D-I (to appear)
- NAID
  110007700685
- データソース
  KAKENHI-PROJECT-19500014
[学会発表] 多角形に対する辺警備員配置問題2023
- 著者名/発表者名
  髙橋駿，岩本宙造
- 学会等名
  電気・情報関連学会中国支部連合大会
- データソース
  KAKENHI-PROJECT-23K10987
[学会発表] Yajisan-Kazusan and Stained Glass are NP-complete2023
- 著者名/発表者名
  Chuzo Iwamoto and Ryo Takaishi
- 学会等名
  23rd Japan-Korea Joint Workshop on Algorithms and Computation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K10987
[学会発表] Vertex-to-Point Conflict-Free Chromatic Guarding is NP-hard2022
- 著者名/発表者名
  Chuzo Iwamoto
- 学会等名
  The 16th International Conference and Workshops on Algorithms and Computation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00020
[学会発表] Computational Complexity of the Chromatic Art Gallery Problem for Orthogonal Polygons2020
- 著者名/発表者名
  岩本宙造
- 学会等名
  冬のＬＡシンポジウム
- データソース
  KAKENHI-PROJECT-16K00020
[学会発表] Moon-or-Sun, Nagareru, and Nurimeizu are NP-complete2020
- 著者名/発表者名
  井出達也，岩本宙造
- 学会等名
  冬のＬＡシンポジウム
- データソース
  KAKENHI-PROJECT-16K00020
[学会発表] Nurimisaki and Sashigane are NP-complete2019
- 著者名/発表者名
  Chuzo Iwamoto
- 学会等名
  The 31st Canadian Conference on Computational Geometry
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00020
[学会発表] Herugolf and Makaro are NP-complete2018
- 著者名/発表者名
  Chuzo Iwamoto
- 学会等名
  The Ninth International Conference on Fun with Algorithms (FUN 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00020
[学会発表] Kurotto and Juosan are NP-complete2018
- 著者名/発表者名
  Chuzo Iwamoto
- 学会等名
  The 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00020
[学会発表] Locating the Minimum Number of Guards with r-visibility in a Polyomino is NP-hard2013
- 著者名/発表者名
  Chuzo Iwamoto and Toshihiko Kume
- 学会等名
  The 16th Japan Conference on Discrete and Computational Geometry and Graphs
- 発表場所
  Tokyo
- データソース
  KAKENHI-PROJECT-23500018
[学会発表] Universal von Neumann Neighborhood Cellular Automata on Penrose Tilings2013
- 著者名/発表者名
  Kota Sato, Katsunobu Imai, and Chuzo Iwamoto
- 学会等名
  The 1st International Workshop on Applications and Fundamentals of Cellular Automata
- 発表場所
  Matsuyama
- データソース
  KAKENHI-PROJECT-23500018
[学会発表] Computational Complexity of String Puzzles2012
- 著者名/発表者名
  Chuzo Iwamoto
- 学会等名
  18th Computing: the Australasian Theory Symposium (CATS 2012)
- 発表場所
  Melbourne, Australia
- データソース
  KAKENHI-PROJECT-23500018
[学会発表] Computational Complexity of String Puzzles2012
- 著者名/発表者名
  Chuzo Iwamoto
- 学会等名
  Proceedings of the 18th Computing : the Australasian Theory Symposium
- 発表場所
  オーストラリア・メルボルン
- 年月日
  2012-02-01
- データソース
  KAKENHI-PROJECT-19500014
[学会発表] Computational Complexity of String Puzzles2012
- 著者名/発表者名
  Chuzo Iwamoto, Kento Sasaki, and Kenichi Morita
- 学会等名
  Proceedings of the 18th Computing : the Australasian Theory Symposium(CATS 2012)
- 発表場所
  Melbourne, Australia, CRPIT, 128, Mestre, J. Eds., ACS.(2012)
- 年月日
  2012-02-01
- データソース
  KAKENHI-PROJECT-19500014
[学会発表] A Note on Tatami Tilings2010
- 著者名/発表者名
  Artiom Alhazov, 森田憲一, 岩本宙造
- 学会等名
  RIMS研究集会(京都大学数理解析研究所講究録)
- 発表場所
  京都市
- 年月日
  2010-02-01
- データソース
  KAKENHI-PROJECT-19500014
[学会発表] Computational Complexity of Cast Puzzles2009
- 著者名/発表者名
  Chuzo Iwamoto, Kento Sasaki, Kenji Nishio, Kenichi Morita
- 学会等名
  Proceedings of the 20th International Symposium on Algorithms and Computation (ISAAC 2009) (Lecture Notes in Computer Science 5878)
- 発表場所
  Hawaii(発表)
- 年月日
  2009-12-16
- データソース
  KAKENHI-PROJECT-19500014
[学会発表] Computational Complexity of Cast Puzzles2009
- 著者名/発表者名
  Chuzo Iwamoto, Kento Sasaki, Kenji Nishio, and Kenichi Morita
- 学会等名
  Proceedings of the 20th International Symposium on Algorithms and Computation(ISAAC2009)
- 発表場所
  Hawaii, USA
- 年月日
  2009-12-16
- データソース
  KAKENHI-PROJECT-19500014
[学会発表] "On Designing Gliders in Three-Dimensional Larger than Life Cellular Automata2009
- 著者名/発表者名
  Katsunobu Imai, Yasuaki Masamori, Chuzo Iwamoto, and Kenichi Morita
- 学会等名
  in F. Peper et al.(eds.): Natural Computing(Proceedings in Information and Communications Technology)
- 発表場所
  Himeji, Japan
- 年月日
  2009-09-24
- データソース
  KAKENHI-PROJECT-19500014
[学会発表] 段数5の単色ドミノタイリングの直交射影からの再構成2008
- 著者名/発表者名
  岩本宙造
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都市
- 年月日
  2008-01-29
- データソース
  KAKENHI-PROJECT-19500014
[学会発表] A Time Hierarchy Theorem for Nondeterministic Cellular Automata2007
- 著者名/発表者名
  Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, and Katsunobu Imai
- 学会等名
  Proceedings of the 4th Annual Conference on Theory and Applications of Models of Computation
- 発表場所
  Shanghai, China
- 年月日
  2007-05-25
- データソース
  KAKENHI-PROJECT-19500014
[学会発表] A Time Hierarchy Theorem for Nondeterministic Cellular Automata2007
- 著者名/発表者名
  Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, Katsunobu Imai
- 学会等名
  Proceedings of the 4th Annual Conference on Theory and Applications of Models of Computation (Lecture Notes in Computer Science 4484)
- 発表場所
  Shanghai, China(発表)
- 年月日
  2007-05-25
- データソース
  KAKENHI-PROJECT-19500014

1. 岩間一雄 (50131272)

共同の研究課題数: 4件

共同の研究成果数: 0件
2. 宮野英次 (10284548)

共同の研究課題数: 3件

共同の研究成果数: 0件
3. 岡部寿男 (20204018)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 澤田直 (70235464)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 櫻井幸一 (60264066)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 荻野博幸 (40144323)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 安岡孝一 (20230211)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 宮崎修一 (00303884)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 川久保和雄 (10186067)

共同の研究課題数: 1件

共同の研究成果数: 0件

岩本 宙造 Iwamoto Chuzo

研究課題

研究成果

共同研究者

無線LAN環境を考慮した美術館定理の証明と人工建築物や自然地形への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

計算量クラスの階層定理の証明と論理合成システムの新評価法の確立研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算複雑性クラスの階層構造の理論的解明と回路設計システムの新評価法の提案研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

素子数と段数に基づく回路計算量の階層性の証明と自動設計システムの評価への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算複雑さに基づく関数集合の階級付けと論理設計ツールの評価法の確立研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理回路族の階層性の証明と論理合成CADシステムの評価への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算量クラスの理論的な分離と自動設計システムの評価への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

適応化と確率化による高速ラウティングアルゴリズムの開発

研究代表者

研究期間 (年度)

研究種目

研究機関

素子数と段数に基づく回路計算量の階層性の証明と論理合成システムの評価への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ベンチマ-キングのための不自然でないランダム論理回路の高速大量生成

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

各種属性を制御可能なランダムテスト例題生成技術の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Chained Block is NP-Complete2024

著者名/発表者名

雑誌名

DOI

ISSN

岩本宙造 Iwamoto Chuzo