山本 真基（Masaki Yamamoto）

准教授
アルゴリズム論研究室
成蹊大学 理工学部 情報科学科

研究

• 充足可能性問題（satisfiability problem）のアルゴリズム
• ＮＰ困難な問題の平均時解析（average-case analysis）
• マルコフ連鎖モンテカルロ法（Markov chain Monte Carlo）によるランダムサンプリング

教育

• 講義
• ゼミ
• 卒論・修論

連絡先

• 住所：〒180-8633 東京都武蔵野市吉祥寺北町３－３－１ （１１号館４階１４０３）
• e-mail：yamamoto[あっと]st.seikei.ac.jp