PowerPoint Presentation

Size: px
Start display at page:

Download "PowerPoint Presentation"

Transcription

1 2012 年 11 月 2 日 複雑系の科学 第 3 回複雑ネットワーク その 1 東京大学大学院工学系研究科鳥海不二夫

2 複雑ネットワーク 1. 世の中すべてネットワーク~ 複雑ネットワーク入門 2. ネットワークを見る~ 複雑ネットワーク分析指標 3. 古典的ネットワーク~ランダム 格子ネットワーク 4. 世間は狭い~スモールワールドネットワーク 5. 不平等な世界 ~スケールフリーネットワーク 6. ネットワークを作る~ネットワーク生成モデル1 7. ネットワークを作る~ネットワーク生成モデル2

3 複雑ネットワークの歴史 1736 年ケーニヒベルグ問題 1960 年 RandomGraph 1998 年 SmallWorldNetworks グラフ理論 複雑ネットワーク 1967 年ミルグラムの実験 1999 年 ScaleFree 理論 複雑ネットワークは新しい学問 ここ 10 数年で大きく前進

4 複雑ネットワークの歴史 ケーニヒスベルグの橋 RandomGraph ミルグラムの実験 SmallWorld 理論 ScaleFree 理論

5 ケーニヒスベルグの橋問題 スタート地点 ケーニヒスベルグという町 a~g という 7 つの橋が架かっている

6 ケーニヒスベルグの橋問題 スタート地点 ルール スタート地点から出発して, スタート地点に戻る 橋は一度しか渡れない ルールに従ってスタートからスタートへ戻れるか?

7 ケーニヒスベルグのネットワーク A c a d b C B e f g D グラフ理論っての 考えた オイラー

8 RandomGraph ポール エルディシュ 著名な数学者 生涯に約 1500 篇の論文を書いた エルデシュ = レーニィモデル ERモデルとも ランダムに作られたネットワーク グラフ理論から一歩前進 グラフ ネットワーク

9 ミルグラムの実験 スタンレーミルグラム ( ) イェール大学 社会心理学

10 ミルグラムの実験 友人の友人の とたどっていってカンザスからマサチューセッツまで何人で到達できるか?

11 ミルグラムの実験 カンザス州に住むさまざまな境遇の応募者に手紙を送る マサチューセッツ州のとある人に手紙を送りたい ルール ファーストネームで呼び合う人にしか手紙は送れない= 割と仲がいい人限定 最終的に目標の人に到達するように手紙を出す

12 ミルグラムの実験 目標人物 何人の人を経由して 手紙は目標人物に到達するのか

13 平均で 6 人を経由 ミルグラムの実験 およそ 6~7 人を経由すれば世界中の人とつながることが出来る 世界が狭い =6 次の隔たり

14 Small World Networks Duncan J. Watts コロンビア大学の学生 1998 年 Nature に投稿した 3 ページの論文 Collective dynamics of 'small-world' networks ネットワークの世界を変えた 世界は狭く, そして固まっている

15 Scale Free Network Albert-László Barabási ノートルダム大学教授 1999 年 Science に投稿した 4 ページの論文 Emergence of scaling in random networks やっぱりネットワークの世界に衝撃を与えた 世界は不平等だ

16 それから 世界的に複雑系ネットワークの研究が盛んに さまざまな現象が明らかに WEB の発達により大規模なネットワークが出現 電子データの利用 従来より簡単に巨大なネットワークを分析可能に ネットワーク分析に注目 ビッグデータ ソーシャルメディア

17 ネットワークとは 何か?

18 世の中色々 ネットワーク

19 ネットワークとは? グラフとも呼ぶ ネットワーク = ノードとそれをつなぐリンク ノード ノード ノード リンク ノード ノード ノード

20 ノードとリンク 人間がノード 友人関係がリンク お客様と商品がノード 購買関係がリンク 経営者と従業員がノード 命令関係がリンク 会社がノード 会社間の商品やお金の流れがリンク

21 世の中すべてネットワーク 世の中の色々な現象がネットワークで表せる 地下鉄路線 航空経路 インターネット WEBページのリンク Wikipediaのカテゴリ mixi ケーニヒスベルグの橋

22 地下鉄路線図 駅 = ノード 線路 = リンク

23 航空経路ネットワーク 空港 = ノード 経路 = リンク

24 インターネットのつながり 何十万のコンピュータ同士が接続 コンピュータ = ノード 接続 = リンク

