情報通信を支える論理.pptVIP

情報通信を支える論理 早稲田大学　理工学術院基幹理工学部　情報理工学科後藤滋樹 * 本日の内容 情報の検索と論理記号 Googleのページランクと行列 イーサネットと多項式 いずれも実際の授業に基づいた内容です * 情報の検索 最近の広告の仕方 検索サイト、検索エンジン http://www.yahoo.co.jp/ 検索 テクトロニクス http://www.google.co.jp/ * 能率の良い検索 キーワードを複数使う情報理工学科早稲田大学　情報理工学科早稲田大学 AND 情報理工学科 ＡＮＤ の他に OR がある早稲田大学 OR 情報理工学科 AND, OR の他にもある （Googleの例） すべてのキーワードを含む 　AND フレーズを含む （注：　語順を含めて一致） いずれかのキーワードを含む 　OR キーワードを含めない 　NOT * ベン図, 命題 * Ｙ X　ＡＮＤ　Ｙ Ｘ AND, OR, NOT は基本的な論理記号 論理回路（ろんりかいろ）は、ブール代数(論理演算)を行う回路、およびデジタル信号を記憶する回路。(出典: フリー百科事典『ウィキペディア（Wikipedia）』) * 論理回路の設計をする技術者は、数学の論理演算記号とは違う記号を用いて論理式を記述することが多い。(同上） AND Ａ?Ｂ ＯＲ　Ａ＋Ｂ ＮＯＴ　Ａ 半加算器の論理回路 ２進数の加算の演算 * seek.co.jp/homepage/electronics/circuit/calc02.html X（入力１） Y（入力２） S （和） C　（桁上がり） 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 検索結果の表示 順番を決める方法ページランク * * Googleのページランク 基本的な仕組は数学的グラフの行列による表現　隣接行列（推移行列、遷移行列）固有値と固有ベクトル 行列の上と左のW, S, C, Gは注釈であり行列に含まれない W大学 S学部 C学科 G研究室 WEBページのリンクの関係 * 隣接行列を転置する 隣接行列　　　　　　　を転置するリンクを「出す」側から「受ける」側へ W大学 S学部 C学科 G研究室 WEBページのリンクの関係 * 隣接行列から推移確率行列へ 列(column)の総和が１または０になるように調整ページの評価値をリンク先に渡す W大学 S学部 C学科 G研究室 WEBページのリンクの関係 １ １ １ 1/3 1/3 1/3 * 推移確率行列の固有値と固有ベクトル 固有値λと固有ベクトルｒ 行列 M を掛ける（乗算）ということは、グラフの辺に沿って（確率的に）推移するということである 固有ベクトルの各要素は M を掛けても定数倍しか変化しない。（安定している）固有ベクトルの各要素がランクになる（ただし要素の和が１となるように正規化する） * 固有ベクトルの具体例 GNU　Octaveを使って計算する。固有値λ＝１が最大の固有値であり、固有ベクトルは下の左のようになる。 これを正規化したページランクは上の右である。 1/9 W大学 S学部 C学科 G研究室 １ １ １ 1/3 1/3 1/3 1/3 1/3 2/9 ページランクを記入した図 * Googleにおける工夫 サイズの大きな疎(sparse)行列の固有ベクトルの計算 ユーザがランダムにページを渡り歩くと仮定 W大学 S学部 C学科 G研究室 * Googleにおけるページランク 次の行列の固有ベクトルを求めて、要素の和が１になるように正規化する。 W大学 S学部 C学科 G研究室 * より深く調べるために 本資料の例題は簡単にするために４つのサイトに閉じていた。現実のPageRankは早稲田大学（8/10）、理工学部（6/10）、CS学科（5/10）、後藤研（4/10）。 次の資料が参考になるhttp://www.kusastro.kyoto-u.ac.jp/~baba/wais/pagerank.html本資料は上記を参考にした。ただしOctaveのスクリプトは若干改良した。 Googleの創始者による論文も入手できる。Lawrence Page, Sergey Brin, Rajeev Motwani, Terry Winograd, The PageRank Citation Ranking: Bringing Order to the Web, 1998,/~backrub/pageranksub.ps Taher H. Haveliwala, Efficient Computation of PageRank, Stanford T