早稲田大学 理工学術院 情報理工学科 後藤滋樹

Presentation on theme: "早稲田大学 理工学術院 情報理工学科 後藤滋樹"— Presentation transcript:

1 早稲田大学 理工学術院 情報理工学科 後藤滋樹
ＧＩＴＩ／ＧＩＴＳワークショップ ２０１３年１２月９日（月） 情報通信における二元論 早稲田大学　理工学術院 情報理工学科 後藤滋樹

2 二元論 dualism 主観 と 客観 背反する二つの原理や二つの基本要素から構成される ［例］ 善と悪。精神と物体。陰と陽
背反する二つの原理や二つの基本要素から構成される ［例］　善と悪。精神と物体。陰と陽 二つの区分に分けられる 主観 と 客観

3 例題： 無線 vs. 有線 歴史的にいうと無線が長距離 マルコーニ 有線が近距離 ブタペストにおける室内楽の放送
最近はバックボーンが有線 アクセスが無線

4 二元論の例 回線交換 vs. パケット 集中 vs. 分散 彼岸 vs. 此岸 End-to-end vs. Hop-by-hop
De jure vs. De facto Open vs. Trust 配列 vs. 木 直列 vs. 並列 同期 vs. 非同期 固定長 vs. 可変長 :

5 １．回線交換 vs. パケット ARPAnetの発端となったＵＣＬＡ Leonard Kleinrock先生の研究室の大学院生 他の研究室から同情される パケットで「通信」ができる訳がない ARPAnetの発展が今日のInternetを形成 ただしパケットをバラバラに扱うのは煩雑 パケットをflowという単位で括ると両者の中間 flowの測定、flowの制御 (OpenFlow) 回線交換は消費電力の上で有利という研究

6 消費電力の削減 (持永 大, 2013) パケット交換方式の消費電力 17.52 TWh/yr (2030)
消費電力の削減　(持永 大, 2013)　 パケット交換方式の消費電力 TWh/yr (2030) パケット交換方式と光回線交換方式の併用パケット交換方式 のみの場合と比較して、67.7 %削減（ 5.67 TWh/year (2030)） CDNの併用シナリオは 22.2 %削減. （13.6 TWh/year (2030)） 中核拠点網を光回線交換方式で置き換えた場合48.4%削減. （9.04 TWh/year (2030)）

7 ２．集中 vs. 分散 ARPAnetの背景 ベトナム戦争 拠点が攻撃されても全体は死なない Internetは分散情報処理の好例
物理的に分散しているように見えても 論理的に集中している ［例］　ＤＮＳ＝ドメイン名：木構造 (tree) 　　　　OpenFlowスイッチは分散装置、集中制御

8 ＤＮＳは分散であり集中でもある “ ” piano.goto.info.waseda.ac.jp 論理的なルートは 世界で 唯一 ルート …
“　” … jp org arpa int ac ietf in-addr ip6 waseda www 133 … info 90 goto 18 piano 10 piano.goto.info.waseda.ac.jp

9 ３．彼岸 vs. 此岸 従来の電話交換網 smart network 交換機が全部の仕事を引き受ける
Internet stupid network 端末が仕事をする。ネットワークを素通り クラウド　コンピューティング (cloud) 他人に任せる（その他人を殆ど知らない） 手元のアプリは、他人の手下

10 DalVik VM 中間コード (classes.dex)
Androidマルウェアの検出 Androidアプリの構造 Androidアプリ (.apk) マニフェストファイル DalVik VM 中間コード (classes.dex) 上図に示した3種類のファイル群が存在しない場合， アプリケーションとしての機能が実現できない apkは実質.zipファイルである．マニフェストファイルを解析するにあたっては， まずapkファイルを展開する必要がある． 本研究では”apktool” というフリーツールを用いて ファイルを展開，マニフェストファイルを取得した． リソース類 佐藤亮, 2013

11 ４．End-to-end vs. Hop-by-hop
InternetのTCPは end-to-end の制御 IPアドレスは送信元と宛先を示す ただし Ethernet は link ごとの制御 ICN/CCN/NDNの通信モデルはhop-by-hop ただし欧州のPURSUITは end-to-endの様相 上位層に関心が集まる傾向がある中で 物理層の通信を認識することが重要

12 イーサネット RJ-45 オシロスコープによる波形観測

13 ５．De jure vs. De facto Internetの標準化はIETFで行われる デファクト標準の典型例と言われる IETFという場がある：フォーラム標準ともいう IETFのスローガン rough consensus and running code ラフコンセンサスは満場一致でなくても良い 標準化文書 RFC (Request for Comments) 守られていない例 （TTLの初期値） 苦労話が出版されている

14 ＩＥＴＦにおける早稲田大学 の学生の活躍 宇井隆晴「日本語ドメイン名: インターネット標準策定の軌跡」インプレスR&D, 2006.

15 ６．Open vs. Trust 1990年（1991年1月）にインターネットの商用化が認められる この時に「そのまま」商用化したのが失敗
ARPAnetは匿名性がなかった 1983年までは ARPAnet Directoryを発行 大学の階段の踊り場に端末を置くのはマズイ 通信の内容を暗号化する 認証の手段を備える（対策が後手）

16 米国の大学で提案されている具体的な 認証システムShibboleth
IdP SP ユーザ 日本では「学認」 属性が判れば済む 1. User attempts to access Shibboleth-protected resource on SP site application server. 2, 3, 4. User is redirected to a Where Are You From (WAYF) server, where the user indicates their　home site (IdP). 5. User is redirected to the Handle Service at their IdP. 6, 7 User authenticates at their IdP, using local credentials. 8. Handle service generates unique ID (Handle) and redirects user to Service Provider site's Assertion Consumer Service (ACS). ACS validates the supplied assertion, creates a session, and transfers to Attribute Requestor (AR). 9, 10. AR uses the Handle to request attributes from the IdP site's Attribute Authority. The attribute authority responds with an attribute assertion subject to attribute release policies; SP site uses attributes for access control and other application-level decisions.

17 ７．配列 vs. リスト 多くのプログラミング言語が提供している 配列、行列、ベクトル、表
人工知能で好まれる リスト （代表的なプログラミング言語 LISP） 可変の構造はリストで表現できる ファイル構造、ドメイン名の構造、決定木 木 （ｔｒｅｅ）

18 後藤滋樹 「記号処理プログラミング」 岩波書店 1988.
ＬＩＳＰ John McCarthy Sep 4, 1927 – Oct 24, 2011 人工知能の父 後藤滋樹 「記号処理プログラミング」 岩波書店 1988.