VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo"

Transcription

1 KAOS ,.,. ( ). KAOS VDM++.,.,,, ,, [1].,,, [2].,, [3]. 1.2 ( ),, [3] KAOS, VDM++, KAOS VDM++ 1 Kyushu University, KAOS,, KAOS, KAOS, VDM++., 1.3 2,., 3, KAOS VDM++. 4, 3, ,,,,, VDM VDM(Vienna Development Method) 1, 1960 IBM [4].VDM VDM-SL,VDM++,VDM-RT 3 1

2 VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTool VDM.VDMTools IFAD.2005 SCSK CSK, [4].OvertureTool Eclipse, Peter Gorm Larsen [8]., KAOS VDM [9]., KAOS KAOS(Knowledge Acquisition in automated Specifications) Lamsweerde [3].KAOS,,, [10]...,,.., KAOS Objectiver Respect-IT KAOS [11].KAOS, KAOS, Objectiver KAOS 3., KAOS VDM++,.,. 3.1 [3], KAOS VDM++, KAOS, [3],,,,, 2

3 VDM++, [3] KAOS KAOS, VDM KAOS 3.1, KAOS [12], KAOS KAOS [3] KAOS 1,, Assignment,, Performance, Control,, is-a, Binary Association, Control Binary Association., VDM++, VDM KAOS VDM++,,,,,,,,,., [3],., is-a [3] is-a, Binary Association, *,, VDM++,,, 3,,,,, Binary Association,.,,,,, Control.,,, is-a, Performance,, VDM++ is not yet specified., 3

4 ,, ( ),,,,, ( ),, 1, [ASTER, ] Fig. 1 Hardware of the vending machine, VDM , CPU,,. 4.1 [13]( ) ASTER [14]( ) ASTER Association of Software Test EngineerRing) [15] , ,, 4.2 KAOS,, KAOS 2.,,,.,,,,,,,,,, 2,,, 3,,. 4

5 情報処理学会研究報告 図 2 商品選択ゴールモデル Fig. 2 Goal model for product selection 図 3 販売ボタン責任モデル Fig. 3 Responsibility model for sell button 図 5 販売ボタン操作モデル Fig. 5 Operation model for sell button 図 5 は販売ボタンの操作モデルである. 販売可能ラン プを点滅 という操作は, 入出力エンティティを持た ない. 販売ボタンに対応する商品の通知 という操作 は入力を持たず, 出力としてエンティティ 商品 を 返す 生成されたクラスファイル 3.2 の変換手法により, で構築した自動販売機の KAOS モデルから VDM++のクラスファイルを生成した. 共通定義クラス, オブジェクト定義クラスとして 商品 ク 図 4 商品選択オブジェクトモデル Fig. 4 Object model for product selection ラス, エージェント定義クラスとして 自動販売機システ ム クラス, 販売ボタン クラス, 販売ボタン制御 ク ラス, ラック クラス, 金額表示機 クラス, 貨幣処 商品選択ユースケースのゴールモデルから抽出された 理 クラスの合計 8 クラスが生成された. 図 6 は生成され エンティティとエージェント関係を記述した. 図??は た 販売ボタン クラスである. インスタンス変数として 作成したオブジェクトモデルである. 操作モデル 2016 Information Processing Society of Japan 販売可能ランプ と 商品, 操作としてコンストラクタ と 販売可能ランプを消灯, 販売可能ランプを点滅, 5

6 7 Fig. 7 Corrected class file for sell button 6 Fig. 6 Generated class file for sell button, ,, 7,,., KAOS.,, KAOS,., 1.,,,. 1 Table 1 Result of acquiring formal specification = (1),, 8 6

7 Table 2 2 Breakdown list of acquiring formal specification,,,,,,,,, 9 Fig. 9 Goal model for price input 10 Fig. 10 Changed responsibility model for sell button,,. 10.,.,.,, KAOS VDM++, VDM ,,,,, KAOS, , 3 KAOS,, KAOS VDM++.,, KAOS, VDM++, VDM , 7

