2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木...

46
2012 / 08 / 06 東東東東 東東東東東東東東東 東東東東東東東東東東 東東東東東 東東 2 東 東東 東東 おおおおおお おおおおおおおおおおお ― INRIA おおお ―

Upload: dorian-chan

Post on 01-Jan-2016

125 views

Category:

Documents


0 download

DESCRIPTION

おフランスで コンピュータサイエンス ― INRIA  滞在記 ―. 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻 平木 研究室 修士 2 年 畔柳 圭佑. 今日のお話. 研究・留学 情報 科学って? 留学ってどんなかんじ? 40 分 質問 いつ でも 資料 ( これ ) http:// ksk.vc / oc2012.pptx. 自己紹介. 畔柳 圭佑 くろやなぎ けいすけ ksk9687 愛知県 岡崎高校 2006 年 東京大学 理科一類 2009 年 理学部 情報科学科 - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

2012 / 08 / 06東京大学 情報理工学系研究科

コンピュータ科学専攻 平木研究室修士 2 年

畔柳 圭佑

おフランスでコンピュータサイエンス

― INRIA  滞在記 ―

Page 2: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

今日のお話

研究・留学情報科学って?留学ってどんなかんじ?

40 分質問

いつでも

資料 ( これ )http://ksk.vc/oc2012.pptx

Page 3: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

自己紹介

畔柳 圭佑くろやなぎ けいすけ

ksk9687

愛知県 岡崎高校

2006 年 東京大学 理科一類2009 年 理学部 情報科学科2011 年 情報理工学系研究科

コンピュータ科学専攻 平木研究室

5 年 !?

Page 4: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

うわっ…私の点数低すぎ…?

学部 2 年生になるには?第二外国語平均点 40 点

2 学期 × 2 コマ34.5 点!!

フラ語取るバカ、スぺ語落とすバカ

何とか 理学部情報科学科 に進学

• 0-49 不可• 50-64 可• 65-79 良• 80-100 優

Page 5: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

情報科学?

ってなんだろう?

Page 6: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

情報科学?

スーパーコンピュータ

Page 7: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

情報科学?

情報検索

Page 8: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

情報科学?

人工知能

Page 9: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

情報科学?

プログラミング言語

Page 10: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

情報科学?

アルゴリズム

Page 11: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

情報科学

アーキテクチャ

量子コンピュータ

DNA コンピュータ

・・・

OS コンパイラ

アルゴリズム

CG 自然言語処理 UIバイオ

インフォ

検証

ネットワーク

Page 12: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

情報科学

アーキテクチャ

量子コンピュータ

DNA コンピュータ

・・・

OS コンパイラ

アルゴリズム

CG 自然言語処理 UIバイオ

インフォ

検証

ネットワーク

「情報」を中心に世界を理解する

「計算」によって「情報」を操作する

Page 13: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

情報科学

量子コンピュータ

DNA コンピュータ

・・・

OS コンパイラ

アルゴリズム

CG 自然言語処理 UIバイオ

インフォ

検証

ネットワーク

「情報」を中心に世界を理解する

「計算」によって「情報」を操作するアーキテクチャ

Page 14: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

アーキテクチャ

使いやすくて

高速な

コンピュータをつくる

Page 15: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

コンピュータの性能向上

27 万倍

top500

Page 16: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

コンピュータの性能向上

世界一のコンピュータ : 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 年 畔柳 圭佑

高性能コンピュータの用途

Page 18: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

高性能コンピュータの用途

Page 19: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

個人用コンピュータ

1977 年 現在http://ja.wikipedia.org/wiki/Apple_II

http://www.apple.com/jp/macbookair/

Page 20: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

携帯電話

1989 年 現在http://www.interq.or.jp/blue/rhf333/K-HIST.htm http://www.apple.com/jp/iphone/

Page 21: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

ゲーム

1985 年 現在

Page 22: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

