Solution Report

Size: px
Start display at page:

Download "Solution Report"

Transcription

1 CGE 3 GAMS * Date: 2018/07/24, Version GAMSIDE GAMS GAMSIDE GAMSIDE GAMS GAMS GAMS GAMS GAMS GAMS display $ alias solve * : Website: 1

2 Solution Report MCP Marginal GAMS ˆ 3 CGE GAMS (General Algebraic Modelling System) GAMS CGE GAMS ˆ GAMS ˆ GAMS User's Guide ž GAMS GAMS corporation ž HTML : ˆ Bruce McCarl ž GAMS ž McCarl ž gdxxrw.exe ž PDF : pdf ž HTML : 2

3 2. GAMSIDE 2 GAMSIDE GAMS Windows GAMS GAMS GAMSIDE 1 GAMSIDE GAMS Windows GAMS 2.1 GAMS GAMS Windows 32bit 64bit 64bit Windows 64bit 2.2 GAMSIDE GAMSIDE GAMSIDE GAMSIDE GAMSIDE 1 GAMSIDE UNIX Mac GAMS Windows GAMS GAMSIDE Emacs Emacs GAMS mode for Emacs GAMSIDE 3

4 2. GAMSIDE C:YUserYstYDocumentsYgamsdirYprojdirYgamsproj.gpr GAMS C:YUserYstYDocumentsYgamsdirYprojdir GAMSIDE GAMS Project New Project g:ydropboxygams_practice practice New Project g:ydropboxygams_practice practice 4

5 2. GAMSIDE.gpr GAMSIDE GAMSIDE ide_howto.gms GAMSIDE File Open File Options MS 11pt MS 5

6 2. GAMSIDE File Options Colors Comment Italic Set associated text Bold 6

7 2. GAMSIDE 2.3 GAMSIDE GAMSIDE 1) GAMS 2) GAMSIDE GAMSIDE Bruce McCarl ˆ ˆ ide_howto.gms GAMS F9 Process Window GAMS 7

8 2. GAMSIDE *** Error 140 in G:DropboxYGAMS_practiceYide_howto.gms Unkown symbol Error Unknown symbol GAMS diplay i, j; j j unknown symbol j diplay i, j alias j F9 unknown symbol GAMS paramter paramter unknown symbol parameter paramter paramter 8

9 2. GAMSIDE GAMSIDE GAMS unrecognizable item ; gms gms gamma gamma(i) = 1 ; GAMS ; ; ; 1 Error at line 24 Compilation error Execution error division by zero 24 0 gms gms 24 GAMSIDE 18:

10 2. GAMSIDE 24 gamma(i) = gamma(i) / sigma; sigma sigma 0 division by zero sigma 0 10 Status: Normal completion GAMS ide_howto.gms ide_howto.lst LST 10

11 Display sigma LST sigma LST GAMSIDE GAMS ˆ ˆ GMS ˆ 3 GAMS 3.1 GAMS GAMS ˆ GAMS gms ž ˆ 11

12 ž GAMS ž sample.gms sample.lst lst LST GAMS ˆ declaration ˆ ž price Price PRICE GAMS ž GAMS ˆ ; ž GAMS ž ˆ ž * * ž $ontext $offtext GAMS ˆ ž j = {1,, n} f = {labor, capital, land} j f GAMS set ˆ ž GAMS parameter ž 2 CES ž ˆ 2 12

13 ž GAMS variable ž ˆ ž GAMS equation ˆ ž ž GAMS variable 4 x ˆ level value ž x x ž x.l x display x.l; x 10 x.l = 10; ˆ lower value upper value ž lower bound upper bound ž x.lo x.up x 0 x.lo = 0 ž GAM -inf GAMS +inf ˆ Marginal marginal value ž marginal ž 13

14 GAMS LP NLP MCP MIP 1: GAMS linear programming non-linear programming Mixed complementarity problem GAMS GAMS solver Solver GAMS 15 1 GAMS MCP MCP mixed complementarity problem MCP MCP MCP non-linear programming [ ] σ σ 1 max u = γ i (d i ) σ 1 σ {d 1,,d n} s.t. i i p i d i = m u d i i p i i m γ i σ 1 CGE GAMS CGE 3 L = [ i γ i (d i ) σ 1 σ ] σ [ σ 1 λ i p i d i m 3 CGE CGE ] 14

15 1 L = σ 1 γ j (d j ) σ 1 σ γ i (d i ) 1 σ λpi = 0 {d i } i=1,,n (1) d i j [ ] L λ = p i d i m = 0 {λ} (2) i {d i } n (1) 1 (2) n + 1 GAMS 3.3 GAMS utility_max.gms GAMS GAM- SIDE GAMS 3.4 $title $ontext Time-stamp: < :48:30 st> First-written: <2013/10/11> $offtext $title LST $ontext $offtext * * set i Index of goods / agr Agricultural goods man Manufacturing goods ser Services /; 15

16 set i set set set i Index of goods / agr Agricultural goods man Manufacturing goods ser Services /; / i agr man ser Index of goods i Agricultural goods set i / agr, man, ser /; set GAMS User Manual display display i; i display display GAMSIDE i agr man ser 16

17 3.4.3 $ $title $ set Dollar Control Option $ dollar control option GAMS compilation time execution time GAMS $ alias * i j alias(i,j); display j; alias i j alias static set static set dynamic set $ontext 17

18 $offtext parameter p(i) m ; Goods price Income p(i) m 2 parameter parameter parameter p(i) m Goods price Income ; p(i) m Goods price Income p(i) m p i i agr man ser p("agr") p("man") p("ser") 3 p p("agr")=1 p(i) parameter p(i), m; p("agr") = 1; p("man") = 2; p("ser") = 3; m = 100; display p, m; p m display p i i p Parameter p(i) Goods price / agr 1 man 2 ser 3 / m Income / 100 / 18