8 3 Table 3 The number of additional row , KAOS, 1 * (0 ),,. [3] is-a,, KAOS is-a,, VDM++ 5.2, KAOS,, VDM++. KAOS,,, UML, KAOS VDM++,,., KAOS,,, VDM++, VDM++, KAOS VDM++ [5] IPA/SEC:, [6] CSK SYSTEMS CORPORATION: VDM++, langmanpp_a4j.pdf, [7] Bertrand Meyer, : 2,, (2007). [8] Overture Tool Formal Modeling in VDM, [9] :,, (2007). [10] Recpect-IT: A KAOS Tutorial, documents/kaostutorial.pdf, [11] Engineer your requirements with Objectiver, [12],, : IMPULSE:KAOS,, Vol. 48, No. 8, pp , (2007). [13] ASTER: ASTER, doc/2015tdc-v1_1.zip, [14] ASTER: ASTER, doc/2015tdc-v1_1.zip, [15] ASTER, contest2015.html#agreement, [1] :,, (2008). [2] IPA/SEC:, [3],, :,, Vol. 49, No. 7, pp , (2008). [4] VDM information web site, 8

<8CA48B8694EF8E E E816991E C5816A5F8DC58F4994C52E706466>

<8CA48B8694EF8E E E816991E C5816A5F8DC58F4994C52E706466> 3 4 5 7 8 9 13 14 15 16 17 18 19 21 23 25 27 28 29 30 1 KYUSHU UNIVERSITY KYUSHU UNIVERSITY 2 KYUSHU UNIVERSITY KYUSHU UNIVERSITY 2 3 4 KYUSHU UNIVERSITY KYUSHU UNIVERSITY 3 5 6 KYUSHU UNIVERSITY KYUSHU

More information

untitled

untitled 16 4 1 17 1 50 -1- -2- -3- -4- -5- -6- -7- 1 2-8- -9- -10- -11- Web -12- (1) (2)(1) (3) (4) (1)()(2) (3)(4) -13- -14- -15- -16- -17- -18- -19- -20- -21- -22- -23- (2)(1) (3) -24- -25- -26- -27- -28- -29-

More information

medical product information 74

medical product information 74 73 medical product information medical product information 74 75 medical product information 76 medical product information 77 medical product information 78 medical product information 79 medical product

More information

Input image Initialize variables Loop for period of oscillation Update height map Make shade image Change property of image Output image Change time L

Input image Initialize variables Loop for period of oscillation Update height map Make shade image Change property of image Output image Change time L 1,a) 1,b) 1/f β Generation Method of Animation from Pictures with Natural Flicker Abstract: Some methods to create animation automatically from one picture have been proposed. There is a method that gives

More information

- 2 -

- 2 - - 1 - - 2 - - 3 - - 4 - - 5 - ( ) - 6 - - 7 - - 8 - - 9 - - 10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 - - 17 - What is your hobby? - 18 - - 19 - - 20 - - 21 - - 22 - - 23 - - 24 - - 25 - - 26 - - 27

More information

CS_Manual_v2

CS_Manual_v2 Crossheet 操作手順書 概念図 Core Service Cloud Cloud Application Application on Iaas on Paas 抽出条件 xml 雛形 xls Local Application Connector 定義情報 xml 抽出実行 エンジン 抽出画面 エンジン 帳票一覧表 帳票出力 エンジン 帳票 xls 雛形 (xlsx) (pdf) xls

More information

Java言語 第1回

Java言語 第1回 Java 言語 第 2 回簡単な Java プログラムの作成と実行 知的情報システム工学科 久保川淳司 kubokawa@me.it-hiroshima.ac.jp 簡単な Java プログラム Java プログラムのファイル名 Java プログラムのファイル名命名ルール ファイル名とクラス名は同じでなければならない HelloJava.java public class HelloJava { public

More information

2013 5

2013 5 12 (SL) (L) (SL) 2013 5 5 29 () 4 ( ) 7 17 20 ( ) 2 14. 4.17 14. 5. 1 14. 5.22 14. 6. 5 14. 4.17 14. 5. 1 14. 5. 8 14. 5.22 14. 4.17 14. 5. 1 14. 5.22 14. 6. 5 4 10 7 7 10 7 31 8 14.4.10 14.7.10 14.7.31

More information

1000

1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 SL 1000 1000 1000 1000 1000 1000 1000 1000 1000 ( 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000

More information

258 5) GPS 1 GPS 6) GPS DP 7) 8) 10) GPS GPS 2 3 4 5 2. 2.1 3 1) GPS Global Positioning System

