OS Windows Vista Windows XP PowerPoint2003 Word2003 (a Test No. OS 1 Windows Vista PPT Windows Vista Word Windows XP PPT Windows XP

Size: px
Start display at page:

Download "OS Windows Vista Windows XP PowerPoint2003 Word2003 (a Test No. OS 1 Windows Vista PPT2003 2 Windows Vista Word2003 3 Windows XP PPT2003 4 Windows XP"

Transcription

1 C ommunication In embedded softwares, designing a test process that considers how to perform tests in an efficient way, has been an important problem in a whole development process. By the software test, we are to conduct those test cases that verify if actions of multiple functions simultaneously work correctly and to make the ratio of coverage of test cases as much as possible. Covering all the possible test cases, however, is usually impossible or close to it, or requires great amount of costs. As a solution to this, a design method of tests, called the orthogonal array, is known to provide an efficient and well-balanced coverage. In this paper, we give an introductory exposition of the orthogonal arrays. 1 [1] V, CATS Embedded Software Laboratory m M m m [10] 70 90% 90 99% 1

2 OS Windows Vista Windows XP PowerPoint2003 Word2003 (a Test No. OS 1 Windows Vista PPT Windows Vista Word Windows XP PPT Windows XP Word2003 (b 1: OS (a (b L 4 Test No. OS 1 Windows Vista PPT Windows Vista Word Windows XP PPT Windows XP Word2003 2: 1(b Power- Point2003 Word2003 PowerPoint2007, Word2007 PowerPoint2000, Word2000 1(a = 8 100% m 100% 2 L 4 1(b OS= Windows Vista, PPT2003, OS OS 100% 1(b 2 2 2

3 2 2 7/8 = 87.5% 100% 2.2 S = {0, 1,, s 1}, s N S s [9] S N R t, λ N t (0 t R t λ t, λ A (intensity (index λ (1 λ = N/s t s t S t L 4 (2 3, L 8 (2 7. (a,(b L 4 (N = 4, R = 3, L 8 (N = 8, R = 7 L 4 AB, AC, BC (0, 0, (0, 1, (1, 0, (1, 1 L 8 AB, BC,, FG L 4 L 4 [1] 2.3 F j, j = 1,, J S j S j 1 F j +1 N N J (2 K = 1 + (S j 1 j=1 3

4 1: (al 4 (b L 8 N (3 N log N K x x (2 S j S (4 K = 1 + (S 1J S = 2 K = 1 + J (2 J J + 1 K F J+1 S J+1 1 S 1 S = (5 J+1C m J C m = J C m 1 J = 32 (m = 2 32 C 1 = 32, (m = 3 32 C 2 = 496 J m 3 N N = S L N (S r N N 3.1 N N = 2 L 4 L 8 L 8 L 16 N 3 {0, 1} A, B (XOR A B (6 A B = Ā B + A B Ā = (A. 1 if A = B = 0 if A B, L 4 L 8 4

5 2: L 4 L 8 ; (i, (ii, (iii L 4 L 8 D = c = t [ ] A = a, B = b, C = ab, (i. L D = c 1 = 1 2 = 1 E = ac A = a, B = b, C = ab, D = c, E = ac 3 = 2 4 = 2 8 = 4 L 8 A = a, D = c, E = ac (ii. t [ ] D (iii. 5 E, F, G (A (D = (E (B (D = (F (C (D = (G XOR 2 (i-(iii L 4 L 8 L 8 L 16 L 16 L 32 XOR 2 L 8 a, b, ab a, b ab A = a, B = b, C = ab c = a ac D = c, A = a, E = ac D = c B = b, F = bc c = b bc B = b, F = bc c = b bc D = c, B = b, F = bc 3.2 t = 2 2 L 8 A = a, B = b, C = ab ABC (ABC, D (000, 0, (000, 1,, (110, 1 (ABC, E λ = 1 5

6 3: L 8 (2 7 4:

7 B = b, C = ab, D = c BCD BCD = 001 (BCD, E, (BCD, F, (BCD, G (001, 1 (BCD, A (001, 0 λ , [7] (a ABC(1/2/3 A B C [8] 3.2 (1,2,3 (4,8, (1,2,3 (4,8,12 (5,10,15 (6,11,13 (7,9,14 N (7 ( + ( 1 + ( 2 + < N N = 4 L 4 (2 3 (8 ( {a, b} 2 + ( {ab} 1 = 3 < 4 L 8 (2 7 (9 ( {a, b, c} 3 + ( {ab, bc, ac} 3 = 3 C 2 + ({abc} 1 = 3 C 3 = 7 < 8 L 16 (2 15 (2 1 3 = 3 ( (b {a, b, c, d} 4 + ( {ab, ac, ad, bc, bd, cd} 6 = 4 C 2 (10 + ({abc, acd, bcd, abd} 4 = (2 1 7 = 7 4 C 3 (c 16 + ({abcd} 1 = 4 C = 15 < 16 6 L 16 ( L 16 (4 5 4 ON 7

8 5: L 16 (2 15 L 16 (4 5 8

9 6: L 16 (2 15 L 16 (4 5 9

10 N (s j,n s j (s i,n s i n=1 r C r 1 r R s j = p r (1/N N n=1 (11 C r = s j,n a r b r s j = s i s. t = 2 t 3 [1]. p r : r a r : r b r : r. (r = 1 (r = 2 100% (r = 3 r 5 N 2 (s j,n, s i,n = {(0, 0, (0, 1,, (s 1, s 1} s 2 λ N (s j,n s(s i,n s n=1 [ ] = λ (0 s(0 s + + (s 1 s(s 1 s s j,n = 0 s 1 [ { } = λ (0 s(0 s + + (0 s(s 1 s + { } ] + (s 1 s(0 s + + (s 1 s(s 1 s. { } (0 s(0 s+ +(0 s(s 1 s 0 { } s j,n = 1,, s 1 { } 0 A [1] Hayst [2] BP j s j,n, n = 1,, N j i [3] BP

11 C ommunication [4] 秋 山 直 交 表 を 活 用 し た ソ フ ト ウェア テ ス ト の 効 率 化 HAYST 法 の 活 用 JaSST 05, [5] 山本 秋山 直交表を利用したソフトウェアテス ト HAYST 法 JaSST 04, [6] 高 橋 他 組 合 わ せ テ ス ト を 用 い た ソ フ ト ウェア テ ス ト と そ の 限 界 22 spc/5/5 2 1 report.pdf [7] 田口 小西 直交表による実験のわりつけ方 例題と演習 日科技連出版 [8] 渡辺 組込みソフトウェア開発課題への挑戦 網 羅度, キャッツ株式会社 資料, [9] A. S. Hedayat, N. J. A. Sloane and J. Stuflen, Orthogonal Arrays: Theory and Applications, Springer, [10] D. R. Kuhn and D. R. Wallace, A. M. Gallo. Software Fault Interactions and Implications for Software Testing, IEEE Trans. Software Eng., vol. 30, pp , 川崎 秀二 1991 年 電気通信大学 電気 通信 通信工 卒 1993 年慶 大 理工 電気 修士 1996 年 慶大 理工 数理 単位取得退 学 博士 工学 日本数学 会会員 現在 キャッツ株式会社 組込みソフトウェ ア研究所 研究員 11 Copyright CATS 2009 [2009 年 6 月 24 日]

48 * *2

48 * *2 374-1- 17 2 1 1 B A C A C 48 *2 49-2- 2 176 176 *2 -3- B A A B B C A B A C 1 B C B C 2 B C 94 2 B C 3 1 6 2 8 1 177 C B C C C A D A A B A 7 B C C A 3 C A 187 187 C B 10 AC 187-4- 10 C C B B B B A B 2 BC

More information

vol.31_H1-H4.ai

vol.31_H1-H4.ai http://www.jmdp.or.jp/ http://www.donorsnet.jp/ CONTENTS 29 8,715 Vol. 31 2 3 ac ad bc bd ab cd 4 Point! Point! Point! 5 Point! Point! 6 7 314 611 122 4 125 2 72 2 102 3 2 260 312 0 3 14 3 14 18 14 60

More information

1 (1) vs. (2) (2) (a)(c) (a) (b) (c) 31 2 (a) (b) (c) LENCHAR

1 (1) vs. (2) (2) (a)(c) (a) (b) (c) 31 2 (a) (b) (c) LENCHAR () 601 1 () 265 OK 36.11.16 20 604 266 601 30.4.5 (1) 91621 3037 (2) 20-12.2 20-13 (3) ex. 2540-64 - LENCHAR 1 (1) vs. (2) (2) 605 50.2.13 41.4.27 10 10 40.3.17 (a)(c) 2 1 10 (a) (b) (c) 31 2 (a) (b) (c)

More information

特集_02-03.Q3C

特集_02-03.Q3C 2-3 A Development of Experimental Environments "SIOS" and "VM Nebula" for Reproducing Internet Security Incidents MIWA Shinsuke and OHNO Hiroyuki Security incidents are growing significantly on a daily

More information

卒業論文はMS-Word により作成して下さい

卒業論文はMS-Word により作成して下さい () 2007 2006 KO-MA KO-MA 2006 6 2007 6 KO-MA KO-MA 256 :117:139 8 40 i 23 50 2008 3 8 NPO 7 KO-MA( KO-MA ) 1) (1945-) KO-MA KO-MA AD 2007 1 29 2007 6 13 20 KO-MA 2006 6 KO-MA KO-MA ii KJ 11 KO-MA iii KO-MA

More information

Ł½’¬24flNfix+3mm-‡½‡¹724

Ł½’¬24flNfix+3mm-‡½‡¹724 571 0.0 31,583 2.0 139,335 8.9 310,727 19.7 1,576,352 100.0 820 0.1 160,247 10.2 38,5012.4 5,7830.4 9,5020.6 41,7592.7 77,8174.9 46,425 2.9 381,410 24.2 1,576,352 100.0 219,332 13.9 132,444 8.4 173,450

More information

24_ChenGuang_final.indd

24_ChenGuang_final.indd Abstract If rapid economic development is sure to bring hierarchical consumption (M. Ozawa), the solution can only be to give property to all of the people in the country. In China, economic development

More information

4.1 % 7.5 %

4.1 % 7.5 % 2018 (412837) 4.1 % 7.5 % Abstract Recently, various methods for improving computial performance have been proposed. One of these various methods is Multi-core. Multi-core can execute processes in parallel

More information

システム開発プロセスへのデザイン技術適用の取組み~HCDからUXデザインへ~

システム開発プロセスへのデザイン技術適用の取組み~HCDからUXデザインへ~ HCDUX Approach of Applying Design Technology to System Development Process: From HCD to UX Design 善方日出夫 小川俊雄 あらまし HCDHuman Centered Design SE SDEMHCDUIUser Interface RIARich Internet ApplicationUXUser

More information

1 1 tf-idf tf-idf i

1 1 tf-idf tf-idf i 14 A Method of Article Retrieval Utilizing Characteristics in Newspaper Articles 1055104 2003 1 31 1 1 tf-idf tf-idf i Abstract A Method of Article Retrieval Utilizing Characteristics in Newspaper Articles

More information

第1部 一般的コメント

第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 information

a (a + ), a + a > (a + ), a + 4 a < a 4 a,,, y y = + a y = + a, y = a y = ( + a) ( x) + ( a) x, x y,y a y y y ( + a : a ) ( a : a > ) y = (a + ) y = a

a (a + ), a + a > (a + ), a + 4 a < a 4 a,,, y y = + a y = + a, y = a y = ( + a) ( x) + ( a) x, x y,y a y y y ( + a : a ) ( a : a > ) y = (a + ) y = a [] a x f(x) = ( + a)( x) + ( a)x f(x) = ( a + ) x + a + () x f(x) a a + a > a + () x f(x) a (a + ) a x 4 f (x) = ( + a) ( x) + ( a) x = ( a + a) x + a + = ( a + ) x + a +, () a + a f(x) f(x) = f() = a

More information

Q [4] 2. [3] [5] ϵ- Q Q CO CO [4] Q Q [1] i = X ln n i + C (1) n i i n n i i i n i = n X i i C exploration exploitation [4] Q Q Q ϵ 1 ϵ 3. [3] [5] [4]

Q [4] 2. [3] [5] ϵ- Q Q CO CO [4] Q Q [1] i = X ln n i + C (1) n i i n n i i i n i = n X i i C exploration exploitation [4] Q Q Q ϵ 1 ϵ 3. [3] [5] [4] 1,a) 2,3,b) Q ϵ- 3 4 Q greedy 3 ϵ- 4 ϵ- Comparation of Methods for Choosing Actions in Werewolf Game Agents Tianhe Wang 1,a) Tomoyuki Kaneko 2,3,b) Abstract: Werewolf, also known as Mafia, is a kind of

More information

23 Fig. 2: hwmodulev2 3. Reconfigurable HPC 3.1 hw/sw hw/sw hw/sw FPGA PC FPGA PC FPGA HPC FPGA FPGA hw/sw hw/sw hw- Module FPGA hwmodule hw/sw FPGA h

23 Fig. 2: hwmodulev2 3. Reconfigurable HPC 3.1 hw/sw hw/sw hw/sw FPGA PC FPGA PC FPGA HPC FPGA FPGA hw/sw hw/sw hw- Module FPGA hwmodule hw/sw FPGA h 23 FPGA CUDA Performance Comparison of FPGA Array with CUDA on Poisson Equation (lijiang@sekine-lab.ei.tuat.ac.jp), (kazuki@sekine-lab.ei.tuat.ac.jp), (takahashi@sekine-lab.ei.tuat.ac.jp), (tamukoh@cc.tuat.ac.jp),

More information

1 [1, 2, 3, 4, 5, 8, 9, 10, 12, 15] The Boston Public Schools system, BPS (Deferred Acceptance system, DA) (Top Trading Cycles system, TTC) cf. [13] [

1 [1, 2, 3, 4, 5, 8, 9, 10, 12, 15] The Boston Public Schools system, BPS (Deferred Acceptance system, DA) (Top Trading Cycles system, TTC) cf. [13] [ Vol.2, No.x, April 2015, pp.xx-xx ISSN xxxx-xxxx 2015 4 30 2015 5 25 253-8550 1100 Tel 0467-53-2111( ) Fax 0467-54-3734 http://www.bunkyo.ac.jp/faculty/business/ 1 [1, 2, 3, 4, 5, 8, 9, 10, 12, 15] The

More information

2 K D 3

2 K D 3 Abstruct This paper is a study of Wa-kun and the colloquial vocabulary of the Tang Dynasty novel known as You Xian Ku. You Xian Ku reflects not only the richness in the Literature of the Tang Dynasty -

More information

1 1 3 ABCD ABD AC BD E E BD 1 : 2 (1) AB = AD =, AB AD = (2) AE = AB + (3) A F AD AE 2 = AF = AB + AD AF AE = t AC = t AE AC FC = t = (4) ABD ABCD 1 1

1 1 3 ABCD ABD AC BD E E BD 1 : 2 (1) AB = AD =, AB AD = (2) AE = AB + (3) A F AD AE 2 = AF = AB + AD AF AE = t AC = t AE AC FC = t = (4) ABD ABCD 1 1 ABCD ABD AC BD E E BD : () AB = AD =, AB AD = () AE = AB + () A F AD AE = AF = AB + AD AF AE = t AC = t AE AC FC = t = (4) ABD ABCD AB + AD AB + 7 9 AD AB + AD AB + 9 7 4 9 AD () AB sin π = AB = ABD AD

More information

SOM SOM(Self-Organizing Maps) SOM SOM SOM SOM SOM SOM i

SOM SOM(Self-Organizing Maps) SOM SOM SOM SOM SOM SOM i 20 SOM Development of Syllabus Vsualization System using Spherical Self-Organizing Maps 1090366 2009 3 5 SOM SOM(Self-Organizing Maps) SOM SOM SOM SOM SOM SOM i Abstract Development of Syllabus Vsualization

More information

新たな基礎年金制度の構築に向けて

新たな基礎年金制度の構築に向けて [ ] 1 1 4 60 1 ( 1 ) 1 1 1 4 1 1 1 1 1 4 1 2 1 1 1 ( ) 2 1 1 1 1 1 1 1996 1 3 4.3(2) 1997 1 65 1 1 2 1/3 ( )2/3 1 1/3 ( ) 1 1 2 3 2 4 6 2.1 1 2 1 ( ) 13 1 1 1 1 2 2 ( ) ( ) 1 ( ) 60 1 1 2.2 (1) (3) ( 9

More information

n 2 n (Dynamic Programming : DP) (Genetic Algorithm : GA) 2 i

n 2 n (Dynamic Programming : DP) (Genetic Algorithm : GA) 2 i 15 Comparison and Evaluation of Dynamic Programming and Genetic Algorithm for a Knapsack Problem 1040277 2004 2 25 n 2 n (Dynamic Programming : DP) (Genetic Algorithm : GA) 2 i Abstract Comparison and

More information

20 Method for Recognizing Expression Considering Fuzzy Based on Optical Flow

20 Method for Recognizing Expression Considering Fuzzy Based on Optical Flow 20 Method for Recognizing Expression Considering Fuzzy Based on Optical Flow 1115084 2009 3 5 3.,,,.., HCI(Human Computer Interaction),.,,.,,.,.,,..,. i Abstract Method for Recognizing Expression Considering

More information

28 Horizontal angle correction using straight line detection in an equirectangular image

28 Horizontal angle correction using straight line detection in an equirectangular image 28 Horizontal angle correction using straight line detection in an equirectangular image 1170283 2017 3 1 2 i Abstract Horizontal angle correction using straight line detection in an equirectangular image

More information

22 2016 3 82 1 1

22 2016 3 82 1 1 : 81 1 2 3 4 1990 2015 22 2016 3 82 1 1 83 : 2 5 84 22 2016 3 6 3 7 8 2 : 85 1 S 12 S S S S S S S S S 86 22 2016 3 S S S S S S S S 2 S S : 87 S 9 3 2 1 10 S 11 22 2016 3 88 1 : 89 1 2 3 4 90 22 2016 3

More information

行列代数2010A

行列代数2010A a ij i j 1) i +j i, j) ij ij 1 j a i1 a ij a i a 1 a j a ij 1) i +j 1,j 1,j +1 a i1,1 a i1,j 1 a i1,j +1 a i1, a i +1,1 a i +1.j 1 a i +1,j +1 a i +1, a 1 a,j 1 a,j +1 a, ij i j 1,j 1,j +1 ij 1) i +j a

More information

04年度LS民法Ⅰ教材改訂版.PDF

04年度LS民法Ⅰ教材改訂版.PDF ?? A AB A B C AB A B A B A B A A B A 98 A B A B A B A B B A A B AB AB A B A BB A B A B A B A B A B A AB A B B A B AB A A C AB A C A A B A B B A B A B B A B A B B A B A B A B A B A B A B A B

More information

1 12 ( )150 ( ( ) ) x M x 0 1 M 2 5x 2 + 4x + 3 x 2 1 M x M 2 1 M x (x + 1) 2 (1) x 2 + x + 1 M (2) 1 3 M (3) x 4 +

1 12 ( )150 ( ( ) ) x M x 0 1 M 2 5x 2 + 4x + 3 x 2 1 M x M 2 1 M x (x + 1) 2 (1) x 2 + x + 1 M (2) 1 3 M (3) x 4 + ( )5 ( ( ) ) 4 6 7 9 M M 5 + 4 + M + M M + ( + ) () + + M () M () 4 + + M a b y = a + b a > () a b () y V a () V a b V n f() = n k= k k () < f() = log( ) t dt log () n+ (i) dt t (n + ) (ii) < t dt n+ n

More information

29 jjencode JavaScript

29 jjencode JavaScript Kochi University of Technology Aca Title jjencode で難読化された JavaScript の検知 Author(s) 中村, 弘亮 Citation Date of 2018-03 issue URL http://hdl.handle.net/10173/1975 Rights Text version author Kochi, JAPAN http://kutarr.lib.kochi-tech.ac.jp/dspa

More information

140 120 100 80 60 40 20 0 115 107 102 99 95 97 95 97 98 100 64 72 37 60 50 53 50 36 32 18 H18 H19 H20 H21 H22 H23 H24 H25 H26 H27 1 100 () 80 60 40 20 0 1 19 16 10 11 6 8 9 5 10 35 76 83 73 68 46 44 H11

More information

人文学部研究年報12号.indb

人文学部研究年報12号.indb 制御理論を用いた在庫管理モデルの一解析 * リードタイムが変動する場合 西平直史 1 [1, 2, 3, 4] [1] [2, 3, 4] 1 1 3 2 [2] = +w(k) d(k) (1) 2014 12 1 1 制御理論を用いた在庫管理モデルの一解析 西平 k w(k) d(k) L k u(k) (2) (1) 2 w(k) =u(k L) (2) = +u(k L) d(k) (3)

More information

separation encounter initiation fulfillment return PR CM FAX J DA S J Nicholson, Nigel (1990) The transition cycle: Causes, outcomes, processes and forms In Shirley Fisher and Cary L. Cooper

More information

2

2 1 2 10 14 945 3000 2012 3 10 4 5 6 7 8 9 10 11 12 2011 11 21 12301430 (1215 ) 13 6 27 17 () ( ) ( ) (112360) 2 (1157) (119099) ((11861231) )( ) (11641205) 3 (1277) 3 4 (1558) (1639)() 12 (1699)( ) 7 (1722)

More information

立ち読みページ

立ち読みページ 1 Word 1-1 33 1-2 45 1-3 54 1-4 Office Word 2007 66 1 1-1 1-1-1 33 Word FAX 1 1 2 1 Office Windows 7 Windows Vista Windows XP 3 4 5 6 34 2 Office Microsoft Office Online 35 1-1-2 1 2 3 4 5 6 2 1 1 36 37

More information

三税協力の実質化 : 住民税の所得税閲覧に関する国税連携の効果

三税協力の実質化 : 住民税の所得税閲覧に関する国税連携の効果 Kwansei Gakuin University Rep Title 三 税 協 力 の 実 質 化 : 住 民 税 の 所 得 税 閲 覧 に 関 する 国 税 連 携 の 効 果 Author(s) Suzuki, Ushio, 鈴 木, 潮 Citation 経 済 学 論 究, 65(4): 175-197 Issue Date 2012-03-20 URL http://hdl.handle.net/10236/9133

More information

EQUIVALENT TRANSFORMATION TECHNIQUE FOR ISLANDING DETECTION METHODS OF SYNCHRONOUS GENERATOR -REACTIVE POWER PERTURBATION METHODS USING AVR OR SVC- Ju

EQUIVALENT TRANSFORMATION TECHNIQUE FOR ISLANDING DETECTION METHODS OF SYNCHRONOUS GENERATOR -REACTIVE POWER PERTURBATION METHODS USING AVR OR SVC- Ju EQUIVALENT TRANSFORMATION TECHNIQUE FOR ISLANDING DETECTION METHODS OF SYNCHRONOUS GENERATOR -REACTIVE POWER PERTURBATION METHODS USING AVR OR SVC- Jun Motohashi, Member, Takashi Ichinose, Member (Tokyo

More information

卒論 提出用ファイル.doc

卒論 提出用ファイル.doc 11 13 1LT99097W (i) (ii) 0. 0....1 1....3 1.1....3 1.2....4 2....7 2.1....7 2.2....8 2.2.1....8 2.2.2....9 2.2.3.... 10 2.3.... 12 3.... 15 Appendix... 17 1.... 17 2.... 19 3.... 20... 22 (1) a. b. c.

More information

Hiroshi OSAWA A Study of Nutrition and Behavior With Particular Reference to Functional Hypoglycemia In order to understand causes of various kinds of problem behavior in the present time, it is assumed

More information

Web Web Web Web i

Web Web Web Web i 28 Research of password manager using pattern lock and user certificate 1170369 2017 2 28 Web Web Web Web i Abstract Research of password manager using pattern lock and user certificate Takuya Mimoto In

More information

:

: An Analysis of TV Game Market: From the viewpoints of network externalities and whole of services Masaki Matsumura, Hiroyuki Kurimoto, and Toshio Kobayashi It has been understood that a standard would

More information

Web Web Web Web Web, i

Web Web Web Web Web, i 22 Web Research of a Web search support system based on individual sensitivity 1135117 2011 2 14 Web Web Web Web Web, i Abstract Research of a Web search support system based on individual sensitivity

More information

2017 (413812)

2017 (413812) 2017 (413812) Deep Learning ( NN) 2012 Google ASIC(Application Specific Integrated Circuit: IC) 10 ASIC Deep Learning TPU(Tensor Processing Unit) NN 12 20 30 Abstract Multi-layered neural network(nn) has

More information

149 (Newell [5]) Newell [5], [1], [1], [11] Li,Ryu, and Song [2], [11] Li,Ryu, and Song [2], [1] 1) 2) ( ) ( ) 3) T : 2 a : 3 a 1 :

149 (Newell [5]) Newell [5], [1], [1], [11] Li,Ryu, and Song [2], [11] Li,Ryu, and Song [2], [1] 1) 2) ( ) ( ) 3) T : 2 a : 3 a 1 : Transactions of the Operations Research Society of Japan Vol. 58, 215, pp. 148 165 c ( 215 1 2 ; 215 9 3 ) 1) 2) :,,,,, 1. [9] 3 12 Darroch,Newell, and Morris [1] Mcneil [3] Miller [4] Newell [5, 6], [1]

More information

’ÓŠ¹/‰´„û

’ÓŠ¹/‰´„û Core Ethics Vol. transition from school to work [][] [] Core Ethics Vol. [], pp.- [], p. [a], p.ojt OJT. [] OJT [] [] [], p. OJTOffJTp. [] p. [], pp.- [] [] [] [] [a] [], p. Core Ethics Vol. [], p. []

More information

2

2 2011 8 6 2011 5 7 [1] 1 2 i ii iii i 3 [2] 4 5 ii 6 7 iii 8 [3] 9 10 11 cf. Abstracts in English In terms of democracy, the patience and the kindness Tohoku people have shown will be dealt with as an exception.

More information

論文9.indd

論文9.indd Recent topics in surround sound audio Masaki Sawaguchi Summary This paper will describe the recent trends in surround sound system based on the results of various investigations on this topic. According

More information

熊本県数学問題正解

熊本県数学問題正解 00 y O x Typed by L A TEX ε ( ) (00 ) 5 4 4 ( ) http://www.ocn.ne.jp/ oboetene/plan/. ( ) (009 ) ( ).. http://www.ocn.ne.jp/ oboetene/plan/eng.html 8 i i..................................... ( )0... (

More information

4 1 2 34 56 1

4 1 2 34 56 1 2016 8 2 2 4 1 2 34 56 1 3 2 4 2 78 910 2 1 3 10,000 A 100 A 9,900 9,900 A 100 100 POINT! 4 2 2 2 5 2100 100 3 50 5050100 POINT! 6 3 2 7 ABC 2 10010,0001100 2 100 2 5,000 1 50 32 16,000 13,000 10,000 7,000

More information

AtCoder Regular Contest 073 Editorial Kohei Morita(yosupo) A: Shiritori if python3 a, b, c = input().split() if a[len(a)-1] == b[0] and b[len(

AtCoder Regular Contest 073 Editorial Kohei Morita(yosupo) A: Shiritori if python3 a, b, c = input().split() if a[len(a)-1] == b[0] and b[len( AtCoder Regular Contest 073 Editorial Kohei Morita(yosupo) 29 4 29 A: Shiritori if python3 a, b, c = input().split() if a[len(a)-1] == b[0] and b[len(b)-1] == c[0]: print( YES ) else: print( NO ) 1 B:

More information

kut-paper-template2.dvi

kut-paper-template2.dvi 19 A Proposal of Text Classification using Formal Concept Analysis 1080418 2008 3 7 ( ) Hasse Web Reuters 21578 Concept Explorer 2 4 said i Abstract A Proposal of Text Classification using Formal Concept

More information

PSCHG000.PS

PSCHG000.PS a b c a ac bc ab bc a b c a c a b bc a b c a ac bc ab bc a b c a ac bc ab bc a b c a ac bc ab bc de df d d d d df d d d d d d d a a b c a b b a b c a b c b a a a a b a b a

More information

1 Fig. 1 Extraction of motion,.,,, 4,,, 3., 1, 2. 2.,. CHLAC,. 2.1,. (256 ).,., CHLAC. CHLAC, HLAC. 2.3 (HLAC ) r,.,. HLAC. N. 2 HLAC Fig. 2

1 Fig. 1 Extraction of motion,.,,, 4,,, 3., 1, 2. 2.,. CHLAC,. 2.1,. (256 ).,., CHLAC. CHLAC, HLAC. 2.3 (HLAC ) r,.,. HLAC. N. 2 HLAC Fig. 2 CHLAC 1 2 3 3,. (CHLAC), 1).,.,, CHLAC,.,. Suspicious Behavior Detection based on CHLAC Method Hideaki Imanishi, 1 Toyohiro Hayashi, 2 Shuichi Enokida 3 and Toshiaki Ejima 3 We have proposed a method for

More information

Core Ethics Vol. J O J O J O J O J O J O J O P C L P C L J O J O J O J O

Core Ethics Vol. J O J O J O J O J O J O J O P C L P C L J O J O J O J O Core Ethics Vol. J O * J O J O J O J O J O Core Ethics Vol. J O J O J O J O J O J O J O P C L P C L J O J O J O J O BGM P C L J O J O Core Ethics Vol. J O J O J O J O J O J O J O J O J O J O J O J O J

More information

Copyright 2003 MapNet.Corp All rights reserved (1) V2.2 (2) (3) (4) (5) (6) 1 (7) (8) (9) 1/2500 1/250 1/10000 1/10000 20 5 1/2500 20 1/500 1/500 1/250 5 1 (1) (2) (3) OK One Point () and or

More information

123-099_Y05…X…`…‘…“†[…h…•

123-099_Y05…X…`…‘…“†[…h…• 1. 2 1993 2001 2 1 2 1 2 1 99 2009. 1982 250 251 1991 112 115 1988 75 2004 132 2006 73 3 100 3 4 1. 2. 3. 4. 5. 6.. 3.1 1991 2002 2004 3 4 101 2009 3 4 4 5 1 5 6 1 102 5 6 3.2 2 7 8 2 X Y Z Z X 103 2009

More information

LAN LAN LAN LAN LAN LAN,, i

LAN LAN LAN LAN LAN LAN,, i 22 A secure wireless communication system using virtualization technologies 1115139 2011 3 4 LAN LAN LAN LAN LAN LAN,, i Abstract A secure wireless communication system using virtualization technologies

More information

11夏特集号初校.indd

11夏特集号初校.indd 1 2 3 5 50 40 7 6 3 ABC 3 5 A 5% B C 100 3 1 2 3 A 5% 5% 5% B 10% 5% 0% C 20% 10% 15% A 15.8% 15.0% 0.8% B 15.5% 15.0% 0.5% C 12.2% 15.0% 2.8% 2,000 1,500 1,000 500 0 10% 5% 3% 1% 01 5 10 15 20 25 30

More information

J No J. J

J No J. J 教育科学と教育実践 2 Science of Education and Educational Practice - A Perspective on the Controversy on the Science of Education in Post-War Japan Part Takeo TANAKA 1950 E. J. E. J. E. J. Abstract In the latter

More information

Autumn 06 1 2005 100 100 1 100 1 2003 2005 10 2003 2005 2

Autumn 06 1 2005 100 100 1 100 1 2003 2005 10 2003 2005 2 2005 25-2 17 395.6 149.1 1 2004 2 2003p.13 3 Autumn 06 1 2005 100 100 1 100 1 2003 2005 10 2003 2005 2 Vol. 42 No. 2 2 100 20052005 2002 20052005 3 2005 10 1 II III IV 1 1 1 2 1 4 15-2 30 4,091 54.5 2

More information

2 22006 2 e-learning e e 2003 1 4 e e e-learning 2 Web e-leaning 2004 2005 2006 e 4 GP 4 e-learning e-learning e-learning e LMS LMS Internet Navigware

2 22006 2 e-learning e e 2003 1 4 e e e-learning 2 Web e-leaning 2004 2005 2006 e 4 GP 4 e-learning e-learning e-learning e LMS LMS Internet Navigware 2 2 Journal of Multimedia Aided Education Research 2006, Vol. 2, No. 2, 19 e 1 1 2 2 1 1 GP e 2004 e-learning 2004 e-learning 2005 e-learning e-learning e-learning e-learning 2004 e-learning HuWeb 2005

More information

KII, Masanobu Vol.7 No Spring

KII, Masanobu Vol.7 No Spring KII, Masanobu 1 2 3 4 5 2 2.1 1945 60196075 19759019904 002 Vol.7 No.1 2004 Spring 1194560 1 1946 2 195328 3 4 1958 1960 2196075 5 6 7 8 1946 2 1972 1/23/4 1974 1968481973 1969 3197590 9 1980 1987 41990

More information

日本感性工学会論文誌

日本感性工学会論文誌 Vol.13 No.2 pp.391-402 2014 PROGRESS Consideration of the Transition in Mitsubishi Electric Corporate Website Design Transition in Response to Environmental Change and Record through the Case of Corporate

More information

This paper is going to take up the "Cultural history of dishes" as a part of the "Ancient pulley and the Korean people series II". In the ancient times the pulley was used to make basically dishes for

More information

! " # $ % & ' ( ) +, -. / 0 1 2 3 4 5 6 7 8 9 : ; < = >? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ ] ^ _ ` a b c d e f h i j k l m n o p q r s t u v w x y z { } ~ This product is

More information

福岡大学人文論叢47-3

福岡大学人文論叢47-3 679 pp. 1 680 2 681 pp. 3 682 4 683 5 684 pp. 6 685 7 686 8 687 9 688 pp. b 10 689 11 690 12 691 13 692 pp. 14 693 15 694 a b 16 695 a b 17 696 a 18 697 B 19 698 A B B B A B B A A 20 699 pp. 21 700 pp.

More information

FIG 7 5) 7 FIG ) 7) 8) 9) 10) 11) 12) 3 18 Gymnastik 13) 1793 J. Ch. F. Guts Muths Gymnastik fuer die Juegend 1816 F. L. Jahn Turnkunst Rhythm

FIG 7 5) 7 FIG ) 7) 8) 9) 10) 11) 12) 3 18 Gymnastik 13) 1793 J. Ch. F. Guts Muths Gymnastik fuer die Juegend 1816 F. L. Jahn Turnkunst Rhythm 1 Bull. of Nippon Sport Sci. Univ. 41 (1) 13 24 2011 Philosophical study on the rules of rhythmic gymnastics scoring Mainly on the conformity of motion characteristics and competitiveness with the scoring

More information

吉田 今めかし 小考 30

吉田 今めかし 小考 30 29 総合研究大学院大学文化科学研究科日本文学研究専攻吉田小百合 吉田 今めかし 小考 30 31 吉田 今めかし 小考 32 娍 娍 33 娍 娍 娍 吉田 今めかし 小考 34 娍 35 吉田 今めかし 小考 36 37 吉田 今めかし 小考 38 娍 39 吉田 今めかし 小考 40 41 吉田 今めかし 小考 42 娍 娍 娍 43 吉田 今めかし 小考 The Term imamekashi

More information

II A LexisNexis JP 80, /03/

II A LexisNexis JP 80, /03/ 1 20 I II III 1 2 3 4 IV I Makiko Noto / 1 1933 8 2 2004 16 3 1 1963 101 118 11 1965 291 332 2 4 1985 247 262 3 446 2 3 465 2 465 5 2004 16= 2005 2005 004 2012 summer / No.392 3 4 5 80 6 7 5 20 8 II A

More information

1 Point 2 Point 3 Point 5 490,000 10 20 25 35 1,059,000 2,235,500 2,890,500 4,449,500 777,000 1,554,000 3,108,000 3,885,000 3,885,000 4,132,000106.3 6

1 Point 2 Point 3 Point 5 490,000 10 20 25 35 1,059,000 2,235,500 2,890,500 4,449,500 777,000 1,554,000 3,108,000 3,885,000 3,885,000 4,132,000106.3 6 '16-WE07-091 201605 1 Point 2 Point 3 Point 5 490,000 10 20 25 35 1,059,000 2,235,500 2,890,500 4,449,500 777,000 1,554,000 3,108,000 3,885,000 3,885,000 4,132,000106.3 63.0 68.1 71.9 74.4 114.5 40 500

More information

2007-Kanai-paper.dvi

2007-Kanai-paper.dvi 19 Estimation of Sound Source Zone using The Arrival Time Interval 1080351 2008 3 7 S/N 2 2 2 i Abstract Estimation of Sound Source Zone using The Arrival Time Interval Koichiro Kanai The microphone array

More information

Test IV, March 22, 2016 6. Suppose that 2 n a n converges. Prove or disprove that a n converges. Proof. Method I: Let a n x n be a power series, which converges at x = 2 by the assumption. Applying Theorem

More information

FabHetero FabHetero FabHetero FabCache FabCache SPEC2000INT IPC FabCache 0.076%

FabHetero FabHetero FabHetero FabCache FabCache SPEC2000INT IPC FabCache 0.076% 2013 (409812) FabHetero FabHetero FabHetero FabCache FabCache SPEC2000INT 6 1000 IPC FabCache 0.076% Abstract Single-ISA heterogeneous multi-core processors are increasing importance in the processor architecture.

More information

2 except for a female subordinate in work. Using personal name with SAN/KUN will make the distance with speech partner closer than using titles. Last

2 except for a female subordinate in work. Using personal name with SAN/KUN will make the distance with speech partner closer than using titles. Last 1 北陸大学 紀要 第33号 2009 pp. 173 186 原著論文 バーチャル世界における呼びかけ語の コミュニケーション機能 ポライトネス理論の観点からの考察 劉 艶 The Communication Function of Vocative Terms in Virtual Communication: from the Viewpoint of Politeness Theory Yan

More information

I? 3 1 3 1.1?................................. 3 1.2?............................... 3 1.3!................................... 3 2 4 2.1........................................ 4 2.2.......................................

More information

20 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 information

- 2 -

- 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 information

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 4 4 2 5 5 2 4 4 4 0 3 3 0 9 10 10 9 1 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 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 information

1 (1) (2)

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

10-渡部芳栄.indd

10-渡部芳栄.indd COE GCOE GP ) b a b ) () ) () () ) ) .. () ) ) ) ) () ........... / / /.... 交付税額 / 経常費 : 右軸交付税額 /( 経常費 授業料 ): 右軸 . ) ()... /.. 自治体負担額 / 交付税額 : 右軸 ()......... / 自治体負担額 / 経常費 : 右軸 - No. - Vol. No. - IDE

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

IT i

IT i 27 The automatic extract of know-how search tag using a thesaurus 1160374 2016 2 26 IT i Abstract The automatic extract of know-how search tag using a thesaurus In recent years, a number of organizational

More information

SURE: Shizuoka University REp http://ir.lib.shizuoka.ac.jp/ Title ヨーロッパにおける 大 学 の 国 際 化 の 推 進 と 課 題 : チェコ での エラスムス プログラム の 実 施 事 例 から Author(s) 松 田, 紀 子 Citation 静 岡 大 学 国 際 交 流 センター 紀 要. 6, p. 93-103

More information

x, y x 3 y xy 3 x 2 y + xy 2 x 3 + y 3 = x 3 y xy 3 x 2 y + xy 2 x 3 + y 3 = 15 xy (x y) (x + y) xy (x y) (x y) ( x 2 + xy + y 2) = 15 (x y)

x, y x 3 y xy 3 x 2 y + xy 2 x 3 + y 3 = x 3 y xy 3 x 2 y + xy 2 x 3 + y 3 = 15 xy (x y) (x + y) xy (x y) (x y) ( x 2 + xy + y 2) = 15 (x y) x, y x 3 y xy 3 x 2 y + xy 2 x 3 + y 3 = 15 1 1977 x 3 y xy 3 x 2 y + xy 2 x 3 + y 3 = 15 xy (x y) (x + y) xy (x y) (x y) ( x 2 + xy + y 2) = 15 (x y) ( x 2 y + xy 2 x 2 2xy y 2) = 15 (x y) (x + y) (xy

More information

Table 1. Reluctance equalization design. Fig. 2. Voltage vector of LSynRM. Fig. 4. Analytical model. Table 2. Specifications of analytical models. Fig

Table 1. Reluctance equalization design. Fig. 2. Voltage vector of LSynRM. Fig. 4. Analytical model. Table 2. Specifications of analytical models. Fig Mover Design and Performance Analysis of Linear Synchronous Reluctance Motor with Multi-flux Barrier Masayuki Sanada, Member, Mitsutoshi Asano, Student Member, Shigeo Morimoto, Member, Yoji Takeda, Member

More information

B_01田中.indd

B_01田中.indd A Study on the Image of the City in Contemporary Korea: Democracy and Busan Satoru Tanaka Abstract Busan has been the biggest harbor city in Korea, and ranked as one of the centers in democratization history

More information

エンタープライズサーチ・エンジンQ u i c k S o l u t i o n ® の開発

エンタープライズサーチ・エンジンQ u i c k S o l u t i o n ® の開発 Development of Enterprise Search Engine QuickSolution by Yoshinori Takenami, Masahiro Kishida and Yasuo Tanabe As document digitization and information sharing increase in enterprises, the volume of information

More information

iii 1 1 1 1................................ 1 2.......................... 3 3.............................. 5 4................................ 7 5................................ 9 6............................

More information

”Лï−wŁfl‰IŠv‚æ84“ƒ/ı¢fic“_fiñ

”Лï−wŁfl‰IŠv‚æ84“ƒ/ı¢fic“_fiñ February 169 News Week JAPAN S DIRTY SECRET Schoolgirls Selling Sex:The New Teen Trade Raises Questions About the Country s Moral Values 170 p February 171 p p Vern & Bonnie p 172 sex work Delacoste &

More information

26 Development of Learning Support System for Fixation of Basketball Shoot Form

26 Development of Learning Support System for Fixation of Basketball Shoot Form 26 Development of Learning Support System for Fixation of Basketball Shoot Form 1175094 ,.,,.,,.,,.,,,.,,,,.,,,.,,,,, Kinect i Abstract Development of Learning Support System for Fixation of Basketball

More information

A Study on Arifields and City Planning in the Capital Region of Japan by Naotoshi HIDAKA, Keita TEZUKA, Tsuneaki FUKUI Osamu SHINOHARA and Koichi AMANC, Abstract: Airports play very important role in the

More information

) 2) , , ) 1 2 Q1 / Q2 Q Q4 /// Q5 Q6 3,4 Q7 5, Q8 HP Q9 Q10 13 Q11

) 2) , , ) 1 2 Q1 / Q2 Q Q4 /// Q5 Q6 3,4 Q7 5, Q8 HP Q9 Q10 13 Q11 2009 0612001. 1) 2) 2 2009 3 2009 8, 10 1 3, 12 50 4) 1 2 Q1 / Q2 Q3 910203040 5060708090 Q4 /// Q5 Q6 3,4 Q7 5,6711 123 4 Q8 HP Q9 Q10 13 Q11 , A 5 2 3 3 3 3 3 2 8 5 3 3 4 A C B 1 1 KJ 1 9 1 12 12 15

More information

P2P P2P peer peer P2P peer P2P peer P2P i

P2P P2P peer peer P2P peer P2P peer P2P i 26 P2P Proposed a system for the purpose of idle resource utilization of the computer using the P2P 1150373 2015 2 27 P2P P2P peer peer P2P peer P2P peer P2P i Abstract Proposed a system for the purpose

More information

paper.dvi

paper.dvi 28 Confined Decoding System for Medical Data Distributed by Secret Sharing Scheme and Its Security Evaluation 1195046 2017 3 6 DMAT i Abstract Confined Decoding System for Medical Data Distributed by Secret

More information