理論計算機科学の基礎的研究と
その応用
東京工業大学  伊東  利哉 研究室


目   的

我々の身の回りに存在する様々な組み合わせ問題(例えば、ネットワーク・符号・情報検索ツールの設計等)に対し、アルゴリズムの観点から理論的検討を行っている。そして、これらの設計と解析を通じて、より効率的なアルゴリズムの実現を目指している。


研究分野
計算量理論 近似アルゴリズム 理論計算機科学


研究テーマ
  1. プログラムの正当性の確率的検証法
  2. 一様な多値乱数の生成
  3. プライバシーを考慮した情報獲得プロトコル
  4. オンラインアルゴリズム
  5. 組合せ最適化問題に対する近似アルゴリズム
  6. 電子的文書の類似度判定ツール(最小値独立置換族)


求める資質
  1. 離散的なものを研究対象とするので,論理思考能力に優れること.
  2. 理論解析を中心に研究をすすめるので,考え続ける能力を有すること
    (一ヵ月間,毎日10時間,一つの問題を考え続ける能力).
  3. 組合せ数学・確率論・線形代数に関する学力を有すること.
  4. 明確な目標を持ち,それに向かって努力する気力を有すること.
  5. 明るい性格で,明確にイエス・ノーの意志表示ができること.


論文

プロファイル

メール お問い合わせ先: titoh(at)ip.titech.ac.jp

申し訳ございません.お手数ですが,(at)を@に置き換えて下さい.