æ•°å¦çš„帰ç´æ³•ã¯ãªãœãã†å‘¼ã°ã‚Œã‚‹ã‹ã¤ã„ã«ã‚»ãƒ³ã‚¿ãƒ¼è©¦é¨“ã«ã‚‚出題ã•ã‚ŒãŸæ•°å¦çš„帰ç´æ³•ã€‚ã§ã‚‚æ•°å¦çš„帰ç´æ³•ã£ã¦ãã‚‚ãも帰ç´æ³•ã˜ã‚ƒãªãã？ãªã‚“ã§ã€Œå¸°ç´æ³•ã€ãªã‚“ã¦å‘¼ã°ã‚Œã‚‹ã®ï¼Ÿã¨ã„ã†ãŠè©±ã€‚
第85回　ãªãœã€Œæ¼”ç¹¹ã€ã¨ã„ã†ã®ã‹ | 「百å¦é€£ç’°ã€ã‚’èªã‚€ï¼ˆå±±æœ¬ 貴光） | 三çœå ‚ ã“ã¨ã°ã®ã‚³ãƒ©ãƒ
西先生ã¯ã€ãƒŸãƒ«ã®æ–°ã—ã„è«–ç†å¦ã®ãƒã‚¤ãƒ³ãƒˆã‚’ã€ã“ã®ã‚ˆã†ã«èª¬æ˜Žã—ã¾ã™ã€‚ 其改é©ã®æ³•ãŸã‚‹å¦‚何ã¨ãªã‚Œã¯ induction ãªã‚‹ã‚り。æ¤ã®æ¸ç´ã®æ³•ã‚’知るをè¦ã›ã‚“ã«ã¯ã€å…ˆã¤ä»¥å‰ã® deduction ãªã‚‹ã‚‚ã®ã‚’知らã•ã‚‹ã¸ã‹ã‚‰ã™ã€‚演繹ã¨ã¯çŒ¶å—義ã®å¦‚ãã€æ¼”ã¯ã®ãµã‚‹æ„ã€ç¹¹ã¯ç³¸å£ã‚ˆã‚Šç³¸ã‚’引ã‚出ã™ã®æ„ã«ã—ã¦ã€å…¶ä¸€ãƒ„ã®é‡ãªã‚‹æ‰€ã‚ã‚Šã¦ç¨®ã€…ã«åŠã»ã™ã‚’云ãµãªã‚Šã€‚ （「百å¸é€£ç’°ã€ç¬¬37段è½ç¬¬4文～第6文） inductionã€deductionã®å·¦å´ã«ã¯ã€ãã‚Œãžã‚Œã€Œæ¸ç´ã®æ³•ã€ã€Œæ¼”ç¹¹ã®æ³•ã€ã¨æ·»ãˆã‚‰ã‚Œã¦ã„ã¾ã™ã€‚ã§ã¯ã€è¨³ã—ã¦ã¿ã¾ã—ょã†ã€‚ ãã®æ”¹é©ã®æ–¹æ³•ã¨ã¯ã©ã®ã‚ˆã†ãªã‚‚ã®ã‹ã¨ã„ãˆã°ã€induction ã¨ã„ã†ã‚‚ã®ãŒã‚る。ã“ã®å¸°ç´ã¨ã„ã†æ–¹æ³•ã‚’知ã‚ã†ã¨æ€ãˆã°ã€ã¾ãšãれ以å‰ã® deduction ã¨ã„ã†ã‚‚ã®ã‚’知らãªã‘ã‚Œã°ãªã‚‰ãªã„。演繹ã¨ã¯ã€ãã®å—義ã®ã‚ˆã†ã«ã€ã€Œæ¼”ã€ã¯ã€Œã®ã¹ã‚‹ã€ã¨ã„ã†æ„味ã€ã€Œç¹¹ã€ã¯ã€Œç³¸å£ã‹ã‚‰ç³¸ã‚’引ã出ã™ã€ã¨ã„ã†æ„味ã§ã‚ã‚Š
『パラドクスã®æ•™å®¤ã€ è«–ç†ã®é™ç•Œã¸ãƒãƒ£ãƒ¬ãƒ³ã‚¸ï¼ - HONZ
ã“ã‚Œãžé€†èª¬ã®é”術。ã©ã“ã‹ãŠã‹ã—ã„ã€ã§ã‚‚ã€ã©ã“ã«é–“é•ã„ãŒã‚ã‚‹ã®ã‹ã€ç”ãˆãŒå‡ºãã†ã§å‡ºãªã„ã®ãŒãƒ‘ラドクスã®é…力ã 。ãƒãƒ©ã‚¨ãƒ†ã‚£ã«å¯Œã‚“ã パラドクスãŒã€12ç« ã«ã‚ãŸã£ã¦ã“ã®ä¸€å†Šã«ã‚®ãƒ¥ãƒƒã¨æ¿ƒç¸®ã•ã‚Œã¦ã„る。 ã¾ãšã¯ã€äºˆæ¸¬ã®ãƒ‘ラドクスã®ä¸ã§æœ‰åãªï½¢æŠœã打ã¡è©¦é¨“ã®ãƒ‘ラドクス｣ã«ã¡ãªã‚“ã ã€ã“ã¡ã‚‰ã®ã‚¨ãƒ”ソードã‹ã‚‰ã€‚ —————– ã¨ã‚ã‚‹ä¸å¦æ ¡ã§ã®ãŠè©±ã€‚週末ã®ä¼‘ã¿ã‚’ç›®å‰ã«ãã‚ãã‚ã—出ã—ãŸç”Ÿå¾’ã«é‡˜ã‚’指ã™ã¹ãã€æ•°å¦ã®Må先生ã¯æ¥é€±ã€æŠœã打ã¡è©¦é¨“ã‚’ã™ã‚‹ã¨ç™ºè¡¨ã—ãŸã€‚æ•°å¦ã®æŽˆæ¥ã¯æœˆæ›œã‹ã‚‰é‡‘曜ã¾ã§æ¯Žæ—¥ã‚る。ã“ã®ã„ãšã‚Œã‹ã®æ—¥ãŒè©¦é¨“ã 。ãŸã ã—抜ã打ã¡ã ã‹ã‚‰ã€ç”Ÿå¾’ã¯è©¦é¨“æ—¥ã®æŽˆæ¥ãŒå§‹ã¾ã‚‹ã¾ã§ãã®æŽˆæ¥ãŒè©¦é¨“ã§ã‚ã‚‹ã“ã¨ã‚’予想ã§ããªã„ã€ãã†ã„ã†è©¦é¨“ã«ã™ã‚‹ã¨ã„ã†ã€‚ Må先生ãŒæ•™å®¤ã‚’出ã¦è¡Œã£ãŸé€”端ã€ä¸€æ–‰ã«ãŸã‚æ¯ã‚’ã¤ã生徒ãŸã¡ã€‚ãã‚“ãªä¸ã€På›ãŒä¸æ€è°ãªã“ã¨ã‚’言ã„出ã—ãŸã€‚Må先生ã¯è©¦é¨“を実施ã§ããªã„ã¨ã„ã†ã®ã 。På›æ›°ãã€ã€Œè©¦é¨“æ—¥ã¯æ¥é€±æœˆæ›œã‹ã‚‰é‡‘曜ã®
帰ç´æ³•ã¨ä½™å¸°ç´æ³•ã®ä½•ãŒã©ã†åŒå¯¾ãªã®ã‹ï¼ˆåˆç‰çš„ã«ï¼‰ - sumiiã®ãƒ–ãƒã‚°
ï¼ˆé«˜æ ¡ã§ç¿’ã†ã¯ãšã®ï¼‰æ•°å¦çš„帰ç´æ³•ã‚’ã¯ã˜ã‚ã¨ã™ã‚‹å¸°ç´æ³•(induction)ã¨ã€ï¼ˆÏ€è¨ˆç®—ãªã©ä¸¦è¡Œãƒ—ãƒã‚»ã‚¹è¨ˆç®—ã«å‡ºã¦ãる）åŒæ¨¡å€£(bisimulation)ã‚’ã¯ã˜ã‚ã¨ã™ã‚‹ä½™å¸°ç´æ³•(coinduction)ã¯ã€åŒå¯¾(dual)ã§ã‚ã‚‹ã¨è¨€ã‚ã‚Œã¾ã™ï¼ˆä¾‹ï¼‰ã€‚åŒå¯¾ã¨ã„ã†ã®ã¯ã€å¤§é›‘把ã«è¨€ã†ã¨ã€è«–ç†å¼ã®ãƒ‰ãƒ»ãƒ¢ãƒ«ã‚¬ãƒ³ã®æ³•å‰‡ ¬（A∨B） ⇔ ¬A∧¬B 㨠¬（A∧B） ⇔ ¬A∨¬B ã®ã‚ˆã†ã«ã€ä½•ã‹ä¸€çµ„ã®ã‚‚ã®ï¼ˆã“ã“ã§ã¯âˆ§ã¨âˆ¨ï¼‰ã‚’ã²ã£ãã‚Šè¿”ã—ã¦ã‚‚åŒã˜å¼ãŒæˆã‚Šç«‹ã¤ã¨ã„ã†é–¢ä¿‚ã§ã™ï¼ˆä¾‹ï¼‰ã€‚ ã—ã‹ã—ã€è‡ªåˆ†ã¯å¦éƒ¨4å¹´ãらã„ã®ã¨ãã«ä½™å¸°ç´æ³•ï¼ˆã¨ã„ã†ã‹åŒæ¨¡å€£ï¼‰ã‚’ç¿’ã£ã¦ã€ã€Œï¼ˆæ•°å¦çš„帰ç´æ³•ã®ã‚ˆã†ãªï¼‰å¸°ç´æ³•ã¨ï¼ˆåŒæ¨¡å€£ã®ã‚ˆã†ãªï¼‰ä½™å¸°ç´æ³•ãŒåŒå¯¾ã€ã¨èžã„ã¦ã‚‚ã€ä½•ã¨ãªã「余帰ç´æ³•ã¯çµè«–を仮定ã™ã‚‹(?)ã‹ã‚‰ã€ä»®å®šã‚’仮定ã™ã‚‹(?)帰ç´æ³•ã¨å対ãªã®ã‹ãªã‚ã€ã¨æ€ã†ãらã„ã§ã€æ¥ãšã‹ã—ãªãŒã‚‰ä½•ãŒåŒå¯¾ãªã®ã‹ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“ã§ã—ãŸã€‚ã‹ã¨ã„ã£ã¦ã€è©³ã—ã„人
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
å実仮想 - 亀ã®æ€è€ƒéŒ¯èª¤
{{#tags}}- {{label}}
{{/tags}}