258 5) GPS 1 GPS 6) GPS DP 7) 8) 10) GPS GPS 2 3 4 5 2. 2.1 3 1) GPS Global Positioning System Vol. 52 No. 1 257 268 (Jan. 2011) 1 2, 1 1 measurement. In this paper, a dynamic road map making system is proposed. The proposition system uses probe-cars which has an in-vehicle camera and a GPS receiver.

More information

60 90% ICT ICT [7] [8] [9] 2. SNS [5] URL 1 A., B., C., D. Fig. 1 An interaction using Channel-Oriented Interface. SNS SNS SNS SNS [6] 3. Processing S

60 90% ICT ICT [7] [8] [9] 2. SNS [5] URL 1 A., B., C., D. Fig. 1 An interaction using Channel-Oriented Interface. SNS SNS SNS SNS [6] 3. Processing S 1,a) 1 1,b) 1,c) 1,d) Interaction Design for Communication Between Older Adults and Their Families Using Channel-Oriented Interface Takeda Keigo 1,a) Ishiwata Norihiro 1 Nakano Teppei 1,b) Akabane Makoto

More information

H1

H1 Vol.121 February/2005 THE NEXT BIG THING CONTENTS INFORMATION BOARD Magazine for Snowboarders Vol.121 February/2005 CALENDAR LIST SAFETY DIAL TEL03-3479-4334 information board PRO SNOWBOARDER'S ASSOCIATION

More information

untitled

untitled 1 JAPAN TESTING ASSOCIATION 2 3 JAPAN TESTING ASSOCIATION 4 5 JAPAN TESTING ASSOCIATION 6 7 JAPAN TESTING ASSOCIATION 8 9 JAPAN TESTING ASSOCIATION 10 11 JAPAN TESTING ASSOCIATION 12 13 JAPAN TESTING ASSOCIATION

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

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

5005-toku3.indd

5005-toku3.indd 3 1 CMMICMM Capability Maturity Model ISO : International Organization for Standardization IEC : International Electrotechnical CommissionJTC1 : Joint Technical Committee 1SC7 : Sub Committee 7 SC7 WG

More information

WikiWeb Wiki Web Wiki 2. Wiki 1 STAR WARS [3] Wiki Wiki Wiki 2 3 Wiki 5W1H 3 2.1 Wiki Web 2.2 5W1H 5W1H 5W1H 5W1H 5W1H 5W1H 5W1H 2.3 Wiki 2015 Informa

WikiWeb Wiki Web Wiki 2. Wiki 1 STAR WARS [3] Wiki Wiki Wiki 2 3 Wiki 5W1H 3 2.1 Wiki Web 2.2 5W1H 5W1H 5W1H 5W1H 5W1H 5W1H 5W1H 2.3 Wiki 2015 Informa 情 報 処 理 学 会 インタラクション 2015 IPSJ Interaction 2015 A17 2015/3/5 Web 1 1 1 Web Web Position and Time based Summary System using Story Style for Web Contents Daichi Ariyama 1 Daichi Ando 1 Shinichi Kasahara

More information

1 目次 1 目次 はじめに Tips セットアップ 事前準備 事前準備 セットアップ セットアップ ( その他 ) Tips 概要 概要 処理フ

1 目次 1 目次 はじめに Tips セットアップ 事前準備 事前準備 セットアップ セットアップ ( その他 ) Tips 概要 概要 処理フ TALON Tips < 明細にある数量項目の合計額を表示する > 株式会社 HOIPOI 第 1.0 版 p. 1 1 目次 1 目次... 2 2 はじめに... 3 3 Tips セットアップ... 4 3.1 事前準備... 4 3.2 事前準備 2... 4 3.3 セットアップ... 4 3.4 セットアップ ( その他 )... 5 4 Tips 概要... 6 4.1 概要... 6

More information

1034 IME Web API Web API 1 IME Fig. 1 Suitable situations for context-aware IME. IME IME IME IME 1 GPS Web API Web API Web API Web )

1034 IME Web API Web API 1 IME Fig. 1 Suitable situations for context-aware IME. IME IME IME IME 1 GPS Web API Web API Web API Web ) Vol. 52 No. 3 1033 1044 (Mar. 2011) IME 1 2 1 1 IME Web PC Android Dynamic Dictionary Generation Method for Context-aware Input Method Editor Yutaka Arakawa, 1 Shinji Suematsu, 2 Shigeaki Tagashira 1 and

More information

特-3.indd

