2 1/2 1/4 x 1 x 2 x 1, x 2 9 3x 1 + 2x 2 9 (1.1) 1/3 RDA 1 15 x /4 RDA 1 6 x /6 1 x 1 3 x 2 15 x (1.2) (1.3) (1.4) 1 2 (1.5) x 1

Size: px
Start display at page:

Download "2 1/2 1/4 x 1 x 2 x 1, x 2 9 3x 1 + 2x 2 9 (1.1) 1/3 RDA 1 15 x /4 RDA 1 6 x /6 1 x 1 3 x 2 15 x (1.2) (1.3) (1.4) 1 2 (1.5) x 1"

Transcription

1 1 1 [1] TS 9 1/3 RDA 1/4 RDA 1 1/2 1/ /15 RDA 2/15 RDA 1/6 RDA 1 1/

2 2 1/2 1/4 x 1 x 2 x 1, x 2 9 3x 1 + 2x 2 9 (1.1) 1/3 RDA 1 15 x /4 RDA 1 6 x /6 1 x 1 3 x 2 15 x (1.2) (1.3) (1.4) 1 2 (1.5) x 1 x 2 x 1 0 (1.6) x 2 0 (1.7) (1.1) (1.7) (x 1, x 2 ) x 1 x 2 z = 50x x 2 (1.1) (1.7) z = 50x x 2 (x 1, x 2 )

3 3 z = 50x x 2 3x 1 + 2x x x x x 1 3x 2 0 2x 1 x 2 0 x 1 0 x 2 0 (1.8) z (x 1, x 2 ) (1.8) (1.1) (1.7) x 1 x x 1 +65x 2 = z z (2.0, 1.5) / ,000 1, [2]

4 4 x 1 (2.0, 1.5) The cost increases. O x 2 1.1: 1,000 [1] C. Rorres and H. Anton ( : ), (1980) [2],, (1995).

5 5 1.2 c 1, c 2,..., c n x 1, x 2,..., x n f(x 1, x 2,..., x n ) = c 1 x 1 + c 2 x c n x n (linear function) f b f(x 1, x 2,..., x n ) = b (linear equality) f(x 1, x 2,..., x n ) b, f(x 1, x 2,..., x n ) b (linear inequality) (linear programming problem; abbr, LP) (x 1, x 2,..., x n ) c 1 x 1 + c 2 x c n x n a (P) i1 x 1 + a i2 x a in x n = b i, i = 1,..., k a i1 x 1 + a i2 x a in x n b i, i = k + 1,..., l a i1 x 1 + a i2 x a in x n b i, i = l + 1,...,m c 1 x 1 + c 2 x c n x n (P) (objective function) (x 1, x 2,..., x n ) m (linear constraint) (feasible solution) a i1 x 1 + a i2 x a in x n = b i, i = 1,..., k D = x R n a i1 x 1 + a i2 x a in x n b i, i = k + 1,..., l a i1 x 1 + a i2 x a in x n b i, i = l + 1,...,m

6 6 (feasible region) x 1 65x 2 3x 1 + 2x x x x (1.9) x 1 3x 2 0 2x 1 x 2 0 x 1 0 x (x 1, x 2 ) = (1.5, 3.0), (1.5, 2.25), (2.0, 1.5), (5.0, 5.0) x = (x 1, x 2..., x n ) D (1.8) (optimal solution) 1.1 (1.9) (x 1, x 2 ) = (2.0, 1.5) (1.9) x 1 + x 2 + x 3 2x 1 + 2x 2 x 3 6 2x 1 + 4x 3 4 4x 1 + 3x 2 x 3 1 x 1 0, x 2 0, x 3 0 (1.10)

7 7 3x 1 + x 2 + 5x 3 + 2x 4 4x 1 + 2x 2 4x 3 + x 4 = 11 2x 1 + 3x 2 2x 3 4x x 1 2x 2 + 3x 4 1 x 3 0, x 4 0 (1.11) x 1 + 5x 2 x 1 + x 2 6 (1.12) x 1 x 2 4 D = {(x 1, x 2 ) x 1 + x 2 6, x 1 x 2 4} (infeasible) (feasible) 2x 1 x 2 x 1 + x 2 6 x 1 3x 2 4 (1.13) x 2 x 1 x 1 + M > M < M (unbounded) (bounded)

8 [ ] x 1 x 1 < 5 (1.14) x 1 = 5 exp(x 1 ) x 1 0 (1.15) 1.3 [3] Markowitz Nash (polynomial-time algorithm)

9 9 Gordan (1873) Fourier (1923) Farkas (1923) 20 Leontief (1936) Motzkin (1923) Von Neuman & (1947) Dantzig (1947) Morgenstern (1944) Koopmans (1948) Von Neuman (1947) (1975) Koopmans Kantrovich ( ) Khachian (1979) (1990) Markowitz Sharpe Miller Karmarkar (1984) ( ) (1994) Nash ( ) [3] V. Chvátal ( : ), ( ), (1986).

10 (a) (b) (c) s, t x 1 + x 2 sx 1 + tx 2 1 x 1, x c 1 x 1 + c 2 x c n x n (P) a i1 x 1 + c i2 + + a in x n b i, i = 1,..., m k x k (P k ) a i1 x 1 + c i2 + + a in x n b i, i = 1,..., m 1.3 x 1 = (x 1 1, x1 2,..., x1 n ), x2 = (x 2 1, x2 2,..., x2 n ) x 3 = (1 λ)x 1 + λx 2, λ 0 λ (transportation problem) 40, 20, 40 25, 10, 20, 30, 15 /

11 (product mix problem) M1, M2, M3 R1, R2, R3, R4 1 kg R1 R2 R3 R4 ( ) M1 20 % M1 20 % M M2 M3 35 % 45 % M ( /kg)

12 12 2 LP ( ) (simplex method) 2.1 LP (canonical form) LP : c 1 x 1 + c 2 x c n x n a i1 x 1 + a i2 x a in x n b i, i = 1,..., m x 1 0, x 2 0,... x n 0 LP x 1, x 2,..., x n 1.2 (1.10) 2x 1 + x 2 + x 3 2x 1 + 2x 2 x 3 6 2x 1 + 4x 3 4 4x 1 + 3x 2 x 3 1 x 1 0, x 2 0, x 3 0 (2.1)

13 13 (1.9) (1.11) : a i1 + + a in x n = b i = a i1 x a in x n b i a i1 x 1 a in x n b i x j = x j : x j = x j x j 0, x j 0 : a i1 x a in x n b i = a i1 x 1 a in x n b i c 1 x c n x n = c 1 x 1 c n x n 2.2 LP (2.1) 2x 1 + x 2 + x x 1 2x 2 + x x 1 4x x 1 3x 2 + x 3 x 1, x 2, x 3 0 z = 2x 1 + x 2 + x 3

