[B! logic] VoQnã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

VoQn id:VoQn

logicã«é–¢ã™ã‚‹VoQnã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

ç‡»è£½ãƒ‹ã‚·ãƒ³ã®è™šå½ - Wikipedia
ç‡»è£½ãƒ‹ã‚·ãƒ³ã®è™šå½ï¼ˆãã‚“ã›ã„ãƒ‹ã‚·ãƒ³ã®ãã‚‡ãŽï¼‰ã€ã¾ãŸã¯ãƒ¬ãƒƒãƒ‰ãƒ»ãƒ˜ãƒªãƒ³ã‚°ï¼ˆè‹±èªž: red herringï¼‰ã¯ã€é‡è¦ãªäº‹æŸ„ã‹ã‚‰å—ã‘æ‰‹ï¼ˆè´ãæ‰‹ã€èªã¿æ‰‹ã€è¦³å®¢ï¼‰ã®æ³¨æ„ã‚’é€¸ã‚‰ãã†ã¨ã™ã‚‹ä¿®è¾žä¸Šã€æ–‡å¦ä¸Šã®æŠ€æ³•ã‚’æŒ‡ã™æ…£ç”¨è¡¨ç¾[1]ã€‚ 18ä¸–ç´€ã‹ã‚‰19ä¸–ç´€ã«æŽ›ã‘ã¦ã‚¸ãƒ£ãƒ¼ãƒŠãƒªã‚¹ãƒˆã¨ã—ã¦æ´»å‹•ã—ãŸã‚¦ã‚£ãƒªã‚¢ãƒ ãƒ»ã‚³ãƒ™ãƒƒãƒˆãŒæ›¸ã„ãŸè¨˜äº‹ã«ç”±æ¥ã—[2]ã€å¾Œã«æƒ…å ±ã®å—ã‘æ‰‹ã«å½ã®äº‹æŸ„ã«æ³¨æ„ã‚’å‘ã‘ã•ã›çœŸã®äº‹æŸ„ã‚’æ‚Ÿã‚‰ã‚Œãªã„ã‚ˆã†ã«ã™ã‚‹æ‰‹æ³•ã‚’è¡¨ã™æ…£ç”¨è¡¨ç¾ã¨ã—ã¦ä½¿ã‚ã‚Œã‚‹ã‚ˆã†ã«ãªã£ãŸã€‚ä¾‹ãˆã°ã€ãƒŸã‚¹ãƒ†ãƒªä½œå“ã«ãŠã„ã¦ã€çŠ¯äººã®æ£ä½“ã‚’æŽ¢ã£ã¦ã„ãéŽç¨‹ã§ã¯ã€ç„¡å®Ÿã®ç™»å ´äººç‰©ã«ç–‘ã„ãŒå‘ã‹ã†ã‚ˆã†ã«å½ã‚Šã®å¼·èª¿ã‚’ã—ãŸã‚Šã€ãƒŸã‚¹ãƒ‡ã‚£ãƒ¬ã‚¯ã‚·ãƒ§ãƒ³ï¼ˆèª¤ã£ãŸæ‰‹ãŒã‹ã‚Šï¼‰ã‚’ä¸ŽãˆãŸã‚Šã€ã€Œæ„å‘³æ·±é•·ãªã€è¨€è‘‰ã‚’ä¸¦ã¹ã‚‹ãªã©ã€æ§˜ã€…ãªé¨™ã—ã®ä»•æŽ›ã‘ã‚’ç”¨ã„ã¦ã€è‘—è€…ã¯èªè€…ã®æ³¨æ„ã‚’æ„å›³çš„ã«èª˜å°Žã™ã‚‹ã€‚èªè€…ã®ç–‘ã„ã¯ã€èª¤ã£ãŸæ–¹å‘ã«å°Žã‹ã‚Œã€å°‘ãªãã¨ã‚‚å½“é¢ã®é–“ã€çœŸçŠ¯äººã¯æ£ä½“ã‚’çŸ¥ã‚‰ã‚Œãªã„ã¾ã¾ã§ã„ã‚‹ã€‚ã¾ãŸã€ã‚¹ãƒˆãƒ¼ãƒª
VoQn 2014/12/04
"é‡è¦ãªäº‹æŸ„ã‹ã‚‰å—ã‘æ‰‹ã®æ³¨æ„ã‚’é€¸ã‚‰ãã†ã¨ã™ã‚‹ä¿®è¾žä¸Šã€æ–‡å¦ä¸Šã®æŠ€æ³•ã‚’æŒ‡ã™æ…£ç”¨è¡¨ç¾â€

