研究者リスト 山本 真基 山本 真基ヤマモト マサキ (Masaki Yamamoto) ダウンロードする帳票の形式を下記より選択して下さい 「教育研究等環境」形式 「文科省帳票様式第4号 ①履歴書」形式 「文科省帳票様式第4号 ②教育研究業績書」形式 基本情報 所属成蹊大学 理工学部 理工学科 准教授学位博士(理学)(東京工業大学)J-GLOBAL ID201401077382514859researchmap会員IDB000243008外部リンクhttp://www.ci.seikei.ac.jp/yamamoto/index_j.html 研究キーワード 3 アルゴリズムの設計と解析 計算量理論 計算理論 研究分野 1 情報通信 / 情報学基礎論 / 経歴 1 2012年 成蹊大学 理工学部 准教授 論文 29 The minimum number of vertices of graphs containing two monochromatic triangles for any edge $2$-coloring. Naoki Matsumoto, Masaki Yamamoto 0001, Masahito Yamazaki Australas. J Comb. 81 208-232 2021年 Approximately counting paths and cycles in a graph. Masaki Yamamoto 0001 Discret. Appl. Math. 217 381-387 2017年 査読有り Linear Programming Relaxations for Goldreich's Generators over Non-Binary Alphabets. Ryuhei Mori, Takeshi Koshiba, Osamu Watanabe 0001, Masaki Yamamoto 0001 CoRR abs/1406.0373 2014年 査読有り A Combinatorial Analysis for the Critical Clause Tree. Masaki Yamamoto 0001 Theory Comput. Syst. 52(2) 271-284 2013年 査読有り Derandomizing the HSSW Algorithm for 3-SAT. Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto 0001 Algorithmica 67(2) 112-124 2013年 査読有り もっとみる MISC 5 A polynomial-time perfect sampler for the Q-Ising with local fields (アルゴリズムと計算機科学の数理的基盤とその応用--RIMS研究集会報告集) 山本 真基, 来嶋 秀治, 松井 泰子 数理解析研究所講究録 1691 78-84 2010年6月 DS-1-1 最大独立集合と最大マッチングに対する定数時間近似アルゴリズムの改善(DS-1. COMP学生シンポジウム,シンポジウムセッション) 吉田 悠一, 山本 真基, 伊藤 大雄 電子情報通信学会総合大会講演論文集 2009(1) "S-21"-"S-22" 2009年3月4日 A planted solution model for the MAX-2SAT problem (情報物理学の数学的構造--RIMS研究集会報告集) 渡辺 治, 山本 真基 数理解析研究所講究録 1532 19-31 2007年2月 MAX-2SAT問題の平均時間計算量の解析 渡辺 治, 山本 真基 電子情報通信学会技術研究報告. COMP, コンピュテーション 106(63) 25-32 2006年5月17日 A Message Passing Algorithm for MAX2SAT (計算理論とアルゴリズムの新展開 RIMS研究集会報告集) 渡辺 治, 山本 真基 数理解析研究所講究録 1489 106-113 2006年5月 共同研究・競争的資金等の研究課題 2 統計力学からの計算限界解明へのアプローチ 文部科学省 科学研究費補助金(新学術領域研究(研究領域提案型)) 2012年 - 2016年 渡辺 治, 伊東 利哉, 山本 真基, 小柴 健史, 安藤 映 サンプリングアルゴリズムの新提案 文部科学省 科学研究費補助金(若手研究(B)) 2011年 - 2013年 山本 真基
山本 真基ヤマモト マサキ (Masaki Yamamoto) ダウンロードする帳票の形式を下記より選択して下さい 「教育研究等環境」形式 「文科省帳票様式第4号 ①履歴書」形式 「文科省帳票様式第4号 ②教育研究業績書」形式 基本情報 所属成蹊大学 理工学部 理工学科 准教授学位博士(理学)(東京工業大学)J-GLOBAL ID201401077382514859researchmap会員IDB000243008外部リンクhttp://www.ci.seikei.ac.jp/yamamoto/index_j.html 研究キーワード 3 アルゴリズムの設計と解析 計算量理論 計算理論 研究分野 1 情報通信 / 情報学基礎論 / 経歴 1 2012年 成蹊大学 理工学部 准教授 論文 29 The minimum number of vertices of graphs containing two monochromatic triangles for any edge $2$-coloring. Naoki Matsumoto, Masaki Yamamoto 0001, Masahito Yamazaki Australas. J Comb. 81 208-232 2021年 Approximately counting paths and cycles in a graph. Masaki Yamamoto 0001 Discret. Appl. Math. 217 381-387 2017年 査読有り Linear Programming Relaxations for Goldreich's Generators over Non-Binary Alphabets. Ryuhei Mori, Takeshi Koshiba, Osamu Watanabe 0001, Masaki Yamamoto 0001 CoRR abs/1406.0373 2014年 査読有り A Combinatorial Analysis for the Critical Clause Tree. Masaki Yamamoto 0001 Theory Comput. Syst. 52(2) 271-284 2013年 査読有り Derandomizing the HSSW Algorithm for 3-SAT. Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto 0001 Algorithmica 67(2) 112-124 2013年 査読有り もっとみる MISC 5 A polynomial-time perfect sampler for the Q-Ising with local fields (アルゴリズムと計算機科学の数理的基盤とその応用--RIMS研究集会報告集) 山本 真基, 来嶋 秀治, 松井 泰子 数理解析研究所講究録 1691 78-84 2010年6月 DS-1-1 最大独立集合と最大マッチングに対する定数時間近似アルゴリズムの改善(DS-1. COMP学生シンポジウム,シンポジウムセッション) 吉田 悠一, 山本 真基, 伊藤 大雄 電子情報通信学会総合大会講演論文集 2009(1) "S-21"-"S-22" 2009年3月4日 A planted solution model for the MAX-2SAT problem (情報物理学の数学的構造--RIMS研究集会報告集) 渡辺 治, 山本 真基 数理解析研究所講究録 1532 19-31 2007年2月 MAX-2SAT問題の平均時間計算量の解析 渡辺 治, 山本 真基 電子情報通信学会技術研究報告. COMP, コンピュテーション 106(63) 25-32 2006年5月17日 A Message Passing Algorithm for MAX2SAT (計算理論とアルゴリズムの新展開 RIMS研究集会報告集) 渡辺 治, 山本 真基 数理解析研究所講究録 1489 106-113 2006年5月 共同研究・競争的資金等の研究課題 2 統計力学からの計算限界解明へのアプローチ 文部科学省 科学研究費補助金(新学術領域研究(研究領域提案型)) 2012年 - 2016年 渡辺 治, 伊東 利哉, 山本 真基, 小柴 健史, 安藤 映 サンプリングアルゴリズムの新提案 文部科学省 科学研究費補助金(若手研究(B)) 2011年 - 2013年 山本 真基
【連絡事項】 成蹊大学専任教員各位 Ufinityにログイン後、「編集」ボタンを押した際に「権限が不正」というエラーメッセージが生じた際は、総合企画課までご連絡ください。 総合企画課:kikaku@jim.seikei.ac.jp