.. _pad-reference: Problem Analysis Diagram(PAD) ============================= .. contents:: Contents of this page PAD 縺ｯ繝輔Ο繝ｼ繝√Ε繝ｼ繝医↓莉｣繧上ｋ繝励Ο繧ｰ繝ｩ繝�縺ｮ隲也炊縺ｮ陦ｨ險俶ｳ輔→縺励※譌･遶玖｣ｽ菴懈園縺ｧ閠�｡医＆繧後� 1979蟷ｴ縺ｫ荳闊ｬ縺ｫ蜈ｬ髢九＆繧後◆菴懷峙豕輔〒縺吶� [Futamura1980]_ 蠖捺凾縲√�繝ｭ繧ｰ繝ｩ繝溘Φ繧ｰ險隱槭〒 if-else 譁�ｄ 郢ｰ繧願ｿ斐＠縺ｮ while 譁�↑縺ｩ縺ｮ縺�ｏ繧�ｋ蛻ｶ蠕｡讒矩�縺悟ｰ主�縺輔ｌ蟋九ａ縺ｾ縺励◆縲ゅ◎繧後↓蜷医ｏ縺帙※ 繝励Ο繧ｰ繝ｩ繝�縺ｮ隲也炊縺ｮ陦ｨ險俶ｳ輔〒繧ゅ∝宛蠕｡讒矩�縺ｫ蜷医ｏ縺帙◆陦ｨ險倥′縺ｧ縺阪ｋ繧ゅ�縺梧署譯医＆繧後※ 縺�∪縺励◆縲１AD縺ｯ縺昴�繧医≧縺ｪ陦ｨ險俶ｳ輔��代▽縺ｧ縺吶よｰｸ繧峨￥譖ｸ邀阪′蟄伜惠縺励↑縺�憾諷九′邯壹＞縺ｦ 縺�◆繧医≧縺ｧ縺吶′縲∵怙霑題ｧ｣隱ｬ譖ｸ繧呈嶌縺九ｌ縺滓婿繧ゅ＞繧九ｈ縺�〒縺� [Takase2018]_ 縲� .. figure:: pad-example.png Fig. 1 PAD縺ｮ萓� UML縺ｮ繧ｷ繝ｼ繧ｱ繝ｳ繧ｹ蝗ｳ縺ｧ繧ょ�逅��豬√ｌ繧堤ｹｰ繧願ｿ斐＠繧��蟯舌ｒ蜷ｫ繧√※陦ｨ迴ｾ縺吶ｋ縺薙→縺後〒縺阪∪縺吶� 縺昴ｌ縺ｫ蜉�縺医※PAD繧剃ｽｿ縺�虚讖溘↓縺ｯ縲√←繧薙↑繧ゅ�縺後≠繧九〒縺励ｇ縺�°縲� UML縺ｮ繧ｷ繝ｼ繧ｱ繝ｳ繧ｹ蝗ｳ繧呈嶌縺上↓縺ゅ◆縺｣縺ｦ縺ｯ縲∝�逅�↓蠢�ｦ√↑繝��繧ｿ縺ｮ謖√■荳ｻ縺ｨ縺ｪ縺上け繝ｩ繧ｹ繧� 豎ｺ繧√◆縺ゅ→縺ｧ縲√↑縺�＠縺ｯ豎ｺ繧√↑縺後ｉ繧ｷ繝ｼ繧ｱ繝ｳ繧ｹ繧定�∴縺ｾ縺吶� 縺ｨ縺薙ｍ縺後√す繝溘Η繝ｬ繝ｼ繧ｷ繝ｧ繝ｳ繝励Ο繧ｰ繝ｩ繝�縺ｮ險ｭ險医↓縺翫＞縺ｦ縺ｯ縲√ョ繝ｼ繧ｿ縺ｮ謖√■荳ｻ縺ｫ縺､縺�※ 閠�∴繧句燕縺ｫ縲∝�逅�焔鬆�↓縺､縺�※讀懆ｨ弱＠縺溘￥縺ｪ繧狗憾豕√′縺ゅｊ縺ｾ縺吶ゅ◎縺ｮ繧医≧縺ｪ蝣ｴ髱｢縺ｧ 繝��繧ｿ縺ｮ謖√■荳ｻ縺ｫ邏ｰ縺九￥隗ｦ繧後★縺ｫ險ｭ險医＠縺溘＞譎ゅ↓縲￣AD縺梧怏逕ｨ縺�縺ｨ遲���諢溘§縺ｦ縺�∪縺吶� 遘大ｭｦ逧�↑繧ｷ繝溘Η繝ｬ繝ｼ繧ｷ繝ｧ繝ｳ繝励Ο繧ｰ繝ｩ繝�縺ｧ縺ｯ縲√�繝ｭ繧ｰ繝ｩ繝�險ｭ險医�蜃ｺ逋ｺ轤ｹ縺檎黄逅�樟雎｡縺ｮ 謾ｯ驟肴婿遞句ｼ上�髮｢謨｣蛹冶｡ｨ迴ｾ縺ｫ縺ｪ縺｣縺ｦ縺�ｋ縺薙→縺悟､壹￥縲√ョ繝ｼ繧ｿ縺ｮ謖√■荳ｻ縺ｯ縺輔※縺翫″縲√ｄ繧九∋縺� 險育ｮ励�謇矩��′豎ｺ縺ｾ縺｣縺ｦ縺�ｋ縺薙→縺御ｸ闊ｬ逧�〒縺吶ゅ◎縺薙〒縲√ョ繝ｼ繧ｿ縺ｮ謖√■荳ｻ縺ｫ縺､縺�※縺ｯ 隗ｦ繧後★縺ｫ縲√ｄ繧翫◆縺�ｨ育ｮ励�謇矩��ｒ險倩ｿｰ縺ｧ縺阪ｋ陦ｨ險俶ｳ輔′谺ｲ縺励￥縺ｪ繧翫∪縺吶� PAD縺ｯ縺昴�繧医≧縺ｪ縺薙→縺悟庄閭ｽ縺ｪ陦ｨ險俶ｳ輔〒縺吶� 繧ｯ繝ｩ繧ｹ險ｭ險医↓閾ｳ繧句燕縺ｮ谿ｵ髫弱〒縲∽ｸｦ蛻励↓蜍穂ｽ懊＆縺帙ｋ蜷��繝ｭ繧ｻ繧ｹ縺ｮ荳ｭ縺ｮ蜃ｦ逅�焔鬆�ｒ 譖ｸ縺榊�縺励※讀懆ｨ弱☆繧九◆繧√↓PAD縺ｯ譛臥畑縺ｧ縺ゅｋ縺ｨ遲���閠�∴縺ｾ縺吶� PAD縺ｮ讒矩� --------- PAD縺ｧ縺ｯ縲∬ｦ∫ｴ�繧貞�蟶ｰ逧�↓邨�∩蜷医ｏ縺帙ｋ縺薙→縺ｧ菴懷峙縺励∪縺吶� PAD縺ｮ隕∫ｴ�縺ｯ縲√�繝ｭ繧ｰ繝ｩ繝溘Φ繧ｰ險隱槭�蛻ｶ蠕｡讒矩�縺ｫ蟇ｾ蠢懊＠縺ｦ縺翫ｊ縲�｣謗･縲∝�蟯舌∫ｹｰ繧願ｿ斐＠縲� 謇狗ｶ壹″蜻ｼ縺ｳ蜃ｺ縺励↑縺ｩ縺後≠繧翫∪縺吶� 蜊倡ｴ斐↑蜃ｦ逅� ---------- PAD縺ｮ荳ｭ縺ｧ蜊倡ｴ斐↑蜃ｦ逅�√▽縺ｾ繧雁峙縺ｮ荳翫〒縺ｯ繧｢繝医Α繝�け縺ｪ縺九◆縺ｾ繧翫→縺励※陦ｨ迴ｾ縺励※縲� 縺昴ｌ莉･荳雁峙隗｣縺帙★縺ｫ險闡峨〒隱ｬ譏弱＠縺ｦ貂医∪縺帙ｋ蜃ｦ逅��縲�聞譁ｹ蠖｢縺ｧ陦ｨ迴ｾ縺励∪縺吶� 髟ｷ譁ｹ蠖｢縺ｮ荳ｭ縺ｫ蜃ｦ逅��隱ｬ譏弱ｒ譖ｸ縺阪∪縺吶� 蜃ｦ逅��隱ｬ譏弱�邏ｰ縺九＆縺ｯ蝗ｳ縺ｮ雜｣譌ｨ縺ｫ豐ｿ縺｣縺ｦ隱ｿ謨ｴ縺励∪縺吶ゅた繝ｼ繧ｹ繧ｳ繝ｼ繝峨�譁�ｳ輔〒 譖ｸ縺�※繧ゅ°縺ｾ縺�∪縺帙ｓ縺後∵勸騾壹�譌･蟶ｸ隱槭〒譖ｸ縺阪∪縺吶� .. figure:: basic-element.png Fig. 2 蜊倡ｴ斐↑蜃ｦ逅� 騾｣謗･ ---- 蜃ｦ逅�1, 蜃ｦ逅�2, 蜃ｦ逅�3... 縺ｨ騾先ｬ｡逧�↓螳溯｡後＠縺ｦ縺�￥縺ｮ縺碁｣謗･縺ｧ縺吶� 邵ｦ邱壹ｒ蠑輔＞縺ｦ縲√◎縺ｮ邱壹�蜿ｳ蛛ｴ縺ｫ騾｣謗･縺輔ｌ繧玖ｦ∫ｴ�繧堤ｸｦ縺ｫ荳ｦ縺ｹ縺ｦ譖ｸ縺阪∪縺吶� .. figure:: sequence.png Fig. 3 騾｣遽 蜿榊ｾｩ ---- for譁�『hile譁�‥o while 譁�↑縺ｩ縺ｮ蜿榊ｾｩ縺ｯ縲∫ｹｰ繧願ｿ斐＠譚｡莉ｶ繧呈嶌縺�◆髟ｷ譁ｹ蠖｢繧呈嶌縺�※縲� 縺昴％縺九ｉ蜿ｳ縺ｫ豌ｴ蟷ｳ邱壹ｒ蠑輔″縲∵ｰｴ蟷ｳ邱壹�蜈医↓郢ｰ繧願ｿ斐＠蟇ｾ雎｡縺ｮ隕∫ｴ�繧呈嶌縺阪∪縺吶� 蜿榊ｾｩ譚｡莉ｶ繧貞�鬆ｭ縺ｧ蛻､螳壹☆繧九�縺九∵忰蟆ｾ縺ｧ蛻､螳壹☆繧九�縺九ｒ陦ｨ迴ｾ縺吶ｋ縺溘ａ縺ｫ縲∫ｹｰ繧願ｿ斐＠譚｡莉ｶ縺ｮ 髟ｷ譁ｹ蠖｢縺ｮ蟾ｦ遶ｯ縲√∪縺溘�蜿ｳ遶ｯ繧剃ｺ碁㍾邱壹↓縺励∪縺吶� .. figure:: loop.png Fig. 4 蜿榊ｾｩ 驕ｸ謚� ---- if譁�ｄswitch case 譁�↑縺ｩ縲∵擅莉ｶ縺ｫ蠢懊§縺ｦ蜃ｦ逅�ｒ蛻�ｊ譖ｿ縺医ｋ縺ｮ縺碁∈謚槭〒縺吶� 蜿ｳ遶ｯ縺悟�繧薙□譌励�繧医≧縺ｪ蝗ｳ蠖｢繧呈嶌縺阪∵覧縺ｮ荳ｭ縺ｫ譚｡莉ｶ繧呈嶌縺阪∪縺吶� 譌励�蜿ｳ遶ｯ縺ｮ荳贋ｸ九�縺ｨ繧薙′縺｣縺ｦ縺�※縲√◎縺ｮ蜈医�縺昴ｌ縺槭ｌ縺ｫ驕ｸ謚槭＆繧後ｋ隕∫ｴ�繧呈嶌縺阪∪縺吶� 譚｡莉ｶ縺梧�遶九＠縺溘ｉ荳翫�隕∫ｴ�縲∵�遶九＠縺ｪ縺九▲縺溘ｉ荳九�隕∫ｴ�縺悟ｮ溯｡後＆繧後∪縺吶� 蛻�ｲ舌�蛟呵｣懊′3縺､莉･荳翫≠繧句�ｴ蜷医↓縺ｯ縲∵覧縺ｮ縺ｨ繧薙′縺｣縺滄Κ蛻�ｒ蛻�ｲ舌�謨ｰ縺ｫ蜷医ｏ縺帙※ 蠅励ｄ縺励∪縺吶� .. figure:: selection.png Fig. 5 驕ｸ謚� 螳夂ｾｩ ---- 蜃ｦ逅�ｒ縺翫♀縺ｾ縺九↓隱ｬ譏弱＠縺滉ｸ翫〒縲√◎繧後ｒ蜈ｷ菴鍋噪縺ｫ繝悶Ξ繧､繧ｯ繝繧ｦ繝ｳ縺励※譖ｸ縺阪◆縺� 蝣ｴ蜷医↓縺ｯ縲∝ｮ夂ｾｩ縺ｮ陦ｨ險倥ｒ菴ｿ縺�∪縺吶� 縺ｾ縺壹♀縺翫∪縺九↑隱ｬ譏弱ｒ髟ｷ譁ｹ蠖｢縺ｫ譖ｸ縺阪∪縺吶ゅ◎縺薙°繧牙承縺ｫ莠碁㍾邱壹ｒ莨ｸ縺ｰ縺励� 莠碁㍾邱壹�荳翫↓ def 縺ｨ譖ｸ縺阪∪縺吶ゅ◎縺ｮ蜈医↓繝悶Ξ繧､繧ｯ繝繧ｦ繝ｳ縺励◆蜈医�隕∫ｴ�繧呈嶌縺阪∪縺吶� .. figure:: definition.png Fig. 6 螳夂ｾｩ 謇狗ｶ壹″蜻ｼ縺ｳ蜃ｺ縺� -------------- 謇狗ｶ壹″縺ゅｋ縺��髢｢謨ｰ蜻ｼ縺ｳ蜃ｺ縺励�縲�聞譁ｹ蠖｢縺ｮ蟾ｦ蜿ｳ遶ｯ繧剃ｺ碁㍾邱壹↓縺励�聞譁ｹ蠖｢縺ｮ荳ｭ縺ｫ 謇狗ｶ壹″縺ｮ蜷榊燕繧呈嶌縺阪∪縺吶� 蜻ｼ縺ｰ繧後ｋ蛛ｴ縺ｮ謇狗ｶ壹″縺ｯ縲∫峡遶九＠縺溷ｮ夂ｾｩ縺ｮPAD縺ｨ縺励※譖ｸ縺阪∪縺吶� .. figure:: procedure.png Fig.7 謇狗ｶ壹″蜻ｼ縺ｳ蜃ｺ縺� 遶ｯ蟄� ---- �代▽縺ｮPAD縺ｮ髢句ｧ九→邨ゆｺ�↓縺ｯ縲�聞荳ｸ縺ｮ遶ｯ蟄舌ｒ襍ｷ縺阪∪縺吶� .. figure:: terminal.png Fig. 8 遶ｯ蟄