logic

wikipedia
ãƒªãƒ³ã‚¯
Haskell/ã‚«ãƒªãƒ¼=ãƒãƒ¯ãƒ¼ãƒ‰åŒåž‹ - Wikibooks
ã‚«ãƒªãƒ¼=ãƒãƒ¯ãƒ¼ãƒ‰åŒåž‹(Curry-Howard isomorphism)ã¯æ•°å¦ã®ä¸€è¦‹ç„¡é–¢ä¿‚ã«æ€ãˆã‚‹ãµãŸã¤ã®é ˜åŸŸã€åž‹ç†è«–ã¨æ§‹é€ è«–ç†ã‚’çµã³ã¤ã‘ã‚‹å®Ÿã«é©šãã¹ãé–¢ä¿‚ã§ã‚ã‚‹ã€‚ ã“ã‚Œã‚ˆã‚Šã‚«ãƒªãƒ¼=ãƒãƒ¯ãƒ¼ãƒ‰åŒåž‹ã¯å˜ã« C-H ã¨è¡¨è¨˜ã™ã‚‹ã€‚C-H ãŒç¤ºã—ã¦ã„ã‚‹ã®ã¯ã€å®šç†ã®æœ¬è³ªã‚’åæ˜ ã™ã‚‹ã‚ˆã†ãªåž‹ã‚’æ§‹ç¯‰ã—ã€ãã‚Œã‹ã‚‰ãã®åž‹ã‚’æŒã¤å€¤ã‚’è¦‹ã¤ã‘ã•ãˆã™ã‚Œã°ã€ã©ã‚“ãªæ•°å¦çš„å®šç†ã‚’ã‚‚è¨¼æ˜Žã™ã‚‹ã“ã¨ãŒã§ãã‚‹ã€ã¨ã„ã†ã“ã¨ã ã€‚ã“ã‚Œã¯æœ€åˆã¯æ¥µã‚ã¦ä¸æ€è°ã«æ€ãˆã‚‹ã€‚åž‹ã¨å®šç†ã«ã©ã‚“ãªé–¢ä¿‚ãŒã‚ã‚‹ã¨ã„ã†ã®ã ã‚ã†ã‹ï¼Ÿã—ã‹ã—ãªãŒã‚‰ã€ä»¥ä¸‹ã«è¿°ã¹ã‚‹ã‚ˆã†ã«ã€ã“ã®ãµãŸã¤ã¯éžå¸¸ã«è¿‘ã—ã„é–¢ä¿‚ã«ã‚ã‚‹ã®ã§ã‚ã‚‹ã€‚ã¯ã˜ã‚ã‚‹å‰ã«ç°¡å˜ã«æ³¨æ„ã—ã¦ãŠããŒã€å°Žå…¥ã®ç« ã§ã¯ error ã‚„ undefinedã®ã‚ˆã†ãª è¡¨ç¤ºçš„æ„å‘³è«– ãŒ âŠ¥ ã§ã‚ã‚‹å¼ã®å˜åœ¨ã¯ç„¡è¦–ã™ã‚‹ã€‚ã“ã‚Œã‚‰ã¯ã¨ã¦ã‚‚é‡è¦ãªå½¹å‰²ã‚’æžœãŸã™ã®ã ãŒã€ã“ã‚Œã‚‰ã«ã¤ã„ã¦ã¯å¾Œã»ã©åˆ¥ã«è€ƒãˆã‚‹ã“ã¨ã«ã™ã‚‹ã€‚ã¾ãŸã€unsafeCoerce#ã®ã‚ˆ
VoQn 2014/08/30
Wikipedia ã®ã‚«ãƒªãƒ¼ï¼ãƒãƒ¯ãƒ¼ãƒ‰åŒåž‹ã®èª¬æ˜Žã‚ˆã‚Šã‚‚åˆ†ã‹ã‚Šã‚„ã™ã‹ã£ãŸ

