要求定義・仕様記述・設計・検証の手引き - 理論から学ぶ明確で統一された成果物定義

,VOJXBL 1.0 BU$PJODIFDL *OD ཁٻఆٛɾ࢓༷هड़ɾઃܭɾݕূͷखҾ͖ ཧ࿦͔ΒֶͿ໌֬Ͱ౷Ұ͞Εͨ੒Ռ෺ఆٛ

఻͍͑ͨ͜ͱ ਓʹΑͬͯཁٻɾ࢓༷ɾઃܭɾςετέʔεͷఆ͕ٛҟͳ͍ͬͯ·͢ɻ ͜ͷεϥΠυͰ͸ɺ͜ΕΒʹཧ࿦ʹཪ෇͚ΒΕͨ౷ҰతͰ໌֬ͳ ఆٛΛ༩͑·͢ɻ ౷ҰతͰ໌֬ͳఆٛΛ࠾༻͢Δ͜ͱͰҎԼΛୡ੒͢Δ͜ͱ͕ૂ͍Ͱ͢ɿ w੒Ռ෺ͷ඼࣭ΛߴΊίϛϡχέʔγϣϯΤϥʔΛগͳ͘͢Δ w੒Ռ෺ΛػցతʹॲཧՄೳʹ͢Δ͜ͱͰগͳ͍࿑ྗͰ੒Ռ෺ͷ໨తΛ ୡ੒Ͱ͖ΔΑ͏ʹ͢Δ

ಡΉʹ͋ͨͬͯͷ৺ߏ͑ʢʣ ͭͷ֓೦ʹରͯ͠ෳ਺ͷఆ͕ٛ͋Γ͑·͢ɻͦΕͧΕʹਖ਼ղɾ ෆਖ਼ղ͸͋Γ·ͤΜɻͨͩͦΕΒͷؒʹ༗༻ੑͷάϥσʔγϣϯ͕ ͋Δ͚ͩͰ͢ɻ΋͋͠ͳ͕ͨࢲͷ঺հ͢ΔఆٛΛࣗ͝਎ͷͦΕΑΓ ༗༻ͱײͨ͡Βͥͻ࠾༻ͯ͠Έ͍ͯͩ͘͞ɻ ͜ͷεϥΠυͰ঺հ͢Δఆٛ͸ɺ+BDLTPOͷཁٻͷߟ͑ํɺ )PBSFͷ$41ͷ҆ఆࣦഊϞσϧɺ.FZFSͷ%C$ͷఆٛΛ आΓͯͦΕͧΕΛೃછΈͷ͍͍Α͏ʹΞϨϯδͨ͠΋ͷͰ͢ɻ

ಡΉʹ͋ͨͬͯͷ৺ߏ͑ʢʣ ໌֬ͳఆٛ͸খ೉͘͠ݟ͑·͢ɻಡΜͰ͍Δ͏ͪʹ࠳ંͦ͠͏ʹ ͳΔํ΋͍ΔͰ͠ΐ͏ɻ͋Β͔͡Ί৺ߏ͑Λ͓఻͓͖͑ͯ͠·͢ɿ ࣭໰͢Δ͜ͱΛڪΕͳ͍Ͱ͍ͩ͘͞ɻ৽͍֓͠೦ΛΘ͔Βͳ͍͜ͱ ͸ී௨ͷ͜ͱͰ͢ɻ,VOJXBL͸͍ͭͰ΋࣭໰Λ׻ܴ͍ͯ͠·͢ɻ ਓʹਘͶΔͷ͕ஏ͔͚ͣ͠Ε͹͜ͷεϥΠυΛೖྗͨ͠ੜ੒"*ʹ ࣭໰Λͯ͠Έ·͠ΐ͏ɻ

5-%3 ্ྲྀͷ੒Ռ෺͔ΒԼྲྀͷ੒Ռ෺ʹ͍͘ʹ͕ͨͬͯ͠ɺ ࣮૷͢ΔγεςϜͷ࢟͸ঃʑʹ໌Β͔ʹͳ͍͖ͬͯ·͢ɻ wػೳཁٻͰ͸ৼΔ෣͍ͷҰ෦෼͚ͩఆٛ͠·͢ w࢓༷Ͱ͸ػೳཁٻͰ͸ݴٴ͞Ε͍ͯͳ͔ͬͨ෦෼ͷ ৼΔ෣͍Λఆٛ͠·͢ɻ࣮૷ʹࣗ༝౓Λ࢒ͯ͠ߏ͍·ͤΜ w࣮૷Ͱ͸ڐ͞Εͨࣗ༝౓ͷൣғ಺Ͱਖ਼ৗܥɾҟৗܥͷ ৼΔ෣͍Λఆٛ͠·͢

ຊεϥΠυఆٛͷྫͷ঺հ ཧ࿦ͷઆ໌Λ͸͡ΊΔલʹɺຊεϥΠυͷఆٛʹ ͕ͨ͠͏ͱɺཁٻɾ࢓༷ɾઃܭɾςετέʔε͕ Ͳ͏ͳΔ͔Λ঺հ͓͖ͯ͠·͢ɻ

ػೳཁٻͷྫ ࣗൢػʹചΓ੾ΕͰ͸ͳ͍੡඼"ͷՁ֨ΑΓ૯ֹ͕ଟ͘ͳΔ Α͏ʹ՟ฎΛ౤ೖ͢Δͱ੡඼"͕ߪೖՄೳʹͳΓɺ͔ͭ ͜ͷͱ͖੡඼"ͷϘλϯΛԡԼ͢Δͱ͍͔ͭ੡඼"Λ औΓग़͠ޱ͔Βड͚औΕΔʢ౸ୡՄೳੑɾ׆ੑʣɻ ࣗൢػʹ౤ೖ͞Ε͍ͯΔ՟ฎͷ૯ֹΑΓՁ֨ͷߴ͍͢΂ͯͷ ੡඼͸ߪೖՄೳʹͳΒͳ͍ʢ҆શੑʣɻ ۩ ମ
ྫ

ඇػೳཁٻͷྫ ࣗൢػ͸޴ׇ͕͍ͯٸ͍Ͱ͍ΔϢʔβʔ΋͍Δ͜ͱ͔ΒɺͳΔ΂͘ গͳ͍ૢ࡞਺Ͱૉૣ͘঎඼ΛߪೖͰ͖ͳ͚Ε͹ͳΒͳ͍ɻ·ͨࣗൢػ͸ ౤ೖ͞Εͨ՟ฎͷֹۚΛͳΔ΂͘଎͘ਖ਼֬ʹ൑ผͰ͖ͳ͚Ε͹ͳΒͳ͍ɻ ۩ ମ ྫ

