[B! æ•°ç†è«–ç†å¦] masu_miã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

masu_mi id:masu_mi

æ•°ç†è«–ç†å¦ã«é–¢ã™ã‚‹masu_miã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (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}}

è¨³ã¨ã‹
ä¹æœˆãŒé€†è»¢ã—ã€ç§‹åˆ†ãŒåè»¢ã™ã‚‹ å†¬ãŒç§‹ã«ã™ã¹ã‚Šè¾¼ã‚€ ä¹ãƒ¶æœˆã‹ãã“ã‚‰é£›ã°ã—é£›ã°ã—ã§è¦‹ã‚Œã° å£ç¯€ã¯é€†è»¢ã™ã‚‹ è·³ãè¿”ã£ã¦æ˜¥ã€ã‚ã¶ãªã’ã«ã¤ã‚“ã®ã‚ã£ã¦ç§‹ ã—ã°ã‚‰ãã¶ã‚Šã«ãã¿ãŒã“ã®åœ°ã«èˆžã„é™ã‚ŠãŸã¨ãã€å£ç¯€ã¯ãµãŸãŸã³ã‚·ãƒ£ãƒƒãƒ•ãƒ«ã•ã‚Œã‚‹ ä¹æœˆãŒé€†è»¢ã—ã€ç§‹åˆ†ãŒåè»¢ã™ã‚‹ å¤ãŒæ˜¥ã«ãªã‚‹ å£ç¯€ãŒãµãŸãŸã³ã‚·ãƒ£ãƒƒãƒ•ãƒ«ã•ã‚Œã‚‹ ä¸€å¹´åŠã®ã‚µã‚¤ã‚¯ãƒ«ã§ ä¹æœˆãŒé€†è»¢ã—ã€ç§‹åˆ†ãŒåè»¢ã™ã‚‹ ã—ã°ã‚‰ãã¶ã‚Šã«ãã¿ãŒã“ã®åœ°ã«èˆžã„é™ã‚ŠãŸã¨ãã€å£ç¯€ã¯ãµãŸãŸã³ã‚·ãƒ£ãƒƒãƒ•ãƒ«ã•ã‚Œã‚‹ ä¹æœˆãŒé€†è»¢ã—ã€ç§‹åˆ†ãŒåè»¢ã™ã‚‹ å†¬ãŒç§‹ã«ã™ã¹ã‚Šè¾¼ã‚€ å£ç¯€ãŒã‚·ãƒ£ãƒƒãƒ•ãƒ«ã•ã‚Œã‚‹ ãªãœã£ã¦ãã¿ã‚’é›ªã ã¾ã‚Šã§è¦‹ã‹ã‘ãŸæ—¥ã‹ã‚‰ã‚‚ã†äºŒå¹´ä»¥ä¸ŠçµŒã¤ã‹ã‚‰ ãã®ã¨ããã¿ãŒç€ã¦ã„ãŸã‚»ãƒ¼ã‚¿ãƒ¼ ãã†ã€ãã¿ãŒç€ã¦ã„ãŸã‚»ãƒ¼ã‚¿ãƒ¼ æ™‚é–“ã‚’ãŠã„ã¦å£ç¯€ãŒãµãŸãŸã³ã‚·ãƒ£ãƒƒãƒ•ãƒ«ã•ã‚Œã‚‹ ã‚ã‚‹ã„ã¯ã€è·é›¢ã‚’ãŠã„ã¦ æ™‚é–“ã‚’ãŠã„ã¦å£ç¯€ãŒãµãŸãŸã³ã‚·ãƒ£ãƒƒãƒ•ãƒ«ã•ã‚Œã‚‹ ã‚ã‚‹ã„ã¯ã€è·é›¢ã‚’ãŠã„ã¦ ã¼ããŒè½ã¡ã¦ã„ã‚‹ã¨ãã€ã»ã‚“ã¨ã†ã«è½ã¡ã¦ã„ã‚‹ã¨ã
masu_mi 2010/06/07
èªæ›¸

ã‚ªãƒ³ãƒ©ã‚¤ãƒ³èªæ›¸ä¼š

æ•°ç†è«–ç†å¦

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