25 WEB ページのつながり WEB ページ = ノード ハイパーリンク = リンク

26 Wikipedia カテゴリのつながり カテゴリ = ノード リンク構造 = リンク

27 mixi 上の友人ネットワーク 人間 = ノード 友人関係 = リンク

28 ケーニヒスベルグの橋問題 スタート地点 ケーニヒスベルグという町 a~g という 7 つの橋が架かっている

29 ケーニヒスベルグの橋問題 スタート地点 ルール スタート地点から出発して, スタート地点に戻る 橋は一度しか渡れない ルールに従ってスタートからスタートへ戻れるか?

30 ケーニヒスベルグのネットワーク c d C g A a b B e f D A~D の土地 = ノード a~g の橋 = リンク オイラー

31 一筆書き出来ますか? c d g a b e f 一筆書きの一般則 奇数個の線が出ている頂点が,0or2 個なら一筆書き可能

32 ケーニヒスベルグのネットワーク A c a d b C B e f g D 橋渡り問題もネットワーク 陸地 = ノード 橋 = リンク

33 グラフ理論 グラフ理論 ケーニヒスベルグの橋問題から発展 複雑ネットワークを理解する上での基礎理論 グラフ ネットワーク

34 グラフ理論の基礎 Graph とは V: 頂点 (vertex) からなる集合 E: 点をつなぐ辺 (edge) からなる集合 G:VとEの集合 G v 3 e 1 e 2 e 3 v 4 v 1 e 4 v 2

35 グラフの表現 V = v 1, v 2, v 3, v 4, v 5 E = {e 1 = v 1, v 3, e 2 = v 2, v 3, e 3 = v 3, v 4, e 4 = v 2, v 4 } G = {V, E} G v 3 e 1 e 2 e 3 v 4 v 1 e 4 v 2

36 隣接関係 点の隣接関係 v 1, v 2 は隣接した点 e 1 v 1 v 2 辺の隣接関係 e 1, e 2 は隣接した辺 e 1 e 2 v 1 v 2 v 3

37 問題 このグラフにおける隣接頂点, 隣接辺をすべて述べよ v 3 G e 1 e 2 e 3 v 4 v 1 e 4 v 2

38 解答 隣接頂点 v 1, v 3, v 2, v 3, v 3, v 4, v 2, v 4 隣接辺 e 1, e 2, e 1, e 3, e 2, e 3, e 2, e 4, (e 3, e 4 ) G v 3 e 1 e 2 e 3 v 4 v 1 e 4 v 2

39 次数 次数 頂点 v i が接続している辺の数 deg v i 各頂点の次数はいくつか? ddd(v i ) v 1 1 G v 2 2 v 3 v 3 3 v 4 2 e 1 e 2 e 3 v 4 v 1 e 4 v 2

40 完全グラフ すべての頂点が辺でつながれているグラフ v 3 v 1 v 4 v 2

41 問題 頂点の数が n の完全グラフにおける辺の数はいくつか? 頂点 v 1 に接続する辺はn 1 本従って, 全頂点から接続する辺の総数はn(n 1) ただし, 一つの辺は2 頂点と接続する n(n 1) N e = 2

42 グラフからネットワークへ グラフとネットワークは何が違うのか? 答え : 同じもの 数学的な概念としてのグラフ 実社会の現象としてのネットワーク 色々名称が異なる グラフ ネットワーク 頂点 ノード 辺 リンク

43 グラフとネットワーク グラフ理論グラフ頂点辺 ネットワーク理論ネットワークノードリンク ネットワーク v 3 ノード e 1 e 2 e 3 v 4 v 1 v 2 e 4 リンク

44 ネットワーク分析 世の中をネットワーク構造として捉える 分析が容易に ネットワーク分析の例 ケーニヒスブルグの橋 社会ネットワーク分析 企業間取引ネットワーク分析

45 大学運動部の人間関係 3 年生 2 年生 1 年生

46 大学運動部の人間関係 3 年生 2 年生 3 年生 1 年生 2 年生 1 年生

47 大学運動部の人間関係 3 年生の中心的グループ 1 年生の中心的グループ 3 年生 2 年生 1 年生 2 年生の中心的人物

48 風の谷のナウシカ ( 漫画版 ) の人間関係

49 高校生の恋人関係ネットワーク

50 業界構造マップ 企業間取引をネットワークで表現 東京大学工学系研究科総合研究機構イノベーション政策研究センター