14 14 x 4, x 5, x 6 LP z x 4 = 6 2x 1 2x 2 + x 3 x 5 = 4 2x 1 4x 3 x 6 = 1 + 4x 1 3x 2 + x 3 z = 0 + 2x 1 + x 2 + x 3 x 1, x 2, x 3, x 4, x 5, x 6 0 (2.2) (2.1) (2.2) (2.1) (x 1, x 2, x 3 ) (2.2) x 4, x 5, x 6, z x 4, x 5, x 6, z (x 1, x 2, x 3, x 4, x 5, x 6, z ) (2.2) (2.2) (x 1, x 2, x 3, x 4, x 5, x 6, z ) x 4, x 5, x 6 x 5, x 6 (2.1) (x 1, x 2, x 3 ) x 4, (2.1) (2.2) (2.2) x 1, x 2, x 3 x 1, x 2, x 3 x 4, x 5, x 6, z (x 1, x 2, x 3, x 4, x 5, x 6, z) = (0, 0, 0, 6, 4, 1, 0) (2.3) x 1, x 2, x 3, x 4, x 5, x 6 (2.3) z

15 15 (2.3) x 1, x 2, x 3 (2.3) x 1 t x 4 = 6 2t x 5 = 4 2t x 6 = 1 + 4t z = 0 + 2t t = 1 : x 4 = 4, x 5 = 2, x 6 = 5, z = 2 t = 2 : x 4 = 2, x 5 = 0, x 6 = 9, z = 4 t = 3 : x 4 = 0, x 5 = 2, x 6 = 13, z = 6 x 1 t z z x 1 (= 2) x 1 t 2 (x 1, x 2, x 3, x 4, x 5, x 6, z) = (2, 0, 0, 2, 0, 9, 4) (2.4) x 1 (2.4) x 1 > 0, x 5 = 0 (2.3) x 1 x 5 (2.2) x 5 = 4 2x 1 4x 3 x 1 x 4 = 2 + x 5 2x 2 + 5x 3 x 1 = 2 1/2x 5 2x 3 (2.5) x 6 = 9 2x 5 3x 2 7x 3 z = 4 x 5 + x 2 3x 3

16 16 (2.5) (2.2) LP (2.4) (2.5) z x 5, x 2, x 3 z x 2 x 2 2/2 = 1 x 4 (x 1, x 2, x 3, x 4, x 5, x 6, z) = (2, 1, 0, 0, 0, 6, 5) (2.6) x 2 x 4 x 2 = 1 + 1/2x 5 1/2x 4 + 5/2x 3 x 1 = 2 1/2x 5 2x 3 x 6 = 6 7/2x 5 3/2x 4 29/2x 3 z = 5 1/2x 5 1/2x 4 1/2x 3 (2.7) ( 3.2) b i

17 17 x 3 1 X (0, 0, 0) 1/3 x 2 x 1 2 (2, 0, 0) (2, 1, 0) 2.1: (2.1) X (2.1) x 1 x 2 x 3 LP 2.1 m + n n (n = 2 n = 3 ) (polyhedron) n (vertex) LP (1.11) LP

18 LP c 1 x 1 + c 2 x c n x n a 11 x 1 + c 12 x a 1n x n b 1... a m1 x 1 + c m2 x a mn x n b m x 1, x 2,,..., x n 0 (2.8) (2.1) b i 0, i = 1,..., m (2.9) (2.1) (2.2) (2.8) z x n+1 = b 1 a 11 x 1 a 12 x 2 a 1n x n.. x n+m = b m a m1 x 1 a m2 x 2 a mn x n z = c 0 + c 1 x 1 + c 2 x c m x n x 1, x 2,..., x n 0.. (2.10) c 0 = 0 x n+i (i = 1,..., m) (slack variable) (2.8) (2.10) (2.10) 1,..., n + m N(1) = 1, N(2) = 2,..., N(n) = n B(1) = n + 1, B(2) = n + 2,..., B(m) = n + m

