[B! computation] criticabugã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

criticabug id:criticabug

computationã«é–¢ã™ã‚‹criticabugã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (2)

${{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}}

Inemuri nezumi diary(2009-04-18)
_ åž‹ãƒ¬ãƒ™ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä¼š ã«å‚åŠ ã—ã¾ã—ãŸã€‚æ„Ÿæƒ³ã‚„èª¬æ˜Žã®è£œè¶³ã€ç™ºè¡¨è³‡æ–™ãªã©ã¯ã™ã¹ã¦ã“ã®æ—¥ä»˜ã®ãƒã‚°ã«ã¤ã‘ã‚‹ã“ã¨ã«ã—ã¾ã™ã€‚ä»Šé€±ä»¥é™ã€æ™‚é–“ã‚’ã‹ã‘ã¦ã®ã‚“ã³ã‚Šè¿½åŠ ã™ã‚‹äºˆå®šã§ã™ã€‚ã‚ˆã‚ã—ããŠé¡˜ã„ã—ã¾ã™ã€‚å†…å®¹ã®æ¿ƒã„è©±ã‚’æ²¢å±±èžã‘ãŸã®ã§ã€æ•´ç†ã™ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ä¸»å‚¬ã—ã¦ãã ã•ã£ãŸã„ãªã°ã•ã‚“ã€ä¼šå ´ã‚’æä¾›ã—ã¦ãã ã•ã£ãŸã‚µã‚¤ãƒœã‚¦ã‚ºãƒ»ãƒ©ãƒœæ§˜ã€ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã—ãŸã€‚ [2009-04-28:è¿½è¨˜]428ã®æ—¥ã«ã‚ˆã†ã‚„ãä¸‹æ›¸ãã‚’æ¸…æ›¸ã™ã‚‹ã“ã¨ãŒã§ãã¾ã—ãŸã€‚ãµã„ãƒ¼ã€‚ _ åž‹ãƒ¬ãƒ™ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä¼š äºˆå‘Š(æ³¨:2009-04-18ã«è¡Œã‚ã‚Œã€ç„¡äº‹æ¥½ã—ãçµ‚äº†ã—ã¾ã—ãŸ) ç”³ã—è¨³ã‚ã‚Šã¾ã›ã‚“ãŒã€ã“ã“ã«ã¯ SWF (Adobe Systems Flash) ãŒç½®ã„ã¦ã‚ã‚Šã¾ã™ã€‚ãŠè¦‹ã›ã™ã‚‹ã“ã¨ãŒã§ããªãã¦ã™ã¿ã¾ã›ã‚“ã€‚ ustreamé…ä¿¡ã‚ã‚‹ãã†ã§ã™ã€‚ç™ºè¡¨ãƒ—ãƒã‚°ãƒ©ãƒ ã¯ã€åž‹ãƒ¬ãƒ™ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä¼šã®ãƒšãƒ¼ã‚¸ã‚’ã”ç¢ºèªä¸‹ã•ã„ã€‚ ã¿ã‚“ãªã‚‚ Wii ã®
criticabug 2010/10/02
Girard's paradox ãªã©

computation
ãƒªãƒ³ã‚¯
è¡¨ç¤ºçš„æ„å‘³è«– - Wikipedia
è¨ˆç®—æ©Ÿç§‘å¦ã«ãŠã‘ã‚‹è¡¨ç¤ºçš„æ„å‘³è«–ï¼ˆã²ã‚‡ã†ã˜ã¦ãã„ã¿ã‚ã‚“ã€è‹±: Denotational Semanticsï¼‰ã¨ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®æ„å‘³ã‚’å½¢å¼çš„ã«è¨˜è¿°ã™ã‚‹å½¢å¼æ„å‘³è«–ï¼ˆãƒ—ãƒã‚°ãƒ©ãƒ æ„å‘³è«–ï¼‰ã®ä¸€ã¤ã®æž çµ„ã¿ã§ã‚ã‚‹ã€‚åˆæœŸã«ã¯ã€Œæ•°ç†çš„æ„å‘³è«–ã€ï¼ˆmathematical semanticsï¼‰ã€ã€Œã‚¹ã‚³ãƒƒãƒˆï¼ã‚¹ãƒˆãƒ¬ã‚¤ãƒãƒ¼æ„å‘³è«–ã€ï¼ˆScottâ€“Strachey semanticsï¼‰ã®ã‚ˆã†ã«ã‚‚å‘¼ã°ã‚ŒãŸã€‚è¡¨ç¤ºçš„æ„å‘³è«–ã§ã¯ã€è¨˜è¿°ã•ã‚ŒãŸè¨€èªžã®å„èªžå¥ã«ã€è¡¨ç¤ºçš„æ„å‘³ï¼ˆdenotationï¼‰ã€ã™ãªã‚ã¡ãƒ—ãƒã‚°ãƒ©ãƒ å…¨ä½“ã®æ„å‘³ã«å¯¾ã—ã¦ãã®ä¸ã«ç¾ã‚Œã‚‹å„èªžå¥ãŒæ‹…ã†å½¹å‰²ã‚’è¡¨ã™æ•°å¦çš„å¯¾è±¡ï¼ˆobjectï¼‰ã€ã‚’ä¸Žãˆã‚‹æ–¹æ³•ã‚’ã¨ã‚‹[1]ã€‚ è¡¨ç¤ºçš„æ„å‘³è«–ã®èµ·æºã¯ã€1960å¹´ä»£ã®ã‚¯ãƒªã‚¹ãƒˆãƒ•ã‚¡ãƒ¼ãƒ»ã‚¹ãƒˆãƒ¬ã‚¤ãƒãƒ¼ã‚„ãƒ‡ã‚¤ãƒŠãƒ»ã‚¹ã‚³ãƒƒãƒˆã®ç ”ç©¶ã§ã‚ã‚‹ã€‚ã‚¹ãƒˆãƒ¬ã‚¤ãƒãƒ¼ã‚„ã‚¹ã‚³ãƒƒãƒˆãŒé–‹ç™ºã—ãŸæœ¬æ¥ã®è¡¨ç¤ºçš„æ„å‘³è«–ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®è¡¨ç¤ºï¼ˆæ„å‘³ï¼‰ã‚’å…¥åŠ›ã‚’å‡ºåŠ›ã«ãƒžãƒƒãƒ”ãƒ³ã‚°ã™ã‚‹é–¢æ•°ã«
criticabug 2009/07/31
semantics

computation
ãƒªãƒ³ã‚¯
1

ãŠçŸ¥ã‚‰ã›

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

å…¬å¼Twitter

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

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

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

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

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

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

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

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

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

ã‚¿ã‚°

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

computationã«é–¢ã™ã‚‹criticabugã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (2)

ãŠçŸ¥ã‚‰ã›

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

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

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

å…¬å¼Twitter

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

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

å…¬å¼Twitter

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

ã‚¿ã‚°

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

computationã«é–¢ã™ã‚‹criticabugã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (2)

Inemuri nezumi diary(2009-04-18)

è¡¨ç¤ºçš„æ„å‘³è«– - Wikipedia

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

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

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

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

å…¬å¼Twitter

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

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

å…¬å¼Twitter

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

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

computationã«é–¢ã™ã‚‹criticabugã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (2)

è¡¨ç¤ºçš„æ„å‘³è«– - Wikipedia

ãŠçŸ¥ã‚‰ã›

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

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

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

å…¬å¼Twitter

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

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

å…¬å¼Twitter

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