é–‹ç™º
ãƒªãƒ³ã‚¯
ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã‚’ä»£æ•°å¦ã‚’ä½¿ã£ã¦è¡¨ç¾ã—ã¦ã¿ãŸ - ã¨ã‚Šãƒžã‚»
ã€Žä»£æ•°å¦ã¯å¾—æ„ã ã‘ã©ï¼Œæ•°å¦åŸºç¤Žè«–ã¨ã‹ã•ã£ã±ã‚Šåˆ†ã‹ã‚‰ãªã„ï¼Žè«–ç†ã¨ã‹ãƒžã‚¸ã‚¤ãƒŸãƒ•ã€ãã‚“ãªã‚¢ãƒŠã‚¿ã‚’å¯¾è±¡ã«ï¼Œã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã‚’è§£èª¬ã—ã¦ã¿ã‚ˆã†ï¼ã€€ã®ã‚³ãƒ¼ãƒŠãƒ¼ã§ã™ï¼Žã€€ã€€è«–ç†å¦ã¨ä»£æ•°å¦ï¼ˆå¯æ›ç’°è«–ï¼‰ã¨ã®å¯¾å¿œã«ã¤ã„ã¦ã¯ï¼Œæªœå±±ã•ã‚“ã«ã‚ˆã‚‹ç´ æ™´ã‚‰ã—ã„è¨˜äº‹ãŒã‚ã‚Šã¾ã™ï¼šã€€å¤å…¸è«–ç†ã¯å¯æ›ç’°è«–ãªã‚“ã ã‚ˆ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ã€€ãŸã ï¼Œã€Žè«–ç†å¦ã¨ã„ãˆã°ã¾ãšã‚³ãƒ¬ï¼ã€ã¨ã‚‚è¨€ã†ã¹ãã€Žã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã€ã®ä»£æ•°å¦çš„è¡¨ç¾ã«ã¤ã„ã¦ã¯æ›¸ã‹ã‚Œã¦ã„ãªã„ã‚ˆã†ãªã®ã§ï¼Œã¡ã‚‡ã£ã´ã‚Šé”ãŒå·®ã—ã¦ï¼Œã“ã“ã§ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã®ä»£æ•°å¦çš„ãªè¡¨ç¾ã‚’ä¸Žãˆã‚‹ã“ã¨ã«ã—ã¾ã—ãŸï¼Žã€€ã ãŒï¼Œå˜ã«ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã‚’ä»£æ•°å¦ã§è¡¨ç¾ã™ã‚‹ã ã‘ã˜ã‚ƒã‚ã¤ã¾ã‚‰ãªã„â€¦â€¦å€ãƒ—ãƒƒã‚·ãƒ¥ã â€¦â€¦ï¼ã¨ã„ã†ã‚ã‘ã§ï¼Œãƒ—ãƒ©ã‚¹ã‚¢ãƒ«ãƒ•ã‚¡ã¨ã—ã¦ï¼Œãã®ä»–è‰²ã‚“ãªåˆ†é‡Žã¨ã®é–¢ã‚ã‚Šã‚’å«ã‚ã¦ç´¹ä»‹ã—ã¾ã™ï¼Žã€€ã€€0. ç†è«–ã¯å¯¾å¿œã™ã‚‹ä»£æ•°ã‚’æŒã¤ã‚ˆï¼ï¼š ãƒªãƒ³ãƒ‡ãƒ³ãƒã‚¦ãƒ ä»£æ•°ã€€ã¾ãšï¼Œè«–ç†å¦ã¨ä»£æ•°å¦ã‚’å¯¾å¿œã•ã›ã‚‹ç¬¬ä¸€ã®æž¶ã‘æ©‹
masu_mi 2009/10/23
æ•°å¦

ä»£æ•°