特-3.indd Development of Automation Technology for Precision Finishing Works Employing a Robot Arm There is demand for the automation of finishing processes that require technical skills in the manufacturing of

More information

Z7000操作編_本文.indb

Z7000操作編_本文.indb 2 8 17 37Z700042Z7000 46Z7000 28 42 52 61 72 87 2 3 12 13 6 7 3 4 11 21 34 61 8 17 4 11 4 53 12 12 10 75 18 12 42 42 13 30 42 42 42 42 10 62 66 44 55 14 25 9 62 65 23 72 23 19 24 42 8 26 8 9 9 4 11 18

More information

05新田

05新田 3 2 Asaba, S. and Fujimoto, T 1994, Processing and Product Development Systems in the Japanese Wool Textile and Apparel Industry, in Findlay, C and Itoh, M., eds., Wool in Japan, Pymble, Australia, Harper.

More information

H1

H1 CONTENTS INFORMATION BOARD Magazine for Snowboarders Vol.113 August/2003 CALENDAR LIST SAFETY DIAL TEL03-3479-4334 information board PRO SNOWBOARDER'S ASSOCIATION information board information board information

More information

2797 4 5 6 7 2. 2.1 COM COM 4) 5) COM COM 3 4) 5) 2 2.2 COM COM 6) 7) 10) COM Bonanza 6) Bonanza 6 10 20 Hearts COM 7) 10) 52 4 3 Hearts 3 2,000 4,000

2797 4 5 6 7 2. 2.1 COM COM 4) 5) COM COM 3 4) 5) 2 2.2 COM COM 6) 7) 10) COM Bonanza 6) Bonanza 6 10 20 Hearts COM 7) 10) 52 4 3 Hearts 3 2,000 4,000 Vol. 50 No. 12 2796 2806 (Dec. 2009) 1 1, 2 COM TCG COM TCG COM TCG Strategy-acquisition System for Video Trading Card Game Nobuto Fujii 1 and Haruhiro Katayose 1, 2 Behavior and strategy of computers

More information

SJ-WA35T 2版

SJ-WA35T 2版 2 4 12 15 14 5 9 6 7 SJ-WA35T 8 11 4 5 2 11 3 15 4 1 2 15 3 5 5 6 4 1 2 7 8 9 1 2 10 10 10 15 11 5 6 8 8 4 12 4 4 4 6 5 11 10 10 9 13 http://www.sharp.co.jp/support/refrigerator/ 14 This model is designed

More information

Abstract Bitcoin P2P (Pear To Pear)

Abstract Bitcoin P2P (Pear To Pear) Bitcoin 2014 4 19 IS Report No. 2014041902 Report Medical Information System Labratry Abstract Bitcoin P2P (Pear To Pear) 1............................ 2 2 Bitcoin.......................... 3 3 Bitcoin........................

More information

1

1 2 3 USER INTERFACE E 4 5 MODELING & CONSTRAINT N T 6 7 MODELING & CONSTRAINT N T 8 SCHEDULING RULE 9 SCHEDULING SYSTEM S INTEGRATION T I N 10 11 OPTIONAL O PRODUCT S1 FLEXSCHE GUI Extension 12 13 OPTIONAL

More information

2 3 12 13 6 7

2 3 12 13 6 7 2 8 17 42ZH700046ZH700052ZH7000 28 43 54 63 74 89 2 3 12 13 6 7 3 4 11 21 34 63 65 8 17 4 11 4 55 12 12 10 77 56 12 43 43 13 30 43 43 43 43 10 45 14 25 9 23 74 23 19 24 43 8 26 8 9 9 4 8 30 42 82 18 43

More information

Microsoft PowerPoint - chap10_OOP.ppt

Microsoft PowerPoint - chap10_OOP.ppt プログラミング講義 Chapter 10: オブジェクト指向プログラミング (Object-Oriented Programming=OOP) の入り口の入り口の入り口 秋山英三 F1027 1 例 : 部屋のデータを扱う // Test.java の内容 public class Test { public static void main(string[] args) { double length1,

More information

Fig. 1. Example of characters superimposed on delivery slip.