19 19 (2.10) (E 1 ) : x B(1) = b 1 a 11 x N(1) a 12 x N(2) a 1n x N(n).... (E m ) : x B(m) = b m a m1 x N(1) a m2 x N(2) a mn x N(n) (2.11) (E m+1 ) : z = c 0 + c 1 x N(1) + c 2 x N(2) + + c m x N(n) (2.8) (dictionary) m + 1 x B(i), z (basic variable) n x N(j) (nonbasic variable) (2.11) x N(1) = x N(2) =... = x N(n) = 0 x B(1) = b 1, x B(2) = b 2,..., x B(m) = b m, z = c 0 (basic solution) (2.11) (feasible dictionary) (2.9) (2.8) b i (2.8) (2.11) ( ) a rs (1 r m, 1 s n) ( (r, s), (pivoting operation) procedure (r, s) begin (E r ) x N(s) (E r ) ; for i r do (E r ) (E i ) x N(s) (E i ) ;

20 20 B(r) N(s) tmp := B(r); B(r) := N(s); N(s) := tmp end; procedure (2.8) b i LP algorithm : (2.11) N(1) = 1,..., N(n) = n, B(1) = n + 1,..., B(m) = n + m. begin stop := false; while stop = false do begin { 1: } if j c j 0 then stop := true { } else begin { 2: } c s > 0 s (1 s n) ; if i a is 0 then stop := true { LP } else

21 21 begin { 3: } end end; end end x N(s) { b r bi = min a rs a is r ; } a is > 0, i = 1, 2,..., m procedure (r, s) (r, s) (2.11) algorithm 2.1. LP algorithm LP (2.9) (r, s) LP LP algorithm LP

22 LP (a), (b), (c) 3x 1 + 2x 2 + 4x 3 x 1 + x 2 + 2x 3 4 (a) 2x 1 + 3x 3 5 2x 1 + x 2 + 3x 3 7 x 1, x 2, x 3 0. (b) (c) 5x 1 + 6x 2 + 9x x 4 x 1 + 2x x x 4 5 x 1 + x 2 + 2x 3 + 3x 4 3 2x 1 + x 2 2x 1 + 3x 2 3 x 1 + 5x 2 1 2x 1 + x 2 4 4x 1 + x 2 5 x 1, x 2 0. x 1, x 2, x 3, x LP 2.4 (a) (b) 2.5

( ) () () ( ) () () () ()

( ) () () ( ) () () () () 5 1! (Linear Programming, LP) LP OR LP 1.1 1.1.1 1. 2. 3. 4. 4 5. 1000 4 1.1? 1.2 1 1 http://allrecipes.com/ 6 1 1.1 ( ) () 1 0.5 1 0.75 200 () 1.5 1 0.5 1 50 ( ) 2 2 1 30 () 2.25 0.5 2 2.25 30 () 2 100

More information

( ) ? () 1.1 ( 3 ) j x j 10 j 1 10 j = 1,..., 10 x 1 + x x 10 =

( ) ? () 1.1 ( 3 ) j x j 10 j 1 10 j = 1,..., 10 x 1 + x x 10 = 5 1! (Linear Programming, LP) LP OR LP 1.1 1.1.1 1. 2. 3. 4. 5. ( ) ( ) 1.1 6 1 1.1 ( ) 1 110 2 98 3 85 4 90 5 73 6 62 7 92 8 88 9 79 10 75 1.1.2 4? 900 40 80 120 () 1.1 ( 3 ) j x j 10 j 1 10 j = 1,...,

More information

f(x) x S (optimal solution) f(x ) (optimal value) f(x) (1) 3 GLPK glpsol -m -d -m glpsol -h -m -d -o -y --simplex ( ) --interior --min --max --check -

f(x) x S (optimal solution) f(x ) (optimal value) f(x) (1) 3 GLPK glpsol -m -d -m glpsol -h -m -d -o -y --simplex ( ) --interior --min --max --check - GLPK by GLPK http://mukun mmg.at.infoseek.co.jp/mmg/glpk/ 17 7 5 : update 1 GLPK GNU Linear Programming Kit GNU LP/MIP ILOG AMPL(A Mathematical Programming Language) 1. 2. 3. 2 (optimization problem) X

More information

最適化手法 第1回 [3mm] 整数計画法 (1) [3mm]

最適化手法 第1回 [3mm] 整数計画法 (1) [3mm] 1 (1) & 2014 4 9 ( ) (1) 2014 4 9 1 / 39 2013 ( ) (1) 2014 4 9 2 / 39 OR 1 OR 2 OR Excel ( ) (1) 2014 4 9 3 / 39 1 (4 9 ) 2 (4 16 ) 3 (4 23 ) 4 (4 30 ) 5 (5 7 ) 6 (5 14 ) 7 1 (5 21 ) ( ) (1) 2014 4 9 4

More information

1. A0 A B A0 A : A1,...,A5 B : B1,...,B

1. A0 A B A0 A : A1,...,A5 B : B1,...,B 1. A0 A B A0 A : A1,...,A5 B : B1,...,B12 2. 3. 4. 5. A0 A B f : A B 4 (i) f (ii) f (iii) C 2 g, h: C A f g = f h g = h (iv) C 2 g, h: B C g f = h f g = h 4 (1) (i) (iii) (2) (iii) (i) (3) (ii) (iv) (4)

More information

第10回 コーディングと統合(WWW用).PDF

第10回 コーディングと統合(WWW用).PDF 10 January 8, 2004 algorithm algorithm algorithm (unit testing) (integrated testing) (acceptance testing) Big-Bang (incremental development) (goto goto DO 50 I=1,COUNT IF (ERROR1) GO TO 60 IF (ERROR2)

More information

untitled

untitled ,, 2 2.,, A, PC/AT, MB, 5GB,,,, ( ) MB, GB 2,5,, 8MB, A, MB, GB 2 A,,,? x MB, y GB, A (), x + 2y () 4 (,, ) (hanba@eee.u-ryukyu.ac.jp), A, x + 2y() x y, A, MB ( ) 8 MB ( ) 5GB ( ) ( ), x x x 8 (2) y y

More information

OR 2 Excel 2 3.. 4. OK. 1a: Excel2007 Office. Excel2003 1.. 1b. 2.. 3. OK. 2.,,. ツール アドイン 1b: Excel2003 :,.,.,.,,,.,,. 1. Excel2003.

OR 2 Excel 2 3.. 4. OK. 1a: Excel2007 Office. Excel2003 1.. 1b. 2.. 3. OK. 2.,,. ツール アドイン 1b: Excel2003 :,.,.,.,,,.,,. 1. Excel2003. OR 2 Excel 1 2 2.1 Excel.,. 2.2, x mathematical programming optimization problem, OR 1., 1 : f(x) h i (x) = 0, i = 1,..., m, g j (x) 0, j = 1,..., l, f(x) h i (x) = 0, i = 1,..., m, g j (x) 0, j = 1,...,

More information

: : : : ) ) 1. d ij f i e i x i v j m a ij m f ij n x i =

: : : : ) ) 1. d ij f i e i x i v j m a ij m f ij n x i = 1 1980 1) 1 2 3 19721960 1965 2) 1999 1 69 1980 1972: 55 1999: 179 2041999: 210 211 1999: 211 3 2003 1987 92 97 3) 1960 1965 1970 1985 1990 1995 4) 1. d ij f i e i x i v j m a ij m f ij n x i = n d ij

More information

. p.1/34

. p.1/34 . p.1/34 (Optimization) (Mathematical Programming),,. p.2/34 1 1.1 1.2 1.3 2 2.1 2.2 2.3 2.4 2.5 3 4 5. p.3/34 1 1.1 1.2 1.3 2 2.1 2.2 2.3 2.4 2.5 3 4 5. p.4/34 4x + 2y 6, 2x + y 6, x 0, y 0 x, yx + yx,

More information

…p…^†[…fiflF”¯ Pattern Recognition

…p…^†[…fiflF”¯   Pattern Recognition Pattern Recognition Shin ichi Satoh National Institute of Informatics June 11, 2019 (Support Vector Machines) (Support Vector Machines: SVM) SVM Vladimir N. Vapnik and Alexey Ya. Chervonenkis 1963 SVM

More information

数学の基礎訓練I

数学の基礎訓練I I 9 6 13 1 1 1.1............... 1 1................ 1 1.3.................... 1.4............... 1.4.1.............. 1.4................. 3 1.4.3........... 3 1.4.4.. 3 1.5.......... 3 1.5.1..............

More information

Trapezoidal Rule θ = 1/ x n x n 1 t = 1 [f(t n 1, x n 1 ) + f(t n, x n )] (6) 1. dx dt = f(t, x), x(t 0) = x 0 (7) t [t 0, t 1 ] f t [t 0, t 1 ], x x

Trapezoidal Rule θ = 1/ x n x n 1 t = 1 [f(t n 1, x n 1 ) + f(t n, x n )] (6) 1. dx dt = f(t, x), x(t 0) = x 0 (7) t [t 0, t 1 ] f t [t 0, t 1 ], x x University of Hyogo 8 8 1 d x(t) =f(t, x(t)), dt (1) x(t 0 ) =x 0 () t n = t 0 + n t x x n n x n x 0 x i i = 0,..., n 1 x n x(t) 1 1.1 1 1 1 0 θ 1 θ x n x n 1 t = θf(t n 1, x n 1 ) + (1 θ)f(t n, x n )

More information

N N 1,, N 2 N N N N N 1,, N 2 N N N N N 1,, N 2 N N N 8 1 6 3 5 7 4 9 2 1 12 13 8 15 6 3 10 4 9 16 5 14 7 2 11 7 11 23 5 19 3 20 9 12 21 14 22 1 18 10 16 8 15 24 2 25 4 17 6 13 8 1 6 3 5 7 4 9 2 1 12 13

More information

parser.y 3. node.rb 4. CD-ROM

parser.y 3. node.rb 4. CD-ROM 1. 1 51 2. parser.y 3. node.rb 4. CD-ROM 1 10 2 i 0 i 10 " i i+1 3 for(i = 0; i

More information

鉄鋼協会プレゼン

鉄鋼協会プレゼン NN :~:, 8 Nov., Adaptive H Control for Linear Slider with Friction Compensation positioning mechanism moving table stand manipulator Point to Point Control [G] Continuous Path Control ground Fig. Positoining

More information

50. (km) A B C C 7 B A 0

50. (km) A B C C 7 B A 0 49... 5 A B C. (. )?.. A A B C. A 4 0 50. (km) A B C..9 7. 4.5.9. 5. 7.5.0 4..4 7. 5.5 5.0 4. 4.. 8. 7 8.8 9.8. 8 5. 5.7.7 9.4 4. 4.7 0 4. 7. 8.0 4.. 5.8.4.8 8.5. 8 9 5 C 7 B 5 8 7 4 4 A 0 0 0 4 5 7 8

More information

1. A0 A B A0 A : A1,...,A5 B : B1,...,B

1. A0 A B A0 A : A1,...,A5 B : B1,...,B 1. A0 A B A0 A : A1,...,A5 B : B1,...,B12 2. 3. 4. 5. A0 A, B Z Z m, n Z m n m, n A m, n B m=n (1) A, B (2) A B = A B = Z/ π : Z Z/ (3) A B Z/ (4) Z/ A, B (5) f : Z Z f(n) = n f = g π g : Z/ Z A, B (6)

More information

FX ) 2

FX ) 2 (FX) 1 1 2009 12 12 13 2009 1 FX ) 2 1 (FX) 2 1 2 1 2 3 2010 8 FX 1998 1 FX FX 4 1 1 (FX) () () 1998 4 1 100 120 1 100 120 120 100 20 FX 100 100 100 1 100 100 100 1 100 1 100 100 1 100 101 101 100 100

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション ループ ループとは? ある条件を満たすまで 指定の命令を繰り返す Do... Loop For Next For Each Next While WEnd ループの種類 Do Loop Do While 条件 ステートメント Loop Do ステートメント Loop While 条件 Do Until 条件 ステートメント Loop Do ステートメント Until Loop 条件 Do Loop