19 ; / $ontext $offtext parameter gamma(i) Weight parameter sigma Elasticity of substitution ; * gamma gamma(i) = 1; gamma(i) = gamma(i)/sum(j, gamma(j)); display gamma; sigma = 0.5; display sigma; gamma sigma gamma(i) = 1; gamma(i) = gamma(i)/sum(j, gamma(j)); gamma(i) 1/3 2 GAMS = $ontext variables $offtext variables d(i) Demand lambda Lagrange multiplier ; variables variable ˆ variables parameter ˆ variables d(i) lambda 19

20 3.4.7 * * $ontext equations e_ + $offtext equations e_d(i) 1st order condition for d(i) e_lambda 1st order condition for lambda ; equation equations equations variables ˆ (1) e_d(i) ˆ lambda (2) e_lambda * * e_d(i).. (sum(j, gamma(j)*(d(j))**((sigma-1)/sigma)))**(1/(sigma-1)) * gamma(i) * (d(i))**(-1/sigma) - lambda * p(i) =e= 0; e_lambda.. - (sum(i, p(i)*d(i)) - m) =e= 0;.. ; 2 ; = =e= =g= =l= 4 (1) (2) GAMS = 20

21 3.4.9 * * $ontext. e_d.d e_d d $offtext model utility_max Utility maximization / e_d.d, e_lambda.lambda /; model model / /; MCP. / e_d.d, e_lambda.lambda / e_d e_lambda 2 2 e_d d e_lambda lambda 4 1) 2) MCP NLP MCP 4 21

22 * * d.lo(i) = 0; lambda.lo = 0; * * d.l(i) = 10; lambda.l = 10; lo d lambda d lambda solve * * option mcp = path; solve utility_max using mcp; solve MCP NLP LP solve MCP solve utility_max using mcp; solve using mcp; option mcp = path; Solver MCP PATH 22

23 Solver Solver Solver Parameter results ; results(i,"price") = p(i); results("/","income") = m; results(i,"demand") = d.l(i); results("/","lambda") = lambda.l; results(i,"exp") = p(i)*d.l(i); results("sum","exp") = sum(i, results(i,"exp")); results("/","utility") = (sum(i, gamma(i)*(d.l(i))**((sigma-1)/sigma)))**(sigma/(sigma-1)); display results; results d(i) lambda results.l d.l(i) lambda.l MCP Solution Report REPORT SUMMARY 5 CGE 23

24 3.5.1 Solution Report Solution Report SOLVE SUMMARY ˆ MODEL ˆ TYPE MCP ˆ SOLVER solver MCP solver PATH SOVER STATUS MODEL STATUS STATUS 1 S O L V E S U M M A R Y MODEL utility_max TYPE MCP SOLVER PATH FROM LINE 115 **** SOLVER STATUS 1 Normal Completion **** MODEL STATUS 1 Optimal SOVER STATUS MODEL STATUS 1 S O L V E S U M M A R Y 24

25 MODEL utility_max TYPE MCP SOLVER PATH FROM LINE 115 **** SOLVER STATUS 2 Iteration Interrupt **** MODEL STATUS 6 Intermediate Infeasible utility_max.gms SolVAR VAR d Demand LOWER LEVEL UPPER MARGINAL agr INF E-7 man INF E-7 ser INF E-8 LOWER LEVEL UPPER MARGINAL VAR lambda INF. lambda Lagrange multiplier 3.1 GAMS lower value upper value level value marginal marginal value 4 LST LOWER LEVEL UPPER MARGINAL d("agr") 0 0 +INF marginal E-7=2.4569/ MCP Marginal Marginal MCP marginal d(i) e_d(i) e_d(i) e_d(i).. (sum(j, gamma(j)*(d(j))**((sigma-1)/sigma)))**(1/(sigma-1)) 25

26 4. GAMS * gamma(i) * (d(i))**(-1/sigma) - lambda * p(i) =e= 0; d(i) marginal 10 (sum(j, gamma(j)*(d(j))**((sigma-1)/sigma)))**(1/(sigma-1)) * gamma(i) * (d(i))**(-1/sigma) - lambda * p(i) = 10 d("agr") marginal e_d("agr") e_d("agr") e_d("agr") d("agr") marginal marginal 4 GAMS 5 1 min {h 1,,h n} e = i p i h i s.t. [ i γ i (h i ) σ 1 σ ] σ σ 1 = u GAMS γ i σ 3.3 u ˆ : ˆ : 26

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

鉄鋼協会プレゼン

鉄鋼協会プレゼン 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

: (EQS) /EQUATIONS V1 = 30*V F1 + E1; V2 = 25*V *F1 + E2; V3 = 16*V *F1 + E3; V4 = 10*V F2 + E4; V5 = 19*V99

: (EQS) /EQUATIONS V1 = 30*V F1 + E1; V2 = 25*V *F1 + E2; V3 = 16*V *F1 + E3; V4 = 10*V F2 + E4; V5 = 19*V99 218 6 219 6.11: (EQS) /EQUATIONS V1 = 30*V999 + 1F1 + E1; V2 = 25*V999 +.54*F1 + E2; V3 = 16*V999 + 1.46*F1 + E3; V4 = 10*V999 + 1F2 + E4; V5 = 19*V999 + 1.29*F2 + E5; V6 = 17*V999 + 2.22*F2 + E6; CALIS.

More information

CM1-GTX

CM1-GTX CM1-GTX000-2002 R R i R ii 1-1 1-2 1-3 Process Variables Process Variables Pressure Output Analog Output Sensor Temp. Lower Range Value (0%) Upper Range Value (100%) Pressure Pressure Chart Pressure

More information

28

28 y i = Z i δ i +ε i ε i δ X y i = X Z i δ i + X ε i [ ] 1 δ ˆ i = Z i X( X X) 1 X Z i [ ] 1 σ ˆ 2 Z i X( X X) 1 X Z i Z i X( X X) 1 X y i σ ˆ 2 ˆ σ 2 = [ ] y i Z ˆ [ i δ i ] 1 y N p i Z i δ ˆ i i RSTAT

More information

Introduction Purpose This training course demonstrates the use of the High-performance Embedded Workshop (HEW), a key tool for developing software for

