dddosaka 第11回での発表資料(2014年9月21日)
鎉铂הַ1)1ًٝة٦ؤ䖓谏猕㹑!IJEFOPSJHPUP1EEEPTBLB
View Slide
BCPVUNF˖ !IJEFOPSJHPUP 䖓谏猕㹑 ׀הֲמדך˖ 1)1ًٝة٦ؤ˖ 䪮遭鐰锷爡 8%#13&44 1)1鸬鯹։
זׁךֶ鑧˖ הג罋חזתׅ˖ 铣剅⠓ךٖه٦زזו嫣㔐ֻׄ铣תׇגְְגְת׃կ˖ ֿז如⯋ך㜥כծ⚅歲ךוֿח搀ֲׁ3
鑧ׅⰻ㺁˖ ٌرؚٔٝךչ䪮岀պ䱱ג˖ תת劢㸣䧭锃叨灇瑔媮ꥡ˖ ؒٞ؋ٝأגְֲֲֿ✲鎉גְ״ֲז孡ָׅהְֲ猘ך鍑ꅸ 僇然ח剅ַגכְזְ
ٌرؚٔٝהכ5
䊨㷕涸《穈דꅾ銲6ٌرٕ⻉זחָ㉏겗דծוזءأذي⡲ץַֹכծ剑ⴱַ僇然ח♷ִֽדכזְկ㼎韋걄㚖ⴓ匿׃ծ㉏겗涪鋅׃ծⵃ欽罏ך銲実姻然חהִגծٌرٕ⻉ׅ䪮遭ָꅾ銲ד֮կ!桪❁ㆸ꧅չاؿزؐؑ،䊨㷕պQ״
וְֲֲ遤捀ַ7㼎韋הז✲厑暴㹀ךٌرٕ錁㻊 ⵖ⡲ٌرٓ٦ך钠陎ˍ 鎉衝鎉铂㯭➜חׅ˖ ر٦ةٌرٕ˖ 朐䡾ٌرٕ˖ ِ٦أ؛٦أ˖ FUD
ֿר衅䠐㔳˖ 暴㹀ךٌرٕפ㢌䳔׃גְֻ麓玎דծ邌植׃ֹזְ✲厑ָ֮˖ չ؝ًٝزպչًٌպך״ֲז䕎ד酡駈׃גְ˖ 䗳銲ַ˖ ֲתְ䕎כזְֲַ8
ֲֿדֹזְַ9㼎韋הז✲厑暴㹀ךٌرٕ˖ ر٦ةٌرٕ˖ 朐䡾ٌرٕ˖ ِ٦أ؛٦أ˖ FUD鑧ׇٌرٕ
鑧ׇٌرٕ˖ سً؎ٝ꽀⹛鏣鎘ךչِؽؗةأ鎉铂պ˖ 植㜥٥鏣鎘٥㹋鄲ךׅץגך䬿䨽הז鎉铂˖ չ嚊䙀ٌرٕպ זךה䙼ְתׅ10
11הֿד
ِؽؗةأ鎉铂ˍسً؎ٝ꽀⹛鏣鎘דה閯זػة٦ٝ12
ِؽؗةأ鎉铂ך铎鍑˖ 鳤剅欽铂꧊˖ 植㜥ד⢪גְ鎉衝13
14ؒٞ؋ٝأכוֲ铡僇׃גְךַ!䗁统
&WBOT15
&WBOT16؟٦ؽأծ⦼ؔـآؙؑز ծ ؒ ٝ ذ؍ ذ؍ ծ ٌآُ٦ٕךせָِؽؗةأ鎉铂חⰅկ䠐 㔳 ך 僇 涯 ז ؎ ٝ ةؿؑ٦أָِؽؗةأ鎉铂䒷ֹ⳿ׅկِؽؗةأ鎉铂⢪ג㡮⳿׃גٌرٕ⻉ֿׅהדծٌرٕ꽀⹛鏣鎘鹌կ鋅鵤׃ך㔳ַ䖓谏ָ俑畍⻉
&WBOT17
&WBOT18ِؽؗةأ鎉铂ך铂䔿חכծؙٓأװ⚺銲ז乼⡲ךせָろתגְկתծٌرٕך⚥ד僇爙ׁٕ٦ٕחאְג陽锷ׅך欽铂ろתגְկֿך鎉铂כծٌرָٕ䖞ֲץֹ넝如ך圓䧭⾱椚ח歋勻ׅ欽铂ח״ג酡㸣ׁկ׃ג剑䖓כծسً؎ٌٝرٕח㼎׃ג♧菙ח黝欽ׁػة٦ٝךせח״גծֿך鎉铂כ䓼⻉ׁկٌرٕך⚥ח֮嚊䙀ךꟼ⤘䚍כծ֮ײ鎉铂ח㶷㖈ׅ穠さ鋉הזկ痥畍؝ىُص؛٦ءّٝה鎉铂ך⢪ְ倯ِؽؗةأ鎉铂6#*26*5064-"/(6"(&Q俑畍ַ䖓谏ָ⡲㔳
˖ ِؽؗةأ鎉铂ך铂䔿חכ٥٥٥٥˖ 嚊䙀ךꟼ⤘䚍כծ֮ײ鎉铂ח㶷㖈ׅ穠さ鋉הז19铂䔿 穠さ鋉
铂䔿ה穠さ鋉ך⢽˖ չ䖓谏ָ䀄ꢪַ勻կպהְֲ鎸鶢20䖓谏 䀄ꢪ 勻ӴӴָ։։ַ☓☓կ铂䔿穠さ鋉
穠さ鋉㔳爙21䖓谏 䀄ꢪ勻ָ ַהך鎸鶢הずׄ䠐邌׃גְ㹋⡤ꟼ鸬ثؑٝך&3ٌرٕך罋ִ勻فؚٗٓىؚٝ鎉铂1SPMPH
ꟼ鸬ָ䠐בֽ˖ չ㹋⡤պָֽ⚛דְגծ䠐䗁⯋דֹזְ˖ չ㹋⡤պהչꟼ鸬պָ暴㹀ךչ穠さ鋉պד⚛ץגכׄג䠐ָ寸תկ 鎸鶢הזծ✲㹋鶢ץկ22
ِؽؗةأ鎉铂הכ˖ չ铂䔿պהչ穠さ鋉ꟼ鸬պָ銲稆˖ ثؑٝך&3ٌرٕך罋ִה⡂גְ23
麓ך灇瑔24
锷椚ㆸ㷕锷罋嚊䙀ًةؿ؋٦25欰䧭俑岀$PODFQUVBM4USVDUVSF鎉铂㷕 ㆸ㷕 锷椚㷕钠濼ؐ؍زٝءُة؎ٝثّيأؗ٦4PXBٖ؎؝ؿ"*ثؑٝ&3秀⯋
$PODFQUVBM4USVDUVSF˖ +'4PXB *#.˖ 鎸鶢ך䠐圓鸡ד䯝ִ椚锷˖ 嚊䙀װꟼ⤘ךؕةؚٗ⻉26
$PODFQUVBM4USVDUVSF⢽˖ +PFCVZJOHBOFDLUJFGSPN)BMGPS27#6:1&340/+PF/&$,5*&1&340/)BM.0/&:"(/543$&0#+*/45'JH(SBQIGPSˑ+PFCVZJOHBOFDLUJFGSPN)BMGPS˒+'4PXBˑ$PODFQUVBM4USVDUVSF˒Q
$PODFQUVBM3FMBUJPO⢽28"(/5 43$& 0#+ */45ؒ٦آؑٝز،ؙة٦ا٦أ 㼎韋 麣Ⱗ.&5)倯岀-0$㜥䨽1"5)穗騟34-5穠卓זו珏겲
$PODFQUVBM4USVDUVSF䞔㜠˖ IUUQDPODFQUVBMTUSVDUVSFTPSH˖ IUUQDPODFQUVBMHSBQITPSH˖ ؽآُ،ٕؒر؍ة$P(VJ IUUQXXXMJSNNGSDPHVJ˖ *$$4 *OUFSOBUJPOBM$POGFSFODFPO $PODFQUVBM4USVDUVSFT IUUQJDDTJOGPVBJDSP˖ 1SPMPH$( IUUQQSPMPHQMVTDHTPVSDFGPSHFOFUNBOVBM29
30IUUQXXXMJSNNGSDPHVJ
31http://prologpluscg.sourceforge.net/manual/
ֿֿתדךתה˖ չ鑧ׇٌرٕպ⡲ך椚锷זוכַז灇瑔ׁגְ˖ ׃ַ׃سً؎ٝ꽀⹛鏣鎘劤ך罋俑柃ַכ鴬זְؒٞ؋ٝأָֿך濼鋅驎תִגְַוֲַכⴓַזְկ㼰זֻה僇爙涸חכ驎תִגְזְ˖ ؒٞ؋ٝأָչِؽؗةأ鎉铂պהㄎֿה涪㾜ׇׁהծ$PODFQUVBM4USVDUVSFך״ֲז罋ִחⵋ麦ׅ32
ءأذي鏣鎘ח⢪ִַ˖ 鎸鶢俑̔嚊䙀㔳ח堣唒涸ח㢌䳔דֲֹ˖ 㔳岀כ،ٖٝآ ꟼ鸬せכ简ךٓكٕח爙ׅ33嚊䙀 鶢铂 㾩䚍،ؙة٦ِ٦أ؛٦أ㔳הثؑٝ&3㔳ىحؙأ׃ג،ٖٝآ
ꂊ㾊㉏겗ד鑐ׅ֮ꂊ겲顋㡰⠓爡ך⦋䏧דכծ嫣傈侧⦐ך؝ٝذشָ䵤Ⰵׁגֻկךⰻ㺁כؽٝ鑥ךꂊדծאך؝ٝذشחכꌀ厑תד幉鯹דֹկ䪔ְꌀ厑כ秈珏겲֮կ⦋䏧⤘כծ؝ٝذش「ֽ《ךתת⦋䏧ח⥂盖׃ծ琎蚚牰「➰⤘פ䩛床ׅկת「➰⤘ַך⳿䏧䭷爙ח״גⰻ詿ㅷ⳿䏧ֿׅהחזגְկⰻ詿ㅷכⴽך؝ٝذشח鑥剏ִծⴽך㜥䨽ח⥂盖ֿׅהכזְկ瑞חז؝ٝذشכּׅח䵤⳿ׁկ!ׁג「➰⤘כ嫣傈侧⼧⟝ך⳿䏧⣛걾「ֽծך鿪䏝⦋䏧⤘פ⳿䏧䭷爙剅⳿ֿׅהחזגְկ⳿䏧⣛걾כ⳿䏧⣛걾牰תכꨵ鑧ח״ךה׃ծ⟝ך⣛걾דכծꌀ厑ךחꣲגְկ㖈䏧ָזְַ侧ꆀָ♶駈ך㜥さחכծך傋⣛걾罏חꨵ鑧鸬窃׃ծず儗ח㖈䏧♶駈ٔأزח鎸Ⰵׅկ׃ג䔲鑩ㅷך琎蚚ָ䗳銲ꆀ֮儗挿דծ♶駈ㅷך⳿䏧䭷爙ׅկת瑞חז؝ٝذش⦋䏧⤘ח濼ׇֿהחזגְկ!「➰⤘ך➬✲㖈䏧ז׃鸬窃ծ⳿䏧䭷爙剅⡲䧭ֶ״ן㖈䏧♶駈ٔأز⡲䧭ךך鎘皾堣فؚٗٓي⡲䧭ׇ״կ34http://tamai-lab.ws.hosei.ac.jp/pub/sebook.pdf
ꂊ㾊㉏겗ד鑐ׅ֮ꂊ겲顋㡰⠓爡ך⦋䏧דכծ嫣傈侧⦐ך؝ٝذشָ䵤Ⰵׁגֻկךⰻ㺁כؽٝ鑥ךꂊדծאך؝ٝذشחכꌀ厑תד幉鯹דֹկ䪔ְꌀ厑כ秈珏겲֮կ35⦋䏧؝ٝذش䵤Ⰵ㼎韋㜥䨽嫣傈侧⦐걼䏝ꂊⰻ㺁ⵖꣲꌀ厑תדꌀ厑 珏겲侧ꆀ
ꂊ㾊㉏겗ד鑐ׅ⦋䏧⤘כծ؝ٝذش「ֽ《ךתת⦋䏧ח⥂盖׃ծ琎蚚牰「➰⤘פ䩛床ׅկת「➰⤘ַך⳿䏧䭷爙ח״גⰻ詿ㅷ⳿䏧ֿׅהחזגְկ36⦋䏧؝ٝذش「《㼎韋湡涸㖑琎蚚牰⦋䏧⤘「➰⤘⥂盖床ׅ،ؙة٦،ؙة٦،ؙة٦「ֽ䩛㼎韋ا٦أ⳿䏧⦋䏧⤘⳿䏧䭷爙饯㔓 ،ؙة٦ⰻ詿ㅷ㼎韋㼎韋
37铣ד
铣鶢铂⚥䗰ח鋅38⦋䏧؝ٝذش䵤Ⰵ㼎韋㜥䨽嫣傈侧⦐걼䏝ꂊⰻ㺁ⵖꣲꌀ厑תדꌀ厑 珏겲侧ꆀ
铣鶢铂⚥䗰ח鋅39⦋䏧؝ٝذش「《㼎韋湡涸㖑琎蚚牰⦋䏧⤘「➰⤘⥂盖床ׅ،ؙة٦،ؙة٦،ؙة٦「ֽ䩛㼎韋ا٦أ⳿䏧⦋䏧⤘⳿䏧䭷爙饯㔓 ،ؙة٦ⰻ詿ㅷ㼎韋㼎韋
䠬鍗˖ 鎸鶢ך邌植⸂䴦זזְ˖ 堣唒涸ח剅ֽ˖ 堣唒涸ח铣˖ ِ٦أ؛٦أ㔳הِ٦أ؛٦أ鎸鶢ך⚥ְֻד׳ֲו״ֲׁ˖ 鎸鶢俑僇兟ח鍑ꅸדֹծך⯓ךٌرؚٔٝפأي٦ؤח籬־ה䙼ֲ40
41ֿך״ֲח罋ִה
&WBOT42铣
&WBOT43鎉铂חזגְ
44ِؽؗةأ鎉铂㹋⢽ד爙׃גְ
ֿֿתדךתה˖ չ鑧ׅպ腉⸂כ铩ד䭯גְ˖ ِؽؗةأ鎉铂חכծչ鑧ׇպךח⯍ⴓז銲稆ָ♶〳妀˖ 铂䔿ה穠さ鋉˖ չ鑧ׅպהְֲⵖ秈ַծ鴼鸞חؿ؍٦سغحָؙ䖤45
46׃ַ׃٥٥٥٥!窩䲽ְֽד穄דַׅ
荈ⴓךٌرؚٔٝخ٦ٕ⡲ְ47
48%&.0
49ָ֮הֲ׀ְׂת׃