τοϓϨϕϧͷ࢓༷ͷྫ WN*EMF BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU WN$PJOT*OTFSUFE BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU DPJOTDPJONVMUJTFU WN8BJUJOH$IPPTF BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU DPJOTDPJONVMUJTFU
WN%SPQQJOH BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU QSPEVDUQSPEVDU ᶃ BWBJMBCMF1SPEVDUT͸ࣗൢػʹ࠷ॳ͔Β͋Δ੡඼ ᶄ TIPX"WBJMBCMF BWBJMBCMF1SPEVDUT BWBJMBCMF1SPEVDUT͸ͦͷ·· ᶅ JOTFSU DPJO DPJOT͸\DPJO^Ͱ ͔ͭBWBJMBCMF1SPEVDUT͸ͦͷ·· ᶆ TIPX1VSDIBTBCMF QVSDIBTBCMF1SPEVDUT BWBJMBCMF1SPEVDUTͱDPJOT͸ͦͷ·· ᶇ JOTFSU DPJO DPJOT͸DPJOTʹDPJOΛ ଍ͨ͠΋ͷ͔ͭBWBJMBCMF1SPEVDUT͸ͦͷ·· ᶈ DIPPTF QSPEVDU <BWBJMBCMF1SPEVDUTʹ QSPEVDUؚ͕·ΕΔ>BWBJMBCMF1SPEVDUT͸ ͦͷ··QSPEVDU͸QSPEVDU ᶉ ESPQ QSPEVDU BWBJMBCMF1SPEVDUT͸ BWBJMBCMF1SPEVDUT͔ΒQSPEVDUΛࠩ͠Ҿ͍ͨ΋ͷ ᶇ ᶄ ᶅ ᶆ ᶃ ᶈ ᶉ ۩ ମ ྫ

ઃܭͷྫʢʣ DPJOT*EMF DPJOTDPJONVMUJTFU ᶃ ᶃ DPJOT\^ ᶄ JOTFSU DPJO
DPJOTDPJOT㱮\DPJO^ DPJOT8BJUJOH DPJOTDPJONVMUJTFU ᶄ ᶅ ᶆ DPJOT8BJUJOH DPJOTDPJONVMUJTFU ᶇ ᶅ UPUBM7BMVF WBM DPJOTDPJOT ᶆ DIPPTF QSPEVDU USVF ᶇ SFTFUDPJOT\^ ۩ ମ ྫ

ઃܭͷྫʢʣ QSPEVDUT*EMF QSPEVDUTQSPEVDUNVMUJTFU ᶃ QSPEVDUT8BJUJOH QSPEVDUTQSPEVDUNVMUJTFU QVSDIBTBCMFTQSPEVDUTFU ᶅ ᶃ
QSPEVDUT͸ࣗൢػʹ࠷ॳ͔Β͋Δ੡඼ ᶄ TIPX"WBJMBCMFT BWBJMBCMF1SPEVDUT <QSPEVDUTBWBJMBCMF1SPEVDUT> QSPEVDUTQSPEVDUT ᶅ UPUBM7BMVF WBM QSPEVDUTQSPEVDUT㱸 QVSDIBTBCMFT\Q㱨QSPEVDUTWBMVF Q WBM^ ᶆ TIPX1VSDIBTBCMFT QT <QTQVSDIBTBCMFT> QSPEVDUTQSPEVDUT ᶇ DIPPTF QSPEVDU <QSPEVDU㱨QVSDIBTBCMFT> QSPEVDUTQSPEVDUT㱸DIPTFQSPEVDU ᶈ ESPQ Q <QDIPTF>QSPEVDU QSPEVDUT\QSPEVDU^ ᶉ SFTFUQSPEVDUTQSPEVDUT ᶄ ᶆ ᶇ QSPEVDUT$IPTF QSPEVDUTQSPEVDUNVMUJTFU DIPTFQSPEVDU ᶈ QSPEVDUT%SPQQFE QSPEVDUTQSPEVDUNVMUJTFU ᶉ ۩ ମ ྫ

ઃܭͷྫʢʣ ઃܭͷྫʢʣͱʢʣͷঢ়ଶػցΛಉظΠϕϯτू߹ \UPUBM7BMVF SFTFU DIPPTF^Ͱฒߦ߹੒͠ɺUPUBM7BMVFͱSFTFUΠϕϯτ Λ֎෦͔ΒӅṭ͢Δʢ͜ΕΒͷΠϕϯτΛНʹ͢Δʣɻ ۩ ମ ྫ

ςετέʔεͷྫ WN*EMF BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU WN$PJOT*OTFSUFE BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU DPJOTDPJONVMUJTFU WN8BJUJOH$IPPTF BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU DPJOTDPJONVMUJTFU
WN%SPQQJOH BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU QSPEVDUQSPEVDU ᶇ ᶄ ᶅ ᶆ ᶃ ᶈ ᶉ ςετέʔε" ᶃˠᶄˠᶅˠᶆˠᶈˠᶉˠडཧ ςετέʔε# ᶃˠᶄˠᶄˠडཧ ςετέʔε$ ᶃˠᶆˠڋ൱ ʜ ۩ ମ ྫ

جૅΛ͓͑͞Α͏ ·ͣ͸

ཁٻɾ࢓༷ɾઃܭɾςετέʔεͷ ͢΂ͯ͸ΠϕϯτͱτϨʔεʹج͖ͮ·͢ɻ ·ͣ͸͜͜Λ͓͑͞·͢ɻ

Πϕϯτͱ͸ঢ়ଶભҠͷҾ͖ۚͰ͢ɻͨͱ͑͹ҎԼ͸͢΂ͯΠϕϯτͰ͢ɿ 6*Πϕϯτʢ6*ཁૉͷΫϦοΫɺϗόʔɺεΫϩʔϧɺʣ ࣌ؒܦա ௨৴ʢαʔόʔؒ΍ର%#ͷ΋ͷ΋ؚΉʣ ಺෦ΠϕϯτН
Πϕϯτͱ͸

಺෦ΠϕϯτНͱ͍͏ಛผͳΠϕϯτ͕͋Γ·͢ɻН͸ঢ়ଶػցͷ֎͔Β͸ ؍ଌͰ͖ͣൃੜΛ੍ޚͰ͖ͳ͍ΠϕϯτͰ͢ɻ λΠϜΞ΢τ΍ɺγεςϜ಺ͷ௨৴ͷΑ͏ʹӅṭ͞Ε͍ͯΔΠϕϯτΛНͰ දݱ͠·͢ɻ ಺෦ΠϕϯτНͱ͸

ෳ਺ͷঢ়ଶػց͕ͭͷΠϕϯτͰಉ࣌ʹঢ়ଶભҠ͢Δͱ͖͕͋Γ·͢ɻ ͜ͷΑ͏ͳΠϕϯτΛಉظΠϕϯτͱ͍͍·͢ɻН͸ಉظΠϕϯτʹ͸Ͱ͖·ͤΜɻ యܕతͳಉظΠϕϯτ͸࣍ͷͱ͓ΓͰ͢ɿ ΫϥΠΞϯτͱαʔόʔؒͷ௨৴ʢFHϦΫΤετɺϨεϙϯεʣ ϢʔβʔͱγεςϜؒͷ6*ૢ࡞ʢFHΫϦοΫɺϗόʔɺεΫϩʔϧʣ ಉظΠϕϯτͱ͸

ͭͷঢ়ଶػցͱಉظΠϕϯτͷू߹͔Βɺͭͷେ͖ͳঢ়ଶػցΛ ͭ͘Ε·͢ɻ͜ΕΛฒߦ߹੒ͱ͍͍·͢ɻ ঢ়ଶػց"ͱ#ΛಉظΠϕϯτू߹\&^Ͱฒߦ߹੒͢Δͱ͖ͷ खॱΛ͜Ε͔Βࣔ͠·͢ɻ ฒߦ߹੒ͱ͸

"ͱ#ͦΕͧΕͷॳظঢ়ଶ4"4#Λ߹੒ͯ͠ॳظঢ়ଶ 4" 4# ͱ͠·͢ ฒߦ߹੒45&1 4" 4# 4" 4#
ฒߦ߹੒ \&^