More information

例題で学ぶオペレーションズ リサーチ入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.

例題で学ぶオペレーションズ リサーチ入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます.   このサンプルページの内容は, 初版 1 刷発行時のものです. 例題で学ぶオペレーションズ リサーチ入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/009641 このサンプルページの内容は, 初版 1 刷発行時のものです. i OR OR OR OR OR OR OR OR OR 2015 5 ii 1 OR 1 1.1 OR... 1 1.2 OR...

More information

コンピュータ概論

コンピュータ概論 4.1 For Check Point 1. For 2. 4.1.1 For (For) For = To Step (Next) 4.1.1 Next 4.1.1 4.1.2 1 i 10 For Next Cells(i,1) Cells(1, 1) Cells(2, 1) Cells(10, 1) 4.1.2 50 1. 2 1 10 3. 0 360 10 sin() 4.1.2 For

More information

xl 1 program Othello6; 2 {$APPTYPE CONSOLE} 3 uses SysUtils; 4 5 type 6 TMasuNo = 0..99; // 7 TYouso = (Soto,Kara,Kuro,Siro); // 8 TBan = array [TMasu

xl 1 program Othello6; 2 {$APPTYPE CONSOLE} 3 uses SysUtils; 4 5 type 6 TMasuNo = 0..99; // 7 TYouso = (Soto,Kara,Kuro,Siro); // 8 TBan = array [TMasu xl 1 program Othello6; 2 {$APPTYPE CONSOLE 3 uses SysUtils; 4 5 type 6 TMasuNo = 0..99; // 7 TYouso = (Soto,Kara,Kuro,Siro); // 8 TBan = array [TMasuNo] of TYouso; // 10 10 9 TPlayer = Kuro..Siro; // 10

More information