Introduction Purpose This training course demonstrates the use of the High-performance Embedded Workshop (HEW), a key tool for developing software for Introduction Purpose This training course demonstrates the use of the High-performance Embedded Workshop (HEW), a key tool for developing software for embedded systems that use microcontrollers (MCUs)

More information

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

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

第13回:交差項を含む回帰・弾力性の推定

第13回:交差項を含む回帰・弾力性の推定 13 2018 7 27 1 / 31 1. 2. 2 / 31 y i = β 0 + β X x i + β Z z i + β XZ x i z i + u i, E(u i x i, z i ) = 0, E(u i u j x i, z i ) = 0 (i j), V(u i x i, z i ) = σ 2, i = 1, 2,, n x i z i 1 3 / 31 y i = β

More information

1

1 PalmGauss SC PGSC-5G Instruction Manual PalmGauss SC PGSC-5G Version 1.01 PalmGauss SC PGSC5G 1.... 3 2.... 3 3.... 3 3.1... 3 3.2... 3 3.3 PalmGauss... 4 3.4... 4 3.4.1 (Fig. 4)... 4 3.4.2 (Fig. 5)...

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

80 X 1, X 2,, X n ( λ ) λ P(X = x) = f (x; λ) = λx e λ, x = 0, 1, 2, x! l(λ) = n f (x i ; λ) = i=1 i=1 n λ x i e λ i=1 x i! = λ n i=1 x i e nλ n i=1 x

80 X 1, X 2,, X n ( λ ) λ P(X = x) = f (x; λ) = λx e λ, x = 0, 1, 2, x! l(λ) = n f (x i ; λ) = i=1 i=1 n λ x i e λ i=1 x i! = λ n i=1 x i e nλ n i=1 x 80 X 1, X 2,, X n ( λ ) λ P(X = x) = f (x; λ) = λx e λ, x = 0, 1, 2, x! l(λ) = n f (x i ; λ) = n λ x i e λ x i! = λ n x i e nλ n x i! n n log l(λ) = log(λ) x i nλ log( x i!) log l(λ) λ = 1 λ n x i n =

More information

Isogai, T., Building a dynamic correlation network for fat-tailed financial asset returns, Applied Network Science (7):-24, 206,

Isogai, T., Building a dynamic correlation network for fat-tailed financial asset returns, Applied Network Science (7):-24, 206, H28. (TMU) 206 8 29 / 34 2 3 4 5 6 Isogai, T., Building a dynamic correlation network for fat-tailed financial asset returns, Applied Network Science (7):-24, 206, http://link.springer.com/article/0.007/s409-06-0008-x

More information

フリーセルプロの使い方

フリーセルプロの使い方 FreeCell Pro 011 2 FreeCell Pro 2002 FCPRO.HLP FreeCell Pro6.4 6.5 FreeCell Pro 1000 http://solitairelaboratory.com/fcpro.html FreeCell Pro 2009 2 3 FreeCell Pro Microsoft FC 0 Windows 3.1 FreeCell Pr

More information

untitled

untitled 146,650 168,577 116,665 122,915 22,420 23,100 7,564 22,562 140,317 166,252 133,581 158,677 186 376 204 257 5,594 6,167 750 775 6,333 2,325 298 88 5,358 756 1,273 1,657 - - 23,905 23,923 1,749 489 1,309

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

L A TEX ver L A TEX LATEX 1.1 L A TEX L A TEX tex 1.1 1) latex mkdir latex 2) latex sample1 sample2 mkdir latex/sample1 mkdir latex/sampl

L A TEX ver L A TEX LATEX 1.1 L A TEX L A TEX tex 1.1 1) latex mkdir latex 2) latex sample1 sample2 mkdir latex/sample1 mkdir latex/sampl L A TEX ver.2004.11.18 1 L A TEX LATEX 1.1 L A TEX L A TEX tex 1.1 1) latex mkdir latex 2) latex sample1 sample2 mkdir latex/sample1 mkdir latex/sample2 3) /staff/kaede work/www/math/takase sample1.tex

More information

ˆ CGE ž ž ˆ 2 CGE 2 1 ˆ n = 1,, n n ˆ k f = 1,, k ˆ ˆ ˆ 3

ˆ CGE ž ž ˆ 2 CGE 2 1 ˆ n = 1,, n n ˆ k f = 1,, k ˆ ˆ ˆ 3 CGE 2 * Date: 2018/07/24, Verson 1.2 1 2 2 2 2.1........................................... 3 2.2.......................................... 3 2.3......................................... 4 2.4..................................

More information

X Window System X X &

X Window System X X & 1 1 1.1 X Window System................................... 1 1.2 X......................................... 1 1.3 X &................................ 1 1.3.1 X.......................... 1 1.3.2 &....................................

More information

ProVisionaire Control V3.0セットアップガイド

ProVisionaire Control V3.0セットアップガイド ProVisionaire Control V3 1 Manual Development Group 2018 Yamaha Corporation JA 2 3 4 5 NOTE 6 7 8 9 q w e r t r t y u y q w u e 10 3. NOTE 1. 2. 11 4. NOTE 5. Tips 12 2. 1. 13 3. 4. Tips 14 5. 1. 2. 3.

More information

tutorial_lc.dvi

tutorial_lc.dvi 00 Linux v.s. RT Linux v.s. ART-Linux Linux RT-Linux ART-Linux Linux kumagai@emura.mech.tohoku.ac.jp 1 1.1 Linux Yes, No.,. OS., Yes. Linux,.,, Linux., Linux.,, Linux. Linux.,,. Linux,.,, 0..,. RT-Linux

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

ProVAL Recent Projects, ProVAL Online 3 Recent Projects ProVAL Online Show Online Content on the Start Page Page 13

ProVAL Recent Projects, ProVAL Online 3 Recent Projects ProVAL Online Show Online Content on the Start Page Page 13 ProVAL Unit System Enable Recording Log Preferred Language Default File Type Default Project Path ProVAL : Unit SystemUse SI Units SI SI USCS Enable Recording Log Language Default File Type Default Project

More information

1 Stata SEM LightStone 4 SEM 4.. Alan C. Acock, Discovering Structural Equation Modeling Using Stata, Revised Edition, Stata Press 3.

