このブラウザは、JavaScript が無効になっています。JavaScriptを有効にして再度、お越しください。
他の機関Idpによるログイン
ログイン
ログイン
ログインID
パスワード
他の機関Idpによるログイン
研究者データベース/Academic Staff Directory
言語の選択:
日本語
English
メニュー / MENU
研究者検索
経済学部 教員紹介
経営学部 教員紹介
法学部 教員紹介
文学部 教員紹介
理工学部 教員紹介
法科大学院 教員紹介(リンク)
国際教育センター 教員紹介
共通教員紹介
お知らせ
【連絡事項】
成蹊大学専任教員各位
Ufinityにログイン後、「編集」ボタンを押した際に
「権限が不正」というエラーメッセージが生じた際は、
総合企画課までご連絡ください。
総合企画課:kikaku@jim.seikei.ac.jp
»大学ホームページに戻る
»Return to University HOME
※各教員の担当科目については、以下のリンク先にある「教員名」に該当教員の氏名を入力の上、検索してください。
»シラバス検索はこちらから
研究者業績
現在このブロックに設定情報がありません
研究者検索
> 理工学部 教員紹介
理工学部 教員紹介
研究者リスト
>>
山本 真基
編集
山本 真基
研究者氏名
山本 真基
ヤマモト マサキ
URL
http://www.ci.seikei.ac.jp/yamamoto/index_j.html
所属
成蹊大学
部署
理工学部 理工学科
職名
准教授
学位
博士(理学)(東京工業大学)
J-Global ID
201401077382514859
研究分野
情報通信 / 情報学基礎論 /
研究キーワード
アルゴリズムの設計と解析
,
計算量理論
,
計算理論
経歴
2012年
成蹊大学 理工学部 准教授
論文
<
2
3
4
5
6
>
A combinatorial analysis for the critical clause tree.
Masaki Yamamoto 0001   
Electronic Colloquium on Computational Complexity (ECCC) 17 95-95 2010年
[査読有り]
An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.
Kazuhisa Makino   Suguru Tamaki   Masaki Yamamoto 0001   
Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 172-180 2010年
[査読有り]
Average-case analysis for the MAX-2SAT problem.
Osamu Watanabe 0001   Masaki Yamamoto 0001   
Theor. Comput. Sci. 411(16-18) 1685-1697 2010年
[査読有り]
On the Boolean connectivity problem for Horn relations.
Kazuhisa Makino   Suguru Tamaki   Masaki Yamamoto 0001   
Discret. Appl. Math. 158(18) 2024-2030 2010年
[査読有り]
An improved constant-time approximation algorithm for maximum matchings.
Yuichi Yoshida   Masaki Yamamoto 0001   Hiro Ito   
Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009 225-234 2009年
[査読有り]
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