宣言型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®å¯èƒ½æ€§ã¨é™ç•Œå®£è¨€åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã¯ 命令型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨å¯¾æ¯”ã•ã‚Œã‚‹ã‚‚ã†1ã¤ã®å¤§ããªæµã‚Œã¨ã—ã¦ã€ãƒãƒ¼ãƒ‰ã‚¦ã‚¨ã‚¢ã¨ã¯ç‹¬ç«‹ã—ãŸã€æ•°ç†è«–ç†å¦ã«æ ¹ã–ã—ãŸæµã‚ŒãŒå˜åœ¨ã—ã¾ã™ã€‚（純粋ãªï¼‰é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚„è«–ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€åˆ¶ç´„プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãªã©ã€ã„ã‚ã„ã‚ãªç†è«–ã«æ ¹ã–ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ¢ãƒ‡ãƒ«ãŒå˜åœ¨ã—ã¾ã™ãŒã€ã“ã“ã§ã¯ãれらをç·ç§°ã—ã¦ã€å®£è¨€åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨å‘¼ã¶ã“ã¨ã«ã—ã¾ã™ã€‚ 宣言型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯ã€å•é¡Œã®è§£æ³•ã€ã™ãªã‚ã¡ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã¨ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ を記述ã™ã‚‹å‘½ä»¤åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã¯å¯¾ç…§çš„ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ‘ラダイムã§ã™ã€‚宣言型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãŒè¨˜è¿°ã™ã‚‹ã‚‚ã®ã¯ã€å•é¡Œã®å®šç¾©ã€ã™ãªã‚ã¡è§£ãã¹ãå•é¡Œã®æ€§è³ªã‚„ã€ãã®éš›ã«æº€ãŸã™ã¹ã制約ã®è¨˜è¿°ã§ã™ã€‚ å•é¡Œã®å®šç¾©ã¯ã€å•é¡Œã®è§£æ³•ã¨ã¯ãªã‚‹ã¹ã独立ã—ã¦ã„ã‚‹ã¹ãã§ã™ã€‚ãªãœãªã‚‰ã°ã€å•é¡Œã®åŠ¹çŽ‡çš„ãªè§£ãæ–¹ã¯ã€å®Ÿè¡Œç’°å¢ƒã«ä¾å˜ã—ãŸã•ã¾ã–ã¾ãªã‚„ã‚Šæ–¹ãŒè€ƒãˆã‚‰ã‚Œã‚‹ã‹ã‚‰ã§ã™ã€‚ãŸã¨ãˆã€ã‚る環境ã§ã¯åŠ¹çŽ‡çš„ãªè§£ãæ–¹ã§ã‚ã£ã¦
http://www.fujita.soft.iwate-pu.ac.jp/prof_dir/kure/Lecture/Prolog/matome.html
サービス終了ã®ãŠçŸ¥ã‚‰ã›
{{#tags}}- {{label}}
{{/tags}}