目指すもの

現在:ワニ 30 年後:人

人類を超える知能

コンピュータの知能

Page 23: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

アーキテクチャ

プログラムを効率的に実行するには?周波数を上げる

1GHz ⇒ 3GHz計算する機会が増える

1 度にできる計算の量を増やす

プロセッサプログラム 結果

Page 24: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

アーキテクチャ コンテスト

性能を競うコンテストいろいろな要素

メモリスケジューリング– T.Ikeda+ ( 東京工業大学 )

キャッシュリプレースメント– H. Gao+ (Intel)

データプリフェッチ– Y.Ishii+ (NEC, 東京大学 )

第三回 分岐予測コンテスト2011/06Sun Jose, US

Page 25: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

参考文献

コンピュータの構成と設計 ~ ハードウエアとソフトウエアのインタフェース

プロセッサを支える技術   -- 果てしなくスピードを追求する世界

Page 26: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

分岐予測

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 年 畔柳 圭佑

分岐予測順位 名前 所属 国

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 年 畔柳 圭佑

フランス

Page 29: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

フランス

Page 30: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

レンヌ、フランス

Page 31: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

Institut National de Recherche en Informatique et Automatique国立 情報学 自動制御 研究所

OCamlCoqScilab

Page 32: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

どうして、海外に行くの?

研究研究対象はたくさんある

アメリカの有名大学がすべてではない

知り合いが増える

英語でコミュニケーション

やる気が出る

Page 33: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

海外に行くには?

海外の大学に入学

交換留学

インターン研究所・企業

学会

その他

長期

短期

Page 34: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

海外に行くには?

私の場合研究所へのインターン4 か月

分岐予測コンテストで会う

お願いする

行く

Page 35: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

生活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 年 畔柳 圭佑

言葉

研究所研究 → 英語フランス人同士の雑談→ フランス語

英語嫌い

大学入試  40/120 点大学院入試 (TOEFL)   42/120 点

フランスの田舎では通じない!!!

Page 37: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

言葉

フランス語少し勉強した

買い物できるくらいになった!?

あいさつしないと無視される

ベルギー・スイスでもつかえる!!

Page 38: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

食事

留学中、最も苦労した!

レストラン15ユーロ ~安いのはまずい !!

ファストフードマック  8ユーロくらいケバブ  4.5ユーロ !!

Page 39: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

食事 ( 自炊 )

安い!日本ではしない…主なメニュー

ピザステーキ蒸し野菜クレープ味噌汁

Page 40: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

食事

日本食寿司カップラーメンパリにはいっぱい!

Page 41: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

お金

大学院海外派遣プログラム10 万円 / 月 くらい

INRIA1100ユーロ / 月

家280ユーロ / 月光熱費・ネット 含む

昼食2.25ユーロ

スーパー安い

保険2 万 / 月くらい

Page 42: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

おまけ

フランスでの日本漫画・アニメ・ゲーム寿司

Page 43: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

おまけ

たくさん旅行に行った!イギリス、スウェーデン、ノルウェー、デンマーク、ベルギー、スイス学会

アメリカ ポートランド

Page 44: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

おまけ

財布をすられた!最大の思い出ノルウェー オスロ地下鉄駅

所持金 0 円!! \ (^o^)/

Page 45: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

まとめ

早いコンピュータをつくりたい!アーキテクチャコンピュータ上の知能が人間を超える!

留学大学 ( 院 ) では海外に行く機会がたくさん!異文化コミュニケーション

日本の食べ物はおいしい

Page 46: 2012 / 08 / 06 東京大学 情報理工学系研究科 コンピュータ科学 専攻  平木 研究室 修士 2 年 畔柳 圭佑

宣伝

計算機の昔と今、未来小柴ホール13:00-13:40

コンピュータで証明を書くー論理学入門ーここ14:00-14:40

情報科学科 研究室紹介2階 202号室

この建物