コンテンツエリアへ他の機関Idpによるログインログイン
　　
 
言語の選択：

メニュー / MENU

研究者検索
経済学部 教員紹介経営学部 教員紹介法学部 教員紹介文学部 教員紹介理工学部 教員紹介
法科大学院 教員紹介（リンク）国際教育センター 教員紹介共通教員紹介

お知らせ

【連絡事項】

成蹊大学専任教員各位

Ufinityにログイン後、「編集」ボタンを押した際に「権限が不正」というエラーメッセージが生じた際は、総合企画課までご連絡ください。

総合企画課：kikaku@jim.seikei.ac.jp


 
»大学ホームページに戻る
»Return to University HOME

※各教員の担当科目については、以下のリンク先にある「教員名」に該当教員の氏名を入力の上、検索してください。
 

研究者業績

現在このブロックに設定情報がありません

 
研究者検索 ＞ 理工学部 教員紹介 

理工学部　教員紹介

研究者リスト >> 山本 真基
 

山本 真基

 
アバター
研究者氏名山本 真基
 
ヤマモト マサキ
URLhttp://www.ci.seikei.ac.jp/yamamoto/index_j.html
所属成蹊大学
部署理工学部 理工学科
職名准教授
学位博士（理学）(東京工業大学)
J-Global ID201401077382514859

研究分野

 
  • 情報通信 / 情報学基礎論 / 

研究キーワード

 
アルゴリズムの設計と解析 ,計算量理論 ,計算理論

経歴

 
2012年
   
 
成蹊大学 理工学部 准教授 
 

論文

<23456>
 
 
A Polynomial-Time Perfect Sampler for the Q-Ising with a Vertex-Independent Noise.
Masaki Yamamoto 0001   Shuji Kijima   Yasuko Matsui   
Computing and Combinatorics, 15th Annual International Conference, COCOON 2009, Niagara Falls, NY, USA, July 13-15, 2009, Proceedings   328-337   2009年   [査読有り]
 
A Dichotomy Theorem within Schaefer for the Boolean Connectivity Problem.
Kazuhisa Makino   Suguru Tamaki   Masaki Yamamoto 0001   
Electron. Colloquium Comput. Complex.   14(029)    2007年
 
On the Boolean connectivity problem for horn relations
Kazuhisa Makino   Suguru Tamaki   Masaki Yamamoto   
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS   4501 187-+   2007年   [査読有り]
Gopalan et al. studied in ICALP06 [17] connectivity properties of the solution-space of Boolean formulas, and investigated complexity issues on the connectivity problems in Schaefer's framework. A set S of logical relations is SCHAEFER if all rela...
 
A Spectral Method for MAX2SAT in the Planted Solution Model.
Masaki Yamamoto 0001   
Algorithms and Computation, 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings   112-123   2007年   [査読有り]
 
An improved exact algorithm for the domatic number problem.
Tobias Riege   Jörg Rothe   Holger Spakowski   Masaki Yamamoto 0001   
Inf. Process. Lett.   101(3) 101-106   2007年   [査読有り]

MISC

 
 
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月
 
A planted solution model for the MAX-2SAT problem (情報物理学の数学的構造--RIMS研究集会報告集)
渡辺 治   山本 真基   
数理解析研究所講究録   1532 19-31   2007年2月
 
MAX-2SAT問題の平均時間計算量の解析
渡辺 治   山本 真基   
電子情報通信学会技術研究報告. COMP, コンピュテーション   106(63) 25-32   2006年5月   
 
A Message Passing Algorithm for MAX2SAT (計算理論とアルゴリズムの新展開 RIMS研究集会報告集)
渡辺 治   山本 真基   
数理解析研究所講究録   1489 106-113   2006年5月   

共同研究・競争的資金等の研究課題

 
 
統計力学からの計算限界解明へのアプローチ
文部科学省: 科学研究費補助金(新学術領域研究(研究領域提案型))
渡辺 治 伊東 利哉 山本 真基 小柴 健史 安藤 映 
研究期間: 2012年 - 2016年
 
サンプリングアルゴリズムの新提案
文部科学省: 科学研究費補助金(若手研究(B))
山本 真基 
研究期間: 2011年 - 2013年
Powered by NetCommons2 The NetCommons Project