森住大樹 Morizumi Hiroki

研究者番号	50463782
所属 (現在)	2025年度: 島根大学, 学術研究院理工学系, 助教
所属 (過去の研究課題情報に基づく) *注記	2018年度: 島根大学, 学術研究院理工学系, 助教 2016年度 – 2017年度: 島根大学, 総合理工学研究科, 助教 2012年度 – 2015年度: 島根大学, 総合理工学研究科(研究院), 助教 2012年度: 島根大学, 総合理工学研究科, 助教 2010年度 – 2011年度: 島根大学, 総合理工学部, 助教 2009年度: 京都大学, 情報学研究科, 特定研究員
審査区分/研究分野	研究代表者情報学基礎 / 情報学基礎理論研究代表者以外情報学基礎
キーワード	研究代表者回路計算量 / 計算量理論 / 論理関数 / 論理回路 / 非決定性回路 / 幅限定回路 / 論理式 / 反転計算量 / 否定数限定回路研究代表者以外准線形時間 … もっと見る / 分散アルゴリズム / 乱化アルゴリズム / 劣線形時間 / 理論的性能保証 / 数理モデル化 / 情報の補填 / 計算困難問題 / アルゴリズム / 乱化計算 / アルゴリズム的ゲーム理論 / グラフ問題 / アルゴリズム理論隠す

非決定性回路を対象とする回路計算量理論の確立研究代表者
- 研究代表者
  
  森住大樹
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  情報学基礎理論
- 研究機関
  島根大学
幅が制限された論理回路の計算量に関する研究研究代表者
- 研究代表者
  
  森住大樹
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  島根大学
空間的な情報補填を可能にするアルゴリズムの研究
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
否定素子数が制限された論理回路の計算量に関する研究研究代表者
- 研究代表者
  
  森住大樹
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  島根大学
   京都大学

すべて 2019 2018 2015 2014 2013 2012 2011 2010 2009 その他

すべて雑誌論文学会発表

[雑誌論文] Zero-Suppression and Computation Models2018
- 著者名/発表者名
  Hiroki Morizumi
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 10979 ページ: 263-272
- DOI
  10.1007/978-3-319-94667-2_22
- ISBN
  9783319946665, 9783319946672
- 査読あり
- データソース
  KAKENHI-PROJECT-15K11986
[雑誌論文] Lower Bounds for the Size of Nondeterministic Circuits2015
- 著者名/発表者名
  Hiroki Morizumi
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 9198 ページ: 289-296
- DOI
  10.1007/978-3-319-21398-9_23
- ISBN
  9783319213972, 9783319213989
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K11986
[雑誌論文] Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions2014
- 著者名/発表者名
  Hiroki Morizumi
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 8705 ページ: 104-110
- DOI
  10.1007/978-3-662-44602-7_9
- ISBN
  9783642387081, 9783642387098
- 査読あり
- データソース
  KAKENHI-PROJECT-23700020
[雑誌論文] Complexity of Counting Output Patterns of Logic Circuits2013
- 著者名/発表者名
  Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi and Xiao Zhou
- 雑誌名
  
  Conferences in Research and Practice in Information Technology
  
  巻: 141
- NAID
  110009768648
- 査読あり
- データソース
  KAKENHI-PROJECT-23700020
[雑誌論文] Computing All MOD-Functions Simultaneously2012
- 著者名/発表者名
  Evgeny Demenkov, Alexander Kulikov, Ivan Mihajlin and Hiroki Morizumi
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 7353 ページ: 81-88
- DOI
  10.1007/978-3-642-30642-6_9
- ISBN
  9783642306419, 9783642306426
- 査読あり
- データソース
  KAKENHI-PROJECT-23700020
[雑誌論文] Improved Approximation Algorithms for Minimum AND-Circuits Problem via k-Set Cover2011
- 著者名/発表者名
  Hiroki Morizumi
- 雑誌名
  
  Information Processing Letters
  
  巻: vol. 111, no. 5 号: 5 ページ: 218-221
