コンピューティング ラボへの道
DESCRIPTION
コンピューティング ラボへの道. 工学系研究科 電気系工学専攻 工学部 電子情報工学科 教授 近山 隆. コンピューティングラボ概要. 研究対象 情報処理の原理、システム、応用 Powerful 「速い」コンピュータ Intelligent 「賢い」コンピュータ Dependable 「頼もしい」コンピュータ 教員 教授: 近山隆、坂井修一、伊庭斉志 准教授: 五島正裕、田浦健次 朗、 鶴岡慶雅. 「速い」コンピュータ. 「超」 Intel マイクロプロセッサ. 超 Intel マイクロプロセッサ. - PowerPoint PPT PresentationTRANSCRIPT
コンピューティングラボへの道工学系研究科 電気系工学専攻 工学部 電子情報工学科
教授 近山 隆
コンピューティングラボ概要研究対象
情報処理の原理、システム、応用Powerful 「速い」コンピュータIntelligent 「賢い」コンピュータDependable 「頼もしい」コンピュータ
教員教授: 近山隆、坂井修一、伊庭斉志准教授: 五島正裕、田浦健次朗、 鶴岡慶雅
「速い」コンピュータ
「超」 Intel マイクロプロセッサ超 Intel マイクロプロセッサ
次世代マイクロプロセッサ・ 並列処理・ 省電力・ 投機処理 などなど
並列・分散コンピューティングついにきた「どこでも並列コンピュータ」の時代
ノート PC から「使っただけ払う」並列コンピュータまで次世代の計算環境で「使われる」並列処理系を作ろう !
コンピュータシステムを支えるソフトウェア今のコンピュータの仕組みを知りつくして , 未来の計算機の核をデザインしよう !
オペレーティングシステムctxt_t hthread_create_context(int stack_size,{#if HTHREAD_DBG int s = hthread_global(init_state); if (s != HTHREAD_INIT_STATE_COMPLETE) { hthread_fatal("create_context: create_sel }#endif { ctxt_t c = ctxt_alloc(); int rsz = (stack_size ? stack_size : HTHREA stack_desc_t stack = stack_alloc(rsz); c->ever_scheduled = 0; c->f = f; c->x = x;
プログラミング言語def prompt_(): s = os.environ.get("GXP_SESSION", "") if s == "": D = "/tmp/gxp-%s-%s" % (os.environ os.environ.get("GXP_ for d in os.listdir(D): if "gxpsession-" == d[0:len("gxpse if s == "": s = os.path.join(D, d) else: os.write(1, "[?/?/?]\n") return 1 fp = open(s) os.write(1, fp.readline()) return 0
「賢い」コンピュータ
進化論的計算の理論と応用生物の進化の仕組を応用した最適化
機械学習技術Ubiquitous Network
大量の未整理データ
Web Page
Web Page
Web Page
Web Page
SensorDataSensorDataSensorDataSensorData
DigitalArchives
DigitalArchives
DigitalArchives
DigitalArchives
法則を表すデータ
機械学習 データから法則性を抽出特徴抽出自動分類関連性抽出進化的手法パラメタ学習
…
機械学習技術の応用Web の構造解析
音楽情報処理
コンピュータゲームプレイヤ
並列処理+機械学習で…コンピュータ将棋が女流トッププロに挑戦2010年10月11日 東京大学本郷で開催
「頼もしい」コンピュータ
超ディペンダブルコンピュータITシステム
アタック内部故障外部故障
障害
脆弱性信頼性
安全性
Error
超ディペンダブルテストベッド
core
ディペンダブルコード
ホワイト / ブラックリスト作成フラグ作成
コアに合わせた最適化•リソースの調整•adaptive な実行• 動的な冗長化
on-chip cache
暗号・認証回路off-chip bus
trace cache
REG
$
監視ハードウェア
MMU
ADRflags
ディペンダビリティマネジャ エフェクティブコア
例外 /動的コア情報
プロセス認証
OS ディペンダブルモジュール
flag
core
trace cache
REG
$
flag
データにタグを付加、情報フローを追跡ディペンダブル階層設計
ディペンダビリティとは?
超ディペンダブルプロセッサ
コンピューティングラボへの道
学習のポイント (履修科目の例)基礎体力篇 (2年後期まで)
英語、数学、物理プログラミングディジタル回路、電気回路
基盤確立篇 = 情報システムの理解(3年前期など) コンピュータアーキテクチャコンピュータソフトウェアオペレーティングシステム実験
充実花道篇 = 卒論、大学院への準備(3年後期~4年)計算論プログラミング言語人工知能言語・音声情報処理
学習のポイント (態度)自立せよ!
「教えてもらう」から「自分でキャリアップする」へ基盤(ディシプリン)をもて!
種なしのラッキョウはいい生き方ができない楽しむ!
楽しくないはずがない世の中の大きな流れを見定めよ!
右肩上がり → エコ会社見学への積極的な参加
先生・先輩・同級生を利用せよ!学生の特権→ コンピューティングラボは真に熱意ある学生を 心から歓迎します