モデルベースシステムズエンジニアリングの活用

Transcript

1. גࣜձࣾνΣϯδϏδϣϯಸྑઌ୺Պֶٕज़େֶӃେֶ
   ߴҪརݑ
   ϞσϧϕʔεγεςϜζΤϯδχΞϦϯ άͷ׆༻
   !4&"ؔ੢
   ຊൃදͷ಺༰͸໊ݹ԰େֶ૔஍྄ઌੜͱE4QBDF౻૔ढ़޾༷ͱͷڞಉݚڀͷ݁Ռʹج͍͍ͮͯ·͢ɻ 1
2. ຊ೔ͷߏ੒  ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʹ͓͚Δܗࣜख๏ͷޮՌతͳ׆༻
   
    ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʹ͓͚ΔγφϦΦੜ੒ख๏ͷޮՌ తͳ׆༻ 2
3. ϞσϧϕʔεγεςϜζΤϯδχ ΞϦϯάͱ͸ʁ 3
4. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯά γεςϜζΤϯδχΞϦϯά
   γεςϜͷ࣮ݱΛ੒ޭͤ͞Δ͜ͱ͕Ͱ͖Δෳ਺ͷઐ໳෼໺ʹ·͕ͨΔΞϓϩʔν͓Αͼखஈ
   
   ϞσϧϕʔεγεςϜζΤϯδχΞϦϯά
   ϞσϦϯάٕज़Λ׆༻ͨ͠γεςϜζΤϯδχΞϦϯά 
   IUUQTXXXJODPTFPSHQSPEVDUTBOEQVCMJDBUJPOTTFIBOECPPL
   γεςϜζΤϯδχΞϦϯάͰ ظ଴͢Δ͜ͱ ϞσϧϕʔεγεςϜζ
   ΤϯδχΞϦϯάͷ໾ׂ ϑϩϯτϩʔσΟϯάʹ
   ʮ࣮ߦՄೳʯͳཁٻ ૣظʹ෼ੳ΍ݕূɺଥ౰ੑ֬ೝ͕Մೳͳ
   ʮ࣮ߦՄೳʯͳཁٻͷϞσϧͷهड़๏ ҟͳΔ෼໺΍ҟͳΔྖҬΛ
   ݁ͼ͚ͭΔ ෼໺΍ྖҬʹґଘ͠ͳ͍ɺͱಉ࣌ʹɺಛఆͷ؍఺͔Βγε ςϜΛΈΒΕΔϞσϧͷهड़๏ 4
5. Agreement processes Organiza0onal project-enabling processes Technical management processes Technical processes Business or mission analysis process Integra0on process Project planning process Project assessment and control process Decision management process Risk management process Configuration management process Informa0on management process Measurement process Quality assurance process Life cycle model management process Infrastructure management process Portfolio management process Human resource management process Quality management process Knowledge management process Acquisition process Supply process Stakeholder needs & requirement definition process System requirements definition process Architecture definition process Design defini0on process System analysis process Implementa0on process Verification process Transi0on process Validation process Operation process Maintenance process Disposal process 4ZT.-
   4ZTUFNT
   .PEFMJOH
   -BOHVBHF ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάͷͨΊͷϞσϦϯάݴޠͷҰͭ
   6.-
   6OJpFE
   .PEFMJOH
   -BOHVBHF
   Λϕʔεʹఆٛ 5 ͜ͷ͋ͨΓ͕4ZT.- ͷείʔϓ
6. 4ZT.-͕ఏڙ͢ΔϞσϧछྨͷେ·͔ͳ෼ྨ
   6 要求 振る舞い パラメトリック（制約） 構造
7. 6.-4ZT.-ͷਤͷߏ੒ٴͼ6"'ͷϞσϧछྨͱͷରԠ
   7 େ෼ྨ UML SysML ཁٻ ʔ ཁٻਤ ৼΔ෣͍ Ϣʔεέʔεਤ Ϣʔεέʔεਤ ΞΫςΟϏςΟਤ ΞΫςΟϏςΟਤ εςʔτϚγϯਤ εςʔτϚγϯਤ γʔέϯεਤ γʔέϯεਤ ίϛϡχέʔγϣϯਤ ʔ ૬ޓ࡞༻֓ཁਤ ʔ λΠϛϯάਤ ʔ ߏ଄ Ϋϥεਤ ϒϩοΫఆٛਤ ΦϒδΣΫτਤ ʔ ߹੒ߏ଄ਤ ಺෦ϒϩοΫਤ ίϯϙʔωϯτਤ ʔ ഑ஔਤ ʔ ύϥϝτϦοΫ ʔ ύϥϝτϦοΫਤ