- DOI
  10.1016/j.ipl.2010.11.019
- 査読あり
- データソース
  KAKENHI-PROJECT-21700002
[雑誌論文] Negation-Limited Inverters of Linear Size2010
- 著者名/発表者名
  Hiroki Morizumi, and Genki Suzuki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E93-D 号: 2 ページ: 257-262
- DOI
  10.1587/transinf.E93.D.257
- NAID
  10026813563
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-21700002
[雑誌論文] Negation-Limited Inverters of Linear Size2010
- 著者名/発表者名
  Hiroki Morizumi, Genki Suzuki
- 雑誌名
  
  IEICE Transactions on Information and Systems vol.E93-D
  
  ページ: 257-262
- NAID
  10026813563
- 査読あり
- データソース
  KAKENHI-PROJECT-21700002
[雑誌論文] Negation-Limited Complexity of Parity and Inverters2009
- 著者名/発表者名
  Kazuo Iwama, Hiroki Morizumi, and Jun Tarui
- 雑誌名
  
  Algorithmica
  
  巻: vol. 54, no. 2 号: 2 ページ: 256-267
- DOI
  10.1007/s00453-007-9135-1
- 査読あり
- データソース
  KAKENHI-PROJECT-21700002
[雑誌論文] Negation-Limited Complexity of Parity and Inverters2009
- 著者名/発表者名
  Kazuo Iwama, Hiroki Morizumi, Jun Tarui
- 雑誌名
  
  Algorithmica vol.54
  
  ページ: 256-267
- 査読あり
- データソース
  KAKENHI-PROJECT-21700002
[雑誌論文] Limiting Negations in Non-Deterministic Circuits2009
- 著者名/発表者名
  Hiroki Morizumi
- 雑誌名
  
  Theoretical Computer Science
  
  巻: vol. 410, no. 38-40 号: 38-40 ページ: 3988-3994
- DOI
  10.1016/j.tcs.2009.05.018
- 査読あり
- データソース
  KAKENHI-PROJECT-21700002
[雑誌論文] Limiting Negations in Non-Deterministic Circuits2009
- 著者名/発表者名
  Hiroki Morizumi
- 雑誌名
  
  Theoretical Computer Science vol.410
  
  ページ: 3988-3994
- 査読あり
- データソース
  KAKENHI-PROJECT-21700002
[学会発表] Some Results on the Power of Nondeterministic Computation2019
- 著者名/発表者名
  Hiroki Morizumi
- 学会等名
  2018年度冬のLAシンポジウム
- データソース
  KAKENHI-PROJECT-15K11986
[学会発表] Lower Bounds and Satisfiability Algorithms for Bounded Width Circuits2019
- 著者名/発表者名
  Hiroki Morizumi
- 学会等名
  電子情報通信学会コンピュテーション研究会（2019年3月）
- データソース
  KAKENHI-PROJECT-15K11986
[学会発表] ZDDと論理式に関する一考察2018
- 著者名/発表者名
  森住大樹
- 学会等名
  情報処理学会第167回アルゴリズム研究会
- データソース
  KAKENHI-PROJECT-15K11986
[学会発表] On Zero-Suppressed Binary Decision Diagrams and Complexity Theory2014
- 著者名/発表者名
  Hiroki Morizumi
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  崇城大学（熊本県）
- 年月日
  2014-12-05
- データソース
  KAKENHI-PROJECT-23700020
[学会発表] On Computing Sensitivity, Block Sensitivity, and Certificate Complexity for Boolean Formulas2014
- 著者名/発表者名
  Hiroki Morizumi
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  中央大学（東京都）
- データソース
  KAKENHI-PROJECT-23700020
[学会発表] Complexity of Counting Output Patterns of Logic Circuits2013
- 著者名/発表者名
  Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi and Xiao Zhou
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  小樽商科大学（小樽市）
- データソース
  KAKENHI-PROJECT-23700020