1 Stata SEM LightStone 4 SEM 4.. Alan C. Acock, Discovering Structural Equation Modeling Using Stata, Revised Edition, Stata Press 3. 1 Stata SEM LightStone 4 SEM 4.. Alan C. Acock, 2013. Discovering Structural Equation Modeling Using Stata, Revised Edition, Stata Press 3. 2 4, 2. 1 2 2 Depress Conservative. 3., 3,. SES66 Alien67 Alien71,

More information

ZEMAX Nagata DLL Volume-CAD c Copyright by RIKEN All Rights Reserved : : ( )

ZEMAX Nagata DLL Volume-CAD c Copyright by RIKEN All Rights Reserved : : ( ) ZEMAX Nagata DLL Volume-CAD c Copyright by RIKEN All Rights Reserved : 23 1 26 : ( ) ii 1. Nagata DLL 1 2. Nagata 1 3. VObj 2 3. 1............................................... 2 3. 2.................................................

More information

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

¥¤¥ó¥¿¡¼¥Í¥Ã¥È·×¬¤È¥Ç¡¼¥¿²òÀÏ Âè2²ó 2 2015 4 20 1 (4/13) : ruby 2 / 49 2 ( ) : gnuplot 3 / 49 1 1 2014 6 IIJ / 4 / 49 1 ( ) / 5 / 49 ( ) 6 / 49 (summary statistics) : (mean) (median) (mode) : (range) (variance) (standard deviation) 7 / 49

More information

p *2 DSGEDynamic Stochastic General Equilibrium New Keynesian *2 2

p *2 DSGEDynamic Stochastic General Equilibrium New Keynesian *2 2 2013 1 nabe@ier.hit-u.ac.jp 2013 4 11 Jorgenson Tobin q : Hayashi s Theorem : Jordan : 1 investment 1 2 3 4 5 6 7 8 *1 *1 93SNA 1 p.180 1936 100 1970 *2 DSGEDynamic Stochastic General Equilibrium New Keynesian

More information

2.2 Sage I 11 factor Sage Sage exit quit 1 sage : exit 2 Exiting Sage ( CPU time 0m0.06s, Wall time 2m8.71 s). 2.2 Sage Python Sage 1. Sage.sage 2. sa

2.2 Sage I 11 factor Sage Sage exit quit 1 sage : exit 2 Exiting Sage ( CPU time 0m0.06s, Wall time 2m8.71 s). 2.2 Sage Python Sage 1. Sage.sage 2. sa I 2017 11 1 SageMath SageMath( Sage ) Sage Python Sage Python Sage Maxima Maxima Sage Sage Sage Linux, Mac, Windows *1 2 Sage Sage 4 1. ( sage CUI) 2. Sage ( sage.sage ) 3. Sage ( notebook() ) 4. Sage

More information

= /

= / [ ( 3)] 1 System of National Accounts SNA SNA 1993 93SNA 2008SNA 1.1, Gross Domestic Product (GDP) SNA GDP. 1 (Gross Value Added), (1) (2) (3) 1 1 1 1 1 5 100 75 1 20 30 1 100 500 1500 3000 1 500 +1500

More information

(B2) 序章 FICO Xpressの基礎

(B2) 序章 FICO Xpressの基礎 Xpress の 基 礎 Xpress-Mosel Mosel Mosel Xpress-IVE Mosel http://www.msi-jp.com/xpress/learning/square/ Mosel 1. 2 3 2 4 40 160 1kg 3kg 200kg 20 5 chess.mos Mosel mos model Chess uses "mmxprs"! We shall use

More information

A Feasibility Study of Direct-Mapping-Type Parallel Processing Method to Solve Linear Equations in Load Flow Calculations Hiroaki Inayoshi, Non-member

A Feasibility Study of Direct-Mapping-Type Parallel Processing Method to Solve Linear Equations in Load Flow Calculations Hiroaki Inayoshi, Non-member A Feasibility Study of Direct-Mapping-Type Parallel Processing Method to Solve Linear Equations in Load Flow Calculations Hiroaki Inayoshi, Non-member (University of Tsukuba), Yasuharu Ohsawa, Member (Kobe

More information

AR(1) y t = φy t 1 + ɛ t, ɛ t N(0, σ 2 ) 1. Mean of y t given y t 1, y t 2, E(y t y t 1, y t 2, ) = φy t 1 2. Variance of y t given y t 1, y t

AR(1) y t = φy t 1 + ɛ t, ɛ t N(0, σ 2 ) 1. Mean of y t given y t 1, y t 2, E(y t y t 1, y t 2, ) = φy t 1 2. Variance of y t given y t 1, y t 87 6.1 AR(1) y t = φy t 1 + ɛ t, ɛ t N(0, σ 2 ) 1. Mean of y t given y t 1, y t 2, E(y t y t 1, y t 2, ) = φy t 1 2. Variance of y t given y t 1, y t 2, V(y t y t 1, y t 2, ) = σ 2 3. Thus, y t y t 1,

More information

Int Int 29 print Int fmt tostring 2 2 [19] ML ML [19] ML Emacs Standard ML M M ::= x c λx.m M M let x = M in M end (M) x c λx.

Int Int 29 print Int fmt tostring 2 2 [19] ML ML [19] ML Emacs Standard ML M M ::= x c λx.m M M let x = M in M end (M) x c λx. 1, 2 1 m110057@shibaura-it.ac.jp 2 sasano@sic.shibaura-it.ac.jp Eclipse Visual Studio ML Standard ML Emacs 1 ( IDE ) IDE C C++ Java IDE IDE IDE IDE Eclipse Java IDE Java Standard ML 1 print (Int. 1 Int

More information

23_33.indd

23_33.indd 23 2TB 1TB 6TB 3TB 2TB 3TB 3TB 2TB 2TB 1TB 1TB 500GB 4TB 1TB 1TB 500GB 2TB 2TB 1TB 1TB RT RT RT RT RT RT RT MAC 10. 10. 10.6 10.5 MAC 10. 10. 10.6 10.5 MAC 10. 10.6 10.5 MAC 10. 10. 10.6 10.5 MAC 10. 10.6

More information

(1970) 17) V. Kucera: A Contribution to Matrix Ouadratic Equations, IEEE Trans. on Automatic Control, AC- 17-3, 344/347 (1972) 18) V. Kucera: On Nonnegative Definite Solutions to Matrix Ouadratic Equations,

