山本真基 Yamamoto Masaki

研究者番号	50432414
その他のID
所属 (現在)	2025年度: 成蹊大学, 理工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2012年度 – 2016年度: 成蹊大学, 理工学部, 准教授 2011年度: 関西学院大学, 理工学研究科, 専門技術員
審査区分/研究分野	研究代表者情報学基礎研究代表者以外理工系
キーワード	研究代表者混合時間 / 近似数え上げ / マルコフ連鎖モンテカルロ法 / サンプリングアルゴリズム研究代表者以外最尤解探索問題 / 制約解探索問題 / 計算論的解析 / 統計力学的解析 / 充足可能性問題 / 伝搬系アルゴリズム … もっと見る / 平均時計算複雑さ / 解の一意化 / 充足解探索 / 劣線形領域計算 / 確率分布解析 / 強指数時間仮説 / 限定計算における計算限界 / 平均時計算量解析 / 情報理論的解析 / 解空間の構造解析 / 計算限界の確定 / 回路設計問題 / 解空間の離散体積計算問題 / ＳＯＳ法 / 平均時間計算量 / 制約式充足可能性問題 / 解の数え上げ問題 / 解空間の構造 / 計算困難さの相転移 / 計算困難さの解析隠す

統計力学からの計算限界解明へのアプローチ
- 研究代表者
  
  渡辺治
- 研究期間 (年度)
  2012 – 2016
- 研究種目
  
  新学術領域研究(研究領域提案型)
- 審査区分
  
  理工系
- 研究機関
  東京工業大学
サンプリングアルゴリズムの新提案研究代表者
- 研究代表者
  
  山本真基
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  成蹊大学
   関西学院大学

すべて 2017 2013 2012 2011 その他

すべて雑誌論文学会発表

[雑誌論文] Approximately counting paths and cycles in a graph2017
- 著者名/発表者名
  M. Yamamoto
- 雑誌名
  
  Discrete Applied Mathematics
  
  巻: Volume 217, Part 2 ページ: 381-387
- DOI
  10.1016/j.dam.2016.09.002
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PLANNED-24106008
[雑誌論文] Message passing algorithms for MLS-3LIN problem2013
- 著者名/発表者名
  O.Watanabe
- 雑誌名
  
  Algorithmica
  
  巻: 66 号: 4 ページ: 848-868
- DOI
  10.1007/s00453-013-9762-7
- 査読あり
- データソース
  KAKENHI-PROJECT-22300003, KAKENHI-PLANNED-24106008
[雑誌論文] A Combinatorial Analysis for the Critical Clause Tree2013
- 著者名/発表者名
  Masaki Yamamoto
- 雑誌名
  
  Theory Comput. Syst
  
  巻: 52(2) ページ: 271-284
- データソース
  KAKENHI-PROJECT-23700025
[雑誌論文] Derandomizing the HSSW Algorithm for 3-SAT2013
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 雑誌名
  
  Algorithmica
  
  巻: 67(2) ページ: 112-124
- データソース
  KAKENHI-PROJECT-23700025
[雑誌論文] A Combinatorial Analysis for the Critical Clause Tree2013
- 著者名/発表者名
  Masaki Yamamoto
- 雑誌名
  
  Theory of Computing Systems
  
  巻: 52(2) 号: 2 ページ: 271-284
- DOI
  10.1007/s00224-012-9383-6
- 査読あり
- データソース
  KAKENHI-PROJECT-23700025, KAKENHI-PLANNED-24106008
[雑誌論文] Improved Constant-Time Approximation Algorithms for Maximum Matchings and Other Optimization Problems2012
- 著者名/発表者名
  Yuichi Yoshida, Masaki Yamamoto, Hiro Ito
- 雑誌名
  
  SIAM J. Comput
  
  巻: 41(4) ページ: 1074-1093
- データソース
  KAKENHI-PROJECT-23700025
[雑誌論文] Improved Constant-Time Approximation Algorithms for Maximum Matchings and Other Optimization Problems2012
- 著者名/発表者名
  Yuichi Yoshida, Masaki Yamamoto, Hiro Ito
- 雑誌名
  
  SIAM J. Comput.
  
  巻: 41(4) 号: 4 ページ: 1074-1093
- DOI
  10.1137/110828691
- 査読あり
- データソース
  KAKENHI-PROJECT-22240001, KAKENHI-PROJECT-23700025, KAKENHI-PLANNED-24106003, KAKENHI-PROJECT-24800082, KAKENHI-PLANNED-24106008
[雑誌論文] An exact algorithm for the Boolean connectivity problem for k-CNF2011
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 雑誌名
  
  Theor. Comput. Sci
  
  巻: 412(35) ページ: 4613-4618
- NAID
  120003338848
- データソース
  KAKENHI-PROJECT-23700025
[雑誌論文] Determining a Singleton Attractor of a Boolean Network with Nested Canalyzing Functions2011
- 著者名/発表者名
  Tatsuya Akutsu, Avraham A. Melkman, Takeyuki Tamura, Masaki Yamamoto
- 雑誌名
  
  Journal of Computational Biology
  
  巻: 18(10) ページ: 1275-1290
- NAID
  120003517916
- データソース
  KAKENHI-PROJECT-23700025
[雑誌論文] Spectral Analysis of Random Sparse Matrices2011
- 著者名/発表者名
  Tomonori Ando, Yoshiyuki Kabashima, Hisanao Takahashi, Osamu Watanabe, Masaki Yamamoto
- 雑誌名
  
  IEICE Transactions
  
  巻: 94-A(6) ページ: 1247-1256
- NAID
  10029802201
- データソース
  KAKENHI-PROJECT-23700025
