第2章 多数決原理

Size: px
Start display at page:

Download "第2章 多数決原理"

Transcription

1 第 2 章多数決原理 単純多数決原理を中心として 直接民主制 1

2 1. 単純多数決ルール N={1,2,,n}: 社会構成員全体の集合 2 n<+ X={x,y,z, }: 選択肢の集合 3 X<+ ( X は集合 X の要素の個数 ) S,T, X: 実行可能な選択肢の集合 X 上の個人 i N の二項関係 ( 選好関係 )R i xr i y x は y より厳密に望ましいか両者は無差別 x は y より悪くはない 完備性 : xr i y あるいは yr i x 反射性 : xr i x 推移性 : xr i y かつ yr i z ならば xr i z 2

3 xp i y xr i y かつ yr i x ( は否定,not) xi i y xr i y かつ yr i x 社会的選択ルール R=f(R) R=(R 1,R 2,,R n ) : プロファイル R: 社会的選好 定義 2.1( 単純多数決ルール ):R MD =f MD (R) xr MD y N(xPy) N(yPx) ただし N(xPy) は xp i y を満足する個人の総数 N(xRy), N(xIy) も同様 3

4 15 人のうち,6 人が xpy,5 人が ypx,4 人が xiy のとき,xP MD y 15 人のうち,5 人が xpy,6 人が ypx,4 人が xiy のとき,yP MD x 15 人のうち,6 人が xpy,6 人が ypx,3 人が xiy のとき,xI MD y まとめて書くと xr MD y N(xPy) N(yPx) 4

5 公理 U( 広範性 ) 社会的選択ルールの定義域は個人的選好順序の論理的に可能なあらゆるプロファイルを含む 公理 A( 匿名性 ) R の個人的選好順序を並び替えて R が得られるなら,R=R 公理 N( 中立性 ) xr i y zr i w かつ yr i x wr i z が全ての i に対して成立すれば,xRy zr w かつ yrx wr z 5

6 公理 PR( 正の感応性 ) 2つのプロファイルR,R に対して, i N:{(xP i y xp i y)&(xi i y xr i y)} k N:{(xI k y xp k y) (yp k x xr k y)} ならば,(xRy xp y) 記号の注意 : 任意の : 存在する &: かつ : または 単純多数決ルールの公理化 定理 2.1 ( メイの定理 ) 単純多数決ルールは, 公理 U,A,N,PR を全部満たす唯一の社会的選択ルールである 6

7 ( 証明 ) 定義より, 単純多数決ルールが 4 つの公理を満たすのは明らか. 逆を示す. 公理 N で,x=z, y=w とおく.x と y の社会的選好判断には個人的選好を知れば十分. 公理 A より,N(xPy), N(yPx), N(xIy) のみで決まる. 公理 N より,N(xPy)=N(yPx) ならば,xIy. 公理 PR より, N(xPy)>N(yPx) ならば,xPy. よって, 多数決ルールに一致する. 7

8 公理 CR( 社会的合理性 ) 任意のプロファイル R =(R 1,R 2,,R n ) に対して, 社会的選好 R=f(R) は完備性, 反射性, 推移性を満たす 定理 2.2 公理 U,A,N,PR,CR をすべて満たす社会的選択ルールは存在しない. 8

9 2. 定義域の制限 単峰型選好 効用 個人 3 個人 2 個人 1 x y z 選択肢 9

10 非単峰型選好 効用 個人 3 個人 2 個人 1 x y z 選択肢 10

11 単谷型選好 効用 個人 3 個人 2 個人 1 x y z 選択肢 11

12 3. ブキャナ = タロック 合意の計算 意思決定の費用 決定に必要な人数が多くなると高くなる 外部費用 自分の意見と合わない社会的決定に従わなければならないことから生じるコスト 決定に必要な人数が多くなると低くなる 最適な意思決定ルール 合計を最小化するルール ある多数決ルール 12

13 総費用 外部費用 意思決定費用 n 13

14 4. レイの定理 自分の賛成する提案が否決される確率 自分の反対する提案が可決される確率 最適なル - ル =2 つの確率の合計を最小化するルール 単純多数決ルール 14

15 n 人の社会さまざまな規模の集団の数 : f 人で構成される集団の数 n C f n! f!( n )! 可決に必要な最小支持者数 =k 否決される集団の数 k 1 f f n! 1 f!( n f )! n

16 注 : n 人の社会可能な集団の数を考える全員が集団に入るか否かを決める n 2 の可能性 を除くさまざまな規模の集団の数は n C f n 2 1 n! n( n 1) n 人の並べ方 = 順列 f 人で構成される集団の数は f 人からなる組合せ... 〇... f! n! ( n f )! よって n! f!( n f )! 16

17 1 自分の支持する提案が否決されるケース自分を入れて f 人, かつ f < k n 1C f 1 ( f ( n 1)! 1)!( n 1 ( n 1)! ( f 1)!( n f )! f 1)! よって, 確率は P 1 k 1 f 1 ( f ( n 1)! 1)!( n 2 n 1 f )! 17

18 2 自分の反対する提案が可決されるケース自分を除いて f 人, かつ f k n 1C f ( n 1)! f!( n f 1)! よって, 確率は P 2 n 1 f k f ( n 1)!!( n f 1)! 2 n 1 18

19 .5 期待確率 可決に必要な最小支持者数 19

20 .5 期待確率 可決に必要な最小支持者数 20

21 5. トーナメント方式 あらかじめ決められた順番で二項比較を行う cf. 単純多数決による二項比較 循環が生じない 決定できる 問題点 経路独立性を満たさない劣位勝者のパラドックス 21

22 1 直線型 2 樹形型 w x y z x y z w 3 混合型 v x y z w 22

23 経路依存性 a, b, c 3 人の個人 x, y, z 3 つの選択対象 3 人の選好 ( 価値判断 ): R a ; x f y f z x y z R b ; y f z f x R c ; z f x f y x z y y z x 23

24 劣位勝者のパラドックス (1) a, b, c 3 人の個人 x, y, z, w 4 つの選択対象 3 人の選好 ( 価値判断 ): R a ; x f y f z f w R b ; z f w f x f y R c ; w f x f y f z 3 の勝者である y は全員一致で x より望ましくない 24

25 1 w 1 z x y z w x y w z 2 w 2 w x z y w x z w y 25

26 3 z 3 y x w y z x w z y 4 w 4 w y z w x y z x w 26

27 5 z 5 x y w x z y w z x 6 x 6 x z w x y z w y x 27

28 劣位勝者のパラドックス (2) 同じ選好でも, 樹形型では劣位勝者のパラドックスは生じない y は z に勝つが,x と w には負ける 1 度だけ最終段階で z と対戦するという状況でのみパラドックスが生じる x x y z w w x z y w 28

29 6. シュワルツ方式 頂上循環 上位の選択肢間で循環が生じる シュワルツ方式 勝者集合 S X( 普遍集合 ) (1) x S, y X\S:xPy (2) S: 最小 注意 : y X\S y X & y S 29

30 x ~ y ~ z f w f t f u ~ v S 1 ={x,y,z}, S 2 ={x,y,z,w}, S 3 ={x,y,z,w,t} S 1, S 2, S 3 のいずれも (1) を満たす (2) を満たすのは S 1 のみ S 1 がシュワルツ方式の勝者集合 30

31 一部の選択肢からなる循環 x y xpy x 頂上循環 top cycle x y y z z w w u u 31

32 7. 循環の発生頻度 仮定 あらゆる個人的順序 ( 完備性 推移性 ) は等確率で生じる 投票者 9 人で選択肢 7 個 3 回に 1 回頂上循環が生じる 投票者 25 人で選択肢 11 個 2 回に 1 回頂上循環が生じる 32

33 1860 年アメリカ大統領選挙リンカーン, ベル, ブレキンリッジ, ダグラス 選好分布の推定 ( 単位 :1000 人 ) リリダダダダダブブブべベベベベベダブベリブリベダダリブダブダダベベリベリブダベリダダリリブブブリブブベベリリベブリブダリ 33

34 1860 年アメリカ大統領選挙での循環 ( 単位 :1000 人 ) リンカーンベル ブレキンリッジ ダグラス リンカーン * 2,542 * 2,968 2,165 ベル 2,139 * 3,090 * 2,416 ブレキンリッジ 1,713 1,591 1,023 ダグラス * 2,516 2,265 * 3,658 * は二項比較での勝者 34

35 リンカーン ベル ダグラスが頂上循環をなしていた 最多数投票で選挙に勝ったリンカーンは, 二項比較ではダグラスに敗れていた 35

36 8. 多次元空間での多数決 空間モデル 至福点 ( 理想点, 飽和点 ) u :I i xr i y x-i i y-i i 至福点に近いほど望ましい 単峰型選好 単峰型選好でも投票のパラドックス x 2 x 1 36

37 2 次元空間内の単峰型選好 (1) 1 次元から 2 次元へ クレマーの研究 1 次元が本質的であることを示した 右図 I * が個人 1 にとって最善の組み合わせ I* から遠ざかるほど効用水準が低下 政策 2 I * 政策 1 37

