2010年度 情報科学演習Ⅲ 今井研課題説明会 2010年4月9日 TexPoint fonts used in EMF.

Slides:



Advertisements
Similar presentations
専門教科「情報」(2) 6/1/07. 各科目(続き) 課題研究 課題研究(1) 目標 情報に関する課題を設定し,その課題の解決 を図る学習を通して,専門的な知識と技術の 深化,総合化を図るとともに,問題解決の能 力や自発的,創造的な学習態度を育てる.
Advertisements

素数判定の効率性について 東邦大学理学部情報科学科卒業研究発表会 指導教員 白柳 潔 提出者 後藤 雄大.
新設科目:応用数学 イントロダクション 情報工学科 2 年前期 専門科目 担当:准教授 青木義満.
到着時刻と燃料消費量を同時に最適化する船速・航路計画
キャッシュ付PRAM上の 並列クィックソートと 並列マージソート
2009/12/4 グラフ (2) 第10講: 平成21年12月4日 (金) 4限 E252教室 コンピュータアルゴリズム.
セキュアネットワーク符号化構成法に関する研究
データ構造と アルゴリズム 第十二回 知能情報学部 知能情報学科 新田直也.
豊中高校土曜講座「数学セミナー2003」 プラトン多面体の数学 なぜ正多面体は5種類しかないのか 大阪府立豊中高等学校 深川 久.
ラベル付き区間グラフを列挙するBDDとその応用
近似アルゴリズム 第10章 終了時刻最小化スケジューリング
秘密のリンク構造を持つグラフのリンク解析
データ構造とアルゴリズム論 第6章 探索のアルゴリズム
曲面上のグラフの彩色 ~種数の増加,面の制限及び局所平面性~
組合せ最適化 輪講 第1回 ERATO研究員 川原 純.
リンク構造を考慮したベクトル空間法によるWebグラフ分割手法に関する研究
情報数理Ⅱ 平成27年9月30日 森田 彦.
今井研究室 研究室紹介 2005年6月24日.
s a b f c e d 2016年度 有限幾何学 期末試験 問1:15点
サポートベクターマシン によるパターン認識
北大MMCセミナー 第74回 附属社会創造数学センター主催 Date: 2017年8月4日(金) 15:00~16:30
シミュレーション論 Ⅱ 第15回 まとめ.
フィールドセンシング Field Sensing Technologies
応用社会システム計画 (第10回) ここで、学習すること 学籍番号: 氏名: ■これまでの講義内容の整理 ■計画問題の設定と手法
Q q 情報セキュリティ 第3回:2005年4月22日(金) q q.
高速剰余算アルゴリズムとそのハードウェア実装についての研究
2009年度 情報科学演習Ⅲ 今井研課題説明会 2009年4月10日 TexPoint fonts used in EMF.
2008年度 今井研究室紹介 2008年4月7日.
思考支援ツールを用いた 情報処理技術知識の学習方式
第25章 単一始点最短路 3節 Bellman-Fordのアルゴリズム
論文紹介 Query Incentive Networks
ネットワーク上での社会的効用と個人的効用の対立問題に対するアルゴリズム的研究
定兼邦彦 今井浩 東京大学理学系研究科 情報科学専攻
グラフアルゴリズムの可視化 数理科学コース 福永研究室 高橋 優子 2018/12/29.
2006年度 今井研研究室紹介 2006年6月30日.
予測に用いる数学 2004/05/07 ide.
量子系における 確率推論の平均場理論 田中和之 東北大学大学院情報科学研究科
計算量理論輪講 chap5-3 M1 高井唯史.
連続領域におけるファジィ制約充足問題の 反復改善アルゴリズムによる解法 Solving by heuristic repair Algorithm of the Fuzzy Constraint Satisfaction Problems with Continuous Domains 北海道大学.
統計解析 第1回 条件付き独立性と確率的グラフィカルモデル 本講義の全体像
東北大学 大学院情報科学研究科 応用情報科学専攻 田中 和之(Kazuyuki Tanaka)
背景 課題 目的 手法 作業 期待 成果 有限体積法による汎用CFDにおける 流体構造連成解析ソルバーの計算効率の検証
量子コンピュータ 株式会社アプライド・マーケティング 大越 章司
P2P ネットワーク上で 実時間ストリーミングを実現するための 分散制御プロトコルの提案
情報科学演習III --- 計算代数とその応用 ---
情報経済システム論:第13回 担当教員 黒田敏史 2019/5/7 情報経済システム論.
B03 量子論理回路の 最適化に関する研究 西野哲朗,垂井淳,太田和夫,國廣昇 電気通信大学 情報通信工学科.
シミュレーション論 Ⅱ 第1回.
Lecture 8 Applications: Direct Product Theorems
「ICAによる顔画像特徴量抽出とSVMを用いた表情認識」
構造的類似性を持つ半構造化文書における頻度分析
ガイダンス 電子計算機 電気工学科 山本昌志 1E
A02 計算理論的設計による知識抽出モデルに関する研究
東北大学 大学院情報科学研究科 応用情報科学専攻 田中 和之(Kazuyuki Tanaka)
情報数理Ⅱ 平成28年9月21日 森田 彦.
コストのついたグラフの探索 分枝限定法 A*アルゴリズム.
情報数学Ⅲ 5,6 (コンピュータおよび情報処理)
情報数学5,6 (コンピュータおよび情報処理) 講義内容
離散数学 11. その他のアルゴリズム 五島.
目次 はじめに 収束性理論解析 数値実験 まとめ 特異値計算のための dqds 法 シフトによる収束の加速
確率的フィルタリングを用いた アンサンブル学習の統計力学 三好 誠司 岡田 真人 神 戸 高 専 東 大, 理 研
Q q 情報セキュリティ 第7回:2005年5月27日(金) q q.
北大MMCセミナー 第23回 Date:2014年3月6日(木) 16:30~18:00 ※通常と曜日が異なります
CSS符号を用いた量子鍵配送の安全性についての解析
2008年度 情報数理 ~ 授業紹介 ~.
2012年度 情報数理 ~ 授業紹介 ~.
東京工業大学情報理工学研究科 小島政和 第1回横幹連合コンファレンス 2005年11月25,26日 JA 長野県ビル
集中講義(東京大学)「化学システム工学特論第3」 バイオインフォマティクス的手法による化合物の性質予測(1) バイオインフォマティクス概観
分子生物情報学(0) バイオインフォマティクス
グラフの帯域幅連続多重彩色 を求めるアルゴリズム (Bandwidth Consective Multicolorings of Graphs) 西関研究室 西川和秀.
Presentation transcript:

2010年度 情報科学演習Ⅲ 今井研課題説明会 2010年4月9日 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A

今井研究室の研究テーマ アルゴリズム 今井研究室の研究テーマは情報科学の基礎である「アルゴリズム」そのものです。一口にアルゴリズムと言っても、さまざまな側面からの研究があります。

今井研究室の研究テーマ アルゴリズム 基礎理論 計算量 計算量 計算量 最適化 アルゴリズムの速さの解析や、アルゴリズムを適用する問題そのものの解析を行う、計算量、最適化といった側面からの研究や

今井研究室の研究テーマ 現実社会へ の応用 アルゴリズム 基礎理論 計算量 計算量 暗号実装 計算量 計算量 計算量 計算量 生体認証 ゲーム理論 計算量 計算量 計算量 計算量 生体認証 交通量解析    現実社会へ      の応用 計算量 最適化 アルゴリズム 基礎理論 結果や考え方を現実社会での問題に応用するという側面からの研究、

今井研究室の研究テーマ 現実社会へ の応用 アルゴリズム 基礎理論 新しい計算の 枠組み 計算量 計算量 暗号実装 計算量 計算量 計算量 ゲーム理論 計算量 計算量 計算量 計算量 生体認証 交通量解析    現実社会へ      の応用 計算量 最適化 アルゴリズム 基礎理論 新しい計算の    枠組み 計算量 量子 またこれらの問題を、これまでの計算の枠組みとは異なる量子計算の枠組みで考えるという研究

今井研究室の研究テーマ 現実社会へ の応用 アルゴリズム 基礎理論 新しい計算の 枠組み 数理構造そのもの 計算量 計算量 暗号実装 計算量 ゲーム理論 計算量 計算量 計算量 計算量 生体認証 交通量解析    現実社会へ      の応用 計算量 最適化 アルゴリズム 基礎理論 新しい計算の    枠組み 計算量 量子 そしてこれらの研究を支える数理的構造の研究など、今井研究室では基礎から応用、古典から量子まで、幅広い分野に挑戦しています。 計算量 計算量 組合せ論 グラフ理論 計算量 計算量 数理構造そのもの 計算代数 計算幾何