8. ΞʔΩςΫνϟ ੲͷΞʔΩςΫνϟͷΠϝʔδ 8 ֓ཁઃܭ ࠓͷΞʔΩςΫνϟͷఆٛ
   *40*&$*&&&
   
   4ZTUFNT
   BOE
   TPGUXBSF
   FOHJOFFSJOH
   Š
   
   "SDIJUFDUVSF
   EFTDSJQUJPO εςʔΫ
   ϗϧμʔ ؔ৺ࣄ Ϟσϧ ʴ ʴ ΞʔΩςΫνϟϏϡʔϙΠϯτ
   ಛఆͷؔ৺ࣄΛهड़͠ɺ෼ੳ͢ΔͨΊͷ؍఺ͷఆٛ
   ΞʔΩςΫνϟϏϡʔ
   ϏϡʔϙΠϯτʹج͖ͮ۩ମతʹهड़͞Εͨ΋ͷ
9. ϦϑΝϨϯεΞʔΩςΫνϟͷྫ
   6OJGJFE
   "SDIJUFDUVSF
   'SBNFXPSL
   6"' 9 Taxonomy Structure Connectivity Processes States Interaction Scenarios Information Parameters Constraints Roadmap Traceability Meta data Md-Tx Md-Sr Md-Cn Md-Pr - - Conceptual Data Model, Logical Data Model, Physical schema, real world results Environment Pm-En Measurements Pm-Me Md-Ct - Md-Tr Strategic St-TX St-Sr St-Cn - St-St - St-Ct St-Rm St-Tr Operational Op-Tx Op-Sr Op-Cn Op-Sr Op-St Op-ls Op-Ct - - Services Sv-Tx Sv-Sr Sv-Cn Sv-Pr Sv-st Sv-ls Sv-Ct Sv-Rm Sv-Tr Personnel Pr-Tx Pr-Sr Pr-Cn Pr-Pr Pr-St Pr-ls Pr-Ct Pr-Rm Pr-Tr Resource Rs-Tx Rs-Sr Pr-Cn Rs-Pr Rs-St Rs-ls Rs-Ct Rs-Rm Rs-Tr Security Sc-Tx Sc-Sr Sc-Cn Sc-Pr - - Sc-Ct - - Projects Pj-Tx Pj-Sr Pj-Cn - - - Pj-Rm Pj-Tr Standards Sd-Tx Sd-SR - - - - - Sd-Rm Sd-Tr Actual Resources - Ar-Sr Ar-Cn Simulation Parametric/ Execution/E valuation - - Dictionary Overview Requirement IUUQTTMJEFQMBZFSDPNTMJEF IUUQTXXXPNHPSHTQFD6"'1%'
10. 6"'ͱ4ZT.-6.-ͷϞσϧछྨͷରԠ 10 େ෼ྨ UML SysML UAFͰରԠ͢ΔϞσϧछྨ ཁٻ ʔ ཁٻਤ (Requirement viewpoint) ৼΔ෣͍ Ϣʔεέʔεਤ Ϣʔεέʔεਤ Interac4on Scenarios ΞΫςΟϏςΟਤ ΞΫςΟϏςΟਤ Process εςʔτϚγϯਤ εςʔτϚγϯਤ States γʔέϯεਤ γʔέϯεਤ Interac4on Scenarios ίϛϡχέʔγϣϯਤ ʔ ʔ ૬ޓ࡞༻֓ཁਤ ʔ ʔ λΠϛϯάਤ ʔ ʔ ߏ଄ Ϋϥεਤ ϒϩοΫఆٛਤ Structure ΦϒδΣΫτਤ ʔ ߹੒ߏ଄ਤ ಺෦ϒϩοΫਤ Connec4vity ίϯϙʔωϯτਤ ʔ ഑ஔਤ ʔ ύϥϝτϦοΫ ʔ ύϥϝτϦοΫਤ Parameters
11. 6"'ʹ͓͚ΔΞʔΩςΫνϟͷఆٛྫ 11 IUUQTXXXPNHPSHTQFD6"'1%'
12. ࣄྫɿϔουϥϯϓ ओͳػೳ
    ϋΠϏʔϜɺϩʔϏʔϜ
    Ի੠ૢ࡞
    ର޲ं͕઀ۙ͢ΔͱɺࣗಈతʹϩʔϏʔϜ 12
13. ϔουϥϯϓγεςϜͷ։ൃʹ͔͔ΔεςʔΫϗϧμʔͱͦͷؔ৺ࣄͷྫ ͜͜Ͱ͸6TBHF
    7JFXQPJOUʢར༻ͷ؍఺ʣɺ'VODUJPOBM
    7JFXQPJOUʢػೳͷ ؍఺ʣɺ*NQMFNFOUBUJPO
    7JFXQPJOUʢ࣮૷ͷ؍఺ʣͷࡾͭͷ؍఺Λಋೖͨ͠ 13