38 2 次元空間内の単峰型選好 (2) 3 人の選好 1:x f y f z 2:y f z f x 3:z f x f y この選好ではサイクルが生じる 政策 2 x I 1 * y I 3 * z I 2 * 政策 1 38

39 契約曲線 ( パレート最適点の集まり ) = 接点の奇跡 I 1 I 2 39

40 3 人の契約曲線 : 均衡の非存在 I 3 b I 2 c a I 1 40

41 均衡の存在条件 均衡の存在条件 ( 十分条件 ) 3 人の至福点 ( 理想点 ) が一直線上にある 3 人の契約曲線が1 点で交わる 均衡点 ( コンドルセ勝者 ) 41

42 3 人の契約曲線 : 均衡の存在 I 3 a b I 2 がコンドルセ勝者 a にも,b にも勝つ I 2 I 1 42

43 プロットの対称性条件 プロットの一般化条件 (1) 無差別の個人は棄権する (2-1) 投票者数が奇数である場合には,1 人またはより多くの奇数人が特定の e 点を理想点とする (2-2) 偶数の場合は誰も e 点を理想点としないか, 偶数の人が理想点とする (3) 残りの投票者は e 点を挟んで対極にある 2 つの点をそれぞれ理想点とするペアを作る 稀にしか満たされない 43

44 2 つの選択肢のどちらが勝つ? a,b を通る垂直二等分線を引く 個人 1 は b に投票 個人 2,3 は a に投票 I 3 a I 4 b 垂直二等分線上に至福点のある個人 4 は無差別 棄権する I 2 I 1 44

45 多数決の勝者は? e:e を通る任意の直線が e を至福点とする人々を除いて残りの人の至福点を均等に分割する点 e は任意の x e に多数決で負けることはない なぜなら e に賛成するする人の数は常に過半数を超えるから a 垂直二等分線 e 少なくとも n 1 人いる : 奇数 2 n 人いる : 偶数 2 45

46 プロットの対称性条件 I 5 I I 4 6 I 7 =e I 1 I 1 I 2 I 3 46

47 マッケルヴィの定理 いかなる選択肢のペアについても, それらを含んだ包括循環を引き起こすトーナメント方式の決定順序が存在する 次の図 3 人とも,aP i b apb bpa となる手順がある 47

48 ai 1 a かつ ai 3 a ( 無差別 ) αp 1 a かつ αp 3 a 推移性より αp 1 a,αp 3 a αpa ( トーナメント ) αi 1 α かつ αi 2 α 多数決 βp 1 α かつ βp 2 α 推移性より βp 1 α,βp 3 α βpα βi 2 β かつ βi 3 β bp 2 β かつ bp 3 β 推移性より bp 2 β かつ bp 3 β bpβ apb かつ αpa かつ βpα かつ bpβ bpa 48

49 a α I 3 a I 2 b I 1 49

50 垂直二等分線による対称点 l 3 I 3 b β l 1 a α I 1 β a I 2 l 2 α 50

千葉大学 ゲーム論II

千葉大学 ゲーム論II 千葉大学ゲーム論 II 第五, 六回 担当 上條良夫 千葉大学ゲーム論 II 第五 六回上條良夫 本日の講義内容 前回宿題の問題 3 の解答 Nash の交渉問題 Nash 解とその公理的特徴づけ 千葉大学ゲーム論 II 第五 六回上條良夫 宿題の問題 3 の解答 ホワイトボードでやる 千葉大学ゲーム論 II 第五 六回上條良夫 3 Nash の二人交渉問題 Nash の二人交渉問題は以下の二つから構成される

More information

2 場合の数次の問いに答えよ (1) 表裏がわかる 3 種類のコイン a,b,c を投げて, 表が出た枚数が奇数となる場合は何通りあるか (2) ソファ, テーブル, カーペットがそれぞれ 3 種類,4 種類,2 種類ある それぞれ 1 つずつ選ぶとすると, 選び方は何通りあるか 要点和の法則 2

2 場合の数次の問いに答えよ (1) 表裏がわかる 3 種類のコイン a,b,c を投げて, 表が出た枚数が奇数となる場合は何通りあるか (2) ソファ, テーブル, カーペットがそれぞれ 3 種類,4 種類,2 種類ある それぞれ 1 つずつ選ぶとすると, 選び方は何通りあるか 要点和の法則 2 場合の数 この分野の学習にあたっては, 数学 Ⅰ の 集合と論理 はあらかじめ学習しているものとする 1 集合の要素の個数 1 から 40 までの整数のうち, 次の個数を求めよ (1) 3 または 4 で割り切れる整数 (2) 3 で割り切れない整数 (3) 3 で割り切れるが 4 で割り切れない整数 要 点 和集合の要素の個数 n(a B)=n(A)+n(B)-n(A B) 特に,A B=φ のとき

More information

Microsoft PowerPoint - 9.pptx