博士論文(1/2) 計算幾何 アレンジメント再構成の組合せ論的複雑度評価(青木 保一,1993) リーマン計算幾何:凸包,ボロノイ図とデローネ型三角形分割 (大西 建輔,1998) 特徴多様体上のクラスタリング問題について(稲葉 真理,1999) 整数計画法による三角形分割の最適化(田島 玲,2000) 三角形分割の組合せ論(竹内 史比古,2001) 多面体的複体のシェリング向き付け: シェラビリティー判定と離散最適化の組合せ構造 (森山園子,2006) 有向マトロイドの実現を与える方法および特徴のある有向マトロイド (中山 裕貴,2007) 計算代数 単模およびLawrence型整数計画問題に対する計算代数的解析 (石関 隆幸,2003) 量子計算 計算量的観点における量子計算モデルの計算能力(小林 弘忠,2002) 資源制約下における量子計算モデルの計算能力(ルガル フランソワ,2006) エンタングルメントコストの解析とホレボ容量の計算(下野 寿之,2006) Bell不等式とカット多面体:量子情報科学と組合せ最適化の結合 (伊藤 剛,2007) - 現実世界の設定下で定量的な安全性を初めて保証したデコイ法量子鍵配送 の理論と実験(長谷川 淳,2008) - 量子状態上のボロノイ図とその量子通信路容量の数値的評価への応用 (加藤 公一,2008) 今井研がどのような研究をしてきたところか知ってもらう 7

博士論文(2/2) ゲームツリー探索 AND/OR木探索アルゴリズムDf-pnの提案とその応用(長井 歩,2002) (美添一樹, 2009) パズル・計算量    -別解問題の計算量解析の統一的手法 (八登崇之, 2009) -論理式サイズ下界に対する強化線形計画限界(上野賢哉, 2010) ゲノム・文字列処理 文書検索と圧縮の統合-接尾辞ソート、ブロックソート法、接尾辞配列- (定兼 邦彦,2000) 部分文字列の性質に基づく計算機援用大規模生物実験設計 (土井 晃一郎,2001) 生物配列情報の比較と検索のための高速なアルゴリズムの研究 (渋谷 哲朗,2002) グラフ理論 Tutte多項式の計算アルゴリズムとその応用(関根 京子,1997) リンクベースのWeb上情報発見手法の新しいフレームワーク (浅野 泰仁,2003) ネットワーク ネットワーク通信において通信品質を保証するアルゴリズム (古賀 久志,2002) 8

修士論文 (1/2) 離散数学・計算幾何 最小包含球問題から得られるCube グラフの向きづけ(西鳥羽 二郎,2007) Angular Voronoi Diagram の退化(牟田 秀俊,2008) マトロイドの向き付けの計算解析及び離散幾何における接続関係の問題への応用   (松本宜丈, 2009) 半正定値計画法による有向マトロイドの構造解析 (宮田 洋行,2009) Periodic graph の幾何構造の解析およびその高速アルゴリズムへの応用(夫 紀恵, 2010) 実データに基づくhuman network とcitation graph の解析(奥田 諒介, 2010) 計算量理論 L対P問題の折り返し対アクセス問題への関連付けとそれらの組み合わせ構造(上野 賢哉,2007)

修士論文 (2/2) 暗号理論 Final Round 攻撃対策のなされたAES に対するキャッシュタイミング攻撃 (永岡 悟,2008) 量子攻撃耐性と平均的困難性を備えた生体暗号システム (小島 晃司, 2009) 量子計算 可解群に対する多項式時間量子アルゴリズム(乾 義文,2007) 二分NAND式木上の量子ウォークアルゴリズムの解析(鈴木 真吾, 2008) 2-Prover 1-Round Game としてのベル不等式における最大量子破れ (高橋 敏明,2008) 2部グラフ上での量子ウォーク探索アルゴリズムのデコヒーレンスの影響の解析    (徳田 優, 2009)

演習の内容 研究のための基礎訓練 テーマを自力で見つける能力 もちろん質問は歓迎 文献を探す、調べる 分かりやすい発表 研究について自分で考えることを身につける 研究のための基礎訓練 文献を探す、調べる 分かりやすい発表 テーマを自力で見つける能力 何を研究すればよいのか? なぜその研究が必要か? もちろん質問は歓迎 メールor研究室(一度研究室に来て雰囲気を知る こともお勧めします) 今井研セミナーの見学も歓迎 今井研の目指す演習Ⅲの目標とは研究について自分で考えることを見につけてもらうことである。 研究のための基礎訓練として文献を探す、調べる テーマを自力で見つける能力 独りよがりなテーマでは意味がない! 何を研究すればよいのか?なぜその研究が必要になるかを理解するセンスを見につけてもらうことが目標である。 もちろん質問は歓迎、メールを送るか研究室に来てもらえれば研究室の先輩が応対してくれます 今井研セミナーへの見学も歓迎しています

