![Page 1: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/1.jpg)
2012 / 08 / 06東京大学 情報理工学系研究科
コンピュータ科学専攻 平木研究室修士 2 年
畔柳 圭佑
おフランスでコンピュータサイエンス
― INRIA 滞在記 ―
![Page 2: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/2.jpg)
今日のお話
研究・留学情報科学って?留学ってどんなかんじ?
40 分質問
いつでも
資料 ( これ )http://ksk.vc/oc2012.pptx
![Page 3: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/3.jpg)
自己紹介
畔柳 圭佑くろやなぎ けいすけ
ksk9687
愛知県 岡崎高校
2006 年 東京大学 理科一類2009 年 理学部 情報科学科2011 年 情報理工学系研究科
コンピュータ科学専攻 平木研究室
5 年 !?
![Page 4: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/4.jpg)
うわっ…私の点数低すぎ…?
学部 2 年生になるには?第二外国語平均点 40 点
2 学期 × 2 コマ34.5 点!!
フラ語取るバカ、スぺ語落とすバカ
何とか 理学部情報科学科 に進学
• 0-49 不可• 50-64 可• 65-79 良• 80-100 優
![Page 5: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/5.jpg)
情報科学?
ってなんだろう?
![Page 6: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/6.jpg)
情報科学?
スーパーコンピュータ
![Page 7: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/7.jpg)
情報科学?
情報検索
![Page 8: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/8.jpg)
情報科学?
人工知能
![Page 9: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/9.jpg)
情報科学?
プログラミング言語
![Page 10: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/10.jpg)
情報科学?
アルゴリズム
![Page 11: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/11.jpg)
情報科学
アーキテクチャ
量子コンピュータ
DNA コンピュータ
・・・
OS コンパイラ
アルゴリズム
CG 自然言語処理 UIバイオ
インフォ
検証
ネットワーク
![Page 12: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/12.jpg)
情報科学
アーキテクチャ
量子コンピュータ
DNA コンピュータ
・・・
OS コンパイラ
アルゴリズム
CG 自然言語処理 UIバイオ
インフォ
検証
ネットワーク
「情報」を中心に世界を理解する
「計算」によって「情報」を操作する
![Page 13: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/13.jpg)
情報科学
量子コンピュータ
DNA コンピュータ
・・・
OS コンパイラ
アルゴリズム
CG 自然言語処理 UIバイオ
インフォ
検証
ネットワーク
「情報」を中心に世界を理解する
「計算」によって「情報」を操作するアーキテクチャ
![Page 14: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/14.jpg)
アーキテクチャ
使いやすくて
高速な
コンピュータをつくる
![Page 15: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/15.jpg)
コンピュータの性能向上
27 万倍
top500
![Page 16: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/16.jpg)
コンピュータの性能向上
世界一のコンピュータ : 16PFlop/s1 秒間に 16,000,000,000,000,000 回 計算
19 年間の性能向上 : 27 万倍3 日 → 1 秒
1年あたり 93%指数関数!10 年 → 720 倍30 年 → 3 億 7000 万倍
![Page 17: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/17.jpg)
高性能コンピュータの用途
![Page 18: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/18.jpg)
高性能コンピュータの用途
![Page 19: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/19.jpg)
個人用コンピュータ
1977 年 現在http://ja.wikipedia.org/wiki/Apple_II
http://www.apple.com/jp/macbookair/
![Page 20: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/20.jpg)
携帯電話
1989 年 現在http://www.interq.or.jp/blue/rhf333/K-HIST.htm http://www.apple.com/jp/iphone/
![Page 21: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/21.jpg)
ゲーム
1985 年 現在
![Page 22: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/22.jpg)
目指すもの
現在:ワニ 30 年後:人
人類を超える知能
コンピュータの知能
![Page 23: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/23.jpg)
アーキテクチャ
プログラムを効率的に実行するには?周波数を上げる
1GHz ⇒ 3GHz計算する機会が増える
1 度にできる計算の量を増やす
プロセッサプログラム 結果
![Page 24: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/24.jpg)
アーキテクチャ コンテスト
性能を競うコンテストいろいろな要素
メモリスケジューリング– T.Ikeda+ ( 東京工業大学 )
キャッシュリプレースメント– H. Gao+ (Intel)
データプリフェッチ– Y.Ishii+ (NEC, 東京大学 )
第三回 分岐予測コンテスト2011/06Sun Jose, US
![Page 25: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/25.jpg)
参考文献
コンピュータの構成と設計 ~ ハードウエアとソフトウエアのインタフェース
プロセッサを支える技術 -- 果てしなくスピードを追求する世界
![Page 26: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/26.jpg)
分岐予測
i ≡ 0 (mod3)
i > 100
print(“ さん” ) print(i)
開始
終了
i = i + 1
Y
Y
1 から 100 まで 3 の倍数で“さん”他は数字を表示する。 1 2 さん 4 5 さん 7 8 さん…
実行することなく結果 ( 場合分けの条件が成立するかどうか) を予測!• 3 回前の結果と同じ
97%以上予測可能!
事前に情報を与えず、実行時に学習・予測を行う。
![Page 27: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/27.jpg)
分岐予測順位 名前 所属 国
1 Andre Seznec INRIA フランス
2Yasuo Ishii, Keisuke Kuroyanagi, ほか 3 人 東京大学 日本
3 Daniel Jimenez テキサス大学 アメリカ
この人のところに行ってきました• 3/17 – 7/25
ISCA2010 General Chair ( 一番偉い )Alpha EV8 (CPU) 設計者
![Page 28: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/28.jpg)
フランス
![Page 29: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/29.jpg)
フランス
![Page 30: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/30.jpg)
レンヌ、フランス
![Page 31: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/31.jpg)
Institut National de Recherche en Informatique et Automatique国立 情報学 自動制御 研究所
OCamlCoqScilab
![Page 32: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/32.jpg)
どうして、海外に行くの?
研究研究対象はたくさんある
アメリカの有名大学がすべてではない
知り合いが増える
英語でコミュニケーション
やる気が出る
![Page 33: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/33.jpg)
海外に行くには?
海外の大学に入学
交換留学
インターン研究所・企業
学会
その他
長期
短期
![Page 34: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/34.jpg)
海外に行くには?
私の場合研究所へのインターン4 か月
分岐予測コンテストで会う
お願いする
行く
![Page 35: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/35.jpg)
生活8:30 起床
朝ごはん9:30 出勤10:00 カフェ10:30 研究12:00 ランチ13:00 カフェ13:30 研究15:30 カフェ16:00 研究18:30 帰宅
買い物
夕食
ネットなど24:00 就寝
規則正しい生活コンビニない夜暗い日曜お店やってない
カフェコーヒー 30 円程度
![Page 36: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/36.jpg)
言葉
研究所研究 → 英語フランス人同士の雑談→ フランス語
英語嫌い
大学入試 40/120 点大学院入試 (TOEFL) 42/120 点
フランスの田舎では通じない!!!
![Page 37: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/37.jpg)
言葉
フランス語少し勉強した
買い物できるくらいになった!?
あいさつしないと無視される
ベルギー・スイスでもつかえる!!
![Page 38: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/38.jpg)
食事
留学中、最も苦労した!
レストラン15ユーロ ~安いのはまずい !!
ファストフードマック 8ユーロくらいケバブ 4.5ユーロ !!
![Page 39: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/39.jpg)
食事 ( 自炊 )
安い!日本ではしない…主なメニュー
ピザステーキ蒸し野菜クレープ味噌汁
![Page 40: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/40.jpg)
食事
日本食寿司カップラーメンパリにはいっぱい!
![Page 41: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/41.jpg)
お金
大学院海外派遣プログラム10 万円 / 月 くらい
INRIA1100ユーロ / 月
家280ユーロ / 月光熱費・ネット 含む
昼食2.25ユーロ
スーパー安い
保険2 万 / 月くらい
![Page 42: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/42.jpg)
おまけ
フランスでの日本漫画・アニメ・ゲーム寿司
![Page 43: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/43.jpg)
おまけ
たくさん旅行に行った!イギリス、スウェーデン、ノルウェー、デンマーク、ベルギー、スイス学会
アメリカ ポートランド
![Page 44: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/44.jpg)
おまけ
財布をすられた!最大の思い出ノルウェー オスロ地下鉄駅
所持金 0 円!! \ (^o^)/
![Page 45: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/45.jpg)
まとめ
早いコンピュータをつくりたい!アーキテクチャコンピュータ上の知能が人間を超える!
留学大学 ( 院 ) では海外に行く機会がたくさん!異文化コミュニケーション
日本の食べ物はおいしい
![Page 46: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑](https://reader031.vdocuments.mx/reader031/viewer/2022033009/56813113550346895d976040/html5/thumbnails/46.jpg)
宣伝
計算機の昔と今、未来小柴ホール13:00-13:40
コンピュータで証明を書くー論理学入門ーここ14:00-14:40
情報科学科 研究室紹介2階 202号室
この建物