研究绍介计算量理论.pptVIP

今井研究室　研究室紹介 ２００５年６月２４日 現在の研究 アルゴリズムの可能性と限界の究明 量子計算?情報 計算量理論 アルゴリズム構築の基礎 計算幾何?代数 離散システム 実社会へのアルゴリズムの応用 交通量解析 ゲームアルゴリズム 博士論文（１） 計算幾何 アレンジメント再構成の組合せ論的複雑度評価（青木 保一） 特徴多様体上のクラスタリング問題について（稲葉 真理） リーマン計算幾何：凸包，ボロノイ図とデローネ型三角形分割（大西 建輔） 整数計画法による三角形分割の最適化（田島 玲） 三角形分割の組合せ論（竹内 史比古） 計算代数 単模およびLawrence型整数計画問題に対する計算代数的解析（石関 隆幸） 量子計算量 計算量的観点における量子計算モデルの計算能力（小林 弘忠） 組合せゲーム理論 AND/OR木探索アルゴリズムDf-pnの提案とその応用（長井 歩） 博士論文（２） ゲノム?文字列処理 部分文字列の性質に基づく計算機援用大規模生物実験設計（土井 晃一郎） 文書検索と圧縮の統合-接尾辞ソート、ブロックソート法、接尾辞配列-（定兼 邦彦） 生物配列情報の比較と検索のための高速なアルゴリズムの研究（渋谷 哲朗） グラフ理論 Tutte多項式の計算アルゴリズムとその応用（関根 京子） リンクベースのWeb上情報発見手法の新しいフレームワーク（浅野 泰仁） ネットワーク ネットワーク通信において通信品質を保証するアルゴリズム（古賀久志） 今井研究室の目標 独力で研究ができるようになる 人に頼らず自分の力で研究を推進 多くの人と共著の論文が書けるようになる 世界レベルでの共同研究 分かりやすい発表が出来るようになる 人に分かってもらうことが自分の理解につながる どんなに良い研究成果でも人に分かってもらわなければ意味がない 研究室の活動 週1回の研究発表（メンバーが毎週２人ずつ順に発表） 成果だけでなく展望、思考過程を発表 活発な討論 発表の練習 輪読 外部の研究者との交流、連携 研究会、国際会議での発表 論文誌への投稿 環境 研究室 311号室、314号室（図書室の隣） 個人用端末、机 PCを購入予定 計算サーバ プリンタ(カラー、モノクロ)、コピー機 発表用のノートPCとプロジェクタ 卒論へ向けて 10月　卒論研究室配属 テーマ決定 研究?調査開始 11月 卒論中間発表１回目 内容の具体化 12月　卒論中間発表２回目 　　　　卒論要旨提出 1月　　卒論執筆 　　　　卒論中間発表３回目 2月　卒論完成?提出 　　　卒論発表 さらなる研究 卒論修正?加筆 3月　最終提出 研究会、国際会議での発表 論文誌への投稿 卒論のテーマ 今まで…人から与えられた問題を解いてれば良かった これから…自分で解く課題を探す 卒論のテーマ 各自が興味を持った課題を探す 自分だけが面白いのではなく、他の人にも面白さが説明できることが必要 卒論の進め方 既存研究を調査する 自分の研究の新規性と位置づけ 研究の流れを理解する（それまでの研究では実現できなかった課題を克服するものとして次の研究がある） 研究の方向性を見極める 今までの研究の流れで何が問題となっていて、次に何を研究すればいいのか 方向性を間違えてしまったら、どれだけ問題解決能力があっても良い結果は得られない 問題を解く 問題解決能力は今まで十分鍛えられているはず （課題、試験、レポートなど） 研究紹介（計算量理論） 上野　賢哉（修士１年） 計算量理論を研究する意義 計算量クラス間の関係を示すことにより アルゴリズム構築の限界が明らかになる 暗号の安全性の数学的裏づけができる … 計算量理論で評価されてきた研究は、 これらに関して何らかの可能性が示されている （ただ単に非自明な結果が示せればいいってもんじゃない） 計算量クラス 新規性＝重要性？ 「ＦＰＳＰＡＣＥは今まで他の人が研究して 　　　　こなかったからこの研究は価値があります」 　　　　　　　　　　　　↓ 研究したって面白くないと思われて誰も手をつけてこなかっただけ？ 価値があるけど誰も気づかなかった？ 新規性は必要だけど、他の人が研究していない からこの研究は重要だという論法は通用しない 意義ある研究とは ×言語で知られている定理を関数でやってみて似たような結果を得る あたりまえ だったら関数なんかやらないで最初から言語の研究してれば十分 ○言語ではできなかったことが関数だったら可能になることを示す 言語じゃなくて関数を研究することの強みが示せる さらに、それが計算量クラス間の性質の解明などに役立つことを示すこ