日程 1週目:テーマ設定 2週目:中間発表 3週目:中間発表 4週目:最終発表 学期末:真の最終発表(任意) 毎週水曜日13:30から236にて 都合が悪い場合はflexibleに対応します 1週目:テーマ設定 2週目:中間発表 3週目:中間発表 4週目:最終発表 演習の日程ですが 毎週水曜日1時から214教室に行います。 都合が悪い場合もflexibleに対応します。 1週目はテーマを設定してもらい、 234週目では研究室のメンバーの前で発表をしてもらいます。 4週目が最終発表となります。 前もってセミナー担当の自分にメールしてもらえばいきなり1週目からの発表ができます 学期末:真の最終発表(任意) 事前にセミナー担当の橋倉(hashikura@is.s.u-tokyo.ac.jp)に連絡があれば1週目から発表が出来ます

演習III研究テーマ 離散数学・計算幾何 Scalable アルゴリズム 量子計算、量子情報 この他希望があれば 対応します この他希望があれば  対応します 質問はメールまたは研究室(311,314)まで

離散数学(グラフ理論)・ 計算幾何 夫(D1), 宮田(D2), 田沼(D2)

グラフ理論 グラフ = 様々な構造の抽象化 グラフ上の問題を解決するアルゴリズム→様々な応用 Network ウェブのリンク・被リンク、論文の引用・被引用 分子・結晶を作る原子の隣接構造 グラフ上の問題を解決するアルゴリズム→様々な応用 最短経路問題→Network Routing, Car Navigation クラスタリング→ウェブ・論文誌のコミュニティ検出 多くの、高速なアルゴリズム, online等、新しいもの

高速アルゴリズムのための一手法: グラフの幾何的対象への変換 離散構造としてのグラフ 幾何的対象 基本的問題 応用多数 グラフ上での最近接点問題 L1距離空間での最近接点問題 高速な幾何アルゴリズム

目指すもの: 幾何アプローチによる高速アルゴリズム on Graphs 離散構造としてのグラフ 幾何的対象 l1ノルム等距離埋め込み 結晶格子グラフ 新たな幾何アルゴリズム Voronoi図 結晶格子下でも動くアルゴリズム 双曲幾何アルゴリズム 拡張 適用可能グラフ少 高次元化, curse of dimensions [Indyk, Matoušek 2004] 解決 グラフ理論的手法での解析

演習IIIの進め方 論文を読み、基礎的な手法を学ぶ 把握したら、解決を試みる 1~2週くらい 幾何アルゴリズム・グラフ解析アルゴリズム初歩 何をやれば、一つ課題を解決できるかというのを見つけるのを目的に 把握したら、解決を試みる やったことをわかりやすく発表するのも目標

離散数学(多面体) 宮田洋行(D2) 青島良一(M1)

多面体とは? 有限個の半空間の共通部分で有界なもの 離散数学、計算幾何における最も基本的な対象の一つ Voronoi図などを含むさまざまなデータ構造の基本要素、 線形計画、多面体的組合せ論、・・・ 多面体を理解することで、それらさまざまな対象に対し、 効率的なアルゴリズム設計、計算量評価が可能になる

離散数学の授業から(その1) 3-連結平面グラフGの頂点数、枝数、面数を それぞれv,e,f とおくと、 v-e+f = 2 (オイラーの公式) 2e≧3f, 2e≧3v 3次元多面体Pの0,1,2次元の面(頂点、辺、面) の数をそれぞれf0,f1,f2 とおくと、      f0-f1+f2 = 2       2f1≧3f2, 2f1≧3f0 多面体では? f=(f0,f1,f2) を f-vectorという

どのようなf-vectorがありうるか? (多面体の複雑性) 実は、 ・ (f0,f1,f2)が3次元多面体のf-vector ⇔ f0-f1+f2 = 2 2f1≧3f2, 2f1≧3f0 を満たす自然数 [1906, Steinitz] d次元では? ・オイラーの公式f0-f1+f2+…+(-1)d-1fd-1 = 2 は相変わらず成立 ・不等式も少しだが知られている。 ・成り立つ不等式の列挙は未解決 - 多面体が関連する問題の計算量評価にf-vectorの理解は不可欠

離散数学の授業から(その2) 線形計画問題 単体法… 多面体の辺上を動く 最適解探索 2 2 1 O 1 強多項式時間アルゴリズムの存在は未解決!

