Life with Cygwin
æ²–ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢æ ªå¼ä¼šç¤¾ã¯ã€æ²–é€šä¿¡ã‚·ã‚¹ãƒ†ãƒ æ ªå¼ä¼šç¤¾ãŠã‚ˆã³æ ªå¼ä¼šç¤¾æ²–インフォテックã¨å¹³æˆ22å¹´10月1日をもã£ã¦åˆä½µã„ãŸã—ã¾ã—ãŸã€‚新会社åã¯ã€æ ªå¼ä¼šç¤¾OKIソフトウェアã¨ãªã‚Šã¾ã™ã€‚3社ãŒè¡Œã£ã¦ãŠã‚Šã¾ã™äº‹æ¥ã¯æ–°ä¼šç¤¾ã«ã¦å¾“æ¥é€šã‚Šç¶™ç¶šã„ãŸã—ã¾ã™ã€‚
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨é–‹ç™ºè€…ã®ãŸã‚ã®CodeZine：Rubyã§ä½œã‚‹Prolog処ç†ç³»ï¼ˆRuby, Prolog, 記å·å‡¦ç†, 自動推論）
ã¯ã˜ã‚ã«ã€€1970年代ã«ãƒ¨ãƒ¼ãƒãƒƒãƒ‘を主ãªèˆžå°ã¨ã—ã¦ç”Ÿã¾ã‚Œè‚²ã£ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžProlog（programming in logic）ã¯ã€äº‹å®Ÿã¨ãƒ«ãƒ¼ãƒ«ã‹ã‚‰ä¸€ç¨®ã®è‡ªå‹•æŽ¨è«–ã‚’è¡Œã†ç‚¹ã«ç‰¹å¾´ãŒã‚ã‚Šã¾ã™ã€‚ãã®åŸºæœ¬çš„ãªå‹•ä½œã¯200è¡Œã»ã©ã®Rubyプãƒã‚°ãƒ©ãƒ ã§å®Ÿç¾ã§ãã¾ã™ã€‚ã“ã“ã§ã¯ã€ç†è€…ãŒRubyã§ä½œæˆã—ãŸProlog処ç†ç³»ã‚’解説ã—ã¾ã™ã€‚　Prologã«ã‚ˆã‚‹ç°¡å˜ãªãƒ—ãƒã‚°ãƒ©ãƒ 例を下記ã«ç¤ºã—ã¾ã™ã€‚ ã“ã‚Œã¯ã€Œã‚½ã‚¯ãƒ©ãƒ†ã‚¹ã¯äººé–“（human）ã§ã‚ã‚‹ã€ã€Œãƒ—ラトンã¯äººé–“ã§ã‚ã‚‹ã€ã¨ã„ã†äº‹å®Ÿã¨ã€ã€Œäººé–“ãªã‚‰ã°ã„ã¤ã‹æ»ã¬ï¼ˆmortal）ã€ã¨ã„ã†ãƒ«ãƒ¼ãƒ«ã‚’書ã„ãŸã‚‚ã®ã§ã™ã€‚mortal(X) :- human(X)ã¯ã€å¤‰æ•°XãŒå®Ÿéš›ã«ã¯ä½•ã§ã‚ã£ãŸã¨ã—ã¦ã‚‚ã€ã‚‚ã—ã‚‚human(X)ãŒæˆã‚Šç«‹ã¤ãªã‚‰ã°ï¼ˆã¤ã¾ã‚ŠXãŒäººé–“ãªã‚‰ã°ï¼‰ã€mortal(X)ãŒæˆã‚Šç«‹ã¤ï¼ˆã¤ã¾ã‚Šã€Xã¯ã„ã¤ã‹æ»ã¬ï¼‰ã¨ã„ã†æ„味ã§ã™ã€‚　簡略化ã®ãŸã‚ã€æœ¬å‡¦ç†ç³»ã§ã¯Rubyã®æ§‹æ–‡è¦
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}