More information

ECCS. ECCS,. ( 2. Mac Do-file Editor. Mac Do-file Editor Windows Do-file Editor Top Do-file e

ECCS. ECCS,. (  2. Mac Do-file Editor. Mac Do-file Editor Windows Do-file Editor Top Do-file e 1 1 2015 4 6 1. ECCS. ECCS,. (https://ras.ecc.u-tokyo.ac.jp/guacamole/) 2. Mac Do-file Editor. Mac Do-file Editor Windows Do-file Editor Top Do-file editor, Do View Do-file Editor Execute(do). 3. Mac System

More information

Compatibility list: vTESTstudio/CANoe

Compatibility list: vTESTstudio/CANoe 1.0 および 1.1 で作成されたテストユニットは テスト内で使用されるコマンドに関わらず 必ず下記の最小バージョン以降の CANoe にて実行してください vteststudio 2.0 以上で作成されたテストユニット ( 新機能を使用していない場合 ) は それぞれに応じた最小バージョン以降の CANoe にて実行してください 下記の表にて 各バージョンに対応する要件をご確認ください vteststudio

More information

磁性物理学 - 遷移金属化合物磁性のスピンゆらぎ理論

磁性物理学 - 遷移金属化合物磁性のスピンゆらぎ理論 email: takahash@sci.u-hyogo.ac.jp May 14, 2009 Outline 1. 2. 3. 4. 5. 6. 2 / 262 Today s Lecture: Mode-mode Coupling Theory 100 / 262 Part I Effects of Non-linear Mode-Mode Coupling Effects of Non-linear

More information

HARK Designer Documentation 0.5.0 HARK support team 2013 08 13 Contents 1 3 2 5 2.1.......................................... 5 2.2.............................................. 5 2.3 1: HARK Designer.................................

More information

DocuWide 2051/2051MF 補足説明書

DocuWide 2051/2051MF 補足説明書 ëêèõ . 2 3 4 5 6 7 8 9 0 2 3 4 [PLOTTER CONFIGURATION] [DocuWide 2050/205 Version 2.2.0] [SERIAL] BAUD_RATE =9600 DATA_BIT =7 STOP_BIT = PARITY =EVEN HANDSHAKE =XON/XOFF EOP_TIMEOUT_VALUE =0 OUTPUT RESPONSE

More information

²¾ÁÛ¾õ¶·É¾²ÁË¡¤Î¤¿¤á¤Î¥Ñ¥Ã¥±¡¼¥¸DCchoice ¡Ê»ÃÄêÈÇ¡Ë

²¾ÁÛ¾õ¶·É¾²ÁË¡¤Î¤¿¤á¤Î¥Ñ¥Ã¥±¡¼¥¸DCchoice ¡Ê»ÃÄêÈÇ¡Ë DCchoice ( ) R 2013 2013 11 30 DCchoice package R 2013/11/30 1 / 19 1 (CV) CV 2 DCchoice WTP 3 DCchoice package R 2013/11/30 2 / 19 (Contingent Valuation; CV) WTP CV WTP WTP 1 1989 2 DCchoice package R

More information

Stata 11 Stata ts (ARMA) ARCH/GARCH whitepaper mwp 3 mwp-083 arch ARCH 11 mwp-051 arch postestimation 27 mwp-056 arima ARMA 35 mwp-003 arima postestim

Stata 11 Stata ts (ARMA) ARCH/GARCH whitepaper mwp 3 mwp-083 arch ARCH 11 mwp-051 arch postestimation 27 mwp-056 arima ARMA 35 mwp-003 arima postestim TS001 Stata 11 Stata ts (ARMA) ARCH/GARCH whitepaper mwp 3 mwp-083 arch ARCH 11 mwp-051 arch postestimation 27 mwp-056 arima ARMA 35 mwp-003 arima postestimation 49 mwp-055 corrgram/ac/pac 56 mwp-009 dfgls

More information

講義のーと : データ解析のための統計モデリング. 第2回

講義のーと :  データ解析のための統計モデリング. 第2回 Title 講義のーと : データ解析のための統計モデリング Author(s) 久保, 拓弥 Issue Date 2008 Doc URL http://hdl.handle.net/2115/49477 Type learningobject Note この講義資料は, 著者のホームページ http://hosho.ees.hokudai.ac.jp/~kub ードできます Note(URL)http://hosho.ees.hokudai.ac.jp/~kubo/ce/EesLecture20

More information

206“ƒŁ\”ƒ-fl_“H„¤‰ZŁñ

206“ƒŁ\”ƒ-fl_“H„¤‰ZŁñ 51 206 51 63 2007 GIS 51 1 60 52 2 60 1 52 3 61 2 52 61 3 58 61 4 58 Summary 63 60 20022005 2004 40km 7,10025 2002 2005 19 3 19 GIS 2005GIS 2006 2002 2004 GIS 52 2062007 1 2004 GIS Fig.1 GIS ESRIArcView

More information

2004 Copyright by Tatsuo Minohara Programming with Mac OS X in Lambda 21 - page 2

2004 Copyright by Tatsuo Minohara Programming with Mac OS X in Lambda 21 - page 2 Living with Mac OS X in Lambda 21 2004 Copyright by Tatsuo Minohara Programming with Mac OS X in Lambda 21 - page 1 2004 Copyright by Tatsuo Minohara Programming with Mac OS X in Lambda 21 - page 2 2004

More information

MacOSXLambdaJava.aw

MacOSXLambdaJava.aw Living with Mac OS X in Lambda 21 2005 Copyright by Tatsuo Minohara Programming with Mac OS X in Lambda 21 - page 1 2005 Copyright by Tatsuo Minohara Programming with Mac OS X in Lambda 21 - page 2 2005

More information

k2 ( :35 ) ( k2) (GLM) web web 1 :

k2 ( :35 ) ( k2) (GLM) web   web   1 : 2012 11 01 k2 (2012-10-26 16:35 ) 1 6 2 (2012 11 01 k2) (GLM) kubo@ees.hokudai.ac.jp web http://goo.gl/wijx2 web http://goo.gl/ufq2 1 : 2 2 4 3 7 4 9 5 : 11 5.1................... 13 6 14 6.1......................

More information

Copyrght 7 Mzuho-DL Fnancal Technology Co., Ltd. All rghts reserved.

Copyrght 7 Mzuho-DL Fnancal Technology Co., Ltd. All rghts reserved. 766 Copyrght 7 Mzuho-DL Fnancal Technology Co., Ltd. All rghts reserved. Copyrght 7 Mzuho-DL Fnancal Technology Co., Ltd. All rghts reserved. 3 Copyrght 7 Mzuho-DL Fnancal Technology Co., Ltd. All rghts

More information

GNU Emacs GNU Emacs

GNU Emacs GNU Emacs GNU Emacs 2015 10 2 1 GNU Emacs 1 1.1....................................... 1 1.2....................................... 1 1.2.1..................................... 1 1.2.2.....................................

More information

untitled

untitled GDS-122 User Manual... 1...1... 7... 8... 9... 10... 12...13... 14...14...15...16...17...17...18... 19...19...22...24...26...29...31...32...33... 36...36...38...39...40 TABLE OF CONTENTS... 43...43...45...46...47...48...

More information

B1 Ver ( ), SPICE.,,,,. * : student : jikken. [ ] ( TarouOsaka). (, ) 1 SPICE ( SPICE. *1 OrCAD

B1 Ver ( ), SPICE.,,,,. * : student : jikken. [ ] ( TarouOsaka). (, ) 1 SPICE ( SPICE. *1 OrCAD B1 er. 3.05 (2019.03.27), SPICE.,,,,. * 1 1. 1. 1 1.. 2. : student : jikken. [ ] ( TarouOsaka). (, ) 1 SPICE ( SPICE. *1 OrCAD https://www.orcad.com/jp/resources/orcad-downloads.. 1 2. SPICE 1. SPICE Windows

More information

Exercise in Mathematics IIB IIB (Seiji HIRABA) 0.1, =,,,. n R n, B(a; δ) = B δ (a) or U δ (a) = U(a;, δ) δ-. R n,,,, ;,,, ;,,. (S, O),,,,,,,, 1 C I 2

Exercise in Mathematics IIB IIB (Seiji HIRABA) 0.1, =,,,. n R n, B(a; δ) = B δ (a) or U δ (a) = U(a;, δ) δ-. R n,,,, ;,,, ;,,. (S, O),,,,,,,, 1 C I 2 Exercise in Mathematics IIB IIB (Seiji HIRABA) 0.1, =,,,. n R n, B(a; δ) = B δ (a) or U δ (a) = U(a;, δ) δ-. R n,,,, ;,,, ;,,. (S, O),,,,,,,, 1 C I 2 C II,,,,,,,,,,, 0.2. 1 (Connectivity) 3 2 (Compactness)

More information

PDW-75MD

PDW-75MD 3-270-633-02(1) PDW-75MD 2007 Sony Corporation m a b c 2 ... 2 6 6... 8... 8 1... 10... 10... 12... 13... 13... 19... 23 2... 25... 26... 27... 27... 28... 29... 29... 29... 30... 31... 33 3... 34... 34...

More information

13 Student Software TI-Nspire CX CAS TI Web TI-Nspire CX CAS Student Software ( ) 1 Student Software 37 Student Software Nspire Nspire Nspir

13 Student Software TI-Nspire CX CAS TI Web TI-Nspire CX CAS Student Software ( ) 1 Student Software 37 Student Software Nspire Nspire Nspir 13 Student Software TI-Nspire CX CAS TI Web TI-Nspire CX CAS Student Software ( ) 1 Student Software 37 Student Software 37.1 37.1 Nspire Nspire Nspire 37.1: Student Software 13 2 13 Student Software esc

More information

.. est table TwoSLS1 TwoSLS2 GMM het,b(%9.5f) se Variable TwoSLS1 TwoSLS2 GMM_het hi_empunion totchr

.. est table TwoSLS1 TwoSLS2 GMM het,b(%9.5f) se Variable TwoSLS1 TwoSLS2 GMM_het hi_empunion totchr 3,. Cameron and Trivedi (2010) Microeconometrics Using Stata, Revised Edition, Stata Press 6 Linear instrumentalvariables regression 9 Linear panel-data models: Extensions.. GMM xtabond., GMM(Generalized

More information

help gem gem gem my help

help gem gem gem my help hikiutils 1234 2017 3 1 1 6 1.0.1 help gem................... 7 gem.................................... 7 gem................................... 7 my help.................................. 7 my help......................

More information

EQUIUM EQUIUM S5010 1 1 1 2 3 4 2 1 2 3 2 3 1 2 3 4 5 6 7 8 4 1 2 3 5 1 2 1 2 3 4 5 6 7 6 1 3 7 1 2 3 4 5 6 7 8 9 10 11 1 2 3 4 4 5 6 7 8 1 1 2 3 4 10 1 11 12 1 13 14 1 15 1 16 1 1 17 1 2 18 3 1 4 5 19

More information

SR-X526R1 サーバ収容スイッチ ご利用にあたって

SR-X526R1 サーバ収容スイッチ ご利用にあたって SR-X526R1 P3NK-3432-05Z0 526R1 V01 SR-X526R1 V01 2009 10 2010 4 2 2011 5 3 2012 3 4 2012 11 5 Microsoft Corporation Copyright FUJITSU LIMITED 2009-2012 2 SR-X526R1 V01...2...5...5...5...5...6...7...8...8...11...11...11...11...11...11...12...12...12...12...13...13...13

More information

4.9 Hausman Test Time Fixed Effects Model vs Time Random Effects Model Two-way Fixed Effects Model

4.9 Hausman Test Time Fixed Effects Model vs Time Random Effects Model Two-way Fixed Effects Model 1 EViews 5 2007 7 11 2010 5 17 1 ( ) 3 1.1........................................... 4 1.2................................... 9 2 11 3 14 3.1 Pooled OLS.............................................. 14

More information

経済原論

経済原論 4 4-1 1 2,000 4-2 GNP GNP: Gross National Products GDPGross Domestic Products 1 867,922 389,741 478,182 12,832 5,837 6,996 1,303 666 636 300,836 189,909 110,927 33,547 19,862 13,685 2,812 1,710 1,103 8,719

More information

講義のーと : データ解析のための統計モデリング. 第3回

講義のーと :  データ解析のための統計モデリング. 第3回 Title 講義のーと : データ解析のための統計モデリング Author(s) 久保, 拓弥 Issue Date 2008 Doc URL http://hdl.handle.net/2115/49477 Type learningobject Note この講義資料は, 著者のホームページ http://hosho.ees.hokudai.ac.jp/~kub ードできます Note(URL)http://hosho.ees.hokudai.ac.jp/~kubo/ce/EesLecture20

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

Emacs ML let start ::= exp (1) exp ::= (2) fn id exp (3) ::= (4) (5) ::= id (6) const (7) (exp) (8) let val id = exp in

Emacs ML let start ::= exp (1) exp ::= (2) fn id exp (3) ::= (4) (5) ::= id (6) const (7) (exp) (8) let val id = exp in Emacs, {l06050,sasano}@sic.shibaura-it.ac.jp Eclipse Visual Studio Standard ML Haskell Emacs 1 Eclipse Visual Studio variable not found LR(1) let Emacs Emacs Emacs Java Emacs JDEE [3] JDEE Emacs Java 2

More information

aisatu.pdf

aisatu.pdf 1 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 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71

More information

Q&A目次.PDF

Q&A目次.PDF LSM5Pascal Q A Q1 Timeseries Q2 Timeseries Q3 Q4 Q5 1 Q6 Image Browser Q7 Q8 Q9 Acquire Time Series Manual Time 1 Unit sec 1 7 Cycle Delay n n 1 Time Interval n n 1 Options Settings TimeSeries Page 40

More information

2

2 L C -24K 9 L C -22K 9 2 3 4 5 6 7 8 9 10 11 12 11 03 AM 04 05 0 PM 1 06 1 PM 07 00 00 08 2 PM 00 4 PM 011 011 021 041 061 081 051 071 1 2 4 6 8 5 7 00 00 00 00 00 00 00 00 30 00 09 00 15 10 3 PM 45 00

More information

2011 Future University Hakodate 2011 System Information Science Practice Group Report Project Name Applied Embedded System Group Name Radio-controlled model helicopter Group /Project No. 15-B /Project

More information

A Higher Weissenberg Number Analysis of Die-swell Flow of Viscoelastic Fluids Using a Decoupled Finite Element Method Iwata, Shuichi * 1/Aragaki, Tsut

A Higher Weissenberg Number Analysis of Die-swell Flow of Viscoelastic Fluids Using a Decoupled Finite Element Method Iwata, Shuichi * 1/Aragaki, Tsut A Higher Weissenberg Number Analysis of Die-swell Flow of Viscoelastic Fluids Using a Decoupled Finite Element Method Iwata, Shuichi * 1/Aragaki, Tsutomu * 1/Mori, Hideki * 1 Ishikawa, Satoshi * 1/Shin,

More information

CGE 12 * Date: 2018/07/24, Verson 1.1.1 1 2 2 2 3 Armngton 4 3.1 Armngton.................................. 4 3.2 Armngton................................ 5 3.3..........................................

More information

DL1620/DL1640/DL1640L ディジタルオシロスコープ ユーザーズマニュアル

DL1620/DL1640/DL1640L ディジタルオシロスコープ ユーザーズマニュアル DL1620/DL1640/DL1640L ディジタルオシロスコープ ユーザーズマニュアル IM 701610-01 8 版 ユーザー登録のお願い 今後の新製品情報を確実にお届けするために お客様にユーザー登録をお願いしております 下記 URL の ユーザー登録 のページで ご登録いただけます http://www.yokogawa.co.jp/tm/ 計測相談のご案内 当社では お客様に正しい計測をしていただけるよう

More information

101NEO資料

101NEO資料 Version 1.5 Tutorial PDF ... 1. PDF... 2 -.... 2 -. PDF... 2 -.... 4 -. HTML... 4 -. PDF... 5 -.... 7 -.... 8 Tutorial PDF Tutorial PDF - Page 1 Tutorial PDF - Page 2 Tutorial PDF - Page 3 Tutorial PDF

More information

program.dvi

program.dvi 2001.06.19 1 programming semi ver.1.0 2001.06.19 1 GA SA 2 A 2.1 valuename = value value name = valuename # ; Fig. 1 #-----GA parameter popsize = 200 mutation rate = 0.01 crossover rate = 1.0 generation

More information

R による統計解析入門

R による統計解析入門 R May 31, 2016 R R R R Studio GUI R Console R Studio PDF URL http://ruby.kyoto-wu.ac.jp/konami/text/r R R Console Windows, Mac GUI Unix R Studio GUI R version 3.2.3 (2015-12-10) -- "Wooden Christmas-Tree"

More information

チュートリアル:ノンパラメトリックベイズ

チュートリアル:ノンパラメトリックベイズ { x,x, L, xn} 2 p( θ, θ, θ, θ, θ, } { 2 3 4 5 θ6 p( p( { x,x, L, N} 2 x { θ, θ2, θ3, θ4, θ5, θ6} K n p( θ θ n N n θ x N + { x,x, L, N} 2 x { θ, θ2, θ3, θ4, θ5, θ6} log p( 6 n logθ F 6 log p( + λ θ F θ

More information

Jorgenson F, L : L: Inada lim F =, lim F L = k L lim F =, lim F L = 2 L F >, F L > 3 F <, F LL < 4 λ >, λf, L = F λ, λl 5 Y = Const a L a < α < CES? C

Jorgenson F, L : L: Inada lim F =, lim F L = k L lim F =, lim F L = 2 L F >, F L > 3 F <, F LL < 4 λ >, λf, L = F λ, λl 5 Y = Const a L a < α < CES? C 27 nabe@ier.hit-u.ac.jp 27 4 3 Jorgenson Tobin q : Hayashi s Theorem Jordan Saddle Path. GDP % GDP 2. 3. 4.. Tobin q 2 2. Jorgenson F, L : L: Inada lim F =, lim F L = k L lim F =, lim F L = 2 L F >, F

More information

CDMA ALOHA方式における最適アクセス制御方式の研究

CDMA ALOHA方式における最適アクセス制御方式の研究 OHP CDMA ALOHA 1999 2 Copyrighted Hiraku Okada 1999 all rights reserved. CDMA ALOHA 1. 2. CDMA ALOHA 3. 4. 5. 5000 4000 3000 2000 1000 PHS 1997 2005 2010 1,115 4,136 4,459 287 1,929 2,755 0 87 88 89 90

More information

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

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 1 1 [1] 1.1 1.1. TS 9 1/3 RDA 1/4 RDA 1 1/2 1/4 50 65 3 2 1/15 RDA 2/15 RDA 1/6 RDA 1 1/6 1 1960 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 1 + 2 1/4 RDA 1 6 x 1 1 4 1 1/6 1 x 1 3

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

untitled

untitled 1 2 ...1 ...1...3...4...4...4...5...7...10 3-1...10 3-2...10 3-3...11 3-4 Windows2000 / XP...11 3-5 PC...13...14 4-1 SYSTEM...14 4-2 DISPLAY...15...17...20...22...23...24...25...25...25...25...26...28

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

π, R { 2, 0, 3} , ( R),. R, [ 1, 1] = {x R 1 x 1} 1 0 1, [ 1, 1],, 1 0 1,, ( 1, 1) = {x R 1 < x < 1} [ 1, 1] 1 1, ( 1, 1), 1, 1, R A 1

π, R { 2, 0, 3} , ( R),. R, [ 1, 1] = {x R 1 x 1} 1 0 1, [ 1, 1],, 1 0 1,, ( 1, 1) = {x R 1 < x < 1} [ 1, 1] 1 1, ( 1, 1), 1, 1, R A 1 sup inf (ε-δ 4) 2018 1 9 ε-δ,,,, sup inf,,,,,, 1 1 2 3 3 4 4 6 5 7 6 10 6.1............................................. 11 6.2............................... 13 1 R R 5 4 3 2 1 0 1 2 3 4 5 π( R) 2 1 0

More information

.I.v e pmd

.I.v e pmd Structural Design for Curved Panels by Laminated Composite Materials (Identification of Lamination Parameters Using Modal Testing Method ) Tetsuya NARISAWA, Shohei IWATA Abstract - Using a modal testing

More information

JFE.dvi

JFE.dvi ,, Department of Civil Engineering, Chuo University Kasuga 1-13-27, Bunkyo-ku, Tokyo 112 8551, JAPAN E-mail : atsu1005@kc.chuo-u.ac.jp E-mail : kawa@civil.chuo-u.ac.jp SATO KOGYO CO., LTD. 12-20, Nihonbashi-Honcho

More information

講義のーと : データ解析のための統計モデリング. 第5回

講義のーと :  データ解析のための統計モデリング. 第5回 Title 講義のーと : データ解析のための統計モデリング Author(s) 久保, 拓弥 Issue Date 2008 Doc URL http://hdl.handle.net/2115/49477 Type learningobject Note この講義資料は, 著者のホームページ http://hosho.ees.hokudai.ac.jp/~kub ードできます Note(URL)http://hosho.ees.hokudai.ac.jp/~kubo/ce/EesLecture20

More information

Rによる計量分析:データ解析と可視化 - 第3回 Rの基礎とデータ操作・管理

Rによる計量分析:データ解析と可視化 - 第3回  Rの基礎とデータ操作・管理 R 3 R 2017 Email: gito@eco.u-toyama.ac.jp October 23, 2017 (Toyama/NIHU) R ( 3 ) October 23, 2017 1 / 34 Agenda 1 2 3 4 R 5 RStudio (Toyama/NIHU) R ( 3 ) October 23, 2017 2 / 34 10/30 (Mon.) 12/11 (Mon.)

More information

1 I EViews View Proc Freeze

1 I EViews View Proc Freeze EViews 2017 9 6 1 I EViews 4 1 5 2 10 3 13 4 16 4.1 View.......................................... 17 4.2 Proc.......................................... 22 4.3 Freeze & Name....................................

More information

数学論文の書き方 - 第1回:入門編

数学論文の書き方 - 第1回:入門編 LAT E X 2007 6 19 LAT E X 1 2 L A T E X 3 4 L A T E X 5 LAT E X 1 2 L A T E X 3 4 L A T E X 5 LAT E X 1 2 L A T E X 3 4 L A T E X 5 LAT E X 1 2 L A T E X 3 4 L A T E X 5 LAT E X 1 2 L A T E X 3 4 L A T

More information

SR-X324T1/316T1 サーバ収容スイッチ ご利用にあたって

SR-X324T1/316T1 サーバ収容スイッチ ご利用にあたって SR-X324T1/316T1 P3NK-4092-04Z0 324T1/316T1 V01 SR-X324T1/316T1 V01 2010 4 2011 5 2 2012 3 3 2012 11 4 Microsoft Corporation Copyright FUJITSU LIMITED 2010-2012 2 SR-X324T1/316T1 V01...2...5...5...5...5...6...7...8...8...11...11...11...11...11...11...12...12...12...12...12...13...13

More information

VM-53PA1取扱説明書

VM-53PA1取扱説明書 VM-53PA1 VM-53PA1 VM-53 VM-53A VM-52 VM-52A VM-53PA1 VM-53PA1 VM-53A CF i ii VM-53 VM-53A VM-52 VM-52A CD-ROM iii VM-53PA1 Microsoft Windows 98SE operating system Microsoft Windows 2000 operating system

More information