演習3の進め方 まず、文献を購読。 2. 最終週までにその発展を考察 テーマ例:多面体のf-vectorの解析 線形計画の多面体的解析           線形計画の多面体的解析 多面体的組合せ論     など 2. 最終週までにその発展を考察   - 計算機実験    多面体のデータベース [‘10 Miyata, Moriyama, Fukuda] なども利用可能   - 論文の結果の拡張    など その他、各自相談に応じてさまざまなテーマに対応します

スッパキットパイサーン ウォラポン(D1), 枝廣正人(客員教授/NEC) Scalable アルゴリズム スッパキットパイサーン ウォラポン(D1), 枝廣正人(客員教授/NEC)

Multi-Coreがあれば。。。 ⇒ 皆の携帯もMulti-Core(かも) (枝廣 2009年に地球環境大賞、経済産業大臣賞受賞) N ステップの計算 Processor 1 Processor 2 Processor 3 Processor 4 Processor 5 … Processor P P 個の完全に同じプロセッサー N / Pステップで完成して幸せです ⇒ 皆の携帯もMulti-Core(かも)   (枝廣 2009年に地球環境大賞、経済産業大臣賞受賞)

Merge Sort N 個の整数 Sort N/P 個 N/P 個 Sort Sort … N/P 個 Sort O(N/P logN/P) 幸せです! 難しい! 頑張っても O(N logP) N 個のソート済み整数

今井研でやる研究テーマ Sortingアルゴリズム 学習アルゴリズム 検索アルゴリズム グラフアルゴリズム Ex. Map Sort1, AA-Sort2 [1Edahiro, ASP-DAC 2009] [2Inoue, Moriyama, Komatsu, Nakatani, PACT 2007] 学習アルゴリズム Ex. GLVQ [Houlai, Sakai, Edahiro, IEICE Trans. 2009] 検索アルゴリズム Ex. And/Or木の検索 [1Takano, Maekawa, Kasahara, PDCN 2009] グラフアルゴリズム Ex.最短路問題 [Madduri, Bader, Berry, Crobak, ALENEX 2007]

情報学科演習3 量子計算、量子情報 フランソワ ルガル(特任講師)

量子コンピューティングの紹介 量子力学の法則に基づく新しい計算パラダイム 様々な応用 量子並列性を用いた高速アルゴリズムの実現 情報理論的に安全な量子暗号の構築など

例:素因数分解 15 = 3 x 5 147573952589676412927 = ? 147573952589676412927 = 193707721 x 761838257287  従来のアルゴリズムでは、指数時間かかってしまう  多項式時間で解ける量子アルゴリズムが存在する! Peter Shorによって1994年に提案された 量子コンピュータが実現すれば、RSA暗号が解読できる! RSA暗号

例:素因数分解 15 = 3 x 5 147573952589676412927 = 193707721 x 761838257287  従来のアルゴリズムでは、指数時間かかってしまう  多項式時間で解ける量子アルゴリズムが存在する! Peter Shorによって1994年に提案された 量子コンピュータが実現すれば、RSA暗号が解読できる!  対策:量子暗号 (不確定性原理により情報理論的に安全) ? ??? 量子暗号

今井研での研究活動 量子計算 量子情報 量子アルゴリズム 量子情報幾何 素因数分解 代数的問題 探索問題 量子回路 量子ウォーク 量子通信 量子計算量理論 対話的証明 通信計算量 領域計算量 量子非局所性 ベル不等式 量子ゲーム 量子暗号 量子テレポーテーション 量子系のシミュレーション

演習3の課題(量子を選択した方へ) 論文を購読し、発表してもらう 発展の考察や独自の発想も大歓迎 テーマの例 量子アルゴリズム(素因数分解、代数的問題など) 量子暗号の仕組み 量子ゲーム 量子通信路の情報伝達 卒論のテーマになるかも 予備知識が要らない 量子ならどのテーマでも対応します

最短路検索: 前処理で高速検索可能に 検索時間・サイズの トレードオフ 道路ネットワーク べき乗グラフ カーナビ ・事前計算の活用 ・実時間交通情報対応 インターネット    ナビゲーション ・社会ネットワーク Christian Sommer, Elad Verbin, and Wei Yu: Distance Oracles for Sparse Graphs. FOCS 2009 - 50th Annual IEEE Symposium on Foundations of Computer Science, pp. 703-712. 検索時間・サイズの    トレードオフ 計算量解析 ・通信計算量より 道路ネットワーク ・平面的に近い―幾何 ・graph Voronoi活用 べき乗グラフ ・インターネット, 引用 ・次数分布活用