΋͠4"O͔ΒΠϕϯτ&Ͱ4"O΁ભҠͰ͖ͯɺ͔ͭ4#N͔Β΋ಉ͘͡ &Ͱ4#N΁ભҠͰ͖ͯ&͕ಉظΠϕϯτू߹ʹؚ·ΕΔͳΒɺ ͚ͬͭͯ͘ 4"O 4#N ͔Β&Ͱ 4"O 4#N ΁ભҠͰ͖·͢
ฒߦ߹੒45&1B 4"O 4"O 4#N 4"O 4#N 4#N 4"O 4#N & & & ฒߦ߹੒ \&^

΋͠4"O͔ΒΠϕϯτ&Ͱ4"O΁ભҠͰ͖ͯɺ͔͠͠4#N͔Β͸&Ͱ ભҠͰ͖ͣɺͦΕͰ͍ͯ&͕ಉظΠϕϯτू߹ʹؚ·ΕΔͳΒɺ 4"O 4#N ͔Β&ͰભҠͰ͖·ͤΜɻࠨӈٯ΋ಉ͡Ͱ͢ɻ ฒߦ߹੒45&1C 4"O 4"O 4#N
4"O 4#N & ฒߦ߹੒ \&^ 4#N & 4"O 4#N &

΋͠4"O͔ΒΠϕϯτ&Ͱ4"O΁ભҠͰ͖ͯɺ&͕ಉظΠϕϯτू߹ʹ ؚ·Εͳ͍ͳΒɺ 4"O 4#N ͔Β&Ͱ 4"O 4#N ΁ભҠͰ͖·͢ɻ ࠨӈٯ΋ಉ͡Ͱ͢ɻ
ฒߦ߹੒45&1D 4"O 4"O 4#N 4"O 4#N 4"O 4#N & & ฒߦ߹੒ \&^

τϨʔεͱ͸ॳظঢ়ଶ͔Β࿈ଓతʹભҠՄೳͳΠϕϯτͷྻͷ͏ͪНΛ औΓআ͍ͨ΋ͷͰ͢ɻ ͨͱ͑͹࣍ͷঢ়ଶػց͸࣍ͷτϨʔεΛ΋ͪ·͢ɿ τϨʔεͱ͸ 4 4 Πϕϯτ" Н τϨʔεɿ
τϨʔεɿ " τϨʔεɿ " " τϨʔεɿ " " " Н͸ೖΓ·ͤΜ

τϨʔεͱ͸ॳظঢ়ଶ͔Β࿈ଓతʹભҠՄೳͳΠϕϯτͷྻͷ͏ͪНΛ औΓআ͍ͨ΋ͷͰ͢ɻ ͨͱ͑͹࣍ͷঢ়ଶػց͸࣍ͷτϨʔεΛ΋ͪ·͢ɿ τϨʔεͱ͸ 4 4 Πϕϯτ" Н τϨʔεɿ
τϨʔεɿ " τϨʔεɿ " " τϨʔεɿ " " " ঢ়ଶػց͕ ग़ͤΔ͢΂ͯͷ τϨʔεΛ ूΊͨू߹Λ τϨʔεू߹ͱ ͍͍·͢

҆ఆঢ়ଶͱ͸ͦͷঢ়ଶ͔ΒНͰભҠͰ͖ͳ͍ঢ়ଶͷ͜ͱͰ͢ɻ ҆ఆঢ়ଶͱ͸ 4 4 4 Н 4 Πϕϯτ# 4
Н ঢ়ଶ ҆ఆෆ҆ఆ 4 ෆ҆ఆ 4 ҆ఆ 4 ෆ҆ఆ 4 ҆ఆ 4 ҆ఆ 4 ҆ఆ 4 Πϕϯτ" Н Πϕϯτ$

ࣦഊͱ͸҆ఆঢ়ଶʹࢸΔτϨʔεͱɺͦͷ҆ఆঢ়ଶͰڋ൱͞ΕΔΠϕϯτͷ ू߹ͷ૊ͷ͜ͱɻͨͱ͑͹࣍ͷঢ়ଶػց͸࣍ͷࣦഊΛ΋ͪ·͢ɿ ࣦഊͱ͸ ࣦഊɿ \# $^ ࣦഊɿ \"
#^ ࣦഊɿ # \" # $^ ࣦഊɿ " \" # $^ ʜ τϨʔε ڋ൱Πϕϯτू߹ 4 4 4 Н 4 Πϕϯτ# 4 Н 4 Πϕϯτ" Н Πϕϯτ$

ࣦഊͱ͸҆ఆঢ়ଶʹࢸΔτϨʔεͱɺͦͷ҆ఆঢ়ଶͰڋ൱͞ΕΔΠϕϯτͷ ू߹ͷ૊ͷ͜ͱɻͨͱ͑͹࣍ͷঢ়ଶػց͸࣍ͷࣦഊΛ΋ͪ·͢ɿ ࣦഊͱ͸ ࣦഊɿ \# $^ ࣦഊɿ \"
#^ ࣦഊɿ # \" # $^ ࣦഊɿ " \" # $^ ʜ τϨʔε ڋ൱Πϕϯτू߹ 4 4 4 Н 4 Πϕϯτ# 4 Н 4 Πϕϯτ" Н Πϕϯτ$ ঢ়ଶػցͷ΋ͭ ͢΂ͯͷࣦഊΛ ूΊͨू߹Λ ࣦഊू߹ͱ ͍͍·͢ ͋ΔτϨʔεTͷڋ൱Πϕϯτू߹9͕ ࣦഊू߹ʹೖΔͳΒ9ͷ෦෼ू߹9ʹ ͍ͭͯ T 9 ΋ࣦഊू߹ʹೖΓ·͢

ৄࡉԽͷͭͳ͕Γ جૅΛ͓͑ͨ͞Β

ίϯϙʔωϯτ࢓༷ ίϯϙʔωϯτ࢓༷ ίϯϙʔωϯτ࢓༷ ͢΂ͯฒߦ߹੒͞Εͨ࢓༷ ભҠʹ͔͔Δ࣌ؒ΍࢖༻ੑͳͲఆྔࢦඪͰ੍໿ ׆ੑɾ౸ୡՄೳੑɾ ҆શੑͰ੍໿ ίϯϙʔωϯτ࣮૷
ίϯϙʔωϯτ࣮૷ ίϯϙʔωϯτ࣮૷ ͢΂ͯฒߦ߹੒͞Ε࣮ͨ૷ τϨʔεू߹ͱ ࣦഊू߹Ͱ੍໿ τϨʔεू߹ͱ ࣦഊू߹Ͱ੍໿ ػೳཁٻ τοϓϨϕϧ࢓༷ ඇػೳཁٻ