haskell

programming

math

logic
ãƒªãƒ³ã‚¯
èª¤è¬¬ - Wikipedia
è«–ç†å¦ã«ãŠã‘ã‚‹èª¤è¬¬ï¼ˆã”ã³ã‚…ã†ã€è‹±: fallacy[æ³¨ 1]ï¼‰ã¨ã¯ã€èª¤ã£ãŸæŽ¨è«–ã®ã“ã¨ã§ã‚ã‚‹ã€‚å¹³æ˜“ã«ã¯ã€Œè«–ç†ã®é£›èºã€ãªã©ã¨è¡¨ç¾ã•ã‚Œã‚‹ã€‚èª¤è¬¬ã«ã¯ã€Œå½¢å¼çš„ã€ãªã‚‚ã®ã¨ã€Œéžå½¢å¼çš„ã€ãªã‚‚ã®ãŒã‚ã‚‹ã€‚è«–ç†å¦ã‚„ãã®å‘¨è¾ºåˆ†é‡Žã§ã¯ã€çµè«–ã®æ£å¦ã‚’å•ã‚ãšã€Œèª¤è¬¬ã€ã¨ã„ã†ã€‚æ„å›³çš„ãªèª¤è¬¬ã¯ã€Œè©å¼ã€ã¨ã„ã†ã€‚ ã‚¢ãƒªã‚¹ãƒˆãƒ†ãƒ¬ã‚¹ã®ã“ã‚ã‹ã‚‰ã€éžå½¢å¼çš„èª¤è¬¬ã¯ãã®é–“é•ã„ã®æ ¹æºãŒã©ã“ã«ã‚ã‚‹ã‹ã«ã‚ˆã£ã¦ã„ãã¤ã‹ã«åˆ†é¡žã•ã‚Œã¦ããŸã€‚ã€Œé–¢é€£æ€§ã®èª¤è¬¬ã€ã€ã€ŒæŽ¨è«–ã«é–¢ã™ã‚‹èª¤è¬¬ã€ã€ã€Œæ›–æ˜§ã•ã«ã‚ˆã‚‹èª¤è¬¬ã€ãªã©ãŒã‚ã‚‹ã€‚åŒæ§˜ã®èª¤è¬¬ã®åˆ†é¡žã¯è°è«–å¦ã«ã‚ˆã£ã¦ã‚‚ã‚‚ãŸã‚‰ã•ã‚Œã¦ã„ã‚‹[2]ã€‚è°è«–å¦ã§ã¯ã€è«–è¨¼ï¼ˆè«–äº‰ï¼‰ã¯åˆæ„ã‚’å½¢æˆã™ã‚‹ãŸã‚ã®å€‹äººé–“ã®å¯¾è©±ãƒ—ãƒãƒˆã‚³ãƒ«ã¨ã¿ãªã•ã‚Œã‚‹ã€‚ã“ã®ãƒ—ãƒãƒˆã‚³ãƒ«ã«ã¯å®ˆã‚‹ã¹ããƒ«ãƒ¼ãƒ«ãŒã‚ã‚Šã€ãã‚Œã‚’ç ´ã£ãŸã¨ãã«èª¤è¬¬ãŒç”Ÿã¾ã‚Œã‚‹ã€‚ä»¥ä¸‹ã«æŒ™ã’ã‚‹èª¤è¬¬ã®å¤šãã¯ã€ã“ã®ã‚ˆã†ãªæ„å‘³ã§ç†è§£å¯èƒ½ã§ã‚ã‚‹ã€‚[è¦å‡ºå…¸] å€‹ã€…ã®è«–è¨¼ã«ãŠã‘ã‚‹èª¤è¬¬ã‚’èªè˜ã™ã‚‹ã“ã¨ã¯é›£ã—ã„ã€‚ã¨ã„ã†ã®ã‚‚ã€ä¿®è¾žæŠ€
VoQn 2014/06/20
ã€Œèª¤ã¡ã€ã«ã¤ã„ã¦ã€‚ã€ŒçŸ¥æµã®ã‚¢ãƒ³ãƒãƒ‘ã‚¿ãƒ¼ãƒ³é›†ã€ã¿ãŸã„ã