14. ϔουϥϯϓγεςϜͷϞσϧछྨͷྫ 14 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN）
15. 5BYPOPNZʢ༻ޠʣͷϞσϧྫ ϞσϧཁૉࣗମΛఆٛ͢Δ
    ϒϩοΫఆٛਤʹΑΓϞσϧཁૉ͸ಋೖͰ͖Δ͕ਤ͸ͳͯ͘΋Α͍
    Ϟσϧཁૉ͸༷ʑͳϞσϧਤ͔Βࢀর͞ΕΔ͕ɺ࣮ମ͸5BYPOPNZʹஔ͍͓ͯ͘ 15 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN） Ϟσϧཁૉͷ ࣮ମ Ϟσϧਤ
16. 3FRVJSFNFOUʢཁٻʣͷϞσϧྫ ࣗવݴޠʹΑΔཁ݅ʢཁٻࣄ߲ʣΛهड़
    ཁ݅ʢཁٻࣄ߲ʣͷ֊૚ؔ܎Λهड़Ͱ͖Δ
    ཁ݅ʢཁٻࣄ߲ʣͱରԠ͢Δݕূ߲໨Λهड़Մೳ 16 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN）
17. 4USVDUVSFʢߏ଄ʣͷϞσϧྫ Ϟσϧཁૉͷ੩తͳߏ଄Λهड़͢Δ
    ϞσϧؒͷΠϯλϥΫγϣϯͷߏ଄΍ৼΔ෣͍ͷߏ଄Ͱ͸ͳ͍ 17 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN）
18. $POOFDUJWJUZʢ઀ଓੑʣͷϞσϧྫ ϞσϧؒͷΠϯλϥΫγϣϯΛఆٛ͢Δ
    ϞσϧؒͰ΍ΓͱΓ͞ΕΔ৘ใ΍෺࣭ɺΤωϧΪʔͳͲΛఆٛͰ͖Δ
    ΠϯλϥΫγϣϯͷॱং΍৚݅ͳͲ͸ৼΔ෣͍ͷϞσϧͰఆٛ͢Δ 18 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN）
19. 4UBUFʢঢ়ଶʣͷϞσϧྫ  Ϟσϧཁૉͷঢ়ଶͱͦͷભҠΛఆٛ͢Δ
    ભҠͷτϦΨʔ΍৚݅ɺ෇ਵ͢ΔΞΫγϣϯͳͲʹΑΓɺϞσϧཁૉؒͷؔ ܎΋ఆٛ͞ΕΔ 19 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN）
20. ߏ଄ʹجͮ͘ঢ়ଶϞσϧͷఆٛྫ ભҠͷτϦΨʔ΍৚݅ɺ෇ਵ͢ΔΞΫγϣϯͳͲඞͣߏ଄Ͱఆٛ͞Εͨ΋ͷΛ ࢖͏͜ͱʹΑΓɺ࣮ߦՄೳͳཁٻͷهड़͕Մೳ 20 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN）
21. 4DFOBSJPʢγφϦΦʣͷϞσϧྫ  ঢ়ଶͷϞσϧ͕ɺऔΓಘΔঢ়ଶΛ໢ཏతʹهड़͢Δͷʹରͯ͠ɺγφϦΦ ͸ɺయܕతͳৼΔ෣͍ྫΛҰͭهड़͢Δ
    ϢʔεέʔεਤʹΑΓɺγφϦΦͱͦΕʹؔΘΔϞσϧཁૉΛهड़͢Δ 21 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN）
22. 4DFOBSJPʢγφϦΦʣͷϞσϧྫ  γʔέϯεਤʹΑΓɺϢʔεέʔεʹରԠͨ͠γφϦΦΛఆٛ͢Δ
    ϥΠϑϥΠϯٴͼ΍ΓͱΓ͞ΕΔϝοηʔδ͸ߏ଄Ͱఆ͓ٛͯ͘͠ɺ·ͨ͸ɺఆٛͨ͠΋ͷΛར༻͢Δ 22 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN）
23. 5SBDFBCJMJUZʢτϨʔαϏϦςΟʣʹ͍ͭͯʢ४උʣ 'VODUJPOBM
    7JFXʹ͓͍ͯ͸ɺར༻ऀ͔Β͸ݟ͑ͳ͍ɺ#PEZ
    $POUSPM
    4ZTUFNͳͲͷαϒγες Ϝ͕ಋೖ͞Ε͍ͯΔ
    ߏ଄ʹ͍ͭͯ͸ఆ͕ٛͦͷ··τϨʔαϏϦςΟʹͳ͍ͬͯΔ 23 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN） 'VODUJPOBM
    7JFX 6TBHF
    7JFX 'VODUJPOBM
    7JFXͷ4USVDUVSFʢߏ଄ʣϞσϧ
24. 'VODUJPOBM
    7JFXͷ4UBUFʢঢ়ଶʣϞσϧ 24 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN） 'VODUJPOBM
    7JFX 6TBHF
    7JFX
25. 5SBDFBCJMJUZʢτϨʔαϏϦςΟʣϞσϧ 25 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN） ৼΔ෣͍ʹؔ͢ΔϞσϧཁૉ͸ɺ໌ࣔతʹؔ܎Λఆٛ͢Δ
    τϨʔαϏϦςΟΛఆٛ͢Δ͜ͱʹΑΓɺҟͳΔ؍఺ؒͷෆ੔߹ͳͲΛ ٞ࿦Ͱ͖ΔΑ͏ʹͳΔ
26. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάͰظ଴͞ΕΔ͜ͱ ෳ਺ͷ؍఺ɺෳ਺ͷϞσϧछྨ͔ΒΈͯ੔߹తͳཁٻͷهड़΍ΞʔΩςΫνϟ͕ಘΒΕΔ 26 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN） ҟͳΔϞσϧछྨ ؒͰͷಉҰͷ؍఺ ಺Ͱͷ੔߹ੑ ҟͳΔ؍఺ؒͰͷಉҰͷ ϞσϧछྨؒͰͷ੔߹ੑ
27. Ϟσϧؒͷ੔߹ੑΛ֬ೝ͢Δͷ͸ ݁ߏେมͰ͸ʁ
    ˠ
    ܗࣜख๏ 27
28. ܗࣜख๏ʢGPSNBM
    NFUIPEʣͱ͸ɺܗࣜతͳϞσϧ ʹجͮ͘γεςϜιϑτ΢ΣΞ։ൃख๏શൠΛ
    ࢦ͢
    2
    ʮܗࣜతͳϞσϧʯͱ͸ʁ 28
29. ܗࣜख๏ͷͨΊͷྫ୊
    ؆୯ͳഉଞ੍ޚػߏ 29 IUUQXXXGBJULZVTIVVBDKQdGVLVEB%BJHBLVJO4ZTUFNTPGU1BSB041BSB04JOEFYIUNM
30. 1SPNFMBʢ4QJOͷهड़ݴޠʣͰͷهड़ 30 ࣮ߦͰ͖·͢
31. ू߹ʹΑΔهड़ 31 w -PDL4UBUF
    
    \
    MPDLFE
    VOMPDLFE
    -
    -^
    w 1SPDFTT4UBUF
    
    \
    OPO$SJUJDBM
    DSJUJDBM
    Q
    Q
    
    Q
    ^
    w 4UBUF
    
    -PDL4UBUF
    º
    1SPDFTT4UBUF
    º
    1SPDFTT4UBUF
    w *OJU
    㱪
    4UBUF
    w *OJU
    
    \
    VOMPDLFE
    OPO$SJUJDBM
    OPO$SJUJDBM
    ^
    w 5SBOTJUJPO
    㱪
    4UBUF
    º
    4UBUF
    w 5SBOTJUJPO
    
    
    \
    Y
    OPO$SJUJDBM
    [
    Y
    Q
    [
    c
    Y㱨
    -PDL4UBUF
    [
    㱨
    1SPDFTT4UBUF
    ^
    㱮
    \
    Y
    Z
    OPO$SJUJDBM
    Y
    Z
    Q
    c
    Y㱨
    -PDL4UBUF
    Z
    㱨
    1SPDFTT4UBUF
    ^
    㱮
    \
    VOMPDLFE
    Q
    [
    M
    Q
    [
    c
    [
    㱨
    1SPDFTT4UBUF
    ^
    㱮ɾɾɾ ূ໌͕هड़Ͱ͖·͢
32. &WFOU#Ͱͷهड़ 32 ূ໌͕هड़Ͱ͖ɺࣗಈνΣοΫͯ͘͠Ε·͢
33. 4ZT.-Ͱͷهड़ 33 w ࣮ߦͰ͖·ͤΜ
    w πʔϧʹΑΓจ๏ͷνΣοΫ͸ͯ͘͠Ε ·͕͢ɺੑ࣭ͷূ໌͸ͯ͘͠Ε·ͤΜ ͜ͷ··Ͱ͸ɾɾ
34. 2
    ܗࣜతͳϞσϧͱ͸ʁ
    ˣ
    "ҙຯΛܭࢉػॲཧͰ͖ΔϞσϧ 34
35. ܗࣜख๏ͷछྨ ܗࣜ࢓༷هड़
    ͋Δܗࣜతମܥʹج͖ͮɺ੔߹తͳ࢓༷͕هड़Ͱ͖Δ
    &WFOU#
    7%.
    ఆཧূ໌ࢧԉܥ
    ͋Δܗࣜతମܥʹج͖ͮɺ੔߹తʹ࢓༷Λهड़͠ɺ͞Βʹ๬·͍͠ੑ࣭ Λຬ͍ͨͯ͠Δ͜ͱΛࣔ͢ূ໌͕੔߹తʹهड़Ͱ͖Δ
    *TBCFMMF
    .BVEF
    "HEB
    FUD
    ࣗಈఆཧূ໌
    ͋Δܗࣜతମܥʹج͖ͮɺ๬·͍͠ੑ࣭Λຬ͍ͨͯ͠Δ͔൱͔Λࣗಈతʹ ূ໌Ͱ͖Δɻͨͩ͠ɺ͜͜Ͱͷܗࣜతମܥͷهड़ೳྗ͸Ұൠతͳ࢓༷Λهड़Ͱ͖Δ΄Ͳ ߴ͘ͳ͍ͨΊɺಛఆͷ໰୊ʹର͢ΔܭࢉΤϯδϯͷΑ͏ͳܗͰ࢖༻͞ΕΔ
    
    ֤छ4"54.5
    4PMWFS
    FUD
    Ϟσϧݕࠪ
    ͋Δܗࣜతମܥʹ͓͚Δ͋Δ࿦ཧ͕ࣜ͋ΔಛఆͷϞσϧͰ੒Γཱ͔ͭ൱͔Λ ௐ΂Δ͜ͱɻ͜͜ͰɺϞσϧ͸γεςϜͷ࢓༷ɺ࿦ཧࣜ͸ͦͷ࢓༷ͷ๬·͍͠ੑ࣭Λද͢
    4QJO
    -54"
    611""-
    /V4.7
    FUD 35 ݕࠪࣜͱݺͿ
36. Ϟσϧݕࠪʢ.PEFM$IFDLJOHʣʹண໨͢Δ Ұൠʹ͍ΘΕ͍ͯΔϞσϧݕࠪͷऑ఺
     ঢ়ଶരൃ
     ݕࠪࣜΛͭ͘Δͷ͕೉͍͠ 36 ಈతςετ Ϟσϧݕࠪ ର৅ ࣮෺ Ϟσϧ ݕࠪൣғ ࣮ߦύεҰͭͣͭ Ϟσϧ্ͷύεશͯ ࣔͤΔ͜ͱ ޡΓͷଘࡏ ޡΓͷଘࡏ͓ΑͼϞσϧԽͨ͠ ൣғʹޡΓ͕ͳ͍͜ͱ ݕग़Մೳͳ
    ޡΓͷछྨ ࣮ߦ࣌ޡΓ ϞσϧԽͨ͠
    ൣғ಺ͷޡΓ ௨ৗͷςετͱͷൺֱ
37. ԾઆɿϞσϧݕࠪͱϞσϧϕʔεγεςϜζΤϯδχΞϦϯ ά͸૬ੑ͕͍͍ͷͰ͸ʁ
    ࠜڌɿϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʹ͓͍ͯ ͸ɺϞσϧݕࠪͷऑ఺͕͋·Γ໨ཱͨͳ͍ʂʁ 37
38. 4ZT.-ϞσϦϯάΤσΟλ্ͰͷϞσϧݕࠪ 38 モデル検査ツールなど コマンドラインの変換 ツールによる提供 モデルファイル モデル検査ツールなど プラグイン形態による ツール提供 ϓϥάΠϯʹΑΔϞσϧݕࠪػೳͷఏڙ
39. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    ߏ଄ͱঢ়ଶʹجͮ͘ϞσϧͷϞσϧݕࠪهड़ݴޠʹΑΔղऍ  39 4ZT.-ͷ4USVDUVSFʢߏ ଄ʣͷϞσϧ 4ZT.-ͷ 4UBUFʢঢ়ଶʣͷ Ϟσϧ
40. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    ߏ଄ͱঢ়ଶʹجͮ͘ϞσϧͷϞσϧݕࠪهड़ݴޠʹΑΔղऍ  40 4ZT.- 1SPNFMB
41. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    ߏ଄ͱঢ়ଶʹجͮ͘ϞσϧͷϞσϧݕࠪهड़ݴޠʹΑΔղऍ  41 4ZT.-ͷ4USVDUVSFʢߏ ଄ʣͷϞσϧ 4ZT.-ͷ 4UBUFʢঢ়ଶʣͷ Ϟσϧ
42. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    ߏ଄ͱঢ়ଶʹجͮ͘ϞσϧͷϞσϧݕࠪهड़ݴޠʹΑΔղऍ  42 4ZT.- -54" 4ZT.-ͷ4USVDUVSFʢߏ଄ʣ ͷϞσϧ 4ZT.-ͷ4UBUFʢঢ় ଶʣͷϞσϧ -54"Ϟσϧ
43. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    ߏ଄ͱঢ়ଶʹجͮ͘ϞσϧͷϥϯμϜγϛϡϨʔγϣϯ 43
44. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    ߏ଄ͱঢ়ଶɺٴͼϓϩηεʹجͮ͘ϞσϧͷϞσϧݕࠪهड़ݴޠʹΑΔղऍ  44
45. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    ߏ଄ͱঢ়ଶɺٴͼϓϩηεʹجͮ͘ϞσϧͷϞσϧݕࠪهड़ݴޠʹΑΔղऍ  45 4ZT.- -54"Ϟσϧ -54"
46. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    γφϦΦʹجͮ͘ϞσϧͷϞσϧݕࠪͷͨΊͷݕࠪࣜʹΑΔղऍ  46 ˘
    Q
    ˠ
    Q ٶຊΒ
    6.-γʔέϯεਤͷߏ଄هड़͔Βઢܗ࣌૬࿦ཧࣜ΁ͷࣗ ಈม׵ख๏
    ୈճ৘ใՊֶٕज़ϑΥʔϥϜ '*5
    
47. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    ཁٻਤʹΑΔϞσϧݕࠪͷͨΊͷݕࠪࣜͱ࢓༷ͷϞσϧͱͷؔ࿈෇͚ 47 Ϟσϧݕ͕ࠪ੒ޭͨ͜͠ͱΛද͢ ϞσϧݕࠪͰ൓ྫ͕ൃݟ͞Εͨ͜ͱΛද͢
48. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    Ϟσϧݕࠪͷ࣮ࢪͱ݁Ռͷ֬ೝ 48 ϓϥάΠϯʹΑΔϞσϧݕࠪػೳͷఏڙ
49. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ  
    Ϟσϧݕࠪ݁Ռͷ൓ྫΛ4ZT.-Ϟσϧ্ͰγϛϡϨʔγϣϯ 49
50. ϞσϦϯάπʔϧͱ࣮ݱՄೳͳϞσϧݕࠪػೳ·ͱΊ  ߏ଄ͱঢ়ଶʹجͮ͘ϞσϧͷϞσϧݕࠪهड़ݴޠʹΑΔղऍ
     ߏ଄ͱঢ়ଶʹجͮ͘ϞσϧͷϥϯμϜγϛϡϨʔγϣϯ
     ߏ଄ͱঢ়ଶɺٴͼϓϩηεʹجͮ͘ϞσϧͷϞσϧݕࠪهड़ݴޠʹΑΔղऍ
     γφϦΦʹجͮ͘ϞσϧͷϞσϧݕࠪͷͨΊͷ࿦ཧࣜʹΑΔղऍ
     ཁٻਤʹΑΔϞσϧݕࠪͷͨΊͷݕࠪࣜͱ࢓༷ͷϞσϧͱͷؔ࿈෇͚
     Ϟσϧݕࠪͷ࣮ࢪͱ݁Ռͷ֬ೝ
     Ϟσϧݕࠪ݁Ռͷ൓ྫΛ4ZT.-Ϟσϧ্ͰγϛϡϨʔγϣϯ 50
51. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʹ͓͚ΔϞσϧݕࠪͷ׆༻ྫ  ಉ͡ϨΠϠʔͷ؍఺ʹ͓͚ΔৼΔ෣͍ͷ੔߹ੑݕূ 51 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN） 4UBUFͷϞσϧ 1SPDFTTͷϞσϧ ྫɿ1SPDFTTͷϞσϧͱ4UBUFͷϞσϧͱͷ੔߹ੑ
52. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʹ͓͚ΔϞσϧݕࠪͷ׆༻ྫ  ҟͳΔϨΠϠʔͷಉҰͷϞσϧछྨؒͷ੔߹ੑݕূ 52 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN） 6TBHF
    7JFXQPJOUͷ4UBUFͷϞσϧ 'VODUJPOBM
    7JFXQPJOUͷ4UBUFͷϞσϧ ྫɿ6TBHF
    7JFXQPJOUٴͼ'VODUJPOBM
    7JFXQPJOUͦ ΕͧΕʹ͓͚Δ4UBUFͷϞσϧؒͷ੔߹ੑ 5SBDFBCJMJUZͷϞσϧ
53. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʹ͓͚ΔϞσϧݕࠪͷ׆༻ྫ  ཁٻਤͰهड़ͨ͠೚ҙͷݕࠪࣜͷݕূ 53 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN） 3FRVJSFNFOUͷ
    Ϟσϧ 4USVDUVSFͱ4UBUFͷϞσϧ 4DFOBSJPͷϞσϧ ྫɿ6TBHF
    7JFXQPJOUʹ͓͚Δ4UBUFͱ4DFOBSJPͷ
    ੔߹ੑ
54. ·ͱΊɿϞσϧϕʔεγεςϜζΤϯδχΞϦϯάͱϞσϧݕࠪ ෳ਺ͷ؍఺ؒɺෳ਺ͷϞσϧछྨؒͷ੔߹ੑ͕ࣗಈతʹ֬ೝͰ͖Δ 54 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN） Ϟσϧݕࠪͷऑ఺͸ݦࡏԽ͠ʹ͍͘ͱߟ͑ΒΕΔ
    ঢ়ଶരൃ
    ˠ
    ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάͰ͸ཁٻ΍ΞʔΩςΫνϟΛର৅ͱ͢ΔͨΊɺৄࡉઃܭ΍ιʔε ίʔυʹൺ΂ঢ়ଶ਺͸গͳ͍ͱߟ͑ΒΕΔ
    ݕࠪࣜͷ࡞੒͕೉͍͠
    ˠ
    ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάͰ͸ɺͦ΋ͦ΋ෳ਺ͷ؍఺΍ෳ਺ͷϞσϧछྨΛѻ ͏ͨΊɺݕࠪࣜ͸ͦΕΒͷؔ܎Λද͢΋ͷͰΑ͍
55. 
    ϞσϧϕʔεγεςϜζΤϯδχΞϦ ϯάʹ͓͚ΔγφϦΦੜ੒ख๏ͷޮՌ తͳ׆༻ 55
56. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάͷγφϦΦੜ੒΁ͷ׆༻   ҙਤ͞Εͨػೳͷ҆શΛอূ͢Δ׆ಈ 4BGFUZ
    PG
    UIF
    JOUFOEFE
    GVODUJPOBMJUZ
    405*'
    ҙਤ͞Εͨػೳͷػೳ্ͷෆ଍ɺຢ͸߹ཧతʹ༧ݟ͞ΕΔਓʹΑΔϛεϢ ʔε͔ΒҾ͖ى͜͞ΕΔϋβʔυʹ͓͍ͯෆ߹ཧͳϦεΫ͕ͳ͍͜ͱ
    *40
    3PBE
    WFIJDMFT
    r
    4BGFUZ
    PG
    UIF
    JOUFOEFE
    GVODUJPOBMJUZ
    405*'ʹؔ͢Δةݥࣄ৅ͷՄೳੑ͕
    े෼ʹ௿͍͜ͱΛอূ͢ΔͨΊʹ
    ࢖༻͞ΕΔϓϩηεٴͼͦͷࠜڌ
    ΛؚΉ 56
57. 405*'Ͱѻ͏ࣄނͷൣғ 57 ࣄނ ػೳ͕ҙਤ௨Γʹಇ͔ ͳ͍͜ͱʹΑΔࣄނ ނো΍όάʹΑΔ
    ࣄނ ϒ Ϩ ồ Ω ෦ ඼ ͕ ຎ ໣ ͠ ࣄ ނ ੍ ޚ ι ϑ τ ΢ ỻ Ξ ͷ ό ά ʹ Α Δ ࣄ ނ ػೳ͕ҙਤ௨Γʹಇ্͍ͨ Ͱͷࣄނ υϥΠόͷ ϛεϢʔε γεςϜͷ
    ੑೳݶք υ ϥ Π ό ͷ ա ৴ ỏ ࠞ ཚ ỏ צ ҧ ͍ ʹ Α Δ ࣄ ނ η ϯ α ͷ
    ਫ਼ ౓ ෆ ଍ Ξ Ϋ ν ỿ ồ Τ λ ồ ੑ ೳ ͷ ݶ ք ͦͷଞ γ ε ς Ϝ ʹ Α ỳ ͯ ௚ ઀ Ҿ ͖ ى ͜ ͞ Ε Δ ࣄ ނ Ϣ ồ β ồ ͷ ҙ ਤ త ͳ վ ଄ ʹ Α Δ ΋ ͷ η Ω ỿ Ϧ ς ỹ ߈ ܸ ʹ Α Δ ࣄ ނ ػೳ҆શͰѻ͏ൣғ 405*'Ͱѻ͏ൣғ
58. *40ʹ͓͚Δ҆શ࿦ূͷઓུ 58
59. γφϦΦʹجͮ͘405*'׆ಈͷ֓ཁ 59 *40Ͱنఆ͞Ε͍ͯΔൣғ ࣮ࡍͷଟ͘ͷϓϩδΣΫτͰ࣮ࢪ͞Ε͍ͯΔγφϦΦͷࣗಈੜ੒
60. Ϟσϧʹجͮ͘γφϦΦੜ੒ྫ  γφϦΦͷߏ੒ཁૉͷߏ଄Λهड़
    ιϑτ΢ΣΞߏ੒؅ཧͰ༻͍ΒΕΔ'FBUVSF
    NPEFMͷจ๏ΛԠ༻ 60
61. γφϦΦͷߏ੒ཁૉͷߏ଄ͷϞσϧ͔ΒγφϦΦͷࣗಈੜ੒ 61 ܗࣜख๏ͷͱ͜ΖͰ΋গ͠ݴٴͨ͠4"5
    4PMWFS ͳͲ΋׆༻͠ɺϑΟʔνϟʔϞσϧͰهड़ͨ͠ ੍໿Λຬͨ͢γφϦΦΛࣗಈੜ੒
62. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάͷγφϦΦੜ੒΁ͷ׆༻   ࣗಈं෼໺ͷ$ZCFSTFDVSJUZΛอূ͢Δ׆ಈ 62 
    (FOFSBM
    DPOTJEFSBUJPO 
    0WFSBMM
    DZCFSTFDVSJUZ
    NBOBHFNFOU 
    1SPKFDU
    EFQFOEFOU
    DZCFSTFDVSJUZ
    NBOBHFNFOU 
    $POUJOVPVT
    DZCFSTFDVSJUZ
    BDUJWJUJFT 
    3JTL
    BTTFTTNFOU
    NFUIPET 
    $PODFQU
    QIBTF 
    1SPEVDU
    EFWFMPQNFOU 
    $ZCFSTFDVSJU Z
    WBMJEBUJPO 
    1SPEVDUJPO 
    0QFSBUJPO
    BOE
    NBJOUFOBODF 
    %FDPNNJTTJPOJOH 
    %JTUSJCVUFE
    DZCFSTFDVSJUZ
    BDUJWJUJFT *404"&
    
    3PBE
    7FIJDMFT
    r
    $ZCFSTFDVSJUZ
    FOHJOFFSJOH
    ࣗಈं෼໺ʹ͓͚Δ $ZCFSTFDVSJUZͷن֨
    ෺ཧతͳ߈ܸͳͲͰ͸ͳ ͘ɺ௨৴ʹΑΔ߈ܸΛ૝ ఆͨ͠ηΩϡϦςΟ
63. *404"&ʹ͓͚Δ֓೦Ϟσϧ 63
64. *404"&ʹ͓͚ΔγφϦΦ 64
65. "OOFY
    (
    ϔουϥϯϓγεςϜͷ4ZT.-ϞσϧʹΑΔදݱྫ 65
66. "TTFUͷఆٛ 66
67. Ϟσϧͷ৘ใΛ༻͍ͨγφϦΦݕ౼ࢧԉ  67 γφϦΦݕ౼ࢧԉϓϥάΠϯ "TTFU৘ใʹجͮ͘%BNBHF
    4DFOBSJPީิͷநग़ Ϟσϧ৘ใ͔Β"TTFUʹؔ܎͢ Δίϯϙʔωϯτͷࣗಈநग़ ͋Γ͏Δ%BNBHF
    4DFOBSJPͷهड़ %BNBHF
    4DFOBSJPͷධՁͷهड़
68. 68 Ϟσϧͷ৘ใΛ༻͍ͨγφϦΦݕ౼ࢧԉ  "TTFU৘ใʹجͮ͘%BNBHF
    4DFOBSJPީิͷநग़ ίϯϙʔωϯτͷ৘ใ͔Β͋Γ͏Δ߈ ܸͷछྨʢ4 5 3 * % &ͳͲʣΛఏࣔ %BNBHF
    TDFOBSJPʹͭͳ͕ΔՄೳੑͷ͋Δίϯϙʔωϯτʹରͯ͠ɺ5ISFBU
    TDFOBSJPΛهड़͢Δ ݱ࣮తʹ͋Γ͏Δ"UUBDL
    1BUIΛهड़͢Δ
69. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʹ͓͚ΔγφϦΦݕ౼ࢧԉػೳͷ׆༻ྫ *NQMFNFOUBUJPO
    7JFXQPJOUʹ͓͚Δ$POOFDUJWJUZʢ઀ଓੑʣϞσϧΛ ༻͍ͯ5ISFBU
    TDFOBSJPʹجͮ͘෼ੳΛߦ͏ 69 Taxonomy 用語（ブロック） Requirement 要求（要求図） Structure 構造（ブロック定義図） Connectivity 接続性（内部ブロック図） State 状態（ステートマシン図） Processes プロセス（アクティビティ図） Scenarios シナリオ（シーケンス図） Traceability トレーサビリティ Usage 使用 01-00 01-01 01-02 01-03 01-04 01-05 01-06 01-10 Function 機能 02-00 02-01 02-02 02-03 02-04 02-05 02-06 02-10 Implementation 実装 03-00 03-01 03-02 03-03 03-04 03-05 02-06 03-10 安全性及びセキュリティなどに関する論証（GSN）
70. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʹ͓͚Δ
    ܗࣜख๏΍γφϦΦੜ੒ͷ׆༻ʹ͍ͭͯ 4ZT.-ΛܗࣜతϞσϧͱͯ͠ղऍͰ͖Ε͹ɺ͔ͦ͜Β΋ςετέʔεΛੜ੒ ͢Δ͜ͱ͕Ͱ͖·͢
    ࣗಈं෼໺ͷ$ZCFSTFDVSJUZΛอূ͢Δ׆ಈͷͨΊͷγφϦΦʹ͍ͭͯ
    ৼΔ෣͍Ϟσϧ΍੬ऑੑ؅ཧγεςϜͳͲͱ૊Έ߹ΘͤΔ͜ͱʹΑΓɺΑ Γܥ౷తͳࢧԉ͕Ͱ͖Δͱߟ͑ΒΕ·͢ 70 ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʴܗࣜख๏ʴγφϦΦੜ੒ ͸ɺࣾձ͔Βͷඞཁੑͱٕज़ͷ੒ख़౓͕ͪΐ͏Ͳόϥϯε͕ͱΕͭ ͭͭ͋Δঢ়گͩͱࢥ͍·͢ɻօ͞Μ΋ͥͻࢼͯ͠Έ͍ͯͩ͘͞ʂ