7. 1 max max min f g h h(x) = max{f(x), g(x)} f g h l(x) l(x) = min{f(x), g(x)} f g 1 f g h(x) = max{f(x), g(x)} l(x) = min{f(x), g(x)} h(x) = 1 (f(x)

7. 1 max max min f g h h(x) = max{f(x), g(x)} f g h l(x) l(x) = min{f(x), g(x)} f g 1 f g h(x) = max{f(x), g(x)} l(x) = min{f(x), g(x)} h(x) = 1 (f(x) 7. 1 ma ma min f g h h() = ma{f(), g()} f g h l() l() = min{f(), g()} f g 1 f g h() = ma{f(), g()} l() = min{f(), g()} h() = 1 (f() + g() + f() g() ) 2 1 1 l() = 1 (f() + g() f() g() ) 2 2 1 45 = 2 e 1

More information

AC-1 procedure AC-1 (G) begin Q = f(i; j) (i; j) 2 arc(g), i 6= jg repeat begin CHANGE = false for each (i; j) 2 Q do CHANGE = REVISE((i; j)) _ CHANGE

AC-1 procedure AC-1 (G) begin Q = f(i; j) (i; j) 2 arc(g), i 6= jg repeat begin CHANGE = false for each (i; j) 2 Q do CHANGE = REVISE((i; j)) _ CHANGE AC-5, May 7, 2003 Lecture 3-1, (Local Consistency) 4 1. (Node Consistency) 2. (Arc Consistency) 3. (Path Consistency) m (m-consistency) 4. AC-1 AC-2 (Waltz, ) AC-3 AC-4 AC-1 procedure AC-1 (G) begin Q

More information

2/ 土 :30 11:20 似通った科目名がありますので注意してください. 受験許可されていない科目を解答した場合は無効 整理番号と科目コードは受験許可証とよく照合し正確に記入

2/ 土 :30 11:20 似通った科目名がありますので注意してください. 受験許可されていない科目を解答した場合は無効 整理番号と科目コードは受験許可証とよく照合し正確に記入 2/ 土 28 9 10 10:30 11:20 似通った科目名がありますので注意してください. 受験許可されていない科目を解答した場合は無効 整理番号と科目コードは受験許可証とよく照合し正確に記入 30 10 11 12 00011 00016 01101 02607 02703 (1) AB AB 100 cm 2 3.00 cm 2 9.80 m/s 2 AB A B A 10.0 kg A

More information

1. A0 A B A0 A : A1,...,A5 B : B1,...,B12 2. 5 3. 4. 5. A0 (1) A, B A B f K K A ϕ 1, ϕ 2 f ϕ 1 = f ϕ 2 ϕ 1 = ϕ 2 (2) N A 1, A 2, A 3,... N A n X N n X N, A n N n=1 1 A1 d (d 2) A (, k A k = O), A O. f

More information

all.dvi

all.dvi fortran 1996 4 18 2007 6 11 2012 11 12 1 3 1.1..................................... 3 1.2.............................. 3 2 fortran I 5 2.1 write................................ 5 2.2.................................

More information

(2018 2Q C) [ ] R 2 2 P = (a, b), Q = (c, d) Q P QP = ( ) a c b d (a c, b d) P = (a, b) O P ( ) a p = b P = (a, b) p = ( ) a b R 2 {( ) } R 2 x = x, y

(2018 2Q C) [ ] R 2 2 P = (a, b), Q = (c, d) Q P QP = ( ) a c b d (a c, b d) P = (a, b) O P ( ) a p = b P = (a, b) p = ( ) a b R 2 {( ) } R 2 x = x, y (2018 2Q C) [ ] R 2 2 P = (a, b), Q = (c, d) Q P QP = a c b d (a c, b d) P = (a, b) O P a p = b P = (a, b) p = a b R 2 { } R 2 x = x, y R y 2 a p =, c q = b d p + a + c q = b + d q p P q a p = c R c b

More information

0 (1 ) 0 (1 ) 01 Excel Excel ( ) = Excel Excel =5+ 5 + 7 =5-5 3 =5* 5 10 =5/ 5 5 =5^ 5 5 ( ), 0, Excel, Excel 13E+05 13 10 5 13000 13E-05 13 10 5 0000

0 (1 ) 0 (1 ) 01 Excel Excel ( ) = Excel Excel =5+ 5 + 7 =5-5 3 =5* 5 10 =5/ 5 5 =5^ 5 5 ( ), 0, Excel, Excel 13E+05 13 10 5 13000 13E-05 13 10 5 0000 1 ( S/E) 006 7 30 0 (1 ) 01 Excel 0 7 3 1 (-4 ) 5 11 5 1 6 13 7 (5-7 ) 9 1 1 9 11 3 Simplex 1 4 (shadow price) 14 5 (reduced cost) 14 3 (8-10 ) 17 31 17 3 18 33 19 34 35 36 Excel 3 4 (11-13 ) 5 41 5 4

More information

s t 1, 2,..., 10 s t a, b,..., k t s 1, 2,..., 10 1 a, b,..., k 1 s t ts 1 0 ( 2.25) ½ ¾ ½¼ x 1j = 1 x 2c = 1 x 3e = 1

s t 1, 2,..., 10 s t a, b,..., k t s 1, 2,..., 10 1 a, b,..., k 1 s t ts 1 0 ( 2.25) ½ ¾ ½¼ x 1j = 1 x 2c = 1 x 3e = 1 72 2 2 2 2.24 2 s t, 2,..., 0 s t a, b,..., k t s, 2,..., 0 a, b,..., k s t 0 ts 0 ( 2.25) 2.24 2 ½ ¾ ½¼ x j = x 2c = x 3e = x 4s = x 5g = x 6i = x 7d = x 8h = x 9f = x 0k = x ta = x tb = x ts = 9 2.26

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

( ) 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

1 発病のとき

1 発病のとき A A 1944 19 60 A 1 A 20 40 2 A 4 A A 23 6 A A 13 10 100 2 2 360 A 19 2 5 A A A A A TS TS A A A 194823 6 A A 23 A 361 A 3 2 4 2 16 9 A 7 18 A A 16 4 16 3 362 A A 6 A 6 4 A A 363 A 1 A A 1 A A 364 A 1 A

More information

4 (induction) (mathematical induction) P P(0) P(x) P(x+1) n P(n) 4.1 (inductive definition) A A (basis ) ( ) A (induction step ) A A (closure ) A clos

4 (induction) (mathematical induction) P P(0) P(x) P(x+1) n P(n) 4.1 (inductive definition) A A (basis ) ( ) A (induction step ) A A (closure ) A clos 4 (induction) (mathematical induction) P P(0) P(x) P(x+1) n P(n) 4.1 (inductive definition) A A (basis ) ( ) A (induction step ) A A (closure ) A closure 81 3 A 3 A x A x + A A ( A. ) 3 closure A N 1,

More information

最適化手法 第5回 [3mm] 整数計画法 (5) [3mm]

最適化手法 第5回 [3mm] 整数計画法 (5) [3mm] 5 (5) 2014 5 8 ( ) (5) 2014 5 8 1 / 60 Gomory Chvátal 2013 ( ) (5) 2014 5 8 2 / 60 3x 1 + 4x 2 x 1,x 2 3x 1 x 2 12, 3x 1 + 11x 2 66, x 1 0, x 2 0, x 1, x 2 Z x 2 3x 1 +11x 2 = 66 ( ) 3 4 3x 1 x 2 = 12

More information

untitled

untitled ST0001-1- -2- -3- -4- BorderStyle ControlBox, MinButton, MaxButton True False True False Top Left Height,Width Caption Icon True/False -5- Basic Command1 Click MsgBox " " Command1 Click Command1 Click

More information

¥×¥í¥°¥é¥ß¥ó¥°±é½¬I Exercise on Programming I [1zh] ` `%%%`#`&12_`__~~~ alse

¥×¥í¥°¥é¥ß¥ó¥°±é½¬I  Exercise on Programming I [1zh] ` `%%%`#`&12_`__~~~alse I Exercise on Programming I http://bit.ly/oitprog1 12 of 14 ( RD S ) I 12 of 14 1 / 35 https://bit.ly/oitprog1 ( RD S ) I 12 of 14 2 / 35 game.rb ( RD S ) I 12 of 14 3 / 35 game.rb 11 ( ) 1 require "io/console"

More information

. (.8.). t + t m ü(t + t) + c u(t + t) + k u(t + t) = f(t + t) () m ü f. () c u k u t + t u Taylor t 3 u(t + t) = u(t) + t! u(t) + ( t)! = u(t) + t u(

. (.8.). t + t m ü(t + t) + c u(t + t) + k u(t + t) = f(t + t) () m ü f. () c u k u t + t u Taylor t 3 u(t + t) = u(t) + t! u(t) + ( t)! = u(t) + t u( 3 8. (.8.)............................................................................................3.............................................4 Nermark β..........................................

More information

応用数学特論.dvi

応用数学特論.dvi 1 1 1.1.1 ( ). P,Q,R,.... 2+3=5 2 1.1.2 ( ). P T (true) F (false) T F P P T P. T 2 F 1.1.3 ( ). 2 P Q P Q P Q P Q P or Q P Q P Q P Q T T T T F T F T T F F F. P = 5 4 Q = 3 2 P Q = 5 4 3 2 P F Q T P Q T

More information

301-A2.pdf

301-A2.pdf 301 21 1 (1),, (3), (4) 2 (1),, (3), (4), (5), (6), 3,?,?,??,?? 4 (1)!?, , 6 5 2 5 6 1205 22 1 (1) 60 (3) (4) (5) 2 (1) (3) (4) 3 (1) (3) (4) (5) (6) 4 (1) 5 (1) 6 331 331 7 A B A B A B A 23 1 2 (1) (3)

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

r

r 73 29 2008 200 4 416 2008 20 042 0932 10 1977 200 1 2 3 4 5 7 8 9 11 12 14 15 16 17 18 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 51 200r 11 1 1 1 1 700200 200

More information

untitled

untitled Fortran90 ( ) 17 12 29 1 Fortran90 Fortran90 FORTRAN77 Fortran90 1 Fortran90 module 1.1 Windows Windows UNIX Cygwin (http://www.cygwin.com) C\: Install Cygwin f77 emacs latex ps2eps dvips Fortran90 Intel

More information

untitled

untitled 2 : n =1, 2,, 10000 0.5125 0.51 0.5075 0.505 0.5025 0.5 0.4975 0.495 0 2000 4000 6000 8000 10000 2 weak law of large numbers 1. X 1,X 2,,X n 2. µ = E(X i ),i=1, 2,,n 3. σi 2 = V (X i ) σ 2,i=1, 2,,n ɛ>0

More information

Excel ではじめる数値解析 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.

Excel ではじめる数値解析 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます.   このサンプルページの内容は, 初版 1 刷発行時のものです. Excel ではじめる数値解析 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/009631 このサンプルページの内容は, 初版 1 刷発行時のものです. Excel URL http://www.morikita.co.jp/books/mid/009631 i Microsoft Windows

More information

16 41 17 22 12 10

16 41 17 22 12 10 1914 11 1897 99 16 41 17 22 12 10 11 10 18 11 2618 12 22 28 15 1912 13 191516 2,930 1914 5,100 43 1.25 11 14 25 34364511 7.54 191420 434849 72 191536 1739 17 1918 1915 60 1913 70 10 10 10 99.5 1898 19034.17.6

More information

製品案内 価格表 2014/4/1

製品案内 価格表 2014/4/1 4 (17) 3 43 5/20370/ 231(504,150) 11 12 10 14-16 10 3 100 17 100kg 5-6 3 13 3 18 18 # # # # #$$ %&$ ' ()* +,-% ' #). +,-%'% / ' # # #$ %&&&'( %)* +'(#$ #$ %&&&'( ++,-). +'(#$ #$ /'( + /0)- +'(#$ %&&&'(

More information

3.ごみの減量方法.PDF

3.ごみの減量方法.PDF - 7 - - 8 - - 9 - - 10 - - 11 - - 12 - ( 100 ( 100 - 13-123,550,846 111,195,762 92,663,135 ( 12 25 37 49.2 16 33 49 65.6 15 30 44 59.0 2.5kg) ( 5kg) ( 7.5kg) ( k ( 123,550,846 111,195,762 92,663,135 (

More information

106 4 4.1 1 25.1 25.4 20.4 17.9 21.2 23.1 26.2 1 24 12 14 18 36 42 24 10 5 15 120 30 15 20 10 25 35 20 18 30 12 4.1 7 min. z = 602.5x 1 + 305.0x 2 + 2

106 4 4.1 1 25.1 25.4 20.4 17.9 21.2 23.1 26.2 1 24 12 14 18 36 42 24 10 5 15 120 30 15 20 10 25 35 20 18 30 12 4.1 7 min. z = 602.5x 1 + 305.0x 2 + 2 105 4 0 1? 1 LP 0 1 4.1 4.1.1 (intger programming problem) 1 0.5 x 1 = 447.7 448 / / 2 1.1.2 1. 2. 1000 3. 40 4. 20 106 4 4.1 1 25.1 25.4 20.4 17.9 21.2 23.1 26.2 1 24 12 14 18 36 42 24 10 5 15 120 30

More information

AJAN IO制御コマンド コマンドリファレンス

AJAN IO制御コマンド コマンドリファレンス - 1 - Interface Corporation 1 3 2 4 2.1...4 2.2...8 2.3...9 2.4...19 2.5...20 3 21 3.1...21 3.2...23 3.3...24 3.4...28 3.5...29 30 31 Interface Corporation - 2 - 1 AJANI/O Linux Web site GPG-2000 http://www.interface.co.jp/catalog/soft/prdc_soft_all.asp?name=gpg-2000

More information

8 if switch for while do while 2

8 if switch for while do while 2 (Basic Theory of Information Processing) ( ) if for while break continue 1 8 if switch for while do while 2 8.1 if (p.52) 8.1.1 if 1 if ( ) 2; 3 1 true 2 3 false 2 3 3 8.1.2 if-else (p.54) if ( ) 1; else

More information

I

I I 6 4 10 1 1 1.1............... 1 1................ 1 1.3.................... 1.4............... 1.4.1.............. 1.4................. 1.4.3........... 3 1.4.4.. 3 1.5.......... 3 1.5.1..............

More information

(2016 2Q H) [ ] R 2 2 P = (a, b), Q = (c, d) Q P QP = ( ) a c b d (a c, b d) P = (a, b) O P ( ) a p = b P = (a, b) p = ( ) a b R 2 {( ) } R 2 x = x, y

(2016 2Q H) [ ] R 2 2 P = (a, b), Q = (c, d) Q P QP = ( ) a c b d (a c, b d) P = (a, b) O P ( ) a p = b P = (a, b) p = ( ) a b R 2 {( ) } R 2 x = x, y (2016 2Q H) [ ] R 2 2 P = (a, b), Q = (c, d) Q P QP = a c b d (a c, b d) P = (a, b) O P a p = b P = (a, b) p = a b R 2 { } R 2 x = x, y R y 2 a p =, c q = b d p + a + c q = b + d q p P q a p = c R c b

More information

(Basic Theory of Information Processing) Fortran Fortan Fortan Fortan 1

(Basic Theory of Information Processing) Fortran Fortan Fortan Fortan 1 (Basic Theory of Information Processing) Fortran Fortan Fortan Fortan 1 17 Fortran Formular Tranlator Lapack Fortran FORTRAN, FORTRAN66, FORTRAN77, FORTRAN90, FORTRAN95 17.1 A Z ( ) 0 9, _, =, +, -, *,

More information

B000 B913 B913 S000 S500 L500 L913 B400 B913 B933 S320 L000 L913 492 498 P 38 5 P591 P595 P596 900 911 913 913 913 913 914 916 930 493 498 P 528 P594 P596 P597 910 913 913 913 913 913 914 918 700 723 746

More information

(I) GotoBALS, http://www-is.amp.i.kyoto-u.ac.jp/ kkimur/charpoly.html 2

(I) GotoBALS, http://www-is.amp.i.kyoto-u.ac.jp/ kkimur/charpoly.html 2 sdmp Maple - (Ver.2) ( ) September 27, 2011 1 (I) GotoBALS, http://www-is.amp.i.kyoto-u.ac.jp/ kkimur/charpoly.html 2 (II) Nehalem CPU GotoBLAS Intel CPU Nehalem CPU, GotoBLAS, Hyper-Thread technology

More information

Gray [6] cross tabulation CUBE, ROLL UP Johnson [7] pivoting SQL 3. SuperSQL SuperSQL SuperSQL SQL [1] [2] SQL SELECT GENERATE <media> <TFE> GENER- AT

Gray [6] cross tabulation CUBE, ROLL UP Johnson [7] pivoting SQL 3. SuperSQL SuperSQL SuperSQL SQL [1] [2] SQL SELECT GENERATE <media> <TFE> GENER- AT DEIM Forum 2017 E3-1 SuperSQL 223 8522 3 14 1 E-mail: {tabata,goto}@db.ics.keio.ac.jp, toyama@ics.keio.ac.jp,,,, SuperSQL SuperSQL, SuperSQL. SuperSQL 1. SuperSQL, Cross table, SQL,. 1 1 2 4. 1 SuperSQL

More information

Appendix A BASIC BASIC Beginner s All-purpose Symbolic Instruction Code FORTRAN COBOL C JAVA PASCAL (NEC N88-BASIC Windows BASIC (1) (2) ( ) BASIC BAS

Appendix A BASIC BASIC Beginner s All-purpose Symbolic Instruction Code FORTRAN COBOL C JAVA PASCAL (NEC N88-BASIC Windows BASIC (1) (2) ( ) BASIC BAS Appendix A BASIC BASIC Beginner s All-purpose Symbolic Instruction Code FORTRAN COBOL C JAVA PASCAL (NEC N88-BASIC Windows BASIC (1 (2 ( BASIC BASIC download TUTORIAL.PDF http://hp.vector.co.jp/authors/va008683/

More information

情報科学概論 第1回資料

情報科学概論 第1回資料 1. Excel (C) Hiroshi Pen Fujimori 1 2. (Excel) 2.1 Excel : 2.2Excel Excel (C) Hiroshi Pen Fujimori 2 256 (IV) :C (C 65536 B4 :2 (2 A3 Excel (C) Hiroshi Pen Fujimori 3 Tips: (1) B3 (2) (*1) (3) (4)Word

More information

listings-ext

listings-ext (6) Python (2) ( ) ohsaki@kwansei.ac.jp 5 Python (2) 1 5.1 (statement)........................... 1 5.2 (scope)......................... 11 5.3 (subroutine).................... 14 5 Python (2) Python 5.1

More information

ばらつき抑制のための確率最適制御

ばらつき抑制のための確率最適制御 ( ) http://wwwhayanuemnagoya-uacjp/ fujimoto/ 2011 3 9 11 ( ) 2011/03/09-11 1 / 46 Outline 1 2 3 4 5 ( ) 2011/03/09-11 2 / 46 Outline 1 2 3 4 5 ( ) 2011/03/09-11 3 / 46 (1/2) r + Controller - u Plant y

More information

My関数の作成演習問題集

My関数の作成演習問題集 Excel Sum,Average,Max 330 BMI Excel My Excel VBA Visual BASIC Editor AltF11 Visual BASIC Editor My Function Function -1- Function ( As Single, As Single) As Double Function Funciton Funciton As Single

More information

( 9 1 ) 1 2 1.1................................... 2 1.2................................................. 3 1.3............................................... 4 1.4...........................................

More information

( ) ( ) 1729 (, 2016:17) = = (1) 1 1

( ) ( ) 1729 (, 2016:17) = = (1) 1 1 1729 1 2016 10 28 1 1729 1111 1111 1729 (1887 1920) (1877 1947) 1729 (, 2016:17) 12 3 1728 9 3 729 1729 = 12 3 + 1 3 = 10 3 + 9 3 (1) 1 1 2 1729 1729 19 13 7 = 1729 = 12 3 + 1 3 = 10 3 + 9 3 13 7 = 91

More information

3 65 1 4 5 67 1 2 5 5 3 6 68 23 69 2 6 8m 10m 1. 2. 3. 70 66 600km 11 3 16 21 3 0 3m 2m 0 5m 71 11 3 17 0 5 0 0 72 73 74 75 3 76 77 4 78 79 5 80 81 82 83 2 83 . 84 6 a b c d e f g a b c 3 85 16 86 87 7

More information

h23w1.dvi

h23w1.dvi 24 I 24 2 8 10:00 12:30 1),. Do not open this problem booklet until the start of the examination is announced. 2) 3.. Answer the following 3 problems. Use the designated answer sheet for each problem.

More information

PYNUOPT マニュアル

PYNUOPT マニュアル PYNUOPT マニュアル V1.2 株式会社 NTT データ数理システム 2018 年 1 月 2 目次 1. はじめに... 3 1.1 サポートプラットフォーム... 3 1.2 インストール... 3 1.3 アンインストール... 8 1.4 簡単なサンプル (LP)... 9 1.5 簡単なサンプル (QP)... 13 2. PYNUOPT 詳細... 15 2.1 solvelp,solveqp...

More information

B 5 (2) VBA R / B 5 ( ) / 34

B 5 (2) VBA R / B 5 ( ) / 34 B 5 (2) VBAR / B 5 (2014 11 17 ) / 34 VBA VBA (Visual Basic for Applications) Visual Basic VBAVisual Basic Visual BasicC B 5 (2014 11 17 ) 1 / 34 VBA 2 Excel.xlsm 01 Sub test() 02 Dim tmp As Double 03

More information

kubostat2018d p.2 :? bod size x and fertilization f change seed number? : a statistical model for this example? i response variable seed number : { i

kubostat2018d p.2 :? bod size x and fertilization f change seed number? : a statistical model for this example? i response variable seed number : { i kubostat2018d p.1 I 2018 (d) model selection and kubo@ees.hokudai.ac.jp http://goo.gl/76c4i 2018 06 25 : 2018 06 21 17:45 1 2 3 4 :? AIC : deviance model selection misunderstanding kubostat2018d (http://goo.gl/76c4i)

More information

2005 D Pascal CASL ( ) Pascal C 3. A A Pascal TA TA TA

2005 D Pascal CASL ( ) Pascal C 3. A A Pascal TA TA TA 2005 D 1 1.1 1.2 Pascal CASL ( ) Pascal 1. 2005 10 13 2006 1 19 12 2. C 3. A A 2 1 2 Pascal 1.3 1. 2. TA TA TA sdate@ist.osaka-u.ac.jp nakamoto@image.med.osaka-u.ac.jp h-kido@ist.osaka-u.ac.jp m-nakata@ist.osaka-u.ac.jp

More information

ML Edinburgh LCF ML Curry-Howard ML ( ) ( ) ( ) ( ) 1

ML Edinburgh LCF ML Curry-Howard ML ( ) ( ) ( ) ( ) 1 More Logic More Types ML/OCaml GADT Jacques Garrigue ( ) Jacques Le Normand (Google) Didier Rémy (INRIA) @garriguejej ocamlgadt ML Edinburgh LCF ML Curry-Howard ML ( ) ( ) ( ) ( ) 1 ( ) ML type nebou and

More information

6 19,,,

6 19,,, 6 19,,, 15 6 19 4-2 à A si A s n + a n s n 1 + + a 2 s + a 1 à 0 1 0 0 1 0 0 0 1 a 1 a 2 a n 1 a n à ( 1, λ i, λ i 2,, λ i n 1 ) T ( λ i, λ 2 i,, λ n 1 i, a 1 a 2 λ i a n λ ) n 1 T i ( ) λ i 1, λ i,, λ

More information

Microsoft PowerPoint - IntroAlgDs-05-4.ppt

Microsoft PowerPoint - IntroAlgDs-05-4.ppt アルゴリズムとデータ構造入門 2005 年 0 月 25 日 アルゴリズムとデータ構造入門. 手続きによる抽象の構築.2 Procedures and the Processes They generate ( 手続きとそれが生成するプロセス ) 奥乃 博. TUT Scheme が公開されました. Windows は動きます. Linux, Cygwin も動きます. 0 月 25 日 本日のメニュー.2.

More information

2 2 ( M2) ( )

2 2 ( M2) ( ) 2 2 ( M2) ( ) 2007 3 3 1 2 P. Gaudry and R. Harley, 2000 Schoof 63bit 2 8 P. Gaudry and É. Schost, 2004 80bit 1 / 2 16 2 10 2 p: F p 2 C : Y 2 =F (X), F F p [X] : monic, deg F = 5, J C (F p ) F F p p Frobenius

More information

1 5 13 4 1 41 1 411 1 412 2 413 3 414 3 415 4 42 6 43 LU 7 431 LU 10 432 11 433 LU 11 44 12 441 13 442 13 443 SOR ( ) 14 444 14 445 15 446 16 447 SOR 16 448 16 45 17 4 41 n x 1,, x n a 11 x 1 + a 1n x

More information

数理計画法入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.

数理計画法入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます.   このサンプルページの内容は, 初版 1 刷発行時のものです. 数理計画法入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/092181 このサンプルページの内容は, 初版 1 刷発行時のものです. i 1947 G.B. Dantzig 3 (1) (2) (3) (4) Microsoft Excel Web 4 1 2 2 2 2 3 ii 4

More information

D0050.PDF

D0050.PDF Excel VBA 6 3 3 1 Excel BLOCKGAME.xls Excel 1 OK 2 StepA D B1 B4 C1 C2 StepA StepA Excel Workbook Open StepD BLOCKGAME.xls VBEditor ThisWorkbook 3 1 1 2 2 3 5 UserForm1 4 6 UsorForm2 StepB 3 StepC StepD

More information

¥×¥í¥°¥é¥ß¥ó¥°±é½¬I Exercise on Programming I [1zh] ` `%%%`#`&12_`__~~~ alse

¥×¥í¥°¥é¥ß¥ó¥°±é½¬I  Exercise on Programming I [1zh] ` `%%%`#`&12_`__~~~alse I Exercise on Programming I http://bit.ly/oitprog1 13 of 14 ( RD S ) I 13 of 14 1 / 39 https://bit.ly/oitprog1 ( RD S ) I 13 of 14 2 / 39 game.rb ( RD S ) I 13 of 14 3 / 39 game.rb 12 ( ) 1 require "io/console"

More information

新・明解C言語で学ぶアルゴリズムとデータ構造

新・明解C言語で学ぶアルゴリズムとデータ構造 第 1 章 基本的 1 n 141 1-1 三値 最大値 algorithm List 1-1 a, b, c max /* */ #include int main(void) { int a, b, c; int max; /* */ List 1-1 printf("\n"); printf("a"); scanf("%d", &a); printf("b"); scanf("%d",

More information

¥¤¥ó¥¿¡¼¥Í¥Ã¥È·×¬¤È¥Ç¡¼¥¿²òÀÏ Âè2²ó

¥¤¥ó¥¿¡¼¥Í¥Ã¥È·×¬¤È¥Ç¡¼¥¿²òÀÏ Âè2²ó 2 212 4 13 1 (4/6) : ruby 2 / 35 ( ) : gnuplot 3 / 35 ( ) 4 / 35 (summary statistics) : (mean) (median) (mode) : (range) (variance) (standard deviation) 5 / 35 (mean): x = 1 n (median): { xr+1 m, m = 2r

More information

II

II 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

Copyright c 2006 Zhenjiang Hu, All Right Reserved.

Copyright c 2006 Zhenjiang Hu, All Right Reserved. 1 2006 Copyright c 2006 Zhenjiang Hu, All Right Reserved. 2 ( ) 3 (T 1, T 2 ) T 1 T 2 (17.3, 3) :: (Float, Int) (3, 6) :: (Int, Int) (True, (+)) :: (Bool, Int Int Int) 4 (, ) (, ) :: a b (a, b) (,) x y

More information

XpressMemoForDash.dvi

XpressMemoForDash.dvi Xpress-MP 1 Ver 1.1 2006. 2. 16 (Ver1.0) 2006. 3. 1 (Ver1.1) 1 2006 3 Xpress-MP Xpress-MP 2006 Xpress-MP,. Dash [1]. mosel,, mosel.,,?, shokosv Xpress-MP,., 2. Example. 1 Xpress-MP 2 mosel 3 mosel 4, shakosv

More information

T rank A max{rank Q[R Q, J] t-rank T [R T, C \ J] J C} 2 ([1, p.138, Theorem 4.2.5]) A = ( ) Q rank A = min{ρ(j) γ(j) J J C} C, (5) ρ(j) = rank Q[R Q,

T rank A max{rank Q[R Q, J] t-rank T [R T, C \ J] J C} 2 ([1, p.138, Theorem 4.2.5]) A = ( ) Q rank A = min{ρ(j) γ(j) J J C} C, (5) ρ(j) = rank Q[R Q, (ver. 4:. 2005-07-27) 1 1.1 (mixed matrix) (layered mixed matrix, LM-matrix) m n A = Q T (2m) (m n) ( ) ( ) Q I m Q à = = (1) T diag [t 1,, t m ] T rank à = m rank A (2) 1.2 [ ] B rank [B C] rank B rank

More information

Verilog HDL による回路設計記述

Verilog HDL による回路設計記述 Verilog HDL 3 2019 4 1 / 24 ( ) (RTL) (HDL) RTL HDL アルゴリズム 動作合成 論理合成 論理回路 配置 配線 ハードウェア記述言語 シミュレーション レイアウト 2 / 24 HDL VHDL: IEEE Std 1076-1987 Ada IEEE Std 1164-1991 Verilog HDL: 1984 IEEE Std 1364-1995

More information

記号と準備

記号と準備 tbasic.org * 1 [2017 6 ] 1 2 1.1................................................ 2 1.2................................................ 2 1.3.............................................. 3 2 5 2.1............................................

More information

Natural Language Processing Series 1 WWW WWW 1. ii Foundations of Statistical NLPMIT Press 1999 2. a. b. c. 25 3. a. b. Web WWW iii 2. 3. 2009 6 v 2010 6 1. 1.1... 1 1.2... 4 1.2.1... 6 1.2.2... 12 1.2.3...

More information

橡vb_kikai0.PDF

橡vb_kikai0.PDF Visual Basic OS Windows Visual Basic GPIBRS232C A/D Visual Basic Windows Visual Basic Visual Basic Visual Basic Visual Basic Windows GUI( ) OS Visual Basic Form Form 1 Visual Basic Microsoft Visual Basic

More information

( 28 ) ( ) ( ) 0 This note is c 2016, 2017 by Setsuo Taniguchi. It may be used for personal or classroom purposes, but not for commercial purp

( 28 ) ( ) ( ) 0 This note is c 2016, 2017 by Setsuo Taniguchi. It may be used for personal or classroom purposes, but not for commercial purp ( 28) ( ) ( 28 9 22 ) 0 This ote is c 2016, 2017 by Setsuo Taiguchi. It may be used for persoal or classroom purposes, but ot for commercial purposes. i (http://www.stat.go.jp/teacher/c2epi1.htm ) = statistics

More information