51 対話における単語共起ネットワーク

52 複雑ネットワーク 1. 世の中すべてネットワーク~ 複雑ネットワーク入門 2. ネットワークを見る~ 複雑ネットワーク分析指標 3. 古典的ネットワーク~ランダム 格子ネットワーク 4. 世間は狭い~スモールワールドネットワーク 5. 不平等な世界 ~スケールフリーネットワーク 6. ネットワークを作る~ネットワーク生成モデル1 7. ネットワークを作る~ネットワーク生成モデル2

53 次回予告 ネットワークはどうすれば分析できるのか? 巨大すぎるネットワークを数字で読み取る

k = The Last Samurai Tom Cruise [1] Oracle Ken Watanabe (I) has a Bacon number of 2. 1: 6(k 6) (small world p

k = The Last Samurai Tom Cruise [1]   Oracle Ken Watanabe (I) has a Bacon number of 2. 1: 6(k 6) (small world p The size of the world It is a small world Araseki Hitoshi Can you believe that everyone is at most six steps away from any other person on the Earth? This phenomenon, which is called small world phenomenon,

More information

umeda_1118web(2).pptx

umeda_1118web(2).pptx 選択的ノード破壊による ネットワーク分断に耐性のある 最適ネットワーク設計 関西学院大学理工学部情報科学科 松井知美 巳波弘佳 選択的ノード破壊によるネットワーク分断に耐性のある最適ネットワーク設計 0 / 20 現実のネットワーク 現実世界のネットワークの分析技術の進展! ネットワークのデータ収集の効率化 高速化! 膨大な量のデータを解析できる コンピュータ能力の向上! インターネット! WWWハイパーリンク構造

More information

(a) (b) (c) (d) 1: (a) (b) (c) (d) (a) (b) (c) 2: (a) (b) (c) 1(b) [1 10] 1 degree k n(k) walk path 4

(a) (b) (c) (d) 1: (a) (b) (c) (d) (a) (b) (c) 2: (a) (b) (c) 1(b) [1 10] 1 degree k n(k) walk path 4 1 vertex edge 1(a) 1(b) 1(c) 1(d) 2 (a) (b) (c) (d) 1: (a) (b) (c) (d) 1 2 6 1 2 6 1 2 6 3 5 3 5 3 5 4 4 (a) (b) (c) 2: (a) (b) (c) 1(b) [1 10] 1 degree k n(k) walk path 4 1: Zachary [11] [12] [13] World-Wide

More information

/27 (13 8/24) (9/27) (9/27) / / / /16 12

/27 (13 8/24) (9/27) (9/27) / / / /16 12 79 7 79 6 14 7/8 710 10 () 9 13 9/17 610 13 9/27 49 7 14 7/8 810 1 15 8/16 11 811 1 13 9/27 (13 8/24) (9/27) (9/27) 49 15 7/12 78 15 7/27 57 1 13 8/24 15 8/16 12 810 10 40 1 Wikipedia 13 8/18, 8/28 79

More information

オートマトンと言語

オートマトンと言語 オートマトンと言語 4 回目 5 月 2 日 ( 水 ) 3 章 ( グラフ ) の続き 授業資料 http://ir.cs.yamanashi.ac.jp/~ysuzuki/public/automaton/ 授業の予定 ( 中間試験まで ) 回数月日 内容 4 月 日オートマトンとは, オリエンテーション 2 4 月 8 日 2 章 ( 数式の記法, スタック,BNF) 3 4 月 25 日 2

More information

コンピュータグラフィックス第6回

コンピュータグラフィックス第6回 コンピュータグラフィックス 第 6 回 モデリング技法 1 ~3 次元形状表現 ~ 理工学部 兼任講師藤堂英樹 本日の講義内容 モデリング技法 1 様々な形状モデル 曲線 曲面 2014/11/10 コンピュータグラフィックス 2 CG 制作の主なワークフロー 3DCG ソフトウェアの場合 モデリング カメラ シーン アニメーション テクスチャ 質感 ライティング 画像生成 2014/11/10 コンピュータグラフィックス

More information

Microsoft PowerPoint - mp13-07.pptx

Microsoft PowerPoint - mp13-07.pptx 数理計画法 ( 数理最適化 ) 第 7 回 ネットワーク最適化 最大流問題と増加路アルゴリズム 担当 : 塩浦昭義 ( 情報科学研究科准教授 ) [email protected] ネットワーク最適化問題 ( 無向, 有向 ) グラフ 頂点 (verex, 接点, 点 ) が枝 (edge, 辺, 線 ) で結ばれたもの ネットワーク 頂点や枝に数値データ ( 距離, コストなど ) が付加されたもの

More information

No. 1261 2003. 4. 9 14 14 14 14 15 30 21 19 150 35 464 37 38 40 20 970 90 80 90 181130 a 151731 48 11 151731 42 44 47 63 12 a 151731 47 10 11 16 2001 11000 11 2002 10 151731 46 5810 2795195261998 151731

More information

「主体的・対話的で深い学び」の実現に向けて

「主体的・対話的で深い学び」の実現に向けて 主体的 対話的で深い学び の 実現に向けて 國學院大學教授田村学 学習指導要領改訂の方向性 新しい時代に必要となる資質 能力の育成と 学習評価の充実 学びを人生や社会に生かそうとする学びに向かう力 人間性の涵養 生きて働く知識 技能の習得 未知の状況にも対応できる思考力 判断力 表現力等の育成 何ができるようになるか よりよい学校教育を通じてよりよい社会を創るという目標を共有し 社会と連携 協働しながら

More information

2015年度 2次数学セレクション(整数と数列)

2015年度 2次数学セレクション(整数と数列) 05 次数学セレクション問題 [ 千葉大 文 ] k, m, を自然数とする 以下の問いに答えよ () k を 7 で割った余りが 4 であるとする このとき, k を 3 で割った余りは であることを示せ () 4m+ 5が 3 で割り切れるとする このとき, m を 7 で割った余りは 4 ではないことを示せ -- 05 次数学セレクション問題 [ 九州大 理 ] 以下の問いに答えよ () が正の偶数のとき,

More information

2015年度 岡山大・理系数学

2015年度 岡山大・理系数学 5 岡山大学 ( 理系 ) 前期日程問題 解答解説のページへ を 以上の自然数とし, から までの自然数 k に対して, 番号 k をつけたカードをそれぞれ k 枚用意する これらすべてを箱に入れ, 箱の中から 枚のカードを同時に引くとき, 次の問いに答えよ () 用意したカードは全部で何枚か答えよ () 引いたカード 枚の番号が両方とも k である確率を と k の式で表せ () 引いたカード 枚の番号が一致する確率を

More information

グラフ理論における偶奇性の現象

グラフ理論における偶奇性の現象 グラフ理論における偶奇性に関連する現象 (3 回目の講義 ) 加納幹雄 (Mikio Kano) 茨城大学名誉教授 講義の概略 1 回目入門的な話証明の多くを演習問題とします 2 回目マッチングと 1- 因子の一般化に関連する話 3 回目因子 = ある条件を満たす全域部分グラフ最近の因子理論のなかで偶奇性に関連するものの紹介 連結グラフ G と G-S の成分 G S S V(G) iso(g-s)=3

More information

毎日の勉学に励んでください カリキュラムの特徴 私たちの情報工学科の英語名は Department of Computer Science and Systems Engineering です この英語名からわかるように 私たちの情報工学科では コンピュータ自体だけを学ぶのでは なく コンピュータを核にした情報システムについても学びます したがって コンピュータのハー ドウエアとソフトウェアに関する理論と技術の他に

More information

網設計のためのBGP入門

網設計のためのBGP入門 Internet week 2015 できる網設計 網設計のための BGP 入 門 小島慎太郎! " http://about.me/codeout 本パートの話題 クラウド どうやって つなぐ? ルーティングは? データセンター オフィス # 早速ですがアンケートです # 早速ですがアンケートです プライベートクラウドとの 接続 クラウド 専用線 DC プライベートクラウドとの 接続 クラウド 静的

More information

( )

( ) Web Web 1 3 1 21 11 22 23 24 3 2 3 4 5 1 1 11 22 9 2 3 15 11 22 2 11 21 4 5 ( ) 102 ( ) 1 ( 1 2001 Web 1 5 4 1 1 - 7 - [] - 7 10 11 12 12 1 10 1 12 - [] 1 1 2 Q1 Q2 Q3 Q4 Q5 Q6 Q7 Q8 Q9 Q10 3 1 47

More information

夏目小兵衛直克

夏目小兵衛直克 39(1906)1222 14(1817) 3(1832)1514(1843) 2628 6 (1853) (1854)3727 3(1856) 1 / 13 5(1858)6(1859) 5(1853) () () () () () () 3(1867)29 504111( 2 / 13 )98 23 18 2(1869)310283 100 50() 58 226 3313200982 5033

More information

01 スタンダードナンプレ 配 ルール タテヨコ各列 太線で囲まれた 3 3 マスのブロックそれぞれについて 1 から 9 までの数字が一回ずつ現れるように空きマスを埋める 解答方法 から のマスに った数字を 順に答えてください

01 スタンダードナンプレ 配 ルール タテヨコ各列 太線で囲まれた 3 3 マスのブロックそれぞれについて 1 から 9 までの数字が一回ずつ現れるように空きマスを埋める 解答方法 から のマスに った数字を 順に答えてください の開催時間は8 月 3 日 10:00 12:00です 配は下表の通りです 全 2 問 500 満です 終了時間である12:00までに 大会公式ページ(http://jppuzzles.com/) の解答送信フォームから 解けた問題の解答を送信してください 解答は 半 英数字で してください 制限時間内に送信された最後の 内容のみが採されます このには 例題およびその答えは記載しておりません 必要に応じて

More information

戦略的行動と経済取引 (ゲーム理論入門)

戦略的行動と経済取引 (ゲーム理論入門) 展開形表現 戦略的行動と経済取引 ( ゲーム理論入門 ) 3. 展開形ゲームとサブゲーム完全均衡 戦略形ゲーム : プレイヤー 戦略 利得 から構成されるゲーム 展開形ゲーム (extensive form game): 各プレイヤーの意思決定を時間の流れとともに ゲームの木 を用いて表現 1 2 展開形ゲームの構成要素 プレイヤー (player) の集合 ゲームの木 (tree) 枝 ( 選択肢

More information

Microsoft PowerPoint - ad11-09.pptx

Microsoft PowerPoint - ad11-09.pptx 無向グラフと有向グラフ 無向グラフ G=(V, E) 頂点集合 V 頂点の対を表す枝の集合 E e=(u,v) 頂点 u, v は枝 e の端点 f c 0 a 1 e b d 有向グラフ G=(V, E) 頂点集合 V 頂点の順序対を表す枝の集合 E e=(u,v) 頂点 uは枝 eの始点頂点 vは枝 eの終点 f c 0 a 1 e b d グラフのデータ構造 グラフ G=(V, E) を表現するデータ構造

More information

Microsoft PowerPoint - H22制御工学I-2回.ppt

Microsoft PowerPoint - H22制御工学I-2回.ppt 制御工学 I 第二回ラプラス変換 平成 年 4 月 9 日 /4/9 授業の予定 制御工学概論 ( 回 ) 制御技術は現在様々な工学分野において重要な基本技術となっている 工学における制御工学の位置づけと歴史について説明する さらに 制御システムの基本構成と種類を紹介する ラプラス変換 ( 回 ) 制御工学 特に古典制御ではラプラス変換が重要な役割を果たしている ラプラス変換と逆ラプラス変換の定義を紹介し

More information

2018年度 岡山大・理系数学

2018年度 岡山大・理系数学 08 岡山大学 ( 理系 ) 前期日程問題 解答解説のページへ 関数 f ( x) = ( + x) x について, 以下の問いに答えよ () f ( x ) = 0 を満たす x の値を求めよ () 曲線 y = f ( x ) について, 原点を通るすべての接線の方程式を求めよ (3) 曲線 y = f ( x ) について, 原点を通る接線のうち, 接点の x 座標が最大のものを L とする

More information

Microsoft PowerPoint - 物情数学C(2012)(フーリエ前半)_up

Microsoft PowerPoint - 物情数学C(2012)(フーリエ前半)_up 年度物理情報工学科 年生秋学期 物理情報数学 C フーリエ解析 (Fourier lysis) 年 月 5 日 フーリエ ( フランス ) (768~83: ナポレオンの時代 ) 歳で Ecole Polyechique ( フランス国立理工科大学 ) の教授 ナポレオンのエジプト遠征に従軍 (798) 87: 任意の関数は三角関数によって級数展開できる という フーリエ級数 の概念を提唱 ( 論文を提出

More information

8. 自由曲線と曲面の概要 陽関数 陰関数 f x f x x y y y f f x y z g x y z パラメータ表現された 次元曲線 パラメータ表現は xyx 毎のパラメータによる陽関数表現 形状普遍性 座標独立性 曲線上の点を直接に計算可能 多価の曲線も表現可能 gx 低次の多項式は 計

8. 自由曲線と曲面の概要 陽関数 陰関数 f x f x x y y y f f x y z g x y z パラメータ表現された 次元曲線 パラメータ表現は xyx 毎のパラメータによる陽関数表現 形状普遍性 座標独立性 曲線上の点を直接に計算可能 多価の曲線も表現可能 gx 低次の多項式は 計 8. 自由曲線 曲面. 概論. ベジエ曲線 曲面. ベジエ曲線 曲面の数学. OeGLによる実行. URS. スプライン関数. スプライン曲線 曲面. URS 曲線 曲面 4. OeGLによる実行 8. 自由曲線と曲面の概要 陽関数 陰関数 f x f x x y y y f f x y z g x y z パラメータ表現された 次元曲線 パラメータ表現は xyx 毎のパラメータによる陽関数表現 形状普遍性

More information

論文ゼミ ( 修士論文にむけて ) M2 浦田淳司 (Wed)

論文ゼミ ( 修士論文にむけて ) M2 浦田淳司 (Wed) 論文ゼミ 修士論文にむけて M2 浦田淳司 2009.2.02Wed 修士研究 : 全体見取り図 第 章 背景 目的 第 2 章 既往研究 避難行動 ゲーム理論 ネットワーク分析 複雑ネットワーク 第 3 章 調査概要 第 4 章 基礎分析 第 5 章 紐帯生成モデル ミクロモデル 第 6 章 巨視モデルの適用 適応度モデル 第 7 章 ネットワーク評価 2 第 8 章 結論 2 章概要 第 2 章既往研究の整理

More information

技術開発懇談会-感性工学.ppt

技術開発懇談会-感性工学.ppt ! - 1955GNP - 1956!!!! !. - 1989, 1986 (1992)! - 4060 (1988 - - /!! ! 199810 2011913!!! 平成24年1月23日 技術開発懇談会 in 魚沼 感性工学によるデザイン 因果の順推論 感性評価 感性デザイン 因果の逆推論 物理形状 モノ イメージ 言葉 物理形状をどのように表現するか イメージをどのように表現するか 物理形状とイメージの関係づけと変換はどうするか

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 総務省 ICTスキル総合習得教材 概要版 eラーニング用 [ コース1] データ収集 1-5:API によるデータ収集と利活用 [ コース1] データ収集 [ コース2] データ蓄積 [ コース3] データ分析 [ コース4] データ利活用 1 2 3 4 5 座学本講座の学習内容 (1-5:API によるデータ収集と利活用 ) 講座概要 API の意味とイメージを 主に利用しているファイル形式と合わせて紹介します

More information

文章題レベルチェック(整数のかけ算、わり算)【配布用】

文章題レベルチェック(整数のかけ算、わり算)【配布用】 2015/8/21 改訂 文章題レベルチェック ( 整数 ) 配布用 < 問題の解答方法 > 全ての問題をノートに書いてください そして その問題の意味を 図や絵にしてみてください その図や絵を見ながら 式を書いて答えを出してください 計算に必要な筆算などは 小さく書かずに 大きく間違えないように書いておいてください くれぐれも いきなり式を書いて答えを出さないようにしてください 解答ができたら 図や絵を使って

More information

東邦大学理学部情報科学科 2014 年度 卒業研究論文 コラッツ予想の変形について 提出日 2015 年 1 月 30 日 ( 金 ) 指導教員白柳潔 提出者 山中陽子

東邦大学理学部情報科学科 2014 年度 卒業研究論文 コラッツ予想の変形について 提出日 2015 年 1 月 30 日 ( 金 ) 指導教員白柳潔 提出者 山中陽子 東邦大学理学部情報科学科 2014 年度 卒業研究論文 コラッツ予想の変形について 提出日 2015 年 1 月 30 日 ( 金 ) 指導教員白柳潔 提出者 山中陽子 2014 年度東邦大学理学部情報科学科卒業研究 コラッツ予想の変形について 学籍番号 5511104 氏名山中陽子 要旨 コラッツ予想というのは 任意の 0 でない自然数 n をとり n が偶数の場合 n を 2 で割り n が奇数の場合

More information

知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識

知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識 知識工学 II ( 第 回 ) 二宮崇 ( [email protected] ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7. 知識に基づくエージェント知識ベース (knowledge base, KB): 文 の集合 他の 文 から導出されない

More information