[学会発表] Complexity of Counting Output Patterns of Logic Circuits2013
- 著者名/発表者名
  Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi and Xiao Zhou
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  小樽商科大学（北海道）
- データソース
  KAKENHI-PROJECT-23700020
[学会発表] Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions2013
- 著者名/発表者名
  Hiroki Morizumi
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  沖縄産業支援センター（沖縄県）
- データソース
  KAKENHI-PROJECT-23700020
[学会発表] Limiting Negations in Probabilistic Circuits2012
- 著者名/発表者名
  森住大樹
- 学会等名
  2011年度冬のLAシンポジウム
- 発表場所
  京都大学(京都府)
- 年月日
  2012-01-31
- データソース
  KAKENHI-PROJECT-21700002
[学会発表] Computing All MOD-Functions Simultaneously2012
- 著者名/発表者名
  Evgeny Demenkov, Alexander S. Kulikov,Ivan Mihajlin, Hiroki Morizumi
- 学会等名
  CSR
- 発表場所
  Nizhny Novgorod, Russia
- 年月日
  2012-07-06
- データソース
  KAKENHI-PROJECT-22240001
[学会発表] Limiting Negations in Probabilistic Circuits2012
- 著者名/発表者名
  森住大樹
- 学会等名
  2011年度冬のLAシンポジウム
- 発表場所
  京都大学(京都府)
- 年月日
  2012-01-31
- データソース
  KAKENHI-PROJECT-21700002
[学会発表] Limiting Negations in Formulas2009
- 著者名/発表者名
  Hiroki Morizumi
- 学会等名
  the 36th International Colloquium on Automata, Languages and Programming
- 発表場所
  ロードス(ギリシャ)
- 年月日
  2009-07-09
- データソース
  KAKENHI-PROJECT-21700002
[学会発表] Limiting Negations in Formulas2009
- 著者名/発表者名
  Hiroki Morizumi
- 学会等名
  The 36th International Colloquium on Automata, Languages and Programming (ICALP 2009)
- 発表場所
  ロードス(ギリシャ)
- 年月日
  2009-07-09
- データソース
  KAKENHI-PROJECT-21700002
[学会発表] 幅限定回路と段数限定論理式に対する単純な#SATアルゴリズム
- 著者名/発表者名
  森住大樹
- 学会等名
  2014年度冬のLAシンポジウム
- 発表場所
  京都大学（京都府）
- 年月日
  2015-01-28 – 2015-01-30
- データソース
  KAKENHI-PROJECT-23700020

1. 伊藤大雄 (50283487)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 岩間一雄 (50131272)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. エイビスデイビッド (90584110)

共同の研究課題数: 1件

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

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 玉置卓 (40432413)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 加藤直樹 (40145826)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 徳山豪 (40312631)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 山下雅史 (00135419)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 渡辺治 (80158617)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 堀山貴史 (60314530)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 川原純 (20572473)

共同の研究課題数: 1件

共同の研究成果数: 0件

森住 大樹 Morizumi Hiroki

研究課題

研究成果

共同研究者

非決定性回路を対象とする回路計算量理論の確立研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

幅が制限された論理回路の計算量に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

空間的な情報補填を可能にするアルゴリズムの研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

否定素子数が制限された論理回路の計算量に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Zero-Suppression and Computation Models2018

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Lower Bounds for the Size of Nondeterministic Circuits2015

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions2014

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Complexity of Counting Output Patterns of Logic Circuits2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Computing All MOD-Functions Simultaneously2012

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Improved Approximation Algorithms for Minimum AND-Circuits Problem via k-Set Cover2011

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Negation-Limited Inverters of Linear Size2010

著者名/発表者名

雑誌名

DOI

NAID

ISSN

言語

データソース

[雑誌論文] Negation-Limited Inverters of Linear Size2010

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Negation-Limited Complexity of Parity and Inverters2009

著者名/発表者名

雑誌名

DOI

データソース

森住大樹 Morizumi Hiroki