U( xq(x)) Q(a) 1 P ( 1 ) R( 1 ) 1 Q( 1, 2 ) 2 1 ( x(p (x) ( y(q(x, y) ( z( R(z))))))) 2 ( z(( y( xq(x, y))) R(z))) 3 ( x(p (x) ( ( yq(a, y) ( zr(z))))
|
|
- みひな わしあし
- 5 years ago
- Views:
Transcription
1 ; vocabulary (propositional connectives):,,, (quantifires): (individual variables): x, y, z, (individual constatns): a, b, c, d, e, n (n-ary predicate symbols): P ( 1,, n ), Q( 1,, n ), 1 1 P ( 1,, n ) n t 1,, t n P (t 1,, t n ) atomic formula 2 ( ) 3 ( B) ( B) ( B) 4 x ( x) 5 x ( x) U( 1, 2, 3 ) 3 Q( 1, 2 ) 2 (( y( xu(a, x, y))) ( z( Q(c, z)))) 1
2 U( xq(x)) Q(a) 1 P ( 1 ) R( 1 ) 1 Q( 1, 2 ) 2 1 ( x(p (x) ( y(q(x, y) ( z( R(z))))))) 2 ( z(( y( xq(x, y))) R(z))) 3 ( x(p (x) ( ( yq(a, y) ( zr(z)))))) x, x 1 ( ) 1 2 x x ( ) ( x) ( x) (( y( xu(a, x, y))) ( z( Q(c, z)))) y xu(a, x, y) z Q(c, z) 2 1 ( x(p (x) ( y(q(x, y) ( z( R(z))))))) 2 ( z(( y( xp (x, y))) R(z))) 3 ( x(p (x) ( ( yq(a, b, y) ( zr(z)))))) 2
3 12 N( ) = ( 1, 2 ) 1 2 = ( 1, 2 ) 1 = 2 x(n(x) (2 x = 16)) x 3 x(n(x) (x x = 16)) y(n(y) (2 y = 16)) x(n(x) (2 x = 16)) 2 16 bound variable x y y(n(y) (2 y = z)) 2 z z free variable y(n(y) (2 y = x)) 2 x x z y(n(y) (2 y = z)) xp (x) Q(x) 3
4 P x Q x xp (x) Q(x) x x Q(x) x x(p (x) Q(x)) P (x) Q(x) x x x x x x x x scope xp (x) Q(x) x P (x) x(p (x) Q(x)) x P (x) Q(x) x x x x x x xp (x) Q(x) x x 1 scope of y {}}{ scope of x {}}{ y (( x (x = y)) (y = x)) x = y x x x = y y y = x y y y = x x 4 1 ( x(p (x) ( y(q(x, y) ( z( R(z))))))) 2 ( z(( y( xp (x, y))) R(z))) 3 ( x(p (x) ( ( yq(a, b, y) ( zr(z)))))) 2 x x x x( x(x = y)) yp (y) Q(x) x y 4
5 1 y z y ( xp (x, y) Q(y, x)) = z ( xp (x, z) Q(z, x)) 2 y x z y ( xp (x, y) Q(y, x)) z ( zp (z, z) Q(z, x)) 3 x w y x y ( xp (x, y) Q(y, x)) x ( wp (w, x) Q(x, x)) Remark 1 x ylove(x, y) x y y xlove(y, x) y xlove(x, y) a b c 1 a b c a b c 2 1 x ylove(x, y) y xlove(x, y) b 2 x ylove(x, y) b y xlove(x, y) a b c 5
6 13 Gentzen,,, I E B I B B B B I E B B B B E1 B B E2 I B B [] n B B I, n B B B B 6
7 I [] n I, n E I B B B E B I1 B B I2 E B B C B C B [] n C C [B] n C E, n E E E E R [ ] n R, n 7
8 1 ( provability ) proof figure conclusion B 1,, B n B 1,, B n provable B 1,, B n,,, 14 x x x + 1 y x y(x + 1 = y) x y(2 + 1 = y) x [x] x x x t [x] x t [x := t] [t/x] 8
9 [x] y(x + 1 = y) y [x := 2] y(2 + 1 = y) [x] y(x + x = y) [x := 2] y(2 + 2 = y) x z w [x, z, w] [x, z] y(x + z = y) x z 2 x z y(x + 1 = y) x 2 x z y(z + 1 = y) y x y(y + 1 = y) 15 x P ( ) a xp (x) P (a) 9
10 x x t [x := t] x [x := t] x x x x [x] 2 1 x 2 x t x [x] [x := t] x t [x := t] [x := t] 3 () x, y x y(x < y) y(x < y) x y(x < y) y(y < y) 5 1 x(p (x) (Q(x) R(x))), P (d) Q(d) 2 P (d), x(p (x) (P (x) Q(x))) Q(d) 3 x(p (x) Q(x)), x(p (x) R(x)), P (d) Q(d) R(d) 4 x(p (x) (Q(x) R(x))), x(p (x) Q(x)) R(d) 5 x(p (x) Q(x)), Q(c) P (c) 6 x y(p (x) (P (y) Q(y)) Q(d) 10
11 16 I x I I [x] [x] [x] x x [x] x I 4 P ( ) Q( ) R( ) 1 x(p (x) Q(x)) 2 x(q(x) R(x)) x(p (x) R(x)) 1 x x P (x) 2 1 x x x(p (x) Q(x)) P (x) Q(x) Q(x) P (x) 3 2 x x x(q(x) R(x)) Q(x) R(x) x(p (x) Q(x)) P (x) Q(x) Q(x) R(x) P (x) 11
12 4 x x x x(q(x) R(x)) Q(x) R(x) x(p (x) Q(x)) P (x) Q(x) [ P (x) ] 1 Q(x) R(x) P (x) R(x) I, 1 5 x x x x x(q(x) R(x)) Q(x) R(x) x(p (x) Q(x)) P (x) Q(x) [ P (x) ] 1 Q(x) R(x) P (x) R(x) I, 1 x(p (x) R(x)) I 3 I P (x) R(x) xr(x) I R(x) I xr(x) R(x) P (x) x I [P (x)] 1 R(x) xr(x) I P (x) xr(x) I, 1 x x 1 12
13 x R(x) x x P (x) R(x) x 5 I 0 [x = 0] 1 x(x = 0) I x = 0 x(x = 0) 1 y(y = 0 x(x = 0)) I 0 = 0 x(x = 0) 6 ( I) x(p (x) Q(x)) xp (x) xq(x) 6 1 x yp (x, y) y xp (x, y) x(p (x) Q(x)) x(p (x) Q(x)) P (x) Q(x) P (x) Q(x) E E P (x) xp (x) I Q(x) xq(x) I I xp (x) xq(x) 2 x(p (x) Q(x)), x(q(x) R(x)) x(p (x) R(x)) 3 xp (x) x P (x) 4 x((p (x) Q(x)) R(x)) x(p (x) (Q(x) R(x)) 5 x( P (x) (P (x) Q(x))) 6 x(p (x) Q(x)), x(q(x) R(x)) x((p (x) Q(x)) R(x))
14 x(p (x) Q(x)) xp (x) xq(x) 13 x(p (x) Q(x)) xp (x) xq(x) 14 xp (x) xq(x) x(p (x) Q(x)) 15 xp (x) xq(x) x(p (x) Q(x)) 16 x(p (x) Q(x)) xp (x) xq(x) 17 xp (x) x( P (x)) x 18 x( P (x)) xp (x) x 19 xp (x) x( P (x)) x 20 x( P (x)) xp (x) x 21 xp (x) x( P (x)) x 22 x( P (x)) xp (x) x 14
15 17 I x P ( ) 3 a P (a) xp (x) I x [x := t] [x := t] [x := t] x I 7 x yl(x, y) x yl(x, y) 8 xp (x) x P (x) x yl(x, y) yl(a, y) x yl(x, y) I [ P (x)] 2 [ x P (x)] 1 x P (x) I E P (x) R, 2 xp (x) xp (x) I E x P (x) R, 1 15
16 Remark 2 I x x z(z = z) z = z x(z = x) I z = z z = x[z/x] 7 1 xp (x) xp (x) 2 x(p (x) (Q(x) R(x))), x(q(x) S(x)) x(r(x) S(x)) 3 x(p (x) (P (x) Q(x))) Q(x) 4 x(p (x) (Q(x) R(x)), x(p (x) S(x)), xp (x) x((q(x) R(x)) S(x)) 5 xp (x) xq(x) x y(p (x) Q(y))
17 18 E x [x := t] E x x C [x := t] C 1 C x 2 x [x := t] [x := t] C [ [x := t] ] n x C C E, n 9 1 xp (x) 2 x(p (x) R(x)) R(x) 1 1 a P (a) a a 2 2 a a a x(p (x) R(x)) P (a) R(a) 17
18 3 1 a x(p (x) R(x)) P (a) R(a) R(a) P (a) 4 x(p (x) R(x)) P (a) R(a) R(a) xr(x) I P (a) 5 xr(x) a a a a P (a) a a xr(x) a P (a) xp (x) E xp (x) x(p (x) R(x)) P (a) R(a) [ P (a) ] 1 R(a) xr(x) I E, 1 xr(x) 3 E 1 xp (x) x(p (x) R(x)) P (a) R(a) R(a) R(a) E P (a) R(a) a a E (i) xp (x) (ii) P (a) (iii) a P (a) a C (iv) a P (a) C 18
19 10 x P (x) xp (x) x P (x) P (a) [P (a)] 1 [ xp (x)] 2 E, 1 xp (x) I, 2 E 8 1 x yp (x, y) y xp (x, y) 2 x((x) B(x)) (x) B(x) xp (x) xq(x) x(p (x) Q(x)) 9 x(p (x) Q(x)) xp (x) xq(x) 10 x(p (x) Q(x)) xp (x) xq(x) 11 xp (x) x(p (x) ) x 12 x(p (x) ) xp (x) x 19
20 13 x(p (x) Q(x)) xp (x) xq(x) 14 xp (x) xq(x) x(p (x) Q(x)) 15 x(p (x) Q(x)) xp (x) xq(x) 16 xp (x) x P (x) 17 x P (x) xp (x) 18 xp (x) x P (x) 19 x P (x) xp (x) 19 I B B B B I E B B B B E1 B B E2 I B B [] n B B I, n B B B B 20
21 I [] n I, n E I B B B E B I1 B B I2 E B B C B C B [] n C C [B] n C E, n I [x] [x] x x [x] x I x t [x := t] x [x := t] x y y [x := y] 21
22 I [x := t] x [x := t] x I E x [x := t] C 1 C x 2 x [x := t] [x := t] C [ [x := t] ] n x C C E, n E E E E R [ ] n R, n 22
論理学入門 講義ノート email: mitsu@abelardfletkeioacjp Copyright c 1995 by the author ll right reserved 1 1 3 2 5 3 7 31 7 32 9 33 13 4 29 41 33 42 38 5 45 51 45 52 47 3 1 19 [ 1] Begin at the beginning [ 2] [
More information; Modus Ponens 1
1 9 00 ; 1402 5 16 20 1502 1 11 1 1 2 1 2 Modus Ponens 1 1 2 Modus Ponens 2 1 12 Gentzen 13 Modus ponens 1 100 2 100 100 P Q P Q Q 2 P Q P Q Modus ponens Y Y 1 Modus Ponens P 2 Y Y Y Y Y Y C D Y F (C D)
More information44 4 I (1) ( ) (10 15 ) ( 17 ) ( 3 1 ) (2)
(1) I 44 II 45 III 47 IV 52 44 4 I (1) ( ) 1945 8 9 (10 15 ) ( 17 ) ( 3 1 ) (2) 45 II 1 (3) 511 ( 451 1 ) ( ) 365 1 2 512 1 2 365 1 2 363 2 ( ) 3 ( ) ( 451 2 ( 314 1 ) ( 339 1 4 ) 337 2 3 ) 363 (4) 46
More informationi ii i iii iv 1 3 3 10 14 17 17 18 22 23 28 29 31 36 37 39 40 43 48 59 70 75 75 77 90 95 102 107 109 110 118 125 128 130 132 134 48 43 43 51 52 61 61 64 62 124 70 58 3 10 17 29 78 82 85 102 95 109 iii
More informationx = a 1 f (a r, a + r) f(a) r a f f(a) 2 2. (a, b) 2 f (a, b) r f(a, b) r (a, b) f f(a, b)
2011 I 2 II III 17, 18, 19 7 7 1 2 2 2 1 2 1 1 1.1.............................. 2 1.2 : 1.................... 4 1.2.1 2............................... 5 1.3 : 2.................... 5 1.3.1 2.....................................
More information18 5 10 1 1 1.1 1.1.1 P Q P Q, P, Q P Q P Q P Q, P, Q 2 1 1.1.2 P.Q T F Z R 0 1 x, y x + y x y x y = y x x (y z) = (x y) z x + y = y + x x + (y + z) = (x + y) + z P.Q V = {T, F } V P.Q P.Q T F T F 1.1.3
More information.....Z...^.[.......\..
15 10 16 42 55 55 56 60 62 199310 1995 134 10 8 15 1 13 1311 a s d f 141412 2 g h j 376104 3 104102 232 4 5 51 30 53 27 36 6 Y 7 8 9 10 8686 86 11 1310 15 12 Z 13 14 15 16 102193 23 1712 60 27 17 18 Z
More informationII
II 16 16.0 2 1 15 x α 16 x n 1 17 (x α) 2 16.1 16.1.1 2 x P (x) P (x) = 3x 3 4x + 4 369 Q(x) = x 4 ax + b ( ) 1 P (x) x Q(x) x P (x) x P (x) x = a P (a) P (x) = x 3 7x + 4 P (2) = 2 3 7 2 + 4 = 8 14 +
More information訪問看護ステーションにおける安全性及び安定的なサービス提供の確保に関する調査研究事業報告書
1... 1 2... 3 I... 3 II... 3 1.... 3 2....15 3....17 4....19 5....25 6....34 7....38 8....48 9....58 III...70 3...73 I...73 1....73 2....82 II...98 4...99 1....99 2....104 3....106 4....108 5.... 110 6....
More information( ) P, P P, P (negation, NOT) P ( ) P, Q, P Q, P Q 3, P Q (logical product, AND) P Q ( ) P, Q, P Q, P Q, P Q (logical sum, OR) P Q ( ) P, Q, P Q, ( P
Advent Calendar 2018 @Fukuso Sutaro,,, ( ) Davidson, 5, 1 (quantification) (open sentence) 1,,,,,, 1 1 (propositional logic) (truth value) (proposition) (sentence) 2 (2-valued logic) 2, true false (truth
More information,. Black-Scholes u t t, x c u 0 t, x x u t t, x c u t, x x u t t, x + σ x u t, x + rx ut, x rux, t 0 x x,,.,. Step 3, 7,,, Step 6., Step 4,. Step 5,,.
9 α ν β Ξ ξ Γ γ o δ Π π ε ρ ζ Σ σ η τ Θ θ Υ υ ι Φ φ κ χ Λ λ Ψ ψ µ Ω ω Def, Prop, Th, Lem, Note, Remark, Ex,, Proof, R, N, Q, C [a, b {x R : a x b} : a, b {x R : a < x < b} : [a, b {x R : a x < b} : a,
More informationi
14 i ii iii iv v vi 14 13 86 13 12 28 14 16 14 15 31 (1) 13 12 28 20 (2) (3) 2 (4) (5) 14 14 50 48 3 11 11 22 14 15 10 14 20 21 20 (1) 14 (2) 14 4 (3) (4) (5) 12 12 (6) 14 15 5 6 7 8 9 10 7
More information第1部 一般的コメント
(( 2000 11 24 2003 12 31 3122 94 2332 508 26 a () () i ii iii iv (i) (ii) (i) (ii) (iii) (iv) (a) (b)(c)(d) a) / (i) (ii) (iii) (iv) 1996 7 1996 12
More information2.4 ( ) ( B ) A B F (1) W = B A F dr. A F q dr f(x,y,z) A B Γ( ) Minoru TANAKA (Osaka Univ.) I(2011), Sec p. 1/30
2.4 ( ) 2.4.1 ( B ) A B F (1) W = B A F dr. A F q dr f(x,y,z) A B Γ( ) I(2011), Sec. 2. 4 p. 1/30 (2) Γ f dr lim f i r i. r i 0 i f i i f r i i i+1 (1) n i r i (3) F dr = lim F i n i r i. Γ r i 0 i n i
More information4 13 6 7 6 13 9 19
13 9 4 13 6 7 6 13 9 19 139 173 i 1 1 2 1 3 2 4 2 5 1 3 6 4 7 5 8 6 9 6 Q&A Q1 QA 9 Q2 9 Q3 10 Q4 11 Q5 11 Q6 11 Q7 12 Q8 12 ii Q9 12 Q101 13 Q102 13 Q11 17 Q12 18 Q13 18 Q14 19 Q15 19 Q16 20 Q17 20 Q18
More information表1票4.qx4
iii iv v 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 22 23 10 11 24 25 26 27 10 56 28 11 29 30 12 13 14 15 16 17 18 19 2010 2111 22 23 2412 2513 14 31 17 32 18 33 19 34 20 35 21 36 24 37 25 38 2614
More information第1章 国民年金における無年金
1 2 3 4 ILO ILO 5 i ii 6 7 8 9 10 ( ) 3 2 ( ) 3 2 2 2 11 20 60 12 1 2 3 4 5 6 7 8 9 10 11 12 13 13 14 15 16 17 14 15 8 16 2003 1 17 18 iii 19 iv 20 21 22 23 24 25 ,,, 26 27 28 29 30 (1) (2) (3) 31 1 20
More information1. (Naturau Deduction System, N-system) 1.1,,,,, n- R t 1,..., t n Rt 1... t n atomic formula : x, y, z, u, v, w,... : f, g, h,... : c, d,... : t, s,
1 (Naturau Deduction System, N-system) 11,,,,, n- R t 1,, t n Rt 1 t n atomic formula : x, y, z, u, v, w, : f, g, h, : c, d, : t, s, r, : P, Q, : R, : A, B, C, D, 12 A A A A N-system 1 1 N-system N-system
More information20 15 14.6 15.3 14.9 15.7 16.0 15.7 13.4 14.5 13.7 14.2 10 10 13 16 19 22 1 70,000 60,000 50,000 40,000 30,000 20,000 10,000 0 2,500 59,862 56,384 2,000 42,662 44,211 40,639 37,323 1,500 33,408 34,472
More informationI? 3 1 3 1.1?................................. 3 1.2?............................... 3 1.3!................................... 3 2 4 2.1........................................ 4 2.2.......................................
More information- 2 -
- 2 - - 3 - (1) (2) (3) (1) - 4 - ~ - 5 - (2) - 6 - (1) (1) - 7 - - 8 - (i) (ii) (iii) (ii) (iii) (ii) 10 - 9 - (3) - 10 - (3) - 11 - - 12 - (1) - 13 - - 14 - (2) - 15 - - 16 - (3) - 17 - - 18 - (4) -
More information2 1980 8 4 4 4 4 4 3 4 2 4 4 2 4 6 0 0 6 4 2 4 1 2 2 1 4 4 4 2 3 3 3 4 3 4 4 4 4 2 5 5 2 4 4 4 0 3 3 0 9 10 10 9 1 1
1 1979 6 24 3 4 4 4 4 3 4 4 2 3 4 4 6 0 0 6 2 4 4 4 3 0 0 3 3 3 4 3 2 4 3? 4 3 4 3 4 4 4 4 3 3 4 4 4 4 2 1 1 2 15 4 4 15 0 1 2 1980 8 4 4 4 4 4 3 4 2 4 4 2 4 6 0 0 6 4 2 4 1 2 2 1 4 4 4 2 3 3 3 4 3 4 4
More information1 (1) (2)
1 2 (1) (2) (3) 3-78 - 1 (1) (2) - 79 - i) ii) iii) (3) (4) (5) (6) - 80 - (7) (8) (9) (10) 2 (1) (2) (3) (4) i) - 81 - ii) (a) (b) 3 (1) (2) - 82 - - 83 - - 84 - - 85 - - 86 - (1) (2) (3) (4) (5) (6)
More information, = = 7 6 = 42, =
http://www.ss.u-tokai.ac.jp/~mahoro/2016autumn/alg_intro/ 1 1 2016.9.26, http://www.ss.u-tokai.ac.jp/~mahoro/2016autumn/alg_intro/ 1.1 1 214 132 = 28258 2 + 1 + 4 1 + 3 + 2 = 7 6 = 42, 4 + 2 = 6 2 + 8
More information40 6 y mx x, y 0, 0 x 0. x,y 0,0 y x + y x 0 mx x + mx m + m m 7 sin y x, x x sin y x x. x sin y x,y 0,0 x 0. 8 x r cos θ y r sin θ x, y 0, 0, r 0. x,
9.. x + y + 0. x,y, x,y, x r cos θ y r sin θ xy x y x,y 0,0 4. x, y 0, 0, r 0. xy x + y r 0 r cos θ sin θ r cos θ sin θ θ 4 y mx x, y 0, 0 x 0. x,y 0,0 x x + y x 0 x x + mx + m m x r cos θ 5 x, y 0, 0,
More information¿ô³Ø³Ø½øÏÀ¥Î¡¼¥È
2011 i N Z Q R C A def B, A B. ii..,.,.. (, ), ( ),.?????????,. iii 04-13 04-20 04-27 05-04 [ ] 05-11 05-18 05-25 06-01 06-08 06-15 06-22 06-29 07-06 07-13 07-20 07-27 08-03 10-05 10-12 10-19 [ ] 10-26
More informationd dt P = d ( ) dv G M vg = F M = F (4.1) dt dt M v G P = M v G F (4.1) d dt H G = M G (4.2) H G M G Z K O I z R R O J x k i O P r! j Y y O -
44 4 4.1 d P = d dv M v = F M = F 4.1 M v P = M v F 4.1 d H = M 4.2 H M Z K I z R R J x k i P r! j Y y - XY Z I, J, K -xyz i, j, k P R = R + r 4.3 X Fig. 4.1 Fig. 4.1 ω P [ ] d d = + ω 4.4 [ ] 4 45 4.3
More informationprovider_020524_2.PDF
1 1 1 2 2 3 (1) 3 (2) 4 (3) 6 7 7 (1) 8 (2) 21 26 27 27 27 28 31 32 32 36 1 1 2 2 (1) 3 3 4 45 (2) 6 7 5 (3) 6 7 8 (1) ii iii iv 8 * 9 10 11 9 12 10 13 14 15 11 16 17 12 13 18 19 20 (2) 14 21 22 23 24
More information「産業上利用することができる発明」の審査の運用指針(案)
1 1.... 2 1.1... 2 2.... 4 2.1... 4 3.... 6 4.... 6 1 1 29 1 29 1 1 1. 2 1 1.1 (1) (2) (3) 1 (4) 2 4 1 2 2 3 4 31 12 5 7 2.2 (5) ( a ) ( b ) 1 3 2 ( c ) (6) 2. 2.1 2.1 (1) 4 ( i ) ( ii ) ( iii ) ( iv)
More informationi ii iii iv v vi vii ( ー ー ) ( ) ( ) ( ) ( ) ー ( ) ( ) ー ー ( ) ( ) ( ) ( ) ( ) 13 202 24122783 3622316 (1) (2) (3) (4) 2483 (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) 11 11 2483 13
More informationii-03.dvi
2005 II 3 I 18, 19 1. A, B AB BA 0 1 0 0 0 0 (1) A = 0 0 1,B= 1 0 0 0 0 0 0 1 0 (2) A = 3 1 1 2 6 4 1 2 5,B= 12 11 12 22 46 46 12 23 34 5 25 2. 3 A AB = BA 3 B 2 0 1 A = 0 3 0 1 0 2 3. 2 A (1) A 2 = O,
More informationII (10 4 ) 1. p (x, y) (a, b) ε(x, y; a, b) 0 f (x, y) f (a, b) A, B (6.5) y = b f (x, b) f (a, b) x a = A + ε(x, b; a, b) x a 2 x a 0 A = f x (
II (1 4 ) 1. p.13 1 (x, y) (a, b) ε(x, y; a, b) f (x, y) f (a, b) A, B (6.5) y = b f (x, b) f (a, b) x a = A + ε(x, b; a, b) x a x a A = f x (a, b) y x 3 3y 3 (x, y) (, ) f (x, y) = x + y (x, y) = (, )
More information[ ]{木山(判例)}(責)魏.indd
59 3 2017 29 2 8 I 1 36 1 2 2 26 44 2 3 4 36 17 44 2 1 2 1 8 2 8 4 3 2 8 3 26 10 4 26 2014 103 91 5 6 28 1 183 1 7 5 44 2 2 2 26 36 17 6 1315 2006 192 1317 2006 268 6 1 2016 71 2 2017 29 7 15 8 27 253
More information178 5 I 1 ( ) ( ) 10 3 13 3 1 8891 8 3023 6317 ( 10 1914 7152 ) 16 5 1 ( ) 6 13 3 13 3 8575 3896 8 1715 779 6 (1) 2 7 4 ( 2 ) 13 11 26 12 21 14 11 21
I 178 II 180 III ( ) 181 IV 183 V 185 VI 186 178 5 I 1 ( ) ( ) 10 3 13 3 1 8891 8 3023 6317 ( 10 1914 7152 ) 16 5 1 ( ) 6 13 3 13 3 8575 3896 8 1715 779 6 (1) 2 7 4 ( 2 ) 13 11 26 12 21 14 11 21 4 10 (
More informationax 2 + bx + c = n 8 (n ) a n x n + a n 1 x n a 1 x + a 0 = 0 ( a n, a n 1,, a 1, a 0 a n 0) n n ( ) ( ) ax 3 + bx 2 + cx + d = 0 4
20 20.0 ( ) 8 y = ax 2 + bx + c 443 ax 2 + bx + c = 0 20.1 20.1.1 n 8 (n ) a n x n + a n 1 x n 1 + + a 1 x + a 0 = 0 ( a n, a n 1,, a 1, a 0 a n 0) n n ( ) ( ) ax 3 + bx 2 + cx + d = 0 444 ( a, b, c, d
More informationW810 QX100 QX30 QX10 W810 QX100 QX30 QX10 RX100 RX100 WX500 WX350 RX100 RX100 HX400V HX90V HX60V RX100 RX100 RX100 RX100 HX400V HX90V HX60V WX500 WX350 RX100 RX100 WX500 WX350 RX100 RX100 HX400V HX90V
More informationMicrosoft PowerPoint - logic ppt [互換モード]
述語論理と ( 全称 ) ( 存在 ) 回の講義の概観 : 命題論理 ( 真理値 ) 2 述語論理 ( モデルと解釈 ) 意味論 semantics 命題論理 ( 公理と推論規則 ) 述語論理 ( 公理と推論規則 ) syntax 構文論 preview 述語論理は命題論理よりも複雑 例題 : 次の文は真か偽か? ( 曖昧な文です ) すべての自然数 x に対して x < y を満たすような自然数
More informationyy yy ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ; ; ; ;; ;; ;; ;;; ;;; ;;; ;; ;; ;; ;; ;; ; ; ; ; ; ; ;
More informationFermat s Last Theorem Hajime Mashima November 19, 2018 Abstract About 380 years ago, Pierre de Fermat wrote the following idea to Diophantus s Arithme
Fermat s Last Theorem Hajime Mashima November 19, 2018 Abstract About 380 years ago, Pierre de Fermat wrote the following idea to Diophantus s Arithmetica. Cubum autem in duos cubos, aut quadratoquadratum
More information( [1]) (1) ( ) 1: ( ) 2 2.1,,, X Y f X Y (a mapping, a map) X ( ) x Y f(x) X Y, f X Y f : X Y, X f Y f : X Y X Y f f 1 : X 1 Y 1 f 2 : X 2 Y 2 2 (X 1
2013 5 11, 2014 11 29 WWW ( ) ( ) (2014/7/6) 1 (a mapping, a map) (function) ( ) ( ) 1.1 ( ) X = {,, }, Y = {, } f( ) =, f( ) =, f( ) = f : X Y 1.1 ( ) (1) ( ) ( 1 ) (2) 1 function 1 ( [1]) (1) ( ) 1:
More informationAkito Tsuboi June 22, T ϕ T M M ϕ M M ϕ T ϕ 2 Definition 1 X, Y, Z,... 1
Akito Tsuboi June 22, 2006 1 T ϕ T M M ϕ M M ϕ T ϕ 2 Definition 1 X, Y, Z,... 1 1. X, Y, Z,... 2. A, B (A), (A) (B), (A) (B), (A) (B) Exercise 2 1. (X) (Y ) 2. ((X) (Y )) (Z) 3. (((X) (Y )) (Z)) Exercise
More informationII A A441 : October 02, 2014 Version : Kawahira, Tomoki TA (Kondo, Hirotaka )
II 214-1 : October 2, 214 Version : 1.1 Kawahira, Tomoki TA (Kondo, Hirotaka ) http://www.math.nagoya-u.ac.jp/~kawahira/courses/14w-biseki.html pdf 1 2 1 9 1 16 1 23 1 3 11 6 11 13 11 2 11 27 12 4 12 11
More information73
73 74 ( u w + bw) d = Ɣ t tw dɣ u = N u + N u + N 3 u 3 + N 4 u 4 + [K ] {u = {F 75 u δu L σ (L) σ dx σ + dσ x δu b δu + d(δu) ALW W = L b δu dv + Aσ (L)δu(L) δu = (= ) W = A L b δu dx + Aσ (L)δu(L) Aσ
More informationuntitled
i ii iii iv v 43 43 vi 43 vii T+1 T+2 1 viii 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 a) ( ) b) ( ) 51
More informationAccessflÌfl—−ÇŠš1
ACCESS ACCESS i ii ACCESS iii iv ACCESS v vi ACCESS CONTENTS ACCESS CONTENTS ACCESS 1 ACCESS 1 2 ACCESS 3 1 4 ACCESS 5 1 6 ACCESS 7 1 8 9 ACCESS 10 1 ACCESS 11 1 12 ACCESS 13 1 14 ACCESS 15 1 v 16 ACCESS
More information変 位 変位とは 物体中のある点が変形後に 別の点に異動したときの位置の変化で あり ベクトル量である 変位には 物体の変形の他に剛体運動 剛体変位 が含まれている 剛体変位 P(x, y, z) 平行移動と回転 P! (x + u, y + v, z + w) Q(x + d x, y + dy,
変 位 変位とは 物体中のある点が変形後に 別の点に異動したときの位置の変化で あり ベクトル量である 変位には 物体の変形の他に剛体運動 剛体変位 が含まれている 剛体変位 P(x, y, z) 平行移動と回転 P! (x + u, y + v, z + w) Q(x + d x, y + dy, z + dz) Q! (x + d x + u + du, y + dy + v + dv, z +
More information2
1 2 3 4 5 6 7 8 9 10 I II III 11 IV 12 V 13 VI VII 14 VIII. 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 _ 33 _ 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 VII 51 52 53 54 55 56 57 58 59
More information262014 3 1 1 6 3 2 198810 2/ 198810 2 1 3 4 http://www.pref.hiroshima.lg.jp/site/monjokan/ 1... 1... 1... 2... 2... 4... 5... 9... 9... 10... 10... 10... 10... 13 2... 13 3... 15... 15... 15... 16 4...
More information1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 () - 1 - - 2 - - 3 - - 4 - - 5 - 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
More information<95DB88E78F8A82CC8EC091D492B28DB F18D908F912E706466>
... 1... 2... 3... 4... 5... 6... 8... 14... 14... 14... 15... 16... 18 1... 18 2... 19 3... 20... 21... 21 1... 21 2... 23... 25 1... 25 2... 26... 27 1... 27 2... 27 ... 28 1... 28... 29 1... 29 2...
More information応力とひずみ.ppt
in yukawa@numse.nagoya-u.ac.jp 2 3 4 5 x 2 6 Continuum) 7 8 9 F F 10 F L L F L 1 L F L F L F 11 F L F F L F L L L 1 L 2 12 F L F! A A! S! = F S 13 F L L F F n = F " cos# F t = F " sin# S $ = S cos# S S
More information- - - - - - - - - - - - - - - - - - - - - - - - - -1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - -2...2...3...4...4...4...5...6...7...8...
取 扱 説 明 書 - - - - - - - - - - - - - - - - - - - - - - - - - -1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - -2...2...3...4...4...4...5...6...7...8...9...11 - - - - - - - - - - - - - - - - -
More informationito.dvi
1 2 1006 214 542 160 120 160 1 1916 49 1710 55 1716 1 2 1995 1 2 3 4 2 3 1950 1973 1969 1989 1 4 3 3.1 3.1.1 1989 2 3.1.2 214 542 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
More informationIII No (i) (ii) (iii) (iv) (v) (vi) x 2 3xy + 2 lim. (x,y) (1,0) x 2 + y 2 lim (x,y) (0,0) lim (x,y) (0,0) lim (x,y) (0,0) 5x 2 y x 2 + y 2. xy x2 + y
III No (i) (ii) (iii) (iv) (v) (vi) x 2 3xy + 2. (x,y) (1,0) x 2 + y 2 5x 2 y x 2 + y 2. xy x2 + y 2. 2x + y 3 x 2 + y 2 + 5. sin(x 2 + y 2 ). x 2 + y 2 sin(x 2 y + xy 2 ). xy (i) (ii) (iii) 2xy x 2 +
More information14 (x a x x a f(x x 3 + 2x 2 + 3x + 4 (x 1 1 y x 1 x y + 1 x 3 + 2x 2 + 3x + 4 (y (y (y y 3 + 3y 2 + 3y y 2 + 4y + 2 +
III 2005 1 6 1 1 ( 11 0 0, 0 deg (f(xg(x deg f(x + deg g(x 12 f(x, g(x ( g(x 0 f(x q(xg(x + r(x, r(x 0 deg r(x < deg g(x q(x, r(x q(x, r(x f(x g(x r(x 0 f(x g(x g(x f(x g(x f(x g(x f(x 13 f(x x a q(x,
More information86 7 I ( 13 ) II ( )
10 I 86 II 86 III 89 IV 92 V 2001 93 VI 95 86 7 I 2001 6 12 10 2001 ( 13 ) 10 66 2000 2001 4 100 1 3000 II 1988 1990 1991 ( ) 500 1994 2 87 1 1994 2 1000 1000 1000 2 1994 12 21 1000 700 5 800 ( 97 ) 1000
More information入門ガイド
ii iii iv NEC Corporation 1998 v P A R 1 P A R 2 P A R 3 T T T vi P A R T 4 P A R T 5 P A R T 6 P A R T 7 vii 1P A R T 1 2 2 1 3 1 4 1 1 5 2 3 6 4 1 7 1 2 3 8 1 1 2 3 9 1 2 10 1 1 2 11 3 12 1 2 1 3 4 13
More informationa q q y y a xp p q y a xp y a xp y a x p p y a xp q y x yaxp x y a xp q x p y q p x y a x p p p p x p
a a a a y y ax q y ax q q y ax y ax a a a q q y y a xp p q y a xp y a xp y a x p p y a xp q y x yaxp x y a xp q x p y q p x y a x p p p p x p y a xp q y a x p q p p x p p q p q y a x xy xy a a a y a x
More informationii
ii iii 1 1 1.1..................................... 1 1.2................................... 3 1.3........................... 4 2 9 2.1.................................. 9 2.2...............................
More information1. (8) (1) (x + y) + (x + y) = 0 () (x + y ) 5xy = 0 (3) (x y + 3y 3 ) (x 3 + xy ) = 0 (4) x tan y x y + x = 0 (5) x = y + x + y (6) = x + y 1 x y 3 (
1 1.1 (1) (1 + x) + (1 + y) = 0 () x + y = 0 (3) xy = x (4) x(y + 3) + y(y + 3) = 0 (5) (a + y ) = x ax a (6) x y 1 + y x 1 = 0 (7) cos x + sin x cos y = 0 (8) = tan y tan x (9) = (y 1) tan x (10) (1 +
More information1: *2 W, L 2 1 (WWL) 4 5 (WWL) W (WWL) L W (WWL) L L 1 2, 1 4, , 1 4 (cf. [4]) 2: 2 3 * , , = , 1
I, A 25 8 24 1 1.1 ( 3 ) 3 9 10 3 9 : (1,2,6), (1,3,5), (1,4,4), (2,2,5), (2,3,4), (3,3,3) 10 : (1,3,6), (1,4,5), (2,2,6), (2,3,5), (2,4,4), (3,3,4) 6 3 9 10 3 9 : 6 3 + 3 2 + 1 = 25 25 10 : 6 3 + 3 3
More information18 ( ) I II III A B C(100 ) 1, 2, 3, 5 I II A B (100 ) 1, 2, 3 I II A B (80 ) 6 8 I II III A B C(80 ) 1 n (1 + x) n (1) n C 1 + n C
8 ( ) 8 5 4 I II III A B C( ),,, 5 I II A B ( ),, I II A B (8 ) 6 8 I II III A B C(8 ) n ( + x) n () n C + n C + + n C n = 7 n () 7 9 C : y = x x A(, 6) () A C () C P AP Q () () () 4 A(,, ) B(,, ) C(,,
More informationSC-85X2取説
I II III IV V VI .................. VII VIII IX X 1-1 1-2 1-3 1-4 ( ) 1-5 1-6 2-1 2-2 3-1 3-2 3-3 8 3-4 3-5 3-6 3-7 ) ) - - 3-8 3-9 4-1 4-2 4-3 4-4 4-5 4-6 5-1 5-2 5-3 5-4 5-5 5-6 5-7 5-8 5-9 5-10 5-11
More information. T ::= x f n t 1 t n F n,m (x(t 1 t n )t 1 t m) x, f n n, F n,m n, m-., F n,m (x(t 1 t n )t 1 t m), x, t 1,..., t n, t 1,..., t m. F n,m (x(t 1 t n )
Kazuki Nakamura Department of Mathematical and Computing Science, Tokyo Institute of Technology * 1 Kashima Ryo Department of Mathematical and Computing Science, Tokyo Institute of Technology 1,,., Σ,..,.
More information<4D6963726F736F667420506F776572506F696E74202D208376838C835B83938365815B835683878393312E707074205B8CDD8AB78382815B83685D>
i i vi ii iii iv v vi vii viii ix 2 3 4 5 6 7 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
More informatione a b a b b a a a 1 a a 1 = a 1 a = e G G G : x ( x =, 8, 1 ) x 1,, 60 θ, ϕ ψ θ G G H H G x. n n 1 n 1 n σ = (σ 1, σ,..., σ N ) i σ i i n S n n = 1,,
01 10 18 ( ) 1 6 6 1 8 8 1 6 1 0 0 0 0 1 Table 1: 10 0 8 180 1 1 1. ( : 60 60 ) : 1. 1 e a b a b b a a a 1 a a 1 = a 1 a = e G G G : x ( x =, 8, 1 ) x 1,, 60 θ, ϕ ψ θ G G H H G x. n n 1 n 1 n σ = (σ 1,
More information2012 A, N, Z, Q, R, C
2012 A, N, Z, Q, R, C 1 2009 9 2 2011 2 3 2012 9 1 2 2 5 3 11 4 16 5 22 6 25 7 29 8 32 1 1 1.1 3 1 1 1 1 1 1? 3 3 3 3 3 3 3 1 1, 1 1 + 1 1 1+1 2 2 1 2+1 3 2 N 1.2 N (i) 2 a b a 1 b a < b a b b a a b (ii)
More information1
10 1113 14 1516 1719 20 21 22 2324 25 2627 i 2829 30 31 32 33 3437 38 3941 42 4344 4547 48 4950 5152 53 5455 ii 56 5758 59 6061 iii 1 2 3 4 5 6 7 8 9 10 PFI 30 20 10 PFI 11 12 13 14 15 10 11 16 (1) 17
More informationuntitled
23 12 10 12:55 ~ 18:45 KKR Tel0557-85-2000 FAX0557-85-6604 12:55~13:00 13:00~13:38 I 1) 13:00~13:12 2) 13:13~13:25 3) 13:26~13:38 13:39~14:17 II 4) 13:39~13:51 5) 13:52 ~ 14:04 6) 14:05 ~ 14:17 14:18 ~
More information16 B
16 B (1) 3 (2) (3) 5 ( ) 3 : 2 3 : 3 : () 3 19 ( ) 2 ax 2 + bx + c = 0 (a 0) x = b ± b 2 4ac 2a 3, 4 5 1824 5 Contents 1. 1 2. 7 3. 13 4. 18 5. 22 6. 25 7. 27 8. 31 9. 37 10. 46 11. 50 12. 56 i 1 1. 1.1..
More informationMicrosoft Word - 実習報告書分析編10-11
70 17.4 30.2 30.2 88 21.9 37.9 68.1 (SE) 22 5.5 9.5 77.6 18 4.5 7.8 85.3 14 3.5 6.0 91.4 20 5.0 8.6 100.0 232 57.7 100.0 97 88 21.9 82 20.4 170 42.3 402 100.0 285 q1[] (SE) q1[] 22 47 69 % 31.9% 68.1%
More informationi 18 2H 2 + O 2 2H 2 + ( ) 3K
i 18 2H 2 + O 2 2H 2 + ( ) 3K ii 1 1 1.1.................................. 1 1.2........................................ 3 1.3......................................... 3 1.4....................................
More informationo 2o 3o 3 1. I o 3. 1o 2o 31. I 3o PDF Adobe Reader 4o 2 1o I 2o 3o 4o 5o 6o 7o 2197/ o 1o 1 1o
78 2 78... 2 22201011... 4... 9... 7... 29 1 1214 2 7 1 8 2 2 3 1 2 1o 2o 3o 3 1. I 1124 4o 3. 1o 2o 31. I 3o PDF Adobe Reader 4o 2 1o 72 1. I 2o 3o 4o 5o 6o 7o 2197/6 9. 9 8o 1o 1 1o 2o / 3o 4o 5o 6o
More information2019 年 6 月 4 日演習問題 I α, β > 0, A > 0 を定数として Cobb-Douglas 型関数 Y = F (K, L) = AK α L β (5) と定義します. (1) F KK, F KL, F LK, F LL を求めましょう. (2) 第 1 象限のすべての点
09 年 6 月 4 日演習問題 I α, β > 0, A > 0 を定数として Cobb-Douglas 型関数 Y = F K, L) = AK α L β 5) と定義します. ) F KK, F KL, F LK, F LL を求めましょう. ) 第 象限のすべての点 K, L) R ++ に対して F KK K, L) < 0, かつ dethf )K, L) > 0 6) を満たす α,
More informationuntitled
1 ( 12 11 44 7 20 10 10 1 1 ( ( 2 10 46 11 10 10 5 8 3 2 6 9 47 2 3 48 4 2 2 ( 97 12 ) 97 12 -Spencer modulus moduli (modulus of elasticity) modulus (le) module modulus module 4 b θ a q φ p 1: 3 (le) module
More informationWINET情報
WINETCONTENTS 1 2 3 Q&A Q A 4 Q A 5 Q A 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 No. 10. 1. 11. 2. 12. 3. 4. 13. 5. 14. 6. 7. 15. 8. 9. 16. 33 17. 33. 34. 35. 18. 19. 36.
More information( )
18 10 01 ( ) 1 2018 4 1.1 2018............................... 4 1.2 2018......................... 5 2 2017 7 2.1 2017............................... 7 2.2 2017......................... 8 3 2016 9 3.1 2016...............................
More information