Microsoft PowerPoint - 9.pptx 9. 線形写像 ここでは 行列の積によって 写像を定義できることをみていく また 行列の積によって定義される写像の性質を調べていく 行列演算と写像 ( 次変換 3 拡大とスカラー倍 p ' = ( ', ' = ( k, kk p = (, k 倍 k 倍 拡大後 k 倍拡大の関係は スカラー倍を用いて次のように表現できる ' = k ' 拡大前 拡大 4 拡大と行列の積 p ' = ( ', '

More information

調和系工学 ゲーム理論編

調和系工学 ゲーム理論編 ゲーム理論第三部 知的都市基盤工学 5 月 30 日 ( 水 5 限 (6:30~8:0 再掲 : 囚人のジレンマ 囚人のジレンマの利得行列 協調 (Cooperte:C プレイヤー 裏切 (Deect:D ( 協調 = 黙秘 裏切 = 自白 プレイヤー C 3,3 4, D,4, 右がプレイヤー の利得左がプレイヤー の利得 ナッシュ均衡点 プレイヤーの合理的な意思決定の結果 (C,C はナッシュ均衡ではない

More information

2018年度 筑波大・理系数学

2018年度 筑波大・理系数学 筑波大学 ( 理系 ) 前期日程問題 解答解説のページへ < < とする 放物線 上に 点 (, ), A (ta, ta ), B( - ta, ta ) をとる 三角形 AB の内心の 座標を p とし, 外心の 座標を q とする また, 正の実数 a に対して, 直線 a と放物線 で囲まれた図形の面積を S( a) で表す () p, q を cos を用いて表せ S( p) () S(

More information

Microsoft PowerPoint - 9.pptx

Microsoft PowerPoint - 9.pptx 9/7/8( 水 9. 線形写像 ここでは 行列の積によって 写像を定義できることをみていく また 行列の積によって定義される写像の性質を調べていく 拡大とスカラー倍 行列演算と写像 ( 次変換 拡大後 k 倍 k 倍 k 倍拡大の関係は スカラー倍を用いて次のように表現できる p = (, ' = k ' 拡大前 p ' = ( ', ' = ( k, k 拡大 4 拡大と行列の積 拡大後 k 倍

More information

厚生の測度

厚生の測度 公共経済学 消費者行動の理論 消費者 ( 家計 ) 行動 消費者の行動の特徴 消費可能集合 ( 予算制約 ) 選好 効用 選択 需要 顕示選好 消費者の行動の特徴 経済主体企業 家計 ( 政府 ) 家計 価格 資本 労働 株式 賃料 賃金 配当 財 サービス市場 需要 家計 = 価格受容者 (rce taker) 供給 家計の所得 企業 数量 3 消費可能集合 () 家計が直面する制約 予算制約 (

More information

<8D828D5A838A817C A77425F91E6318FCD2E6D6364>

<8D828D5A838A817C A77425F91E6318FCD2E6D6364> 4 1 平面上のベクトル 1 ベクトルとその演算 例題 1 ベクトルの相等 次の問いに答えよ. ⑴ 右の図 1 は平行四辺形 である., と等しいベクトルをいえ. ⑵ 右の図 2 の中で互いに等しいベクトルをいえ. ただし, すべてのマス目は正方形である. 解 ⑴,= より, =,= より, = ⑵ 大きさと向きの等しいものを調べる. a =d, c = f d e f 1 右の図の長方形 において,

More information

2015年度 岡山大・理系数学

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

More information

2011年度 筑波大・理系数学

2011年度 筑波大・理系数学 0 筑波大学 ( 理系 ) 前期日程問題 解答解説のページへ O を原点とするy 平面において, 直線 y= の を満たす部分をC とする () C 上に点 A( t, ) をとるとき, 線分 OA の垂直二等分線の方程式を求めよ () 点 A が C 全体を動くとき, 線分 OA の垂直二等分線が通過する範囲を求め, それ を図示せよ -- 0 筑波大学 ( 理系 ) 前期日程問題 解答解説のページへ

More information

<4D F736F F F696E74202D D8C7689E682C68DC5934B89BB B D985F8CE394BC816A2E707074>

<4D F736F F F696E74202D D8C7689E682C68DC5934B89BB B D985F8CE394BC816A2E707074> ゲーム理論 ゲーム理論の目的 動的価値環境下におけるエージェント群の意志決定 戦略的な反応の科学 エージェント 選択可能な手番の集合, 最良戦略の導出と行動 戦略は 純粋 ( 特定の動作 ) または, 混合 ( ランダム動作 ) ナッシュ均衡 ( 同じような手行動の繰り返しに落ち込む ) すべてのプレーヤーの最適な反応が お互いに調和したものになる 復習 : ミニ マックス定理 フォン ノイマン ゼロ和

More information

2014年度 九州大・理系数学

2014年度 九州大・理系数学 04 九州大学 ( 理系 ) 前期日程問題 解答解説のページへ関数 f ( x) = x-sinx ( 0 x ) を考える 曲線 y = f ( x ) の接線で傾きが となるものを l とする () l の方程式と接点の座標 ( a, b) を求めよ () a は () で求めたものとする 曲線 y = f ( x ), 直線 x = a, および x 軸で囲まれた 領域を, x 軸のまわりに

More information

解答例 ( 河合塾グループ株式会社 KEI アドバンスが作成しました ) 特別奨学生試験 ( 平成 29 年 12 月 17 日実施 ) 数 学 数学 2= 工 経営情報 国際関係 人文 応用生物 生命健康科 現代教育学部 1 整理して (60 分 100 点 ) (2 3+ 2)(

解答例 ( 河合塾グループ株式会社 KEI アドバンスが作成しました ) 特別奨学生試験 ( 平成 29 年 12 月 17 日実施 ) 数 学 数学 2= 工 経営情報 国際関係 人文 応用生物 生命健康科 現代教育学部 1 整理して (60 分 100 点 ) (2 3+ 2)( 解答例 ( 河合塾グループ株式会社 KEI アドバンスが作成しました ) 特別奨学生試験 ( 平成 9 年 月 7 日実施 ) 数 学 数学 = 工 経営情報 国際関係 人文 応用生物 生命健康科 現代教育学部 整理して (60 分 00 点 ) 3+ ( 3+ )( 6 ) ( 与式 ) = = 6 + + 6 (3 + ) すなわち 5 6 (5 6 )(3+ ) = = 3 9 8 = 4 6

More information

<4D F736F F D208CF68BA48C6F8DCF8A C31312C CC295CA8FC194EF90C582C697988E718F8A93BE90C52E646F63>

<4D F736F F D208CF68BA48C6F8DCF8A C31312C CC295CA8FC194EF90C582C697988E718F8A93BE90C52E646F63> 年 月 4 日 ( 水曜 3 限 )/6. 個別消費税と利子所得課税. 一括固定税と超過負担 財 と財 に関する個人の消費選択のモデルを用いて 一括固定税の効果と超過負担について検討しよう なお 一括固定税とは 個人が行動を変化させても税額が変化しない税 であり 人頭税がその例である < 税の存在しない場合の予算制約式 > 財 i の量を x i 税が存在しないもとでの財 i の価格を pi とする

More information

Math-quarium 練習問題 + 図形の性質 線分 は の二等分線であるから :=:=:=: よって = = = 線分 は の外角の二等分線であるから :=:=:=: よって :=: したがって == 以上から =+=+= 右の図において, 点 は の外心である α,βを求めよ α β 70

Math-quarium 練習問題 + 図形の性質 線分 は の二等分線であるから :=:=:=: よって = = = 線分 は の外角の二等分線であるから :=:=:=: よって :=: したがって == 以上から =+=+= 右の図において, 点 は の外心である α,βを求めよ α β 70 Math-quarium 練習問題 + 図形の性質 図形の性質 線分 に対して, 次の点を図示せよ () : に内分する点 () : に外分する点 Q () 7: に外分する点 R () 中点 M () M () Q () () R 右の図において, 線分の長さ を求めよ ただし,R//Q,R//,Q=,=6 とする Q R 6 Q から,:=:6=: より :=: これから,R:=: より :6=:

More information

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦 正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦   正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語 オートマトン 形式言語及び演習 3. 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ とは ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械 : 言語を記号列で定義 - 記述しやすい ( ユーザフレンドリ ) 例 :01 + 10 - UNIX の grep コマンド - UNIX の

More information

離散数学

離散数学 離散数学 ブール代数 落合秀也 前回の復習 : 命題計算 キーワード 文 複合文 結合子 命題 恒真 矛盾 論理同値 条件文 重条件文 論法 論理含意 記号 P(p,q,r, ),,,,,,, 2 今日のテーマ : ブール代数 ブール代数 ブール代数と束 そして 順序 加法標準形とカルノー図 3 今日のテーマ : ブール代数 ブール代数 ブール代数と束 そして 順序 加法標準形とカルノー図 4 ブール代数の法則

More information

Microsoft PowerPoint - 10.pptx

Microsoft PowerPoint - 10.pptx 0. 固有値とその応用 固有値と固有ベクトル 2 行列による写像から固有ベクトルへ m n A : m n n m 行列によって線形写像 f R R A が表せることを見てきた ここでは 2 次元平面の行列による写像を調べる 2 = 2 A 2 2 とし 写像 まず 単位ベクトルの像を求める u 2 x = v 2 y f : R A R を考える u 2 2 u, 2 2 0 = = v 2 0

More information

2015年度 信州大・医系数学

2015年度 信州大・医系数学 05 信州大学 ( 医系 ) 前期日程問題 解答解説のページへ 放物線 y = a + b + c ( a > 0) を C とし, 直線 y = -を l とする () 放物線 C が点 (, ) で直線 l と接し, かつ 軸と共有点をもつための a, b, c が満 たす必要十分条件を求めよ () a = 8 のとき, () の条件のもとで, 放物線 C と直線 l および 軸とで囲まれた部

More information

<4D F736F F D208CF68BA48C6F8DCF8A C30342C CFA90B68C6F8DCF8A7782CC8AEE967B92E8979D32288F4390B394C529332E646F63>

<4D F736F F D208CF68BA48C6F8DCF8A C30342C CFA90B68C6F8DCF8A7782CC8AEE967B92E8979D32288F4390B394C529332E646F63> 2. 厚生経済学の ( 第 ) 基本定理 2 203 年 4 月 7 日 ( 水曜 3 限 )/8 本章では 純粋交換経済において厚生経済学の ( 第 ) 基本定理 が成立することを示す なお より一般的な生産技術のケースについては 4.5 補論 2 で議論する 2. 予算集合と最適消費点 ( 完全 ) 競争市場で達成される資源配分がパレート効率的であることを示すための準備として 個人の最適化行動を検討する

More information

1 911 9001030 9:00 A B C D E F G H I J K L M 1A0900 1B0900 1C0900 1D0900 1E0900 1F0900 1G0900 1H0900 1I0900 1J0900 1K0900 1L0900 1M0900 9:15 1A0915 1B0915 1C0915 1D0915 1E0915 1F0915 1G0915 1H0915 1I0915

More information

Microsoft PowerPoint - 7.pptx

Microsoft PowerPoint - 7.pptx 通信路 (7 章 ) 通信路のモデル 情報 送信者 通信路 受信者 A a,, a b,, b B m = P( b ),, P( b m ) 外乱 ( 雑音 ) n = P( a,, P( a ) n ) 送信情報源 ( 送信アルファベットと生成確率 ) 受信情報源 ( 受信アルファベッと受信確率 ) でもよい 生成確率 ) 受信確率 ) m n 2 イメージ 外乱 ( 雑音 ) により記号 a

More information

「経済政策論(後期)《運営方法と予定表(1997、三井)

「経済政策論(後期)《運営方法と予定表(1997、三井) 0 年 月 6 日 ( 水曜 3 限 )/6 0. 個別消費税と利子所得課税 0. 一括固定税と超過負担 財 と財 に関する個人の消費選択のモデルを用いて 一括固定税の効果と超過負担につ いて検討しよう なお 一括固定税とは 個人が行動を変化させても税額が変化しない税 であり 人頭税がその例である < 税の存在しない場合の予算制約式 > 財 i の量を x 税が存在しないもとでの財 i の価格を p

More information

20~22.prt

20~22.prt [ 三クリア W] 辺が等しいことの証明 ( 円周角と弦の関係利用 ) の の二等分線がこの三角形の外接円と交わる点をそれぞれ とするとき 60 ならば であることを証明せよ 60 + + 0 + 0 80-60 60 から ゆえに 等しい長さの弧に対する弦の長さは等しいから [ 三クリア ] 方べきの定理 接線と弦のなす角と円周角を利用 線分 を直径とする円 があり 右の図のように の延長上の点

More information

オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦 正規言語の性質 反復補題正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると

オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦   正規言語の性質 反復補題正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ 正規言語の性質 正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると仮定してを使い 矛盾を導く 閉包性正規言語を演算により組み合わせて得られる言語が正規言語となる演算について調べる

More information

第5章 政治的競争

第5章 政治的競争 第 5 章政治的競争 . 直接民主制 コンドルセ勝者 単純多数決によって二項比較を行っていたときに, 投票のパラドックス ( コンドルセのパラドックス ) が起こらず, 他のどの選択肢にも勝てる選択肢が存在するとき, それをコンドルセ勝者 (Condorcet s winner) という 選択肢の空間が 次元で, 単峰型選好, 単谷型選好などの場合 2 中位投票者定理 中位投票者定理 (median

More information

Probit , Mixed logit

Probit , Mixed logit Probit, Mixed logit 2016/5/16 スタートアップゼミ #5 B4 後藤祥孝 1 0. 目次 Probit モデルについて 1. モデル概要 2. 定式化と理解 3. 推定 Mixed logit モデルについて 4. モデル概要 5. 定式化と理解 6. 推定 2 1.Probit 概要 プロビットモデルとは. 効用関数の誤差項に多変量正規分布を仮定したもの. 誤差項には様々な要因が存在するため,

More information

< 中 3 分野例題付き公式集 > (1)2 の倍数の判定法は 1 の位が 0 又は偶数 ( 例題 )1~5 までの 5 つの数字を使って 3 ケタの数をつくるとき 2 の倍数は何通りできるか (2)5 の倍数の判定法は 1 の位が 0 又は 5 ( 例題 )1~9 までの 9 個の数字を使って 3

< 中 3 分野例題付き公式集 > (1)2 の倍数の判定法は 1 の位が 0 又は偶数 ( 例題 )1~5 までの 5 つの数字を使って 3 ケタの数をつくるとき 2 の倍数は何通りできるか (2)5 の倍数の判定法は 1 の位が 0 又は 5 ( 例題 )1~9 までの 9 個の数字を使って 3 () の倍数の判定法は の位が 0 又は偶数 ~ までの つの数字を使って ケタの数をつくるとき の倍数は何通りできるか () の倍数の判定法は の位が 0 又は ~9 までの 9 個の数字を使って ケタの数をつくるとき の倍数は何通りできるか () の倍数の判定法は 下 ケタが 00 又は の倍数 ケタの数 8 が の倍数となるときの 最小の ケタの数は ( 解 ) 一の位の数は の 通り 十の位は一の位の数以外の

More information

. 角の二等分線と調和平均 平面上に点 を端点とする線分 と を重ならないようにとる, とし とする の二等分線が線分 と交わる点を とし 点 から に垂直に引いた直線が線分 と交わる点 とする 線分 の長さを求めてみよう 点 から に垂直な直線と および との交点をそれぞれ, Dとする つの直角三

. 角の二等分線と調和平均 平面上に点 を端点とする線分 と を重ならないようにとる, とし とする の二等分線が線分 と交わる点を とし 点 から に垂直に引いた直線が線分 と交わる点 とする 線分 の長さを求めてみよう 点 から に垂直な直線と および との交点をそれぞれ, Dとする つの直角三 角の二等分線で開くいろいろな平均 札幌旭丘高校中村文則 0. 数直線上に現れるいろいろな平均下図は 数 (, ) の調和平均 相乗平均 相加平均 二乗平均を数直線上に置いたものである, とし 直径 中心 である円を用いていろいろな平均の大小関係を表現するもっとも美しい配置方法であり その証明も容易である Q D E F < 相加平均 > (0), ( ), ( とすると 線分 ) の中点 の座標はである

More information

アルゴリズムとデータ構造

アルゴリズムとデータ構造 講義 アルゴリズムとデータ構造 第 2 回アルゴリズムと計算量 大学院情報科学研究科情報理工学専攻情報知識ネットワーク研究室喜田拓也 講義資料 2018/5/23 今日の内容 アルゴリズムの計算量とは? 漸近的計算量オーダーの計算の方法最悪計算量と平均計算量 ポイント オーダー記法 ビッグオー (O), ビッグオメガ (Ω), ビッグシータ (Θ) 2 お風呂スケジューリング問題 お風呂に入る順番を決めよう!

More information

Microsoft PowerPoint - e-stat(OLS).pptx

Microsoft PowerPoint - e-stat(OLS).pptx 経済統計学 ( 補足 ) 最小二乗法について 担当 : 小塚匡文 2015 年 11 月 19 日 ( 改訂版 ) 神戸大学経済学部 2015 年度後期開講授業 補足 : 最小二乗法 ( 単回帰分析 ) 1.( 単純 ) 回帰分析とは? 標本サイズTの2 変数 ( ここではXとY) のデータが存在 YをXで説明する回帰方程式を推定するための方法 Y: 被説明変数 ( または従属変数 ) X: 説明変数

More information

F = 0 F α, β F = t 2 + at + b (t α)(t β) = t 2 (α + β)t + αβ G : α + β = a, αβ = b F = 0 F (t) = 0 t α, β G t F = 0 α, β G. α β a b α β α β a b (α β)

F = 0 F α, β F = t 2 + at + b (t α)(t β) = t 2 (α + β)t + αβ G : α + β = a, αβ = b F = 0 F (t) = 0 t α, β G t F = 0 α, β G. α β a b α β α β a b (α β) 19 7 12 1 t F := t 2 + at + b D := a 2 4b F = 0 a, b 1.1 F = 0 α, β α β a, b /stlasadisc.tex, cusp.tex, toileta.eps, toiletb.eps, fromatob.tex 1 F = 0 F α, β F = t 2 + at + b (t α)(t β) = t 2 (α + β)t

More information

2011年度 大阪大・理系数学

2011年度 大阪大・理系数学 0 大阪大学 ( 理系 ) 前期日程問題 解答解説のページへ a a を自然数とする O を原点とする座標平面上で行列 A= a の表す 次変換 を f とする cosθ siθ () >0 および0θ

More information

Microsoft Word - K-ピタゴラス数.doc

Microsoft Word - K-ピタゴラス数.doc - ピタゴラス数の代数と幾何学 津山工業高等専門学校 菅原孝慈 ( 情報工学科 年 ) 野山由貴 ( 情報工学科 年 ) 草地弘幸 ( 電子制御工学科 年 ) もくじ * 第 章ピタゴラス数の幾何学 * 第 章ピタゴラス数の代数学 * 第 3 章代数的極小元の幾何学の考察 * 第 章ピタゴラス数の幾何学的研究の動機 交点に注目すると, つの曲線が直交しているようにみえる. これらは本当に直交しているのだろうか.

More information

" 01 JJM 予選 4 番 # 四角形 の辺 上に点 があり, 直線 と は平行である.=,=, =5,=,= のとき, を求めよ. ただし,XY で線分 XY の長さを表すものとする. 辺 と辺 の延長線の交点を, 辺 と辺 の延長線の交点を G とする. 5 四角形 は直線 に関して線対称な

 01 JJM 予選 4 番 # 四角形 の辺 上に点 があり, 直線 と は平行である.=,=, =5,=,= のとき, を求めよ. ただし,XY で線分 XY の長さを表すものとする. 辺 と辺 の延長線の交点を, 辺 と辺 の延長線の交点を G とする. 5 四角形 は直線 に関して線対称な 1 " 数学発想ゼミナール # ( 改題 ) 直径を とする半円周上に一定の長さの弦がある. この弦の中点と, 弦の両端の各点から直径 への垂線の足は三角形をつくる. この三角形は二等辺三角形であり, かつその三角形は弦の位置にかかわらず相似であることを示せ. ( 証明 ) 弦の両端を X,Y とし,M を線分 XY の中点,, をそれぞれ X,Y から直径 への垂線の足とする. また,M の直径

More information

2015年度 金沢大・理系数学

2015年度 金沢大・理系数学 05 金沢大学 ( 理系 ) 前期日程問題 解答解説のページへ四面体 OABC において, 3 つのベクトル OA, OB, OC はどの つも互いに垂直で あり, h > 0 に対して, OA, OB, OC h とする 3 点 O, A, B を通る平面上の点 P は, CP が CA と CB のどちらとも垂直となる点であるとする 次の問いに答えよ () OP OA + OB とするとき, と

More information

2014年度 筑波大・理系数学

2014年度 筑波大・理系数学 筑波大学 ( 理系 ) 前期日程問題 解答解説のページへ f ( x) = x x とする y = f ( x ) のグラフに点 P(, ) から引いた接線は 本あるとする つの接点 A (, f ( )), B(, f ( )), C(, f ( )) を頂点とする三角形の 重心を G とする () + +, + + および を, を用いて表せ () 点 G の座標を, を用いて表せ () 点 G

More information

Microsoft PowerPoint - 10.pptx

Microsoft PowerPoint - 10.pptx m u. 固有値とその応用 8/7/( 水 ). 固有値とその応用 固有値と固有ベクトル 行列による写像から固有ベクトルへ m m 行列 によって線形写像 f : R R が表せることを見てきた ここでは 次元平面の行列による写像を調べる とし 写像 f : を考える R R まず 単位ベクトルの像 u y y f : R R u u, u この事から 線形写像の性質を用いると 次の格子上の点全ての写像先が求まる

More information

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

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

More information

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110,

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦   形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, オートマトン 形式言語及び演習 1 有限オートマトンとは 酒井正彦 wwwtrscssinagoya-uacjp/~sakai/lecture/automata/ 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, } 形式言語 : 数学モデルに基づいて定義された言語 認識機械 : 文字列が該当言語に属するか? 文字列 機械 受理

More information

vecrot

vecrot 1. ベクトル ベクトル : 方向を持つ量 ベクトルには 1 方向 2 大きさ ( 長さ ) という 2 つの属性がある ベクトルの例 : 物体の移動速度 移動量電場 磁場の強さ風速力トルクなど 2. ベクトルの表現 2.1 矢印で表現される 矢印の長さ : ベクトルの大きさ 矢印の向き : ベクトルの方向 2.2 2 個の点を用いて表現する 始点 () と終点 () を結ぶ半直線の向き : ベクトルの方向

More information

2011年度 東京大・文系数学

2011年度 東京大・文系数学 東京大学 ( 文系 ) 前期日程問題 解答解説のページへ x の 次関数 f( x) = x + x + cx+ d が, つの条件 f () =, f ( ) =, ( x + cx+ d) dx= をすべて満たしているとする このような f( x) の中で定積分 I = { f ( x) } dx を最小にするものを求め, そのときの I の値を求めよ ただし, f ( x) は f ( x)

More information

線形代数とは

線形代数とは 線形代数とは 第一回ベクトル 教科書 エクササイズ線形代数 立花俊一 成田清正著 共立出版 必要最低限のことに限る 得意な人には物足りないかもしれません 線形代数とは何をするもの? 線形関係 y 直線 yもも 次式で登場する (( 次の形 ) 線形 ただし 次元の話世の中は 3 次元 [4[ 次元 ] 次元 3 次元 4 次元 はどうやって直線を表すの? ベクトルや行列の概念 y A ベクトルを使うと

More information

<4D F736F F D208C51985F82CD82B682DF82CC88EA95E A>

<4D F736F F D208C51985F82CD82B682DF82CC88EA95E A> 群論はじめの一歩 (6) 6. 指数 2の定理と2 面体群 命題 H を群 G の部分群とする そして 左剰余類全体 G/ H 右剰 余類全体 \ H G ともに指数 G: H 2 と仮定する このとき H は群 G の正規部分群である すなわち H 注意 ) 集合 A と B があるとき A から B を引いた差集合は A \ B と書かれるが ここで書いた H \ Gは差集合ではなく右剰余類の集合の意味である

More information

2-1 / 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリ

2-1 / 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリ 2-1 / 32 4. 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリティ n を持つ関数記号からなる Σ の部分集合 例 : 群 Σ G = {e, i, } (e Σ

More information

二等辺三角形の性質 (2) 次の図の の大きさを求めなさい () = P=Q P=R Q 68 R P (2) (3) 五角形 は正五角形 = F 50 F (4) = = (5) === = 80 2 二等辺三角形の頂角の外角を 底角を y で表すとき y を の式で表しなさい y 2-5-2

二等辺三角形の性質 (2) 次の図の の大きさを求めなさい () = P=Q P=R Q 68 R P (2) (3) 五角形 は正五角形 = F 50 F (4) = = (5) === = 80 2 二等辺三角形の頂角の外角を 底角を y で表すとき y を の式で表しなさい y 2-5-2 三角形 四角形 二等辺三角形の性質 () 二等辺三角形と正三角形 二等辺三角形 2つの辺が等しい三角形( 定義 ) 二等辺三角形の性質定理 二等辺三角形の底角は等しい 定理 2 二等辺三角形の頂点の二等分線は 底辺を直角に2 等分する 正三角形 3 辺が等しい三角形 ( 定義 ) 次の図で 同じ印をつけた辺や角が等しいとき の大きさを求めなさい () (2) (3) 65 40 25 (4) (5)

More information

Microsoft PowerPoint - mp11-02.pptx

Microsoft PowerPoint - mp11-02.pptx 数理計画法第 2 回 塩浦昭義情報科学研究科准教授 shioura@dais.is.tohoku.ac.jp http://www.dais.is.tohoku.ac.jp/~shioura/teaching 前回の復習 数理計画とは? 数理計画 ( 復習 ) 数理計画問題とは? 狭義には : 数理 ( 数学 ) を使って計画を立てるための問題 広義には : 与えられた評価尺度に関して最も良い解を求める問題

More information

経済学 第1回 2010年4月7日

経済学 第1回 2010年4月7日 経済学 第 13 回 井上智弘 2010/7/7 経済学第 13 回 1 注意事項 次回 (7/14), 小テストを行う.» 企業の生産費用と完全競争市場における生産決定について 復習用に, 講義で使ったスライドをホームページにアップしている. http://tomoinoue.web.fc2.com/index.html 2010/7/7 経済学第 13 回 2 前回の復習 固定費用の水準を決めたときに導くことができる平均費用曲線のことを,

More information

OABC OA OC 4, OB, AOB BOC COA 60 OA a OB b OC c () AB AC () ABC D OD ABC OD OA + p AB + q AC p q () OABC 4 f(x) + x ( ), () y f(x) P l 4 () y f(x) l P

OABC OA OC 4, OB, AOB BOC COA 60 OA a OB b OC c () AB AC () ABC D OD ABC OD OA + p AB + q AC p q () OABC 4 f(x) + x ( ), () y f(x) P l 4 () y f(x) l P 4 ( ) ( ) ( ) ( ) 4 5 5 II III A B (0 ) 4, 6, 7 II III A B (0 ) ( ),, 6, 8, 9 II III A B (0 ) ( [ ] ) 5, 0, II A B (90 ) log x x () (a) y x + x (b) y sin (x + ) () (a) (b) (c) (d) 0 e π 0 x x x + dx e

More information

Microsoft PowerPoint - 13approx.pptx

Microsoft PowerPoint - 13approx.pptx I482F 実践的アルゴリズム特論 13,14 回目 : 近似アルゴリズム 上原隆平 (uehara@jaist.ac.jp) ソートの下界の話 比較に基づく任意のソートアルゴリズムはΩ(n log n) 時間の計算時間が必要である 証明 ( 概略 ) k 回の比較で区別できる場合の数は高々 2 k 種類しかない n 個の要素の異なる並べ方は n! 通りある したがって少なくとも k n 2 n!

More information

Information Theory

Information Theory 前回の復習 講義の概要 chapter 1: 情報を測る... エントロピーの定義 確率変数 X の ( 一次 ) エントロピー M H 1 (X) = p i log 2 p i (bit) i=1 M は実現値の個数,p i は i 番目の実現値が取られる確率 実現値 確率 表 裏 0.5 0.5 H 1 X = 0.5 log 2 0.5 0.5log 2 0.5 = 1bit 1 練習問題の解答

More information

多変量解析 ~ 重回帰分析 ~ 2006 年 4 月 21 日 ( 金 ) 南慶典

多変量解析 ~ 重回帰分析 ~ 2006 年 4 月 21 日 ( 金 ) 南慶典 多変量解析 ~ 重回帰分析 ~ 2006 年 4 月 21 日 ( 金 ) 南慶典 重回帰分析とは? 重回帰分析とは複数の説明変数から目的変数との関係性を予測 評価説明変数 ( 数量データ ) は目的変数を説明するのに有効であるか得られた関係性より未知のデータの妥当性を判断する これを重回帰分析という つまり どんなことをするのか? 1 最小 2 乗法により重回帰モデルを想定 2 自由度調整済寄与率を求め

More information

Microsoft Word - 補論3.2

Microsoft Word - 補論3.2 補論 3. 多変量 GARC モデル 07//6 新谷元嗣 藪友良 対数尤度関数 3 章 7 節では 変量の対数尤度を求めた ここでは多変量の場合 とくに 変量について対数尤度を求める 誤差項 は平均 0 で 次元の正規分布に従うとする 単純化のため 分散と共分散は時間を通じて一定としよう ( この仮定は後で変更される ) したがって ij から添え字 を除くことができる このとき と の尤度関数は

More information

母平均 母分散 母標準偏差は, が連続的な場合も含めて, すべての個体の特性値 のすべての実現値 の平均 分散 標準偏差であると考えてよい 有限母集団で が離散的な場合, まさにその意味になるが, そうでない場合も, このように理解してよい 5 母数 母集団から定まる定数のこと 母平均, 母分散,

母平均 母分散 母標準偏差は, が連続的な場合も含めて, すべての個体の特性値 のすべての実現値 の平均 分散 標準偏差であると考えてよい 有限母集団で が離散的な場合, まさにその意味になるが, そうでない場合も, このように理解してよい 5 母数 母集団から定まる定数のこと 母平均, 母分散, . 無作為標本. 基本的用語 推測統計における基本的な用語を確認する 母集団 調査の対象になる集団のこと 最終的に, 判断の対象になる集団である 母集団の個体 母集団を構成する つ つのもののこと 母集団は個体の集まりである 個体の特性値 個体の特性を表す数値のこと 身長や体重など 特性値は, 変量ともいう 4 有限母集団と無限母集団 個体の個数が有限の母集団を 有限母集団, 個体の個数が無限の母集団を

More information

Microsoft PowerPoint - sc7.ppt [互換モード]

Microsoft PowerPoint - sc7.ppt [互換モード] / 社会調査論 本章の概要 本章では クロス集計表を用いた独立性の検定を中心に方法を学ぶ 1) 立命館大学経済学部 寺脇 拓 2 11 1.1 比率の推定 ベルヌーイ分布 (Bernoulli distribution) 浄水器の所有率を推定したいとする 浄水器の所有の有無を表す変数をxで表し 浄水器をもっている を 1 浄水器をもっていない を 0 で表す 母集団の浄水器を持っている人の割合をpで表すとすると

More information

> > <., vs. > x 2 x y = ax 2 + bx + c y = 0 2 ax 2 + bx + c = 0 y = 0 x ( x ) y = ax 2 + bx + c D = b 2 4ac (1) D > 0 x (2) D = 0 x (3

> > <., vs. > x 2 x y = ax 2 + bx + c y = 0 2 ax 2 + bx + c = 0 y = 0 x ( x ) y = ax 2 + bx + c D = b 2 4ac (1) D > 0 x (2) D = 0 x (3 13 2 13.0 2 ( ) ( ) 2 13.1 ( ) ax 2 + bx + c > 0 ( a, b, c ) ( ) 275 > > 2 2 13.3 x 2 x y = ax 2 + bx + c y = 0 2 ax 2 + bx + c = 0 y = 0 x ( x ) y = ax 2 + bx + c D = b 2 4ac (1) D >

More information

2019年度 千葉大・理系数学

2019年度 千葉大・理系数学 9 千葉大学 ( 理系 ) 前期日程問題 解答解説のページへ a, a とし, のとき, a+ a + a - として数列 { a } () のとき a+ a a a - が成り立つことを証明せよ () åai aaa + が成り立つような自然数 を求めよ i を定める -- 9 千葉大学 ( 理系 ) 前期日程問題 解答解説のページへ 三角形 ABC は AB+ AC BCを満たしている また,

More information

2017年度 金沢大・理系数学

2017年度 金沢大・理系数学 07 金沢大学 ( 理系 前期日程問題 解答解説のページへ 次の問いに答えよ ( 6 z + 7 = 0 を満たす複素数 z をすべて求め, それらを表す点を複素数平面上に図 示せよ ( ( で求めた複素数 z を偏角が小さい方から順に z, z, とするとき, z, z と 積 zz を表す 点が複素数平面上で一直線上にあることを示せ ただし, 偏角は 0 以上 未満とする -- 07 金沢大学

More information

RSA-lecture-2015.pptx

RSA-lecture-2015.pptx 公開鍵暗号 RSA について 3 年授業 情報ネットワーク 授業スライドより抜粋 豊橋技術科学大学情報 知能工学系梅村恭司 2015-06-24 Copyright 2014 Kyoji Umemura (http://www.ss.cs.tut.ac.jp/) 出典を明らかにしていただければ 自由に授業 / セミナー等で使っていただいて結構です これからのスライドは下記を参考 に,Java でプログラミングしながら,

More information

経済数学演習問題 2018 年 5 月 29 日 I a, b, c R n に対して a + b + c 2 = a 2 + b 2 + c 2 + 2( a, b) + 2( b, c) + 2( a, c) が成立することを示しましょう.( 線型代数学 教科書 13 ページ 演習 1.17)

経済数学演習問題 2018 年 5 月 29 日 I a, b, c R n に対して a + b + c 2 = a 2 + b 2 + c 2 + 2( a, b) + 2( b, c) + 2( a, c) が成立することを示しましょう.( 線型代数学 教科書 13 ページ 演習 1.17) 経済数学演習問題 8 年 月 9 日 I a, b, c R n に対して a + b + c a + b + c + a, b + b, c + a, c が成立することを示しましょう. 線型代数学 教科書 ページ 演習.7 II a R n がすべての x R n に対して垂直, すなわち a, x x R n が成立するとします. このとき a となることを示しましょう. 線型代数学 教科書

More information

2011年度 東京工大・数学

2011年度 東京工大・数学 東京工業大学前期日程問題 解答解説のページへ n n を自然数とする 平面上で行列 n( n+ ) n+ の表す 次変換 ( 移動とも いう ) を n とする 次の問いに答えよ () 原点 O(, ) を通る直線で, その直線上のすべての点が n により同じ直線上に移 されるものが 本あることを示し, この 直線の方程式を求めよ () () で得られた 直線と曲線 (3) を求めよ n Sn 6

More information

Microsoft PowerPoint - 基礎・経済統計6.ppt

Microsoft PowerPoint - 基礎・経済統計6.ppt . 確率変数 基礎 経済統計 6 確率分布 事象を数値化したもの ( 事象ー > 数値 の関数 自然に数値されている場合 さいころの目 量的尺度 数値化が必要な場合 質的尺度, 順序的尺度 それらの尺度に数値を割り当てる 例えば, コインの表が出たら, 裏なら 0. 離散確率変数と連続確率変数 確率変数の値 連続値をとるもの 身長, 体重, 実質 GDP など とびとびの値 離散値をとるもの 新生児の性別

More information

Microsoft PowerPoint - 2.ppt [互換モード]

Microsoft PowerPoint - 2.ppt [互換モード] 0 章数学基礎 1 大学では 高校より厳密に議論を行う そのために 議論の議論の対象を明確にする必要がある 集合 ( 定義 ) 集合 物の集まりである集合 X に対して X を構成している物を X の要素または元という 集合については 3 セメスタ開講の 離散数学 で詳しく扱う 2 集合の表現 1. 要素を明示する表現 ( 外延的表現 ) 中括弧で 囲う X = {0,1, 2,3} 慣用的に 英大文字を用いる

More information

Microsoft PowerPoint - H21生物計算化学2.ppt

Microsoft PowerPoint - H21生物計算化学2.ppt 演算子の行列表現 > L いま 次元ベクトル空間の基底をケットと書くことにする この基底は完全系を成すとすると 空間内の任意のケットベクトルは > > > これより 一度基底を与えてしまえば 任意のベクトルはその基底についての成分で完全に記述することができる これらの成分を列行列の形に書くと M これをベクトル の基底 { >} による行列表現という ところで 行列 A の共役 dont 行列は A

More information

0 21 カラー反射率 slope aspect 図 2.9: 復元結果例 2.4 画像生成技術としての計算フォトグラフィ 3 次元情報を復元することにより, 画像生成 ( レンダリング ) に応用することが可能である. 近年, コンピュータにより, カメラで直接得られない画像を生成する技術分野が生

0 21 カラー反射率 slope aspect 図 2.9: 復元結果例 2.4 画像生成技術としての計算フォトグラフィ 3 次元情報を復元することにより, 画像生成 ( レンダリング ) に応用することが可能である. 近年, コンピュータにより, カメラで直接得られない画像を生成する技術分野が生 0 21 カラー反射率 slope aspect 図 2.9: 復元結果例 2.4 画像生成技術としての計算フォトグラフィ 3 次元情報を復元することにより, 画像生成 ( レンダリング ) に応用することが可能である. 近年, コンピュータにより, カメラで直接得られない画像を生成する技術分野が生まれ, コンピューテーショナルフォトグラフィ ( 計算フォトグラフィ ) と呼ばれている.3 次元画像認識技術の計算フォトグラフィへの応用として,

More information

Microsoft PowerPoint - 15kiso-macro03.pptx

Microsoft PowerPoint - 15kiso-macro03.pptx 基礎マクロ経済学 (05 年前期 ) 3. 国民所得 担当 : 小塚匡文 3. 国民所得 3. 決定要因 教科書 66 頁の図 3-より 貨幣の流れを見てみよう これを踏まえ 基本的な古典派モデルで考察 < 生産要素 > 生産に必要なもの ( 原材料以外で ) 資本 ( 設備 ) と労働者 これらの生産性は分配にも影響する < 生産関数 > 生産要素の数量と産出量 ( 財 サービスの供給量

More information

2 年 5 月 9 日 ( 水曜 3 限 )/6 5. リンダール メカニズムと公共財の自発的供給 5. リンダール メカニズムとフリーライダー問題 本章では 4 章で導かれた公共財の供給関数や各個人の公共財に対する需要関数などを用い ての議論が進められる すなわち 公共財の供給関数 () (4-3) や 個人 の公共財に対する需要関数 ) (4-3) ( などが用いられる ( ) なお は公共財の量

More information

Microsoft PowerPoint - ppt-7.pptx

Microsoft PowerPoint - ppt-7.pptx テーマ 7: 最小包含円 点集合を包含する半径最小の円 最小包含円問題 問題 : 平面上に n 点の集合が与えられたとき, これらの点をすべて内部に含む半径最小の円を効率よく求める方法を示せ. どの点にも接触しない包含円 すべての点を内部に含む包含円を求める 十分に大きな包含円から始め, 点にぶつかるまで徐々に半径を小さくする 1 点にしか接触しない包含円 現在の中心から周上の点に向けて中心を移動する

More information

2015-2017年度 2次数学セレクション(複素数)解答解説

2015-2017年度 2次数学セレクション(複素数)解答解説 05 次数学セレクション解答解説 [ 筑波大 ] ( + より, 0 となり, + から, ( (,, よって, の描く図形 C は, 点 を中心とし半径が の円である すなわち, 原 点を通る円となる ( は虚数, は正の実数より, である さて, w ( ( とおくと, ( ( ( w ( ( ( ここで, w は純虚数より, は純虚数となる すると, の描く図形 L は, 点 を通り, 点 と点

More information

2014年度 センター試験・数学ⅡB

2014年度 センター試験・数学ⅡB 第 問 解答解説のページへ [] O を原点とする座標平面において, 点 P(, q) を中心とする円 C が, 方程式 y 4 x で表される直線 l に接しているとする () 円 C の半径 r を求めよう 点 P を通り直線 l に垂直な直線の方程式は, y - ア ( x- ) + qなので, P イ から l に引いた垂線と l の交点 Q の座標は ( ( ウ + エ q ), 4 (

More information

åłºæœ›å•¤ï¼„åłºæœ›ã…Žã‡¯ã…‹ã…«ã†®æ±‡ã‡†æŒ¹

åłºæœ›å•¤ï¼„åłºæœ›ã…Žã‡¯ã…‹ã…«ã†®æ±‡ã‡†æŒ¹ 固有値と wxmaxima を使うと簡単に求めることができます. この頁 その他 固有値 固有ベクトル練習用の問題 (1) 2 次の正方行列が異なる 2 つの実固有値を持つ場合 引用元 : ラング 線形代数学 ( 下 ) ( 芹沢正三訳 / ちくま学芸文庫 )p.078 (2) 2 次の正方行列が 1 つの実固有値 (2 重解 ) を持つ場合 引用元 : ラング 線形代数学 ( 下 ) ( 芹沢正三訳

More information

<4D F736F F F696E74202D2091E6824F82538FCD8CEB82E88C9F8F6F814592F990B382CC8CB4979D82BB82CC82505F D E95848D8682CC90B69

<4D F736F F F696E74202D2091E6824F82538FCD8CEB82E88C9F8F6F814592F990B382CC8CB4979D82BB82CC82505F D E95848D8682CC90B69 第 章 誤り検出 訂正の原理 その ブロック符号とその復号 安達文幸 目次 誤り訂正符号化を用いる伝送系誤り検出符号誤り検出 訂正符号 7, ハミング符号, ハミング符号生成行列, パリティ検査行列の一般形符号の生成行列符号の生成行列とパリティ検査行列の関係符号の訂正能力符号多項式 安達 : コミュニケーション符号理論 安達 : コミュニケーション符号理論 誤り訂正符号化を用いる伝送系 伝送システム

More information

データ解析

データ解析 データ解析 ( 前期 ) 最小二乗法 向井厚志 005 年度テキスト 0 データ解析 - 最小二乗法 - 目次 第 回 Σ の計算 第 回ヒストグラム 第 3 回平均と標準偏差 6 第 回誤差の伝播 8 第 5 回正規分布 0 第 6 回最尤性原理 第 7 回正規分布の 分布の幅 第 8 回最小二乗法 6 第 9 回最小二乗法の練習 8 第 0 回最小二乗法の推定誤差 0 第 回推定誤差の計算 第

More information

数学 ⅡB < 公理 > 公理を論拠に定義を用いて定理を証明する 1 大小関係の公理 順序 (a > b, a = b, a > b 1 つ成立 a > b, b > c a > c 成立 ) 順序と演算 (a > b a + c > b + c (a > b, c > 0 ac > bc) 2 図

数学 ⅡB < 公理 > 公理を論拠に定義を用いて定理を証明する 1 大小関係の公理 順序 (a > b, a = b, a > b 1 つ成立 a > b, b > c a > c 成立 ) 順序と演算 (a > b a + c > b + c (a > b, c > 0 ac > bc) 2 図 数学 Ⅱ < 公理 > 公理を論拠に定義を用いて定理を証明する 大小関係の公理 順序 >, =, > つ成立 >, > > 成立 順序と演算 > + > + >, > > 図形の公理 平行線の性質 錯角 同位角 三角形の合同条件 三角形の合同相似 量の公理 角の大きさ 線分の長さ < 空間における座漂とベクトル > ベクトルの演算 和 差 実数倍については 文字の計算と同様 ベクトルの成分表示 平面ベクトル

More information

無党派層についての分析 芝井清久 神奈川大学人間科学部教務補助職員 統計数理研究所データ科学研究系特任研究員 注 ) 図表は 不明 無回答 を除外して作成した 設問によっては その他 の回答も除外した この分析では Q13 で と答えた有権者を無党派層と定義する Q13 と Q15-1, 2 のクロ

無党派層についての分析 芝井清久 神奈川大学人間科学部教務補助職員 統計数理研究所データ科学研究系特任研究員 注 ) 図表は 不明 無回答 を除外して作成した 設問によっては その他 の回答も除外した この分析では Q13 で と答えた有権者を無党派層と定義する Q13 と Q15-1, 2 のクロ Ⅰ 無党派層についての分析 無党派層についての分析 芝井清久 神奈川大学人間科学部教務補助職員 統計数理研究所データ科学研究系特任研究員 注 ) 図表は 不明 無回答 を除外して作成した 設問によっては その他 の回答も除外した この分析では Q13 で と答えた有権者を無党派層と定義する Q13 と Q15-1, 2 のクロス表 Q13 合計 Q15-1 男性 度数 76 78 154 行 % 49.4%

More information

2018年度 岡山大・理系数学

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

More information

重要例題113

重要例題113 04_ 高校 数学 Ⅱ 必須基本公式 定理集 数学 Ⅱ 第 章式の計算と方程式 0 商と余り についての整式 A をについての整式 B で割ったときの商を Q, 余りを R とすると, ABQ+R (R の次数 ) > 0

More information

2016年度 筑波大・理系数学

2016年度 筑波大・理系数学 06 筑波大学 ( 理系 ) 前期日程問題 解答解説のページへ k を実数とする y 平面の曲線 C : y とC : y- + k+ -k が異なる共 有点 P, Q をもつとする ただし点 P, Q の 座標は正であるとする また, 原点を O とする () k のとりうる値の範囲を求めよ () k が () の範囲を動くとき, OPQ の重心 G の軌跡を求めよ () OPQ の面積を S とするとき,

More information

研修コーナー

研修コーナー l l l l l l l l l l l α α β l µ l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l l

More information

Microsoft Word - 訋é⁄‘組渋å�¦H29æœ�末試é¨fi解ç�fl仟㆓.docx

Microsoft Word - 訋é⁄‘組渋å�¦H29æœ�末試é¨fi解ç�fl仟㆓.docx 07 年 8 月 日計量経済学期末試験問. 次元ベクトル x ( x..., x)', w ( w.., w )', v ( v.., v )' は非確率変数であり 一次独立である 最小二乗推定法の残差と説明変数が直交することは証明無く用いてよい 確率ベクトル e ( e... ) ' は E( e ) 0, V ( e ),cov( e j ) 0 ( j) とし 確率ベクトル y=( y...,

More information

Information Theory

Information Theory 前回の復習 情報をコンパクトに表現するための符号化方式を考える 情報源符号化における基礎的な性質 一意復号可能性 瞬時復号可能性 クラフトの不等式 2 l 1 + + 2 l M 1 ハフマン符号の構成法 (2 元符号の場合 ) D. Huffman 1 前回の練習問題 : ハフマン符号 符号木を再帰的に構成し, 符号を作る A B C D E F 確率 0.3 0.2 0.2 0.1 0.1 0.1

More information

2018年度 東京大・理系数学

2018年度 東京大・理系数学 08 東京大学 ( 理系 ) 前期日程問題 解答解説のページへ関数 f ( ) = + cos (0 < < ) の増減表をつくり, + 0, 0 のと sin きの極限を調べよ 08 東京大学 ( 理系 ) 前期日程問題 解答解説のページへ n+ 数列 a, a, を, Cn a n = ( n =,, ) で定める n! an qn () n とする を既約分数 an p として表したときの分母

More information

代数 幾何 < ベクトル > 1 ベクトルの演算 和 差 実数倍については 文字の計算と同様 2 ベクトルの成分表示 平面ベクトル : a x e y e x, ) ( 1 y1 空間ベクトル : a x e y e z e x, y, ) ( 1 1 z1

代数 幾何 < ベクトル > 1 ベクトルの演算 和 差 実数倍については 文字の計算と同様 2 ベクトルの成分表示 平面ベクトル : a x e y e x, ) ( 1 y1 空間ベクトル : a x e y e z e x, y, ) ( 1 1 z1 代数 幾何 < ベクトル > ベクトルの演算 和 差 実数倍については 文字の計算と同様 ベクトルの成分表示 平面ベクトル :, 空間ベクトル : z,, z 成分での計算ができるようにすること ベクトルの内積 : os 平面ベクトル :,, 空間ベクトル :,,,, z z zz 4 ベクトルの大きさ 平面上 : 空間上 : z は 良く用いられる 5 m: に分ける点 : m m 図形への応用

More information

生産者行動の理論(1)

生産者行動の理論(1) 生産者行動の理論 (1) 生産者の行動 利潤最大化 生産の技術的制約のもとで 生産の技術的制約 生産関数, 費用関数 短期と長期 生産関数の基礎概念 投入物と産出物 規模に関する収穫 限界生産物, 平均生産物 等量曲線 費用関数の基礎概念 短期と長期 固定費用, 可変費用 平均費用, 限界費用 生産者行動の理論 利潤最大化 生産の技術的制約のもとで, 利潤 = 収入ー費用を最大にするように行動 消費者行動

More information

Microsoft PowerPoint - 13.ppt [互換モード]

Microsoft PowerPoint - 13.ppt [互換モード] 13. 近似アルゴリズム 1 13.1 近似アルゴリズムの種類 NP 困難な問題に対しては多項式時間で最適解を求めることは困難であるので 最適解に近い近似解を求めるアルゴリズムが用いられることがある このように 必ずしも厳密解を求めないアルゴリズムは 大きく分けて 2 つの範疇に分けられる 2 ヒューリスティックと近似アルゴリズム ヒュ- リスティクス ( 発見的解法 経験的解法 ) 遺伝的アルゴリズム

More information

曲線 = f () は を媒介変数とする自然な媒介変数表示 =,= f () をもつので, これを利用して説明する 以下,f () は定義域で連続であると仮定する 例えば, 直線 =c が曲線 = f () の漸近線になるとする 曲線 = f () 上の点 P(,f ()) が直線 =c に近づくこ

曲線 = f () は を媒介変数とする自然な媒介変数表示 =,= f () をもつので, これを利用して説明する 以下,f () は定義域で連続であると仮定する 例えば, 直線 =c が曲線 = f () の漸近線になるとする 曲線 = f () 上の点 P(,f ()) が直線 =c に近づくこ 伊伊伊伊伊伊伊伊伊伊 伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊 漸近線の求め方に関する考察 たまい玉井 かつき克樹 伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊伊 伊伊伊伊伊伊伊伊伊伊. 漸近線についての生徒からの質問 数学において図を使って直感的な説明を与えることは, 理解を深めるのに大いに役立つ

More information

1999年度 センター試験・数学ⅡB

1999年度 センター試験・数学ⅡB 99 センター試験数学 Ⅱ 数学 B 問題 第 問 ( 必答問題 ) [] 関数 y cos3x の周期のうち正で最小のものはアイウ 解答解説のページへ 0 x 360 のとき, 関数 y cos3x において, y となる x はエ個, y となる x はオ 個ある また, y sin x と y cos3x のグラフより, 方程式 sin x cos3x は 0 x 360のときカ個の解をもつことがわかる

More information

2015年度 京都大・理系数学

2015年度 京都大・理系数学 05 京都大学 ( 理系 ) 前期日程問題 解答解説のページへ つの関数 y= si( x+ ) と y = six のグラフの 0 x の部分で囲まれる領域 を, x 軸のまわりに 回転させてできる立体の体積を求めよ ただし, x = 0 と x = は領域を囲む線とは考えない -- 05 京都大学 ( 理系 ) 前期日程問題 解答解説のページへ次の つの条件を同時に満たす四角形のうち面積が最小のものの面積を求めよ

More information

スライド 1

スライド 1 数値解析 2019 年度前期第 13 週 [7 月 11 日 ] 静岡大学創造科学技術大学院情報科学専攻工学部機械工学科計測情報講座 三浦憲二郎 講義アウトライン [7 月 11 日 ] 関数近似と補間 最小 2 乗近似による関数近似 ラグランジュ補間 T.Kanai, U.Tokyo 関数近似 p.116 複雑な関数を簡単な関数で近似する 関数近似 閉区間 [a,b] で定義された関数 f(x)

More information

公式集 数学 Ⅱ B 頭に入っていますか? 8 和積の公式 A + B A B si A + si B si os A + B A B si A si B os si A + B A B os A + os B os os A + B A B os A os B si si 9 三角関数の合成 si

公式集 数学 Ⅱ B 頭に入っていますか? 8 和積の公式 A + B A B si A + si B si os A + B A B si A si B os si A + B A B os A + os B os os A + B A B os A os B si si 9 三角関数の合成 si 公式集 数学 Ⅱ B 頭に入っていますか? < 図形と方程式 > 点間の距離 A x, B x, のとき x x + : に分ける点 A x, B x, のとき 線分 AB を:に分ける点 æ x + x + ö は ç, è + + ø 注 < のとき外分点 直線の方程式 傾き で 点 x, を通る : x 点 x, x, を通る : x 注 分母が のとき は座標軸と平行な直線 x x 4 直線の位置関係

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 製品競争下での インストア広告サービスの 戦略的効果 慶應義塾大学大学院松林研究室 M2 小林春輝 目次 1. はじめに 2. モデルの定式化 3. 分析 考察 4. 結論 はじめに ICT の著しい発展 多様な消費者ニーズを把握しやすくなり 製品開発に活用 メーカー企業に製品ラインナップを拡大させるインセンティブを与え熾烈な品揃え競争 市場に存在する過剰な製品数 はじめに このメーカー内のそれぞれの製品を比較検討

More information

2017年度 京都大・文系数学

2017年度 京都大・文系数学 07 京都大学 ( 文系 ) 前期日程問題 解答解説のページへ 曲線 y= x - 4x+ を C とする 直線 l は C の接線であり, 点 P(, 0) を通るもの とする また, l の傾きは負であるとする このとき, C と l で囲まれた部分の面積 S を求めよ -- 07 京都大学 ( 文系 ) 前期日程問題 解答解説のページへ 次の問いに答えよ ただし, 0.00 < log0

More information

第 1 章場合の数と確率 問 練習 ( 第 1 節 ) 練習 1 A= 6 2,4,6,8 7,B= 6 3,6,9 7 よって n0a 1=4,n0B 1=3 練習 2 1 から 100 までの整数のうち,6 の倍数全体の集合をA, 8 の倍数全体の集合を B とすると,6 と 8 の少なくとも一

第 1 章場合の数と確率 問 練習 ( 第 1 節 ) 練習 1 A= 6 2,4,6,8 7,B= 6 3,6,9 7 よって n0a 1=4,n0B 1=3 練習 2 1 から 100 までの整数のうち,6 の倍数全体の集合をA, 8 の倍数全体の集合を B とすると,6 と 8 の少なくとも一 第 章場合の数と確率 問 練習 ( 第 節 ) 練習 A=,,,8 7,B=,,9 7 よって n0a =,n0b = 練習 から 00 までの整数のうち, の倍数全体の集合をA, 8 の倍数全体の集合を B とすると, と 8 の少なくとも一方で割り切れる数全体の集合は AB である A=,,,, 7 B=8,8,8,,8 7 から n0a =,n0b = また,AB は と 8 の最小公倍数 の倍数全体の集合であるから

More information

< D8C6082CC90AB8EBF816989A B A>

< D8C6082CC90AB8EBF816989A B A> 数 Ⅰ 図形の性質 ( 黄色チャート ) () () () 点 は辺 を : に外分するから :=: :=: であるから :=: == () 点 は辺 を : に内分するから :=:=: = + %= また, 点 は辺 を : に外分するから :=:=: == =+=+= 直線 は の二等分線であるから :=: 直線 は の二等分線であるから :=: 一方, であるから, から, から :=: :=:

More information

Microsoft PowerPoint - DA2_2019.pptx

Microsoft PowerPoint - DA2_2019.pptx Johnon のアルゴリズム データ構造とアルゴリズム IⅠ 第 回最大フロー 疎なグラフ, 例えば E O( V lg V ) が仮定できる場合に向いている 隣接リスト表現を仮定する. 実行時間は O( V lg V + V E ). 上記の仮定の下で,Floyd-Warhall アルゴリズムよりも漸近的に高速 Johnon のアルゴリズム : アイデア (I) 辺重みが全部非負なら,Dikra

More information

2017年度 千葉大・理系数学

2017年度 千葉大・理系数学 017 千葉大学 ( 理系 ) 前期日程問題 1 解答解説のページへ n を 4 以上の整数とする 座標平面上で正 n 角形 A1A A n は点 O を中心とする半径 1 の円に内接している a = OA 1, b = OA, c = OA 3, d = OA4 とし, k = cos とおく そして, 線分 A1A3 と線分 AA4 との交点 P は線分 A1A3 を n :1に内分するとする

More information

融合規則 ( もっとも簡単な形, 選言的三段論法 ) ll mm ll mm これについては (ll mm) mmが推論の前提部になり mmであるから mmは常に偽となることがわかり ll mmはllと等しくなることがわかる 機械的には 分配則より (ll mm) mm (ll mm) 0 ll m

融合規則 ( もっとも簡単な形, 選言的三段論法 ) ll mm ll mm これについては (ll mm) mmが推論の前提部になり mmであるから mmは常に偽となることがわかり ll mmはllと等しくなることがわかる 機械的には 分配則より (ll mm) mm (ll mm) 0 ll m 知識工学 ( 第 5 回 ) 二宮崇 ( ninomiya@cs.ehime-u.ac.jp ) 論理的エージェント (7 章のつづき ) 証明の戦略その 3 ( 融合法 ) 証明の戦略その 1 やその 2 で証明できたときは たしかにKKKK ααとなることがわかるが なかなか証明できないときや 証明が本当にできないときには KKKK ααが成り立つのか成り立たないのかわからない また どのような証明手続きを踏めば証明できるのか定かではない

More information