[雑誌論文] A polynomial-time perfect sampler for the Q-Ising with a vertex-independent noise2011
- 著者名/発表者名
  Masaki Yamamoto, Shuji Kijima, Yasuko Matsui
- 雑誌名
  
  J. Comb. Optim
  
  巻: 22(3) ページ: 392-408
- NAID
  110007338415
- データソース
  KAKENHI-PROJECT-23700025
[雑誌論文] A polynomial-time perfect sampler for the Q-Ising with a vertex-independent noise2011
- 著者名/発表者名
  Masaki Yamamoto, Shuji Kijima
- 雑誌名
  
  Journal of Combinatorial Optimization
  
  巻: 22(3) ページ: 392-408
- NAID
  110007338415
- 査読あり
- データソース
  KAKENHI-PROJECT-23700025
[雑誌論文] Spectral Analysis of Random Sparse Matrices2011
- 著者名/発表者名
  Masaki Yamamoto, Tomonori Ando
- 雑誌名
  
  IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: 94-A(6) ページ: 1247-1256
- NAID
  10029802201
- 査読あり
- データソース
  KAKENHI-PROJECT-23700025
[雑誌論文] An exact algorithm for the Boolean connectivity problem for k-CNF2011
- 著者名/発表者名
  Masaki Yamamoto, Kazuhisa Makino
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 412(35) ページ: 4613-4618
- NAID
  120003338848
- 査読あり
- データソース
  KAKENHI-PROJECT-23700025
[学会発表] Approximately counting paths and cycles in a graph2013
- 著者名/発表者名
  Masaki Yamamoto
- 学会等名
  ICSG2013
- 発表場所
  Sapporo, Japan
- 招待講演
- データソース
  KAKENHI-PROJECT-23700025
[学会発表] Approximately counting paths and cycles in a graph2013
- 著者名/発表者名
  Masaki Yamamoto
- 学会等名
  Inference, Computation, and Spin Glasses (ICSG2013)
- 発表場所
  Sapporo, Japan (A satellite meeting of STATPHYS 25, Seoul, Korea)
- データソース
  KAKENHI-PROJECT-23700025
[学会発表] A tighter lower bound on the circuit size of the hardest Boolean functions2011
- 著者名/発表者名
  Masaki Yamamoto
- 学会等名
  Electronic Colloquium on Computational Complexity (ECCC) 18:86
- データソース
  KAKENHI-PROJECT-23700025
[学会発表] Derandomizing HSSW Algorithm for 3-SAT2011
- 著者名/発表者名
  Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
- 学会等名
  COCOON 2011 : 1-12
- データソース
  KAKENHI-PROJECT-23700025
[学会発表] Derandomizing HSSW Algorithm for 3-SAT2011
- 著者名/発表者名
  Masaki Yamamoto, Kazuhisa Makino
- 学会等名
  COCOON2011
- 発表場所
  Dallas, U.S.A.
- データソース
  KAKENHI-PROJECT-23700025
[学会発表] Approximately counting paths and cycles in a graph
- 著者名/発表者名
  Masaki Yamamoto
- 学会等名
  ELC Workshop on Inference, Computation, and Spin Glasses
- 発表場所
  Sapporo, Japan
- データソース
  KAKENHI-PLANNED-24106008
[学会発表] Analysis of message passing algorithms for the 3XORSAT problem
- 著者名/発表者名
  Takeshi Koshiba, Ryuhei Mori, Osamu Watanabe, Masaki Yamamoto
- 学会等名
  ELC Workshop on Inference, Computation, and Spin Glasses
- 発表場所
  Sapporo, Japan
- データソース
  KAKENHI-PLANNED-24106008

1. 渡辺治 (80158617)

共同の研究課題数: 1件

共同の研究成果数: 2件
2. 樺島祥介 (80260652)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 福島孝治 (80282606)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 安藤映 (20583511)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 伊東利哉 (20184674)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 小柴健史 (60400800)

共同の研究課題数: 1件

共同の研究成果数: 1件
7. 森立平 (60732857)

共同の研究課題数: 1件

共同の研究成果数: 1件
8. Krzakala Florent

共同の研究課題数: 1件

共同の研究成果数: 0件
9. Zdeborova Lenka

共同の研究課題数: 1件

共同の研究成果数: 0件
10. Zhou Haijun

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 伊藤大雄

共同の研究課題数: 0件

共同の研究成果数: 1件

山本 真基 Yamamoto Masaki

研究課題

研究成果

共同研究者

統計力学からの計算限界解明へのアプローチ

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

サンプリングアルゴリズムの新提案研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Approximately counting paths and cycles in a graph2017

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Message passing algorithms for MLS-3LIN problem2013

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] A Combinatorial Analysis for the Critical Clause Tree2013

著者名/発表者名

雑誌名

データソース

[雑誌論文] Derandomizing the HSSW Algorithm for 3-SAT2013

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Combinatorial Analysis for the Critical Clause Tree2013

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Improved Constant-Time Approximation Algorithms for Maximum Matchings and Other Optimization Problems2012

著者名/発表者名

雑誌名

データソース

[雑誌論文] Improved Constant-Time Approximation Algorithms for Maximum Matchings and Other Optimization Problems2012

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] An exact algorithm for the Boolean connectivity problem for k-CNF2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Determining a Singleton Attractor of a Boolean Network with Nested Canalyzing Functions2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Spectral Analysis of Random Sparse Matrices2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] A polynomial-time perfect sampler for the Q-Ising with a vertex-independent noise2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] A polynomial-time perfect sampler for the Q-Ising with a vertex-independent noise2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Spectral Analysis of Random Sparse Matrices2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] An exact algorithm for the Boolean connectivity problem for k-CNF2011

著者名/発表者名

山本真基 Yamamoto Masaki