Fig. 1. Example of characters superimposed on delivery slip. Extraction of Handwritten Character String Superimposed on Delivery Slip Data Ken-ichi MATSUO, Non-member, Katsuhiko UEDA, Non-member (Nara National College of Technology), Michio UMEDA, Member (Osaka

More information

H1-4.eps

H1-4.eps CONTENTS INFORMATION BOARD CALENDAR LIST Vol.138 June/2009 TEL.03-3479-4334 2 A B C 1 2 3 4 5 6 7 2 A 6 4 4 4 4 4 4 3 B INFORMATION BOARD 1 2 3 4 C 1 2 3 1 2 3 4 6 5 *000000000000* 4 7 6 5 3 4 5 INFORMATION

More information

Table 1. Assumed performance of a water electrol ysis plant. Fig. 1. Structure of a proposed power generation system utilizing waste heat from factori

Table 1. Assumed performance of a water electrol ysis plant. Fig. 1. Structure of a proposed power generation system utilizing waste heat from factori Proposal and Characteristics Evaluation of a Power Generation System Utilizing Waste Heat from Factories for Load Leveling Pyong Sik Pak, Member, Takashi Arima, Non-member (Osaka University) In this paper,

More information

Microsoft Word - H19_活動報告書案/広報研究会.doc

Microsoft Word - H19_活動報告書案/広報研究会.doc 19 20 3 1 2 50 2 2 3 4 7 10 11 12 15 1 Computer Software Association of Japan 50 2004 2005 18 19 2 Computer Software Association of Japan 1 19 7 19 20 14:0018:00 CSAJ 1 19 8 3 17:0018:30 CSAJ 2 19 9 4

More information

日経テレコン料金表(2016年4月)

日経テレコン料金表(2016年4月) 1 2 3 4 8,000 15,000 22,000 29,000 5 6 7 8 36,000 42,000 48,000 54,000 9 10 20 30 60,000 66,000 126,000 166,000 50 100 246,000 396,000 1 25 8,000 7,000 620 2150 6,000 4,000 51100 101200 3,000 1,000 201

More information

73 p.1 22 16 2004p.152

73 p.1 22 16 2004p.152 1987 p.80 72 73 p.1 22 16 2004p.152 281895 1930 1931 12 28 1930 10 27 12 134 74 75 10 27 47.6 1910 1925 10 10 76 10 11 12 139 p.287 p.10 11 pp.3-4 1917 p.284 77 78 10 13 10 p.6 1936 79 15 15 30 80 pp.499-501

More information

2 2 3 4 5 5 2 7 3 4 6 1 3 4 7 4 2 2 2 4 2 3 3 4 5 1932 A p. 40. 1893 A p. 224, p. 226. 1893 B pp. 1 2. p. 3.

2 2 3 4 5 5 2 7 3 4 6 1 3 4 7 4 2 2 2 4 2 3 3 4 5 1932 A p. 40. 1893 A p. 224, p. 226. 1893 B pp. 1 2. p. 3. 1 73 72 1 1844 11 9 1844 12 18 5 1916 1 11 72 1 73 2 1862 3 1870 2 1862 6 1873 1 3 4 3 4 7 2 3 4 5 3 5 4 2007 p. 117. 2 2 3 4 5 5 2 7 3 4 6 1 3 4 7 4 2 2 2 4 2 3 3 4 5 1932 A p. 40. 1893 A p. 224, p. 226.

More information

29 2011 3 4 1 19 5 2 21 6 21 2 21 7 2 23 21 8 21 1 20 21 1 22 20 p.61 21 1 21 21 1 23

29 2011 3 4 1 19 5 2 21 6 21 2 21 7 2 23 21 8 21 1 20 21 1 22 20 p.61 21 1 21 21 1 23 29 2011 3 pp.55 86 19 1886 2 13 1 1 21 1888 1 13 2 3,500 3 5 5 50 4 1959 6 p.241 21 1 13 2 p.14 1988 p.2 21 1 15 29 2011 3 4 1 19 5 2 21 6 21 2 21 7 2 23 21 8 21 1 20 21 1 22 20 p.61 21 1 21 21 1 23 1

More information

() L () 20 1

() L () 20 1 () 25 1 10 1 0 0 0 1 2 3 4 5 6 2 3 4 9308510 4432193 L () 20 1 PP 200,000 P13P14 3 0123456 12345 1234561 2 4 5 6 25 1 10 7 1 8 10 / L 10 9 10 11 () ( ) TEL 23 12 7 38 13 14 15 16 17 18 L 19 20 1000123456

More information

308 ( ) p.121

308 ( ) p.121 307 1944 1 1920 1995 2 3 4 5 308 ( ) p.121 309 10 12 310 6 7 ( ) ( ) ( ) 50 311 p.120 p.142 ( ) ( ) p.117 p.124 p.118 312 8 p.125 313 p.121 p.122 p.126 p.128 p.156 p.119 p.122 314 p.153 9 315 p.142 p.153

More information

122011pp.139174 18501933

122011pp.139174 18501933 122011pp.139174 18501933 122011 1850 3 187912 3 1850 8 1933 84 4 1871 12 1879 5 2 1 9 15 1 1 5 3 3 3 6 19 9 9 6 28 7 7 4 1140 9 4 3 5750 58 4 3 1 57 2 122011 3 4 134,500,000 4,020,000 11,600,000 5 2 678.00m

More information

Microsoft Word - 映画『東京裁判』を観て.doc

Microsoft Word - 映画『東京裁判』を観て.doc 1 2 3 4 5 6 7 1 2008. 2 2010, 3 2010. p.1 4 2008 p.202 5 2008. p.228 6 2011. 7 / 2008. pp.3-4 1 8 1 9 10 11 8 2008, p.7 9 2011. p.41 10.51 11 2009. p. 2 12 13 14 12 2008. p.4 13 2008, p.7-8 14 2008. p.126

More information

2 P.83 Macintosh P.75 P.47 Windows P.83 Macintosh P.75 P.47 Windows P.83 Macintosh P.75 P.47 Windows P.33 P.83 Macintosh P.75 P.47 Windows P.88 Macint

2 P.83 Macintosh P.75 P.47 Windows P.83 Macintosh P.75 P.47 Windows P.83 Macintosh P.75 P.47 Windows P.33 P.83 Macintosh P.75 P.47 Windows P.88 Macint HL-4570CDW HL-4570CDWT 1 2 http://solutions.brother.co.jp/ 2 2 P.83 Macintosh P.75 P.47 Windows P.83 Macintosh P.75 P.47 Windows P.83 Macintosh P.75 P.47 Windows P.33 P.83 Macintosh P.75 P.47 Windows P.88

More information

Rational Roseモデルの移行 マニュアル

Rational Roseモデルの移行 マニュアル Model conversion from Rational Rose by SparxSystems Japan Rational Rose モデルの移行マニュアル (2012/1/12 最終更新 ) 1. はじめに このガイドでは 既に Rational( 現 IBM) Rose ( 以下 Rose と表記します ) で作成された UML モデルを Enterprise Architect で利用するための作業ガイドです

More information

log F0 意識 しゃべり 葉の log F0 Fig. 1 1 An example of classification of substyles of rap. ' & 2. 4) m.o.v.e 5) motsu motsu (1) (2) (3) (4) (1) (2) mot

log F0 意識 しゃべり 葉の log F0 Fig. 1 1 An example of classification of substyles of rap. ' & 2. 4) m.o.v.e 5) motsu motsu (1) (2) (3) (4) (1) (2) mot 1. 1 2 1 3 2 HMM Rap-style Singing Voice Synthesis Keijiro Saino, 1 Keiichiro Oura, 2 Makoto Tachibana, 1 Hieki Kenmochi 3 an Keiichi Tokua 2 This paper aresses rap-style singing voice synthesis. Since

More information

自然言語処理16_2_45

自然言語処理16_2_45 FileMaker Pro E-learning GUI Phrase Reading Cloze. E-learning Language Processing Technology and Educational Material Development Generating English Educational Material using a Database Software Kenichi

More information

2007.3„”76“ƒ

2007.3„”76“ƒ 76 19 27 19 27 76 76 19 27 19 27 76 76 19 27 19 27 76 76 19 27 19 27 76 1,27, 2, 88, 8,658 27, 2,5 11,271,158 1,712,876 21,984,34 1,, 6, 7, 2, 1,78, 1,712,876 21,492,876 27, 4, 18, 11,342 27, 2,5 491,158

More information

1631 70

1631 70 70 1631 1631 70 70 1631 1631 70 70 1631 1631 70 70 1631 1631 70 70 1631 1631 70 70 1631 9,873,500 9,200,000 673,500 2,099,640 2,116,000 16,360 45,370 200,000 154,630 1,000,000 1,000,000 0 648,851 730,000

More information