ػೳཁٻͱ͸ ػೳཁٻ͸τϨʔεू߹ͷຬͨ͢΂͖ੑ࣭ͷఆٛͰ͢ɻੑ࣭͸͜Μͳ τϨʔεؚ͕·Ε͍ͯΔ΂͖ʢ׆ੑɾ౸ୡՄೳੑʣɺ͜ΜͳτϨʔε͸ ؚ·Ε͍ͯͯ͸͍͚ͳ͍ʢ҆શੑʣͷΑ͏ʹهड़͠·͢ɻ ػೳཁٻͷ࣌఺Ͱ͸ݴٴ͞Ε͍ͯͳ͍τϨʔε͕Ͳ͏ͳ͍ͬͯΔ͔͸ Θ͔Γ·ͤΜɻ ϙΠϯτ ҆શੑΛػೳཁٻʹؚΊ͍ͯΔͷͰɺҰൠతʹඇػೳཁٻͱ͞ΕΔ৘ใηΩϡϦςΟͷੑ࣭ͷҰ෦͕ ඇػೳཁٻͰ͸ͳ͘ػೳཁٻʹೖΓ·͢ɻ͜Εʹ͸ఆٛΛ໌֬ʹ͢Δ͜ͱͰ੒Ռ෺ͷ඼࣭Λἧ͑Δૂ͍͕͋Γ·͢ɻ