wikipedia

logic
ãƒªãƒ³ã‚¯
è«–ç†ã‹ã‚‹ãŸ - è¨€èªžã‚²ãƒ¼ãƒ
ä»Šæ—¥ã¯è¨¼æ˜Žã™ã‚‹ã‚«ãƒ¼ãƒ‰ã«ã¤ã„ã¦æ›¸ãã¾ã™ã€‚è¨¼æ˜Žã¨ã„ã†ã¨ãªã‚“ã ã‹äººé–“ã«ã‚‚é›£ã—ãã€æ©Ÿæ¢°ã«ã‚„ã‚‰ã™ã«ã¯é«˜åº¦ãªäººå·¥çŸ¥èƒ½ãŒå¿…è¦ã ã¨æ€ã†ã§ã—ã‚‡ã†ã€‚ã—ã‹ã—ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã‚‚é›»æ°—ã‚‚ä¸è¦ã§ã™ã€‚ãªã‚“ã¨ã“ã®ã‚«ãƒ¼ãƒ‰ã¯ä¸¦ã¹ã‚‹ã ã‘ã§è¨¼æ˜ŽãŒã§ãã¦ã—ã¾ã†ã®ã§ã™ï¼ã¨ã‚Šã‚ãˆãšã©ã‚“ãªã®ã‹è¦‹ã¦ã¿ã¾ã—ã‚‡ã†ã€‚ è‡ªåˆ†ã§ã‚„ã‚ŠãŸã„äººã¯ logiccard.pdf ã¨ logiccard2.pdf ã‚’ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ã—ã¦ååˆºç”¨ç´™ã«å°åˆ·ã—ã¦ãã ã•ã„ã€‚ç”¨ç´™ã®ã‚µã‚¤ã‚ºãŒåˆã‚ãªã„æ™‚ã¯ logiccard.svg ã¨ logiccard2.svg ã‚’ã‚¤ãƒ©ã‚¹ãƒˆãƒ¬ãƒ¼ã‚¿ã‚„ Inkscape ã§ç·¨é›†ã™ã‚‹ã¨ã„ã„ã¨æ€ã„ã¾ã™ã€‚ ã“ã®ã‚ˆã†ã«å°åˆ·ã—ã¦ã€ç°è‰²ã®éƒ¨åˆ†ã‚’ãƒãƒ³ãƒã§ç©´ã‚’é–‹ã‘ã¾ã™ã€‚ãƒ›ãƒƒãƒã‚ã‚¹å¼ã®ãƒãƒ³ãƒã§ã¯ã‚«ãƒ¼ãƒ‰ä¸ã»ã©ã®ç©´ã«å±Šã‹ãªã„ã®ã§ã€ãã®å ´åˆã¯æ‰‹èŠ¸ç”¨ã®ãƒãƒ³ãƒã‚’ä½¿ã†ã¨è‰¯ã„ã§ã™ã€‚ ã™ã‚‹ã¨ã“ã®ã‚ˆã†ãªè¬Žã‚ã„ãŸã‚«ãƒ¼ãƒ‰ãŒå‡ºæ¥ä¸ŠãŒã‚Šã¾ã™ã€‚ ãã‚Œãžã‚Œã®ã‚«ãƒ¼ãƒ‰ã¯ãƒ™ãƒ³å›³ã«ãªã£ã¦ã„ã¾ã™ã€‚ç©´ã®é–‹ã„ã¦ã„
VoQn 2011/08/29
ãŠã‚‚ã—ã‚ã„

logic

è«–ç†å¦
ãƒªãƒ³ã‚¯
1