æ•°ç†è«–ç†å¦
ãƒªãƒ³ã‚¯
å¤å…¸è«–ç†ã¯å¯æ›ç’°è«–ãªã‚“ã ã‚ˆ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
é…’äº•ã•ã‚“ã®ã‚³ãƒ¡ãƒ³ãƒˆã«å¯¾ã—ã¦ã€ {true, false}ã¨{0, 1}ã®å¯¾å¿œã§ã‚‚ã€ã»ã¨ã‚“ã©ã®å ´åˆtrueã‚’1ã«ã—ã¾ã™ãŒã€trueã‚’0ã«ã—ãŸã»ã†ãŒè¨ˆç®—ãŒã‚¹ãƒ ãƒ¼ã‚ºãªçŠ¶æ³ã‚‚ã‚ã‚Šã¾ã™ã€‚ ãªã‚“ã¦å¿œãˆãŸã‚ã‘ã§ã™ãŒã€ã“ã‚Œã§ãƒ•ãƒˆæ€ã„å‡ºã—ãŸã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ ä»¥å‰ã€ã€Œã‚¤ãƒ‡ã‚¢ãƒ«ã¨è«–ç†ã€ã¤ã†ãƒã‚¿ã§ã„ãã¤ã‹ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã‚’æ›¸ã„ãŸã“ã¨ãŒã‚ã‚‹ã®ã§ã™ãŒï¼ˆã€Œã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ - ideal+logicã«é–¢ã™ã‚‹m-hiyama-taxonã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ã€å‚ç…§ï¼‰ã€ä¸é€”åŠç«¯ã«ã†ã£ã¡ã‚ƒã£ã¦ã‚ã‚‹ãªãƒ¼ã€ãƒ€ãƒãƒãƒã€‚ æœªå®Œï¼ˆæ°¸ä¹…ã«ã‹? ^^;ï¼‰ã®ã€Œã‚¤ãƒ‡ã‚¢ãƒ«ã¨è«–ç†ã€ã‚·ãƒªãƒ¼ã‚ºã®æœ€åˆã®ã»ã†ã§ã¯ã€æ™®é€šã®ï¼ˆã¤ã¾ã‚Šã€å¯æ›ç’°ã®ï¼‰ã‚¤ãƒ‡ã‚¢ãƒ«ã‚’ç´¹ä»‹ã—ã¦ã¾ã™ãŒã€æœ€çµ‚çš„ã«ã¯è«–ç†ã®ï¼ˆã¤ã¾ã‚Šã€ãƒ–ãƒ¼ãƒ«ä»£æ•°ã®ï¼‰ã‚¤ãƒ‡ã‚¢ãƒ«ã«çµã³ã¤ã‘ã‚ˆã†ã¨æ€ã£ã¦ã„ãŸã‚ã‘ã§ã™ã€‚ã§ã€ã€Œã©ã†ã‚„ã£ã¦çµã³ã¤ã‘ã‚‹ã®ã‹ã€ã¨ã„ã†ç‹æ›¸ãã¯ä»Šæ—¥èª¬æ˜Žã—ã‚ˆã†ã‹ãªã€ã£ã¨ã€‚ï¼ˆã¨ã¯ã„ãˆã€åŸºæœ¬çš„ã«è‡ªåˆ†ã®å‚™å¿˜ç”¨ã§ã™ã‘ã©ã€‚ï¼‰
masu_mi 2009/10/23
æ•°å¦

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

ãŠçŸ¥ã‚‰ã›

ã‚‚ã£ã¨èªã‚€

å…¬å¼Twitter

@hatebu
æœ€æ–°ã®äººæ°—ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®é…ä¿¡

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

jæ¬¡ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kå‰ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

lã‚ã¨ã§èªã‚€

eã‚³ãƒ¡ãƒ³ãƒˆä¸€è¦§ã‚’é–‹ã

oãƒšãƒ¼ã‚¸ã‚’é–‹ã

è¨å®šã‚’å¤‰æ›´ã—ã¾ã—ãŸx

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (6)

æ•°ç†è«–ç†å¦ã«é–¢ã™ã‚‹masu_miã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

ãŠçŸ¥ã‚‰ã›

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´2æœˆï¼‰

æ—§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®Chromeæ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã®ãŠçŸ¥ã‚‰ã›ã¨æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã”åˆ©ç”¨ã®ãŠé¡˜ã„

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´3æœˆç¬¬1é€±ï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (6)

æ•°ç†è«–ç†å­¦ã«é–¢ã™ã‚‹masu_miã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

è¨³ã¨ã‹

ãƒ›ãƒ¼ã‚¢è«–ç† - Wikipedia

ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã‚’ä»£æ•°å­¦ã‚’ä½¿ã£ã¦è¡¨ç¾ã—ã¦ã¿ãŸ - ã¨ã‚Šãƒžã‚»

å¤å…¸è«–ç†ã¯å¯æ›ç’°è«–ãªã‚“ã ã‚ˆ - æªœå±±æ­£å¹¸ã®ã‚­ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)

ãŠçŸ¥ã‚‰ã›

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2025å¹´2æœˆï¼‰

æ—§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®Chromeæ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã®ãŠçŸ¥ã‚‰ã›ã¨æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã”åˆ©ç”¨ã®ãŠé¡˜ã„

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2025å¹´3æœˆç¬¬1é€±ï¼‰

å…¬å¼Twitter

ã‚­ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (6)

æ•°ç†è«–ç†å¦ã«é–¢ã™ã‚‹masu_miã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

è¨³ã¨ã‹

ãƒ›ãƒ¼ã‚¢è«–ç† - Wikipedia

ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã‚’ä»£æ•°å¦ã‚’ä½¿ã£ã¦è¡¨ç¾ã—ã¦ã¿ãŸ - ã¨ã‚Šãƒžã‚»

å¤å…¸è«–ç†ã¯å¯æ›ç’°è«–ãªã‚“ã ã‚ˆ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)

ãŠçŸ¥ã‚‰ã›

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´2æœˆï¼‰

æ—§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®Chromeæ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã®ãŠçŸ¥ã‚‰ã›ã¨æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã”åˆ©ç”¨ã®ãŠé¡˜ã„

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´3æœˆç¬¬1é€±ï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