Upgrade to Pro — share decks privately, control downloads, hide ads and more …

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

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

Deb41fbc059f796a9eb3109ffed6c84d?s=128

toshinoritakai

December 28, 2020
Tweet

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*&$*&&&4ZTUFNTBOETPGUXBSFFOHJOFFSJOHŠ "SDIJUFDUVSFEFTDSJQUJPO εςʔΫ ϗϧμʔ ؔ৺ࣄ

    Ϟσϧ ʴ ʴ ΞʔΩςΫνϟϏϡʔϙΠϯτ ಛఆͷؔ৺ࣄΛهड़͠ɺ෼ੳ͢ΔͨΊͷ؍఺ͷఆٛ ΞʔΩςΫνϟϏϡʔ ϏϡʔϙΠϯτʹج͖ͮ۩ମతʹهड़͞Εͨ΋ͷ
  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. ϔουϥϯϓγεςϜͷ։ൃʹ͔͔ΔεςʔΫϗϧμʔͱͦͷؔ৺ࣄͷྫ ͜͜Ͱ͸6TBHF7JFXQPJOUʢར༻ͷ؍఺ʣɺ'VODUJPOBM7JFXQPJOUʢػೳͷ ؍఺ʣɺ*NQMFNFOUBUJPO7JFXQPJOUʢ࣮૷ͷ؍఺ʣͷࡾͭͷ؍఺Λಋೖͨ͠ 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ʢτϨʔαϏϦςΟʣʹ͍ͭͯʢ४උʣ 'VODUJPOBM7JFXʹ͓͍ͯ͸ɺར༻ऀ͔Β͸ݟ͑ͳ͍ɺ#PEZ$POUSPM4ZTUFNͳͲͷαϒγες Ϝ͕ಋೖ͞Ε͍ͯΔ ߏ଄ʹ͍ͭͯ͸ఆ͕ٛͦͷ··τϨʔαϏϦςΟʹͳ͍ͬͯΔ 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) 'VODUJPOBM7JFX 6TBHF7JFX 'VODUJPOBM7JFXͷ4USVDUVSFʢߏ଄ʣϞσϧ
  24. 'VODUJPOBM7JFXͷ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) 'VODUJPOBM7JFX 6TBHF7JFX
  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. ܗࣜख๏ʢGPSNBMNFUIPEʣͱ͸ɺܗࣜతͳϞσϧ ʹجͮ͘γεςϜιϑτ΢ΣΞ։ൃख๏શൠΛ ࢦ͢ 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 [ cY㱨-PDL4UBUF [㱨1SPDFTT4UBUF^㱮 \ Y Z OPO$SJUJDBM  Y Z Q cY㱨-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.54PMWFS 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) 6TBHF7JFXQPJOUͷ4UBUFͷϞσϧ 'VODUJPOBM7JFXQPJOUͷ4UBUFͷϞσϧ ྫɿ6TBHF7JFXQPJOUٴͼ'VODUJPOBM7JFXQPJOUͦ ΕͧΕʹ͓͚Δ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ͷϞσϧ ྫɿ6TBHF7JFXQPJOUʹ͓͚Δ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. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάͷγφϦΦੜ੒΁ͷ׆༻   ҙਤ͞Εͨػೳͷ҆શΛอূ͢Δ׆ಈ 4BGFUZPGUIFJOUFOEFEGVODUJPOBMJUZ 405*'  ҙਤ͞Εͨػೳͷػೳ্ͷෆ଍ɺຢ͸߹ཧతʹ༧ݟ͞ΕΔਓʹΑΔϛεϢ ʔε͔ΒҾ͖ى͜͞ΕΔϋβʔυʹ͓͍ͯෆ߹ཧͳϦεΫ͕ͳ͍͜ͱ *403PBEWFIJDMFTr4BGFUZPG

    UIFJOUFOEFEGVODUJPOBMJUZ 405*'ʹؔ͢Δةݥࣄ৅ͷՄೳੑ͕ े෼ʹ௿͍͜ͱΛอূ͢ΔͨΊʹ ࢖༻͞ΕΔϓϩηεٴͼͦͷࠜڌ ΛؚΉ 56
  57. 405*'Ͱѻ͏ࣄނͷൣғ 57 ࣄނ ػೳ͕ҙਤ௨Γʹಇ͔ ͳ͍͜ͱʹΑΔࣄނ ނো΍όάʹΑΔ ࣄނ ϒ Ϩ ồ

    Ω ෦ ඼ ͕ ຎ ໣ ͠ ࣄ ނ ੍ ޚ ι ϑ τ ΢ ỻ Ξ ͷ ό ά ʹ Α Δ ࣄ ނ ػೳ͕ҙਤ௨Γʹಇ্͍ͨ Ͱͷࣄނ υϥΠόͷ ϛεϢʔε γεςϜͷ ੑೳݶք υ ϥ Π ό ͷ ա ৴ ỏ ࠞ ཚ ỏ צ ҧ ͍ ʹ Α Δ ࣄ ނ η ϯ α ͷ  ਫ਼ ౓ ෆ ଍ Ξ Ϋ ν ỿ ồ Τ λ ồ ੑ ೳ ͷ ݶ ք ͦͷଞ γ ε ς Ϝ ʹ Α ỳ ͯ ௚ ઀ Ҿ ͖ ى ͜ ͞ Ε Δ ࣄ ނ Ϣ ồ β ồ ͷ ҙ ਤ త ͳ վ ଄ ʹ Α Δ ΋ ͷ η Ω ỿ Ϧ ς ỹ ߈ ܸ ʹ Α Δ ࣄ ނ ػೳ҆શͰѻ͏ൣғ 405*'Ͱѻ͏ൣғ
  58. *40ʹ͓͚Δ҆શ࿦ূͷઓུ 58

  59. γφϦΦʹجͮ͘405*'׆ಈͷ֓ཁ 59 *40Ͱنఆ͞Ε͍ͯΔൣғ ࣮ࡍͷଟ͘ͷϓϩδΣΫτͰ࣮ࢪ͞Ε͍ͯΔγφϦΦͷࣗಈੜ੒

  60. Ϟσϧʹجͮ͘γφϦΦੜ੒ྫ  γφϦΦͷߏ੒ཁૉͷߏ଄Λهड़ ιϑτ΢ΣΞߏ੒؅ཧͰ༻͍ΒΕΔ'FBUVSFNPEFMͷจ๏ΛԠ༻ 60

  61. γφϦΦͷߏ੒ཁૉͷߏ଄ͷϞσϧ͔ΒγφϦΦͷࣗಈੜ੒ 61 ܗࣜख๏ͷͱ͜ΖͰ΋গ͠ݴٴͨ͠4"54PMWFS ͳͲ΋׆༻͠ɺϑΟʔνϟʔϞσϧͰهड़ͨ͠ ੍໿Λຬͨ͢γφϦΦΛࣗಈੜ੒

  62. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάͷγφϦΦੜ੒΁ͷ׆༻   ࣗಈं෼໺ͷ$ZCFSTFDVSJUZΛอূ͢Δ׆ಈ 62 (FOFSBMDPOTJEFSBUJPO 0WFSBMMDZCFSTFDVSJUZNBOBHFNFOU 1SPKFDUEFQFOEFOUDZCFSTFDVSJUZNBOBHFNFOU $POUJOVPVTDZCFSTFDVSJUZBDUJWJUJFT 3JTLBTTFTTNFOUNFUIPET

    $PODFQUQIBTF 1SPEVDU EFWFMPQNFOU  $ZCFSTFDVSJU ZWBMJEBUJPO 1SPEVDUJPO 0QFSBUJPOBOE NBJOUFOBODF %FDPNNJTTJPOJOH %JTUSJCVUFEDZCFSTFDVSJUZBDUJWJUJFT *404"&3PBE 7FIJDMFTr$ZCFSTFDVSJUZ FOHJOFFSJOH ࣗಈं෼໺ʹ͓͚Δ $ZCFSTFDVSJUZͷن֨ ෺ཧతͳ߈ܸͳͲͰ͸ͳ ͘ɺ௨৴ʹΑΔ߈ܸΛ૝ ఆͨ͠ηΩϡϦςΟ
  63. *404"&ʹ͓͚Δ֓೦Ϟσϧ 63

  64. *404"&ʹ͓͚ΔγφϦΦ 64

  65. "OOFY(ϔουϥϯϓγεςϜͷ4ZT.-ϞσϧʹΑΔදݱྫ 65

  66. "TTFUͷఆٛ 66

  67. Ϟσϧͷ৘ใΛ༻͍ͨγφϦΦݕ౼ࢧԉ  67 γφϦΦݕ౼ࢧԉϓϥάΠϯ "TTFU৘ใʹجͮ͘%BNBHF4DFOBSJPީิͷநग़ Ϟσϧ৘ใ͔Β"TTFUʹؔ܎͢ Δίϯϙʔωϯτͷࣗಈநग़ ͋Γ͏Δ%BNBHF4DFOBSJPͷهड़ %BNBHF4DFOBSJPͷධՁͷهड़

  68. 68 Ϟσϧͷ৘ใΛ༻͍ͨγφϦΦݕ౼ࢧԉ  "TTFU৘ใʹجͮ͘%BNBHF4DFOBSJPީิͷநग़ ίϯϙʔωϯτͷ৘ใ͔Β͋Γ͏Δ߈ ܸͷछྨʢ4 5 3 * %

    &ͳͲʣΛఏࣔ %BNBHFTDFOBSJPʹͭͳ͕ΔՄೳੑͷ͋Δίϯϙʔωϯτʹରͯ͠ɺ5ISFBUTDFOBSJPΛهड़͢Δ ݱ࣮తʹ͋Γ͏Δ"UUBDL1BUIΛهड़͢Δ
  69. ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʹ͓͚ΔγφϦΦݕ౼ࢧԉػೳͷ׆༻ྫ *NQMFNFOUBUJPO7JFXQPJOUʹ͓͚Δ$POOFDUJWJUZʢ઀ଓੑʣϞσϧΛ ༻͍ͯ5ISFBUTDFOBSJPʹجͮ͘෼ੳΛߦ͏ 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 ϞσϧϕʔεγεςϜζΤϯδχΞϦϯάʴܗࣜख๏ʴγφϦΦੜ੒ ͸ɺࣾձ͔Βͷඞཁੑͱٕज़ͷ੒ख़౓͕ͪΐ͏Ͳόϥϯε͕ͱΕͭ

    ͭͭ͋Δঢ়گͩͱࢥ͍·͢ɻօ͞Μ΋ͥͻࢼͯ͠Έ͍ͯͩ͘͞ʂ