׆ੑͱ͸ ׆ੑͱ͸͍͔͍͍ͭ͜ͱ͕ى͜Δͱ͍͏ੑ࣭Ͱ͢ɻجຊܗ͸ ʮΠϕϯτ9 : ; ͕ى͜Δͱ͍͔ͭΠϕϯτ8͕ ൃੜ͢Δʯɻ ݫີʹ͍͏ͱɺ׆ੑ͸ͲΜͳ༗ݶ઀಄ࣙЋʹରͯ͠΋1 К
ʹ౸ୡͰ͖ΔЋͷԆ௕К͕ଘࡏ͢Δ͜ͱɻ جຊܗ͸ʮ㱼К((PPE К ʯʢͨͩ͠К͸ۃେʣɻ׆ੑͷ༗ແ͸͜ͷ࣌૬࿦ཧࣜͷਅِͰܾఆ͠·͢ɻ

౸ୡՄೳੑͱ͸ ౸ୡՄೳੑͱ͸τϨʔεू߹ͷͳ͔ʹ৚݅Λຬͨ͢τϨʔε͕ ଘࡏ͢Δͱ͍͏ੑ࣭Ͱ͢ɻ ࿦ཧֶͰ͸ɺτϨʔεू߹ʹΠϕϯτ9 : ; ͕ݱΕΔτϨʔε͕ ͭ΋ͳͯ͘΋ʮΠϕϯτ9 : ;
͕ى͜Δͱɺ͍͔ͭΠϕϯτ8͕ ൃੜ͢Δʯ͸ਅʢʂʣɻͦͷͨΊʮΠϕϯτ9 : ; Λى͜͢ τϨʔε͕ଘࡏ͢Δʯ͜ͱ΋ซͤͯࢦఆ͢Δඞཁ͕͋ΔͷͰ͢ɻ

҆શੑͱ͸ ҆શੑͱ͸ɺѱ͍͜ͱ͕ܾͯ͠ى͜Βͳ͍ͱ͍͏ੑ࣭Ͱ͢ɻ جຊܗ͸ʮΠϕϯτ9 : ; ͕ى͖ͨ͋ͱΠϕϯτ8͸ ൃੜ͠ͳ͍ʯɻ ݫີʹ͍͏ͱ҆શੑ͸͋Δ༗ݶ઀಄ࣙЋͰ1 Ћ
ͳΒЋͷͲͷԆ௕КͰ΋1 К ͱ͍͏͜ͱɻ جຊܗ͸ʮ㱼К(#BE К ʯɻ҆શੑͷ༗ແ͸͜ͷ࣌૬࿦ཧࣜͷਅِͰܾఆ͠·͢ɻ

ػೳཁٻͷྫ ࣗൢػʹചΓ੾ΕͰ͸ͳ͍੡඼"ͷՁ֨ΑΓ૯ֹ͕ଟ͘ͳΔ Α͏ʹ՟ฎΛ౤ೖ͢Δͱ੡඼"͕ߪೖՄೳʹͳΓɺ͔ͭ ͜ͷͱ͖੡඼"ͷϘλϯΛԡԼ͢Δͱ͍͔ͭ੡඼"Λ औΓग़͠ޱ͔Βड͚औΕΔʢ౸ୡՄೳੑɾ׆ੑʣɻ ࣗൢػʹ౤ೖ͞Ε͍ͯΔ՟ฎͷ૯ֹΑΓՁ֨ͷߴ͍͢΂ͯͷ ੡඼͸ߪೖՄೳʹͳΒͳ͍ʢ҆શੑʣɻ ۩ ମ
ྫ

ඇػೳཁٻͱ͸ ඇػೳཁٻ͸ྔతͳࢦඪͰ͔͠هड़Ͱ͖ͳ͍ੑ࣭ʢਅِͰܾఆͰ͖ͳ͍ʣͷఆٛͰ͢ɻ ͨͱ͑͹ભҠʹ͔͔Δ࣌ؒ΍࢖༻ੑͳͲ͸ͦΕΛຬͨͨ͜͠ͱΛਅِͰ͸આ໌Ͱ͖ͣɺ ྔతͳࢦඪͰͷΈهड़Ͱ͖·͔͢Βඇػೳཁٻʹଐ͠·͢ɻ ࢖༻ੑͷྫ͸ओཁͳϢʔβʔετʔϦʔͷୡ੒ʹඞཁͳ6*Πϕϯτ਺΍ࢹઢͷಈ͖ͷ ૯ྔͱ͍ͬͨྔతͳࢦඪͰهड़͞Ε·͢ɻ

ඇػೳཁٻͷྫ ࣗൢػ͸޴ׇ͕͍ͯٸ͍Ͱ͍ΔϢʔβʔ΋͍Δ͜ͱ͔ΒɺͳΔ΂͘ গͳ͍ૢ࡞਺Ͱૉૣ͘঎඼ΛߪೖͰ͖ͳ͚Ε͹ͳΒͳ͍ɻ·ͨࣗൢػ͸ ౤ೖ͞Εͨ՟ฎͷֹۚΛͳΔ΂͘଎͘ਖ਼֬ʹ൑ผͰ͖ͳ͚Ε͹ͳΒͳ͍ɻ ۩ ମ ྫ

τοϓϨϕϧͷ࢓༷ͱ͸ τοϓϨϕϧͷ࢓༷ͱ͸τϨʔεू߹ͱࣦഊू߹ͷ૊Ͱ͢ɻ τϨʔεू߹ͱࣦഊू߹Λ௚઀ॻ͖ͩ͘͢ͷ͸ͱͯ΋େมͳͷͰɺී௨͸ ҙਤͨ͠τϨʔεू߹ͱࣦഊू߹Λ΋ͭΑ͏ʹঢ়ଶػցΛߏ੒ͯ͠ ୅ସ͢Δ͜ͱ͕΄ͱΜͱͰ͢ɻ ࢓༷ͷ࣌఺Ͱ͸τϨʔε͸࣮૷ʹࣗ༝౓Λ࢒͢ඇܾఆੑ͕࢒͍ͬͯΔҎ֎͸ Ͳ͏ৼΔ෣͏ͷ͔͕Θ͔ΔΑ͏ʹͳ͍ͬͯ·͢ɻ ϙΠϯτ
͜͜Ͱ͸ൃࢄͷͳ͍ϞσϧͷΈΛѻ͏ͱ͍ͯ͠ΔͨΊൃࢄτϨʔεू߹͸औΓѻ͍ͬͯ·ͤΜɻ

τοϓϨϕϧͷ࢓༷ͱ͸ ঢ়ଶػցͷঢ়ଶʹ͸ඞཁͰ ͋Ε͹ঢ়ଶʹ෇ਵ͢Δม਺Ͱ ͋Δঢ়ଶม਺Λهड़͠·͢ɻ ·ͨɺ͢΂ͯͷભҠʹ͸ɺ ʮΠϕϯτ<Ψʔυ>ࣄޙ৚݅ʯͷ ͭΛهड़͠·͢ɻΨʔυ͸ਅͰ ͋Ε͹লུՄೳͰ͢ɻ
Χ΢ϯτCB &WFO BJOU 0EE CJOU Χ΢ϯτ<C>BC B

Ψʔυɾࣄޙ৚݅ͱ͸ Ψʔυͱ͸ঢ়ଶભҠͰ͖Δ৚݅Ͱ͢ɻΠϕϯτͱ ભҠલͷঢ়ଶͷঢ়ଶม਺ΛࢀরͰ͖·͢ɻ ࣄޙ৚݅ͱ͸ঢ়ଶભҠલޙͷঢ়ଶม਺ͷؔ܎Λ ఆٛ͠·͢ɻΠϕϯτͱભҠલޙͷঢ়ଶม਺Λ ࢀরͰ͖·͢ɻભҠޙͷঢ়ଶม਺ʹ͸Λ͚ͭ·͢ɻ

ը໘දࣔΛ൐͏τοϓϨϕϧͷ࢓༷ ը໘ද͕ࣔ൐͏৔߹͸ɺ͞Βʹ֤ঢ়ଶʹ͓͚Δը໘දࣔͷ৚͕݅ ՃΘΓ·͢ɻը໘දࣔͷ৚݅ͱ͸֤ঢ়ଶʹ͓͚Δը໘ͷը૾Λ ฦؔ͢਺ͷ͜ͱͰ͢ɻ Α͏͢Δʹঢ়ଶΛͭબΜͰ͘ΔͱɺରԠ͢Δը໘ͷը૾͕ͭ ಘΒΕΔͱ͍͏͜ͱͰ͢ɻ ͜ͷఆٛͷ΄͔ʹɺը໘ඳը໋ྩΛΠϕϯτͱͯ͠ൃੜͤ͞Δఆٛ΋͋Γ·͢ɻͲͪΒͰ΋΄ͱΜͲ มΘΓ·ͤΜɻ

τοϓϨϕϧͷ࢓༷ͷྫ WN*EMF BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU WN$PJOT*OTFSUFE BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU DPJOTDPJONVMUJTFU WN8BJUJOH$IPPTF BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU DPJOTDPJONVMUJTFU
WN%SPQQJOH BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU QSPEVDUQSPEVDU ᶃ BWBJMBCMF1SPEVDUT͸ࣗൢػʹ࠷ॳ͔Β͋Δ੡඼ ᶄ TIPX"WBJMBCMF BWBJMBCMF1SPEVDUT BWBJMBCMF1SPEVDUT͸ͦͷ·· ᶅ JOTFSU DPJO DPJOT͸\DPJO^Ͱ ͔ͭBWBJMBCMF1SPEVDUT͸ͦͷ·· ᶆ TIPX1VSDIBTBCMF QVSDIBTBCMF1SPEVDUT BWBJMBCMF1SPEVDUTͱDPJOT͸ͦͷ·· ᶇ JOTFSU DPJO DPJOT͸DPJOTʹDPJOΛ ଍ͨ͠΋ͷ͔ͭBWBJMBCMF1SPEVDUT͸ͦͷ·· ᶈ DIPPTF QSPEVDU <BWBJMBCMF1SPEVDUTʹ QSPEVDUؚ͕·ΕΔ>BWBJMBCMF1SPEVDUT͸ ͦͷ··QSPEVDU͸QSPEVDU ᶉ ESPQ QSPEVDU BWBJMBCMF1SPEVDUT͸ BWBJMBCMF1SPEVDUT͔ΒQSPEVDUΛࠩ͠Ҿ͍ͨ΋ͷ ᶇ ᶄ ᶅ ᶆ ᶃ ᶈ ᶉ ۩ ମ ྫ

γʔέϯεਤͰ࢓༷Λ୅ସ͢Δ৔߹ ࢓༷Λঢ়ଶػցͰॻ͘͜ͱ͕2$%ͷ͍ͣΕ͔ͷ໘Ͱڐ༰Ͱ͖ͳ͍ͱ͖ɺ τοϓϨϕϧͷ࢓༷Λෳ਺ͷγʔέϯεਤͰهड़͢Δ͜ͱ͕͋Γ·͢ɻ γʔέϯεਤ͸τϨʔεू߹಺ͷτϨʔεͭʹ૬౰͠·͢ɻͭ·Γɺ ͜Ε͸ঢ়ଶػցͷτϨʔεू߹Λෳ਺ͷγʔέϯεਤͰ૝૾ͤ͞ΔΑ͏ʹ ͍ͯ͠Δͱ͍͏͜ͱͰ͢ɻͦͷͨΊ࢓༷Λޡղ͢ΔϦεΫ͕͋Γ·͢ɻ

ػೳཁٻͱ࢓༷ͷؒͷؔ܎ τοϓϨϕϧͷ࢓༷Ͱఆٛ͞ΕͨτϨʔεू߹͸ػೳཁٻΛຬͨ͞ͳ͚Ε͹ ͳΓ·ͤΜɻ͢ͳΘͪ࣍ͷ྆ํΛຬ଍͠ͳ͚Ε͹ͳΓ·ͤΜɿ ؚ·ΕΔ΂͖τϨʔε͕͢΂ͯτϨʔεू߹ʹؚ·Ε͍ͯΔ ؚ·Εͯ͸ͳΒͳ͍τϨʔε͕͢΂ͯτϨʔεू߹ʹؚ·Ε͍ͯͳ͍

ػೳཁٻͱ࢓༷ͷؒͷؔ܎ ػೳཁٻΛຬͨ͢࢓༷͸͍ͭ͘΋ߟ͑ΒΕ·͢ɻ࢓༷هड़ͷຊ࣭͸͜ͷ ػೳཁٻΛຬͨ͢࢓༷ͷ͏ͪ΋ͬͱ΋༏Εͨ΋ͷΛબͿͱ͍͏͜ͱͰ͢ɻ બͿ୅දతͳج४͸ͭͰ͢ɿ ඇػೳཁٻΛߴ͘ຬͨ͢͜ͱ ࣮૷ίετͷ͍࣮҆૷Λ࠾༻Ͱ͖ΔΑ͏ʹࣗ༝౓͕ߴ͍͜ͱʢޙड़ʣ

࢓༷ΠϯεϖΫγϣϯʹ͍ͭͯ ࢓༷ΠϯεϖΫγϣϯͰ͸ɺ࢓༷͕ػೳཁٻΛຬͨ͢͜ͱΛ֬ೝ͠·͢ɻ ͭ·Γɺ࢓༷ͷτϨʔεू߹͕ػೳཁٻͷ׆ੑɾ౸ୡՄೳੑɾ҆શੑͷ ͍ͣΕ΋ຬ଍͢Δ͜ͱΛ֬ೝ͠·͢ɻ

ઃܭͱ͸ ઃܭͱ͸ɺτοϓϨϕϧͷ࢓༷Λਓؒͷཧղ͠΍͍͢খ͞ͳঢ়ଶػցͷ ίϯϙʔωϯτ࢓༷ʹ෼ղ͢Δ࡞ۀ͓Αͼͦͷ੒Ռ෺ͷ͜ͱͰ͢ɻ ઃܭͷ࣌఺Ͱ΋·ͩτϨʔε͸࣮૷ʹࣗ༝౓Λ࢒ͯ͠ߏ͍·ͤΜɻͨͩ͠ ͦͷࣗ༝౓͸࢓༷Ͱڐ༰͞Εͨࣗ༝౓Λ௒͑ͯ͸ͳΓ·ͤΜɻ ϙΠϯτ

ઃܭͷྫʢʣ DPJOT*EMF DPJOTDPJONVMUJTFU ᶃ ᶃ DPJOT\^ ᶄ JOTFSU DPJO
DPJOTDPJOT㱮\DPJO^ DPJOT8BJUJOH DPJOTDPJONVMUJTFU ᶄ ᶅ ᶆ DPJOT8BJUJOH DPJOTDPJONVMUJTFU ᶇ ᶅ UPUBM7BMVF WBM DPJOTDPJOT ᶆ DIPPTF QSPEVDU USVF ᶇ SFTFUDPJOT\^ ۩ ମ ྫ

ઃܭͷྫʢʣ QSPEVDUT*EMF QSPEVDUTQSPEVDUNVMUJTFU ᶃ QSPEVDUT8BJUJOH QSPEVDUTQSPEVDUNVMUJTFU QVSDIBTBCMFTQSPEVDUTFU ᶅ ᶃ
QSPEVDUT͸ࣗൢػʹ࠷ॳ͔Β͋Δ੡඼ ᶄ TIPX"WBJMBCMFT BWBJMBCMF1SPEVDUT <QSPEVDUTBWBJMBCMF1SPEVDUT> QSPEVDUTQSPEVDUT ᶅ UPUBM7BMVF WBM QSPEVDUTQSPEVDUT㱸 QVSDIBTBCMFT\Q㱨QSPEVDUTWBMVF Q WBM^ ᶆ TIPX1VSDIBTBCMFT QT <QTQVSDIBTBCMFT> QSPEVDUTQSPEVDUT ᶇ DIPPTF QSPEVDU <QSPEVDU㱨QVSDIBTBCMFT> QSPEVDUTQSPEVDUT㱸DIPTFQSPEVDU ᶈ ESPQ Q <QDIPTF>QSPEVDU QSPEVDUT\QSPEVDU^ ᶉ SFTFUQSPEVDUTQSPEVDUT ᶄ ᶆ ᶇ QSPEVDUT$IPTF QSPEVDUTQSPEVDUNVMUJTFU DIPTFQSPEVDU ᶈ QSPEVDUT%SPQQFE QSPEVDUTQSPEVDUNVMUJTFU ᶉ ۩ ମ ྫ

ઃܭͷྫʢʣ ઃܭͷྫʢʣͱʢʣͷঢ়ଶػցΛಉظΠϕϯτू߹ \UPUBM7BMVF SFTFU DIPPTF^Ͱฒߦ߹੒͠ɺUPUBM7BMVFͱSFTFUΠϕϯτΛ ֎෦͔ΒӅṭ͢Δʢ͜ΕΒͷΠϕϯτΛНʹ͢Δʣͱฒߦ߹੒ޙͷ ίϯϙʔωϯτ࢓༷͕Ͱ͖·͢ɻ ฒߦ߹੒ʹ͸HJUIVCDPN,VOJXBLQVNMQBSBMMFM͕ศརͰ͢ɻ ۩
ମ ྫ

τοϓϨϕϧͷ࢓༷ͱઃܭͷؔ܎ ͢΂ͯͷίϯϙʔωϯτ࢓༷ΛಉظΠϕϯτͰฒߦ߹੒ͯͭ͠ͷେ͖ͳ ঢ়ଶػցʹͨ͠ͱ͖ɺ͜ͷঢ়ଶػց͸࢓༷Λຬͨ͢Α͏ʹͳ͍ͬͯͳ͚Ε͹ ͳΓ·ͤΜɻ ίϯϙʔωϯτ࢓༷͕τοϓϨϕϧ࢓༷Λຬͨ͢ͷఆٛ͸࣍ͷͭͷ৚݅Λ ͲͪΒ΋ຬͨ͢͜ͱͰ͢ɿ wฒߦ߹੒ޙͷίϯϙʔωϯτ࢓༷ͷτϨʔεू߹㱪࢓༷ͷτϨʔεू߹ wฒߦ߹੒ޙͷίϯϙʔωϯτ࢓༷ͷࣦഊू߹㱪࢓༷ͷࣦഊू߹

τοϓϨϕϧͷ࢓༷ͱઃܭͷؔ܎ ࢓༷Λຬͨ͢ઃܭ͸͍ͭ͘΋ߟ͑ΒΕ·͢ɻ͜ͷ͏ͪ΋ͬͱ΋কདྷʹ Θͨͬͯͷܦࡁੑ͕ߴ͍ͱ༧ଌ͞ΕΔ΋ͷΛબͿ࡞ۀ͕ઃܭͷຊ࣭Ͱ͢ɻ

"1*ઃܭॻͱ͸ "1*ઃܭॻͱ͸ɺίϯϙʔωϯτؒͷಉظΠϕϯτͷܗࣜͱϦΫΤετͱ Ϩεϙϯεͷؔ܎Λɺγάωνϟͱࣄલ৚݅ͱࣄޙ৚݅ͷ૊Ͱ ఆٛͨ͠΋ͷͰ͢ɻ ίϯϙʔωϯτ࢓༷ͷ෦෼తͳผදݱʹ͋ͨΓ·͢ɻ

ࣄલ৚݅ͱ͸ ࣄલ৚݅ͱ͸"1*ʹنఆͷৼΔ෣͍Λظ଴͍͍ͯ͠ೖྗͱ௨৴લͷ ঢ়ଶͷ৚݅Ͱ͢ɻ͜Ε͕ຬͨ͞Εͳ͍ϦΫΤετʹରͯ͠ίϯϙʔωϯτ ͸Ͳ͏ৼΔ෣ͬͯ΋ʢΫϥογϡͯ͠ϨεϙϯεΛฦ͞ͳ͍͜ͱ ͑͞΋ʣڐ༰͞Ε·͢ɻͳ͓3&45Ͱ͍͏YYΛظ଴͍ͨ͠ͱ͖ͷ Α͏ʹظ଴͢ΔৼΔ෣͍͕͋Δ৔߹͸ࣄલ৚݅Ͱ͸ͳ͘ࣄޙ৚݅ʹ ॻ͍͍ͯͩ͘͞ɻ

ࣄޙ৚݅ͱ͸ ࣄޙ৚݅ͱ͸ΫΤετͱϨεϙϯεͷؒͷؔ܎ͱ"1*࣮ߦલޙʹ ͋Γ͑Δલޙͷঢ়ଶͷؒͷؔ܎Ͱ͢ɻϦΫΤετͱϨεϙϯεͷؒͷ ؔ܎ʹ͸ɺ͋ΔϦΫΤετYʹର͠ϨεϙϯεZ Z Z ͷ͍ͣΕ͔ ͕ฦΔͷΑ͏ʹॻ͖·͢ɻͨͱ͑͹"VUIPSJ[BUJPOϦΫΤετϔομͷ ͳ͍ϦΫΤετʹର͠ɺ͕ฦΔɺͷΑ͏ʹॻ͖·͢ɻ

ࣄલ৚݅ͱࣄޙ৚݅ͷώϯτ ࣄલ৚݅ͱࣄޙ৚݅͸දͰߟ͑ΔͱΘ͔Γ΍͍͢Ͱ͢ɻදʹ͸ೖྗͷྻͱ ग़ྗͷྻ͕͋Γɺࣄલ৚݅Λຬͨ͢ೖྗͷΈ͕ߦʹॻ͔Ε͍ͯ·͢ɻ ͦΕͧΕͷߦͷೖྗʹରͯ͠ग़ྗ͕ॻ͔Ε͍ͯ·͢ɻ

ࣄલ৚݅ͱࣄޙ৚݅ͷώϯτ 'J[[#V[[ͷྫͰ͸ɺࣄલ৚݅͸ʮೖྗʯͳͷͰߦ͸ ʜͷ ೖྗΛॻ͖ग़͠·͢ɻͦͯ͠ೖྗ͕ͷߦͷग़ྗ͸lzɺೖྗ͕ͷ ߦͷग़ྗͰ͸l fi [[zɺͱ͍͏;͏ʹॻ͍͍͚ͯ͹ද͕׬੒͠·͢ɻ
ೖྗ ग़ྗ #V[[

ࣄલ৚݅ͱࣄޙ৚݅ͷώϯτ ͔͕ͨ'J[[#V[[Ͱ΋ೖྗۭ͕ؒ޿େͳͨΊ͜ΕΛදͰॻ͖੾Δ͜ͱ͸ Ͱ͖·ͤΜɻͦͷͨΊলུه๏Ͱॻ͖ͨ͘ͳΓ·͢ɻ͜ͷলུه๏ͱͯ͠ Α͘࿦ཧ͕ࣜ࢖ΘΕ·͢ɿ QSFDPOEJUJPO㲇JOQVU QPTUDPOEJUJPO㲇 JOQVUEJW㱸JOQVUEJW⟶PVUQVU'J[[#V[[ 㱸
JOQVUEJW㱸JOQVUEJW⟶PVUQVU'J[[ 㱸 JOQVUEJW㱸JOQVUEJW⟶PVUQVU#V[[ 㱸 JOQVUEJW㱸JOQVUEJW⟶PVUQVUPG@TUSJOHJOQVU

"1*ઃܭͷྫ ࣄલ৚݅ɿ ৗʹਅ ࣄޙ৚݅ɿ Ϣʔβʔ͕ೝূࡁΈͰ͋Ε͹ 0,͕ؼΓɺ஫จ͕ه࿥͞ΕΔɻ Ϣʔβʔ͕ೝূࡁΈͰͳ͚Ε͹ 6OBVUIPSJ[FE͕ؼΓɺγεςϜͷ ঢ়ଶ͸มΘΒͳ͍
γάωνϟɿ 1045PSEFS 3FRVFTUCPEZ \QSPEVDUTUSJOH ^ 3FTQPOTFCPEZ \SFTVMUCPPMFBO ^ ۩ ମ ྫ

࣮૷ͱ͸ ࣮૷ͱ͸τοϓϨϕϧͷ࢓༷·ͨ͸ίϯϙʔωϯτ࢓༷Λຬͨ͢ɺ ࣮ߦՄೳͳঢ়ଶػց·ͨ͸ͦΕΛ࡞੒͢Δ࡞ۀͷ͜ͱͰ͢ɻ ࣮૷͸τοϓϨϕϧͷ࢓༷·ͨ͸ίϯϙʔωϯτ࢓༷ͷڐͨࣗ͠༝౓ͷ தͰৼΔ෣͍Λͭબͼ·͢ɻ ϙΠϯτ ݫີʹ͸ڐ͞Εͨࣗ༝౓ͷൣғͰٙࣅཚ਺ੜ੒ثͳͲΛ࢖ͬͯඇܾఆతͳৼΔ෣͍Λ࢒ͯ͠΋ߏ͍·ͤΜɻ

ઃܭͱ࣮૷ͷؔ܎ ࣮૷ͷ࡞ۀ͸ɺίϯϙʔωϯτ࢓༷Λຬͨ͢Α͏ʹίϯϙʔωϯτΛ࣮૷͠ɺ ͦΕΒͷίϯϙʔωϯτ࣮૷Λฒߦ߹੒͢Δ͜ͱͰୡ੒͞Ε·͢ɻ ίϯϙʔωϯτ࣮૷͕ίϯϙʔωϯτ࢓༷Λຬͨ͢ͷఆٛ͸࣍ͷͭΛͲͪΒ΋ ຬͨ͢͜ͱͰ͢ɿ wίϯϙʔωϯτ࣮૷ͷτϨʔεू߹㱪ίϯϙʔωϯτ࢓༷ͷτϨʔεू߹ wίϯϙʔωϯτ࣮૷ͷࣦഊू߹㱪ίϯϙʔωϯτ࢓༷ͷࣦഊू߹

ඇػೳཁٻͱ࣮૷ͷؔ܎ ࣮૷͔Β͸༷ʑͳ౷ܭσʔλΛಘΒΕ·͢ɻͨͱ͑͹ભҠʹ͔͔Δ࣌ؒ΍ ܭࢉػࢿݯʹ͔͔ΔෛՙͷྔͳͲΛಘΒΕ·͢ɻ ࣮૷͸͜ͷ౷ܭσʔλΛ௨ͯ͠ඇػೳཁٻΛຬͨ͞ͳ͚Ε͹ͳΓ·ͤΜɻ ͨͱ͑͹ඇػೳཁٻʹભҠʹ͔͔Δ࣌ؒͷ੍໿͕͋Ε͹ɺ࣮૷͕࣮ࡍʹ ભҠʹ͔͔Δ࣌ؒΛͳΔ΂͘୹͘͠ͳ͚Ε͹ͳΓ·ͤΜɻ

ςετέʔεͱ͸ τοϓϨϕϧͷ࢓༷ͱ࣮૷ͷؒͷݕূʢਖ਼౰ੑݕূʣʹ͍ͭͯͷ ςετέʔε͸τϨʔεͱظ଴݁Ռͷ૊Ͱ͢ɻτϨʔεू߹Λ αϯϓϦϯάͯ͠ಘΔ΋ͷͷظ଴݁Ռ͸डཧɺࣦഊू߹ ΛαϯϓϦϯάͯ͠ಘΔ΋ͷͷظ଴݁Ռ͸ڋ൱Ͱ͢ɻ

ςετέʔεͱ͸ τϨʔεू߹͸୯७ͳঢ়ଶػցͰ͋ͬͨͱͯ͠΋ڊେͰ͋Γɺ τϨʔεू߹ͷ͢΂ͯͷཁૉΛௐ΂͖Δ͜ͱ͸Ͱ͖·ͤΜɻ ͦ͜Ͱ༩͑ΒΕͨϦιʔεͱ࣌ؒͷ੍໿ͷதͰ࠷΋ϦεΫΛ Լ͛ΒΕΔαϯϓϧΛબͿ͜ͱʹͳΓ·͢ɻ͜Ε͕׆ੑͷ ݕূͷຊ࣭Ͱ͢ɻ

ςετέʔεͱ͸ ͜Ε͚ͩͩͱ׆ੑ͔͠ௐ΂ΒΕ͍ͯͳ͍ͷͰɺࣦഊू߹ ͷτϨʔεޙʹڋ൱Πϕϯτू߹಺ͷΠϕϯτ͕ ڋ൱͞ΕΔ͜ͱ΋֬ೝ͠·͢ɻ׆ੑͷݕূͱಉ༷ʹɺ αϯϓϦϯά͸ॴ༩ͷ੍໿ͷதͰ࠷΋ϦεΫΛԼ͛ΒΕΔ αϯϓϧΛબͼ·͢ɻ͜Ε͕҆શੑͷݕূͷຊ࣭Ͱ͢ɻ

ςετέʔεͷྫ WN*EMF BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU WN$PJOT*OTFSUFE BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU DPJOTDPJONVMUJTFU WN8BJUJOH$IPPTF BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU DPJOTDPJONVMUJTFU
WN%SPQQJOH BWBJMBCMF1SPEVDUTQSPEVDUNVMUJTFU QSPEVDUQSPEVDU ᶇ ᶄ ᶅ ᶆ ᶃ ᶈ ᶉ ςετέʔε" ᶃˠᶄˠᶅˠᶆˠᶈˠᶉˠडཧ ςετέʔε# ᶃˠᶄˠᶄˠडཧ ςετέʔε$ ᶃˠᶆˠڋ൱ ʜ ۩ ମ ྫ

ͦΕҎ֎ͷؒͷؔ܎ ػೳཁٻΛτοϓϨϕϧͷ࢓༷͕ຬͨ͠ɺ͔ͭฒߦ߹੒ͨ͠ίϯϙʔωϯτ ࢓༷͕τοϓϨϕϧͷ࢓༷Λຬͨͤ͹ɺฒߦ߹੒ͨ͠ίϯϙʔωϯτ࢓༷͸ ػೳཁٻΛຬͨ͠·͢ʢίϯϙʔωϯτ࣮૷΋ಉ༷Ͱ͢ʣɻ ฒߦ߹੒ͨ͠ίϯϙʔωϯτ࢓༷͕τοϓϨϕϧͷ࢓༷Λຬͨ͠ɺ͔ͭ ͢΂ͯͷίϯϙʔωϯτ࣮૷͕ͦΕͧΕͷίϯϙʔωϯτ࢓༷Λຬͨͤ͹ ฒߦ߹੒ͨ͠ίϯϙʔωϯτ࣮૷΋·ͨτοϓϨϕϧͷ࢓༷Λຬͨ͠·͢ɻ

·ͱΊ ͜ͷεϥΠυͰ͸ɺཁٻɾ࢓༷ɾઃܭɾݕূʹཧ࿦ʹཪ෇͚ΒΕͨ ౷ҰతͰ໌֬ͳఆٛΛ༩͑Δ͜ͱ͕໨ඪͰͨ͠ɻ wػೳཁٻ͸׆ੑɾ౸ୡՄೳੑɾ҆શੑͰهड़͞Ε·͢ wඇػೳཁٻ͸ྔతͳࢦඪͰهड़͞Ε·͢ wτοϓϨϕϧ࢓༷ͱίϯϙʔωϯτ࢓༷ͷ͍ͣΕ΋τϨʔεू߹ͱ ࣦഊू߹ͷ૊ͱͯ͠ఆٛ͞Ε·͢

·ͱΊ wίϯϙʔωϯτ࢓༷Λ͢΂ͯฒߦ߹੒͢ΔͱτοϓϨϕϧͷ࢓༷Λ ຬͨ͢Α͏ʹઃܭ͠·͢ wςετέʔε͸࢓༷ΛαϯϓϦϯάͨ͠΋ͷͰ͢

ࢀߟจݙ .JDIBFM+BDLTPO ιϑτ΢ΣΞཁٻͱ࢓༷࣮ફ ݪཧ ภݟͷࣙయ 5SBOTMBUFECZۄҪ఩༤ ञ೏׮ ΤεΞΠϏʔɾΞΫηε
ү෦঵ঘ ฒߦγεςϜͷݕূͱ࣮૷ɿܗࣜख๏$41ʹجͮ͘ߴ৴པ ฒߦγεςϜ։ൃೖ໳τοϓΤεΠʔ࣮ફߨ࠲ ۙ୅Պֶࣾ #FSUSBOE.FZFS ΦϒδΣΫτࢦ޲ೖ໳ୈ൛ݪଇɾίϯηϓτ 5SBOTMBUFECZञ೏׮ ᠳӭࣾ

ઐ໳Ո޲͚ͷิ଍ ͜͜Ͱ঺հ͍ͯ͠Δཁٻɾ࢓༷ɾઃܭɾ࣮૷ɾςετέʔεͷఆٛ͸ɺ .JDIBFM+BDLTPOͷཁٻͷߟ͑ํɺ)PBSFͷ$41ʹ͓͚Δ҆ఆࣦഊ Ϟσϧɺ.FZFSͷܖ໿ʹΑΔઃܭΛͦΕͧΕ࣮຿޲͚ʹ੔ཧɾ؆ུԽ ͨ͠΋ͷΛج൫ͱ͍ͯ͠·͢ɻ ཁٻ͸ੈքʢ؀ڥʣͰى͜Δࣄ৅ΛؚΈɺ࢓༷͸γεςϜͷৼΔ෣͍ʹ ݶఆ͍ͯ͠·͢ɻ

ઐ໳Ո޲͚ͷิ଍ ͳΔ΂͘ߟྀ͢΂͖͜ͱΛݮΒֶͯ͠शίετΛݮΒͨ͢Ί ൃࢄ͠ͳ͍࢓༷ɾ࣮૷ͷΈΛऔΓѻ͍ͬͯ·͢ɻ ͳ͓τϨʔεϞσϧ͚ͩͰ͸σουϩοΫʹؔ͢Δੑ࣭͕ৄࡉԽͰ อଘ͞Ε࣮ͣ຿্ऑ͍ͨΊɺڋ൱Λѻ͑Δ҆ఆࣦഊϞσϧΛ ࠾༻͍ͯ͠·͢ɻڋ൱Λѻ͏ҙਤ͕͋Γ·͢ɻ

ઐ໳Ո޲͚ͷิ଍ ׆ੑ͕ཁٻɾ࢓༷ɾ࣮૷ͷؒͰอଘ͞ΕΔΑ͏ʹ ͢ΔͨΊɺ͋Δঢ়ଶػցͰൃੜ͠͏Δ͢΂ͯͷΠϕϯτʹ ऑެฏੑΛ҉໧ʹԾఆ͍ͯ͠·͢ɻ

要求定義・仕様記述・設計・検証の手引き - 理論から学ぶ明確で統一された成果物定義

要求定義・仕様記述・設計・検証の手引き - 理論から学ぶ明確で統一された成果物定義

Resources

オブジェクト指向入門 第2版 原則・コンセプト

トップエスイー実践講座 第6巻 並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門

ソフトウェア要求と仕様: 実践,原理,偏見の辞典

More Decks by Kuniwak

Other Decks in Programming

Featured

Transcript

オブジェクト指向入門第2版原則・コンセプト

トップエスイー実践講座第6巻並行システムの検証と実装形式手法CSPに基づく高信頼並行システム開発入門