[B! æ•°å¦åŸºç¤Žè«–] kgbuã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kgbu id:kgbu

æ•°å¦åŸºç¤Žè«–ã«é–¢ã™ã‚‹kgbuã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (20)

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

http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20091128
kgbu 2009/12/10
æ•°å¦

æ•°å¦åŸºç¤Žè«–

ãã‚‚ãã‚‚

logic

ä»Šæ—¥ã®å…¨ç„¶ã‚ã‹ã‚‰ã‚“

è«–æ–‡

è¨¼æ˜Žè«–

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
æ•°å¦åŸºç¤Žè«–è¬›æ¼”ä¼šã€Œã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã€ - ãƒ’ãƒ“ãƒ«ãƒ†(2009-10-31)
kgbu 2009/11/09
ä¸å®Œå…¨æ€§å®šç†ã®è©±ä»¥å¤–ã«ã‚‚Î£ç„¡çŸ›ç›¾æ€§ã¨ã‹ã‚´ãƒ¼ãƒ«ãƒ‰ãƒãƒƒãƒäºˆæƒ³ã«é–¢ã™ã‚‹è©±ãŒã‚ã£ãŸãã†ã ã€‚

æ•°å¦åŸºç¤Žè«–

event

presentation

è¨¼æ˜Ž

logic

book

å‹‰å¼·

ä»Šæ—¥ã®å…¨ç„¶ã‚ã‹ã‚‰ã‚“

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

ä»Šæ—¥ã®å…¨ç„¶ã‚ã‹ã‚‰ã‚“

logic

åœè«–

æ•°å¦åŸºç¤Žè«–

ä»£æ•°

ãŠã‚‚ã—ã‚ã„

ã‚ã¨ã§èªã‚€

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

æ•°å¦åŸºç¤Žè«–

è«–ç†

ä»£æ•°

æ•°å¦

event

å‹‰å¼·ä¼š
ãƒªãƒ³ã‚¯
http://nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/ind/ind
kgbu 2009/07/05
è¡¨ç¤ºçš„æ„å‘³è«–ï¼‹ãƒ¢ãƒ‡ãƒ«ã¨ã„ã†ã¤ã‘ãŸã‚Šã¯ã‚‚ã†å¿…è¦ãŒãªã„ã€å¸°ç´çš„ãªå®šç¾©ãŒã‚ã‚Œã°ã‚ˆã—ã¨ã™ã‚‹ã€‚ãã‚“ãªè©±ãªã®ã ã‚ã†ã‹ã€‚ç†è§£ã—ã¦ã¿ãŸã„ã‚‚ã®ã ã€‚

lambda

semantics

programming

èªã¿ç‰©

æ•°å¦åŸºç¤Žè«–

software

åˆ†æž

ãã‚‚ãã‚‚
ãƒªãƒ³ã‚¯
æ•°å¦åŸºç¤Žè«–ã‚’å·¡ã‚‹ã¤ã¶ã‚„ã - ãƒ’ãƒ“ãƒ«ãƒ†(2009-06-16)
æ—¥ã€…ã®æµè»¢ æœ€è¿‘ã€æºå¸¯ã‚’å¤‰ãˆã¾ã—ãŸã€‚MNPã‚’ä½¿ã‚ãªã‹ã£ãŸã®ã§ç•ªå·ãŒå¤‰ã‚ã‚Šã¾ã™ã€‚æ–°ã—ã„ç•ªå·ã¯å‰ã®ç•ªå·(090ã€œ)ã‹ã‚‰ã€é›»å“ã§1003227378ã‚’ãƒžã‚¤ãƒŠã‚¹ã—ãŸã‚‚ã®ã§ã™ã€‚ã¾ãŸã€ãƒ¡ãƒ¼ãƒ«ã‚¢ãƒ‰ãƒ¬ã‚¹ã¯gmailã®ã‚‚ã®ã‚’ä½¿ã£ã¦ã„ã¾ã™ã€‚
kgbu 2009/06/22
AF (Axiom of Foundation)ã‚’å¦å®šã—ãŸé›†åˆè«–ã£ã¦ã€ã¨ã„ã†ã¤ã¶ã‚„ãã®å¿œé…¬ã®è¨˜éŒ²ã€‚ã„ã‹ã«è‡ªåˆ†ãŒã“ã®åˆ†é‡Žã«ã¤ã„ã¦ã‚ã‹ã£ã¦ã„ãªã„ã‹ã€ãŒã€ã‚ˆãã‚ã‹ã‚‹(æ±—

æ•°å¦åŸºç¤Žè«–

ãƒ‘ãƒ©ãƒ€ã‚¤ãƒ ã‚·ãƒ•ãƒˆ

é›†åˆè«–

twitter
ãƒªãƒ³ã‚¯
æ•°å¦åŸºç¤Žè«–ã®è€ƒãˆæ–¹ãƒ»å¦ã³æ–¹ ãƒ’ãƒ“ãƒ«ãƒ†(2009-06-06)
æ—¥ã€…ã®æµè»¢ æœ€è¿‘ã€æºå¸¯ã‚’å¤‰ãˆã¾ã—ãŸã€‚MNPã‚’ä½¿ã‚ãªã‹ã£ãŸã®ã§ç•ªå·ãŒå¤‰ã‚ã‚Šã¾ã™ã€‚æ–°ã—ã„ç•ªå·ã¯å‰ã®ç•ªå·(090ã€œ)ã‹ã‚‰ã€é›»å“ã§1003227378ã‚’ãƒžã‚¤ãƒŠã‚¹ã—ãŸã‚‚ã®ã§ã™ã€‚ã¾ãŸã€ãƒ¡ãƒ¼ãƒ«ã‚¢ãƒ‰ãƒ¬ã‚¹ã¯gmailã®ã‚‚ã®ã‚’ä½¿ã£ã¦ã„ã¾ã™ã€‚ Î». æ•°å¦åŸºç¤Žè«–ã®è€ƒãˆæ–¹ãƒ»å¦ã³æ–¹ è¬›å¸« ç”°ä¸ ä¸€ä¹‹ ï¼ˆæ±åŒ—å¤§å¦å¤§å¦é™¢ç†å¦ç ”ç©¶ç§‘æ•°å¦å°‚æ”»æ•™æŽˆï¼‰ é¡Œç›® æ•°å¦åŸºç¤Žè«–ã®è€ƒãˆæ–¹ãƒ»å¦ã³æ–¹ å†…å®¹ ã‚²ãƒ¼ãƒ‡ãƒ«ä»¥é™ï¼Œæ•°å¦åŸºç¤Žè«–ã¯ä½•ã‚’ã—ã¦ããŸã‹ï¼Ÿ ã“ã®è¬›æ¼”ã§ã¯ï¼Œè«–ç†ï¼Œã‚²ãƒ¼ãƒ ï¼Œè¶…é™å¸°ç´æ³•ï¼Œä¸å®Œå…¨æ€§ãªã©ã®åŸºæœ¬æ¦‚å¿µã‚’è»¸ã«ã—ã¦ï¼Œæ•°å¦åŸºç¤Žè«–ã®æ·±åŒ–ç™ºå±•ã‚’æŒ¯ã‚Šè¿”ã‚Šï¼Œã•ã‚‰ã«æœ€è¿‘ã®ç ”ç©¶å‹•å‘ã®ä¾‹ã¨ã—ã¦ç§ã¨ä»²é–“ãŸã¡ã®ç ”ç©¶ã‚‚ç´¹ä»‹ã™ã‚‹ï¼Ž ãƒã‚¹ã‚¿ãƒ¼ ã“ã‚Œã‚’èžãã«è¡Œã£ã¦ããŸã€‚ ãƒ¡ãƒ¢ æ›¸ãã‹ã‘ã€‚ æ•°å¦åŸºç¤Žè«–ã¨ã¯ä½•ã‹? æ¬§ç±³ã§ã¯ãƒã‚¸ãƒƒã‚¯ã¨ã„ã†å‘¼ã³æ–¹ãŒæ™®åŠã—ã¦ã„ã‚‹ã€‚ãã®ãªã‹ã§æ•°å¦ã®åŸºç¤Žã‚’ç ”ç©¶ã—ã¦ã„ã‚‹äººãŒã„ã‚‹ã€‚ ç¾ä»£è«–ç†å¦ã®å§‹ã¾ã‚Šã¯ä¸å®Œå…¨æ€§å®šç†ã‚’ç™ºè¦‹ã—ãŸã¨ãã€‚ 1930å¹´9æœˆ5
kgbu 2009/06/15
éžå°‚é–€å®¶å‘ã‘ã®è¬›æ¼”ã®ãƒ¡ãƒ¢ã€ã‚ã‚ŠãŒãŸã„ã€‚ã€Œæ•°å¦åŸºç¤Žè«–ã¨ã„ã†ã¨åŸºç¤Žä»˜ã‘ã‚‹ã¨ã„ã†ã“ã¨ã«é‡ç‚¹ãŒç½®ã‹ã‚Œã¦ã—ã¾ã†ãŒã€ãã‚ŒãŒä¸å¿ƒçš„ãƒ†ãƒ¼ãƒžã ã£ãŸã®ã¯ãƒ‡ãƒ¼ãƒ‡ãƒ«ä»¥å‰ã€‚ã‚²ãƒ¼ãƒ‡ãƒ«ä»¥é™ã¯ã‚€ã—ã‚è€ƒãˆæ–¹ã‚’åå¯¾ã«ã—ã¦ã„ã‚‹ã€ã¸ãƒ¼

æ•°å¦åŸºç¤Žè«–

é€†æ•°å¦

event

presentation

æ•°å¦

logic

é›†åˆè«–

è¨ˆç®—è«–

ã¾ã¨ã‚
ãƒªãƒ³ã‚¯
å¼·åˆ¶æ³•ãŒã‚‚ãŸã‚‰ã—ãŸå¤‰åŒ– - kururu_goedelâ€™s diary
ã¾ãŸã‚‚ã‚„ã€ã¨ã‚“ã§ã‚‚ãªãæ™‚æœŸé…ã‚Œã®ã‚¨ãƒ³ãƒˆãƒªã‚’ã€‚ id:nucã•ã‚“ã®ã¨ã“ã‚ã®ã‚¨ãƒ³ãƒˆãƒªã«åå¿œã—ã¦ã¿ã‚‹ã‚ˆ - ãã‚‹ã‚‹ã®æ•°å¦ãƒŽãƒ¼ãƒˆã§é‡åè„³ç†è«– - ç™½ã®ã‚«ãƒ”ãƒãƒ©ã®é€†æ¥µé™ S.144-3ã«åå¿œã—ãŸã®ã§ã™ãŒã€ãã“ã§æ›¸ã‹ãªã‹ã£ãŸã“ã¨ã‚’ã²ã¨ã¤ã€‚ ã“ã®å¤ã«çµæ§‹ãŒã‚“ã°ã£ã¦ç†è§£ã—ã‚ˆã†ã¨ã—ã¦(ç”ŸåŠå¯ã«åˆ†ã‹ã£ã¦ã„ã‚‹ã¨ã‚‚è¨€ã„é›£ã„ã‘ã‚Œã©ã‚‚)ã€ã§ã‚‚ãŸã¶ã‚“ã€Œæ•°å¦çš„æ‰‹æ³•ã¨ã—ã¦éžå¸¸ã«é¢ç™½ã„ãŒã€ã€Œä¸–ç•Œè¦³ã‚’å¤‰ãˆã‚‹ã‚‚ã®ã§ã¯ãªã„ã€ã¨æ€ã„ã¾ã—ãŸã€‚ ã“ã‚Œã¯id:nucã•ã‚“ã®å°è±¡ã¨ã—ã¦ã¯è‡³æ¥µã¾ã£ã¨ã†ã ã¨æ€ã†ã‚“ã§ã™ã‚ˆã€‚ãŸã ã€å¼·åˆ¶æ³•ãŒé–‹ç™ºã•ã‚ŒãŸå½“æ™‚ã®ç ”ç©¶è€…ãŸã¡ã«ã¨ã£ã¦ã¯ä¸–ç•Œè¦³ã‚’å¤‰ãˆã‚‹ã‚ˆã†ãªã‚‚ã®ã ã£ãŸã¨æ€ã†ã‚“ã§ã™ã€‚ãã®å½“æ™‚ç”£ã¾ã‚Œã¦ã•ãˆã„ãªã‹ã£ãŸã®ã§ã©ã®ç¨‹åº¦æœ¬å½“ã‹ã‚ã‹ã‚Šã¾ã›ã‚“ãŒã€ã¨ã‚Šã‚ãˆãšç§ã®æ„Ÿã˜ã¨ã—ã¦ã€‚ ä»¥ä¸‹ã«å¼•ç”¨ã™ã‚‹ã®ã¯ã€D.Scottã®è¨€è‘‰ã¨ã—ã¦Kanamoriã«ã‚ˆã£ã¦ç´¹ä»‹ã•ã‚Œã¦ã„ã‚‹ã‚‚ã®ã§ã™ã€‚ I knew almost all the set
kgbu 2009/06/04
æ•°å¦åŸºç¤Žè«–

ãã‚‚ãã‚‚

history

é›†åˆè«–

è«–ç†å¦

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
ç«¹å†…ã•ã‚“ã®ã€Žå±¤ãƒ»åœãƒ»ãƒˆãƒã‚¹ã€ã‚’èªã‚€äººé”ã¸ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
ã€Œèªã‚€äººé”ã¸ã€ã¨ã¯ã„ã£ã¦ã‚‚ä¸€èˆ¬è«–ã§ã¯ãªãã¦ã€ã‚¸ãƒ§ãƒ‹ãƒ¼ãŒã€Žå±¤ãƒ»åœãƒ»ãƒˆãƒã‚¹ã€ã‚’èªã‚€å‹‰å¼·ä¼šã‚’ã™ã‚‹ã‚‰ã—ã„ã®ã§ã€ã“ã®ãƒ¡ãƒ³ãƒãƒ¼ã¸è€å©†å¿ƒã‹ã‚‰äºŒä¸‰è¨€ã£ã¦ãŠããŸã„ã“ã¨ã§ã™ã€‚ ã€Œå±¤ãƒ»åœãƒ»ãƒˆãƒã‚¹ ç¾ä»£çš„é›†åˆåƒã‚’æ±‚ã‚ã¦ã€ å‹‰å¼·ä¼š - hiroki_fã®æ—¥è¨˜ Diary?::2009-04-28 ã‚¸ãƒ§ãƒ‹ãƒ¼ã®æœ€åˆã®ä¼ç”»ã€Œç¬¬ï¼•å›žStudent Chapter, ã€Œå±¤ã€åœã€ãƒˆãƒã‚¹ã€ã®é›†ä¸å‹‰å¼·ä¼š(ä¼ç”»ä¸)ã€ã¸ã®ã‚³ãƒ¡ãƒ³ãƒˆã«ã‚‚æ›¸ã„ãŸã“ã¨ã ã‘ã©ã€ç«¹å†…æœ¬ã¯çŸæ™‚é–“ãƒ»çŸæœŸé–“ã§èªã‚€ãƒ†ã‚ã‚¹ãƒˆã«ã¯å‘ã„ã¦ã„ã¾ã›ã‚“ã€‚ä¸€åº¦ãªã‚‰ãšã€Œã‚‚ã£ã¨çŸã„ãƒ†ã‚ã‚¹ãƒˆãŒã„ã„ã‚ˆã€ã£ã¦å‹§ã‚ãŸã‚“ã ã‘ã©ã€ã‚¸ãƒ§ãƒ‹ãƒ¼ã¯ã€Œã©ã†ã—ã¦ã‚‚ã‚³ãƒ¬ã‚’èªã¿ãŸã„ã€ã¨ã€‚ ã‚‚ã¡ã‚ã‚“ã€ã€Žå±¤ãƒ»åœãƒ»ãƒˆãƒã‚¹ã€ãŒãƒžã‚ºã‚¤ã¨ã„ã†ã“ã¨ã§ã¯ã‚ã‚Šã¾ã›ã‚“ã€‚ä»¥ä¸‹ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã§ã“ã®æœ¬ã‚’ç´¹ä»‹ã‚‚ã—ã¦ã¾ã™ã—ã€åƒ•å€‹äººã«ã¨ã£ã¦ã¯ãªã¤ã‹ã—ã„æœ¬ã§ã‚‚ã‚ã‚Šã¾ã™ã€‚ ã€Œåœè«–ç•ªå¤–ï¼šç±³ç”°ã®è£œé¡Œã«å‘ã‘ã¦ã®ã‚ªã‚·ãƒ£ãƒ™ãƒªã€ã®ã‚³ãƒ¡ãƒ³ãƒˆæ¬„ ã€Œç«¹å†…å¤–å²ãƒ»è‘—ã€Žå±¤ãƒ»åœ
kgbu 2009/04/30
ç«¹å†…ã•ã‚“ã®æœ¬ã¯é¢ç™½ã„ã¨è‡ªåˆ†ã‚‚æ€ã†ã‘ã‚Œã©ã€å‹‰å¼·ã®ãŸã‚ã«èªã‚€ã®ã¯å¤§å¤‰ãã†ã ãªã‚ã€‚çµå±€ã€ç«¹å†…ã•ã‚“ã®è¨€ã„ãŸã„ã¨ã“ã‚ã¯é›†åˆã¨è«–ç†ã®å‘¨è¾ºã«è»¸è¶³ãŒã‚ã‚‹ã¨æ„Ÿã˜ã‚‹ã®ã§ã€åœè«–ã®å´ã‹ã‚‰ãã‚Œã‚’è¦‹é€šã™ã®ã¯ã€ãã‚Œã ã‘ã§ä¸€ã¤ã®æ¥ç¸¾

ã‚ã‚‹ã‚ã‚‹

book

åœè«–

æ•°å¦åŸºç¤Žè«–
ãƒªãƒ³ã‚¯
Perspective in Logics, Lecture Notes in Logic ç„¡æ–™åŒ– - ã‚ã„ã¾ã„ãªæœ¬æ—¥ã®ç§ blog
id:nuhsnuh ã•ã‚“çµŒç”±ã€‚çŸ¥ã£ã¦ã„ã‚‹äººã¯çŸ¥ã£ã¦ã„ã‚‹è©±ã§ã—ã‚‡ã†ãŒã€‚ ASLã§ç·¨é›†ã•ã‚Œã€Springerã‹ã‚‰å‡ºç‰ˆã•ã‚Œã¦ã„ãŸã€€â€Perspective in logics"ã‚·ãƒªãƒ¼ã‚ºãŒã€ãªã‚“ã¨ Project Euclid ã§ç„¡æ–™å…¬é–‹ã•ã‚Œã¦ã„ã¾ã—ãŸã€‚ãƒšãƒ¼ã‚¸ã¯ã“ã¡ã‚‰ã€‚å†…è¨³ã¯ Computability in Analysis and Physics; Marian B. Pour-El, J. Ian Richards (1989) Higher Recursion Theory; Gerald E. Sacks (1990) Metamathematics of First-Order Arithmetic; Petr HÃ¡jek, Pavel PudlÃ¡k (1998) Essential Stability Theory; Steven Buechler (1996) Proper an
kgbu 2009/03/10
è«–æ–‡

book

logic

è¨ˆç®—è«–

æ•°å¦åŸºç¤Žè«–

æ•°å¦

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
å±±å£äººç”Ÿã€Jinsei Yamaguchiã€ï¼©ï¼Žï¼©ï¼Žï¼©ï¼Ž
ã‚¯ãƒªãƒƒã‚¯ã™ã‚‹ã¨ç›®æ¬¡ãŒå‡ºã¾ã™ã€‚ï¼ˆç„¡æ–™ï¼‰ ç¥žè¨€ï¼ˆã‚«ãƒŸã‚³ãƒˆï¼‰ ï¼’ï¼ï¼’ï¼å¹´ï¼˜æœˆï¼’ï¼˜æ—¥ã€€ï¼ˆï¼ï¼ï¼´ã®æ—¥ï¼‰ ç¤¾ä¼šç§©åºã®ãŸã‚ã€ä¸€åˆ»ã‚‚æ—©ãã€ç§ãŒç¥žã§ã‚¢ãƒ«ãƒžã‚²ãƒ‰ãƒ³ã‚„ã£ã¦ã‚‹æœ€ä¸ã ã¨èªã‚ãªã•ã„ã€‚ ã“ã®ä¸–ã«ç§ã‚ˆã‚Šé‡‘æŒã¡ãŒã„ã‚‹ã¨ã€ç§©åºãŒä¿ã¦ãªã„ã¨è¨€ã£ã¦ã‚‹ã§ã—ã‚‡ã†ãŒã€‚ ã ã‹ã‚‰ã€ç§ãŒä¸–ç•Œä¸€ã®é‡‘æŒã¡ã«ãªã‚‹å¤©å‘½ãªã®ã€‚ ã“ã“ã¾ã§è¨€ã‚ã‚Œã¦ã‚‚ã€åå¿œã§ããªããªã£ãŸçŒ¿ã®æƒ¨ã‚ã•ã‚ˆã€‚ æœ€åˆã€ï¼’ï½ƒï½ˆã§æ£ç¾©ã¶ã£ã¦ã€ç¥žã¨å‹è² ã—ã¦ã„ãŸæ°—åˆ†ã®é ƒã‹ã‚‰è¦‹ã‚Œã°ã€ç¤¾ä¼šã‚‚å¤‰ã‚ã£ãŸã¨ã„ã†ã“ã¨ã€‚ ä»Šã‚„ã€ç„¡è¦–ã‚±ãƒ©æ‚ªé”ã«æˆã‚Šæžœã¦ãŸã€‚ ä½•ã‹æ–‡å¥ã‚ã£ãŸã‚‰è¨€ã£ã¦ã¿ã€‚ ç¾åœ¨é€²è¡Œä¸ã®ã‚¢ãƒ«ãƒžã‚²ãƒ‰ãƒ³ã§ã™ãŒã€‚ ã“ã‚Œã¯ã€ãƒ¨ãƒãƒã®é»™ç¤ºéŒ²ã«è¼‰ã£ã¦ã„ã¦ã€‚ æ–°ç´„è–æ›¸èªã‚€é€£ä¸ãªã‚‰çš†çŸ¥ã£ã¦ã„ã‚‹ã“ã¨ã€‚ ã¤ã¾ã‚Šã€äººå£çš„ã«ã€ä¸–ç•Œã§ä¸€ç•ªã€å‘¨çŸ¥ã®æƒ…å ±ã€‚ ï¼ˆçŸ¥ã‚‰ãªã„ã®ã¯ã€æ±æ´‹ã®åº•è¾ºã‚¯ãƒ©ã‚¹ã‹ã€‚ï¼‰ ãã®ä¸»å½¹ãŒç¥žã®ç§ã€‚ ã©ã®å®—æ•™ã§ã‚ã‚ã†ãŒã€ã“ã‚Œã‚’èªã‚ãªã„ã®ãŒç•°ç«¯ã€‚ ã“ã‚ŒãŒã€ä»Šã‹ã‚‰ã®æ´å²ã§ã™ã€‚ ã¡ãªã¿ã«ã€é»™ç¤ºéŒ²ã¨ã„
kgbu 2008/12/18
ç«¹å†…å¤–å²ã•ã‚“ã®å¼Ÿåã ã¨ã„ã†å±±å£äººç”Ÿæ°ã«ã‚ˆã‚‹ã€P=NPï¼Ÿã¨ã„ã†å•é¡Œã®è§£æ±ºï¼ˆã†ã£ã¡ã‚ƒã‚Šï¼‰ï¼ï¼ã™ã”ã™ãŽã‚‹ã€‚æ™®éæž ã€æ„‰ã—ã¿ãŸã„ã€‚

æ•°å¦åŸºç¤Žè«–

NPå®Œå…¨

é›†åˆè«–

ãƒã‚¿

ãŠã‚‚ã—ã‚ã„

ã‚ã¨ã§èªã‚€

ã„ã¾ã•ã‚‰è¨Šã‘ãªã„
ãƒªãƒ³ã‚¯
åºæ•°ã€åŸºæ•°ã€ãƒ¢ãƒŽã‚¤ãƒ‰åœã¨ã‚¨ãƒƒã‚¯ãƒžãƒ³ï¼ãƒ’ãƒ«ãƒˆãƒ³è«–æ³• - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
ã€ŒåŸºæœ¬ã¯å¤§äº‹ã ã€ã¨ã‹è¨€ã„ã¾ã™ãŒã€å¹¼å…ã‚„å°å¦ç”Ÿã§ã‚‚ã‚ã‹ã‚‹ã‚ˆã†ãªãƒ›ãƒ³ãƒˆã«åŸºæœ¬çš„ãªæ¦‚å¿µãŒã€ã‹ãªã‚ŠæŠ½è±¡çš„ãªæ–‡è„ˆã§ã‚‚å½¢ã‚’å¤‰ãˆã¦ç¾ã‚Œã‚‹ã“ã¨ã«ã¯é©šã‹ã•ã‚Œã¾ã™ã€‚ ã‹ã¤ã¦ã®æ¬¡ç”·ã®æ§˜åãªã©ã‹ã‚‰å¯Ÿã™ã‚‹ã«ã€ã€Œã‚¤ãƒã€ãƒ‹ã€ã‚µãƒ³ã€ã¨é †ç•ªã«æ•°ãˆã‚ã’ã‚‹ã“ã¨ã¨ã€ãƒ¢ãƒŽã®é›†ã¾ã‚Šã®å¤§ãã•ï¼ˆã‚€ã—ã‚â€œå¤šã„ã•â€ï¼‰ã®æŠŠæ¡ã¯ã€ã¨ã‚Šã‚ãˆãšã¯åˆ¥ãªè¡Œç‚ºã§ã€ãã®2ã¤ã‚’é–¢é€£ä»˜ã‘ã‚‹ãŸã‚ã«ã¯ãƒˆãƒ¬ãƒ¼ãƒ‹ãƒ³ã‚°ãŒå¿…è¦ãªã‚ˆã†ã§ã™ã€‚ æ•°ãˆã‚‹ã¨ãã«å”±ï¼œã¨ãªï¼žãˆã‚‹ã‚«ã‚ºã‚’åºæ•°ï¼ˆordinal numberï¼‰ã€é›†ã¾ã‚Šã®â€œå¤šã„ã•â€ã‚’è¡¨ã™ã‚«ã‚ºã‚’åŸºæ•°ï¼ˆcardinal numberï¼‰ã¨å‘¼ã³ã¾ã™ã€‚åºæ•°ã¨åŸºæ•°ã¯ã€åä¾›ã®èªè˜ã«ãŠã„ã¦ã‚‚ç†è«–çš„ï¼ˆä¾‹ãˆã°é›†åˆè«–ã®ï¼‰è¦³ç‚¹ã‹ã‚‰ã‚‚åˆ¥ç‰©ã§ã™ã€‚ãªã®ã«ã€åºæ•°ã¨åŸºæ•°ã¯ã„ã¤ã®ã¾ã«ã‹åŒä¸€è¦–ã•ã‚Œã€å…·ä½“çš„ãªåˆ©ç”¨æ³•ï¼åˆ©ç”¨å ´é¢ãŒæ¨è±¡ã•ã‚ŒãŸã€Œè‡ªç„¶æ•°ã€ã¸ã¨è’¸ç•™ã•ã‚Œã¦ã—ã¾ã„ã¾ã™ã€‚ ã“ã®åŒä¸€è¦–ã¨æŠ½è±¡åŒ–ã®ãƒ¡ã‚«ãƒ‹ã‚ºãƒ ã¯ã©ã†ãªã£ã¦ã„ã‚‹ã‚“ã§ã—ã‚‡ã†ï¼Ÿ ã‚ã‚Šå¾—ã‚‹ã²ã¨ã¤ã®èª¬æ˜Žã¨ã—ã¦ã€ãƒ¢ãƒŽã‚¤
kgbu 2008/11/15
ï¼‘ï¼Œï¼’ï¼Œï¼“ï¼Œã„ã£ã±ã„ã¨ã„ã†èªè˜ã®çŠ¶æ…‹ã‚’è¡¨ã™åœã‚‚ã‚ã‚‹ã®ã‹ãƒ¼ã€‚Conceptual Mathematicsã®Please read thisã®æœ€åˆã®ãƒ‘ãƒ©ã‚°ãƒ©ãƒ•ã‚’æ€ã„å‡ºã—ãŸã€‚

æ•°å¦

æ•°å¦åŸºç¤Žè«–

åœè«–

ãã‚‚ãã‚‚

ã‚ã‚‹ã‚ã†

ãŠã‚‚ã—ã‚ã„
ãƒªãƒ³ã‚¯
ãƒ©ãƒ ã‚¸ãƒ¼ã¯ãªãœæ±ºå®šå•é¡Œã«å–ã‚Šçµ„ã‚“ã ã®ã‹ â€•ãƒ©ãƒ ã‚¸ãƒ¼ã®æ•°å¦ã®å“²å¦ã¨æœ‰é™ä¸»ç¾©â€• å‡ºå£åº·å¤« å“²å¦è€…ãƒ©ãƒ ã‚¸ãƒ¼ã¯ã€ãã®ã‚ãƒ£ãƒªã‚¢ã‹ã‚‰è¨€ãˆã°ã€ã‚€ã—ã‚æ•°å¦è€…ã§ã‚ã£ãŸã€‚å½¼ã¯ã‚±ãƒ³ãƒ–ãƒªãƒƒ ã‚¸å¤§å¦ã®ï¿½
kgbu 2008/09/29
[

æ•°å¦åŸºç¤Žè«–
ãƒªãƒ³ã‚¯
Reverse Mathematics
ä»™å°ãƒã‚¸ãƒƒã‚¯å€¶æ¥½éƒ¨ é€†æ•°å¦ã®ã™ã™ã‚ ã€Žé€†æ•°å¦ã¨ï¼’éšŽç®—è¡“ã€(æ²³åˆå‡ºç‰ˆ 1997)ã‚ˆã‚Š ã¯ã˜ã‚ã« æ•°å¦ã®å®šç†ã®è¨¼æ˜Žã«ã©ã‚Œã ã‘ã®å…¬ç†ãŒå¿…è¦ã‹ã¨ã„ã†å•é¡Œã‚’ï¼Œæ•°å¦åŸºç¤Žè«–ã®ç¾ä»£çš„ãªèˆžå°è£…ç½®ã®ä¸Šã§è€ƒãˆã¦ã¿ã‚ˆã†ã¨ã„ã†ã®ãŒã€Œé€†æ•°å¦ã€ã®ä¸»é¡Œã§ã‚ã‚‹ï¼Ž æ•°å¦ã¯ï¼Œå¦ã¶ç«‹å ´ã§è¦‹ã‚Œã°ï¼Œå…¬ç†ã‹ã‚‰å®šç†ã‚’å°Žãè«–ç†ã®é“ç‹ã¤ã¾ã‚Šè¨¼æ˜Žã®é›†ã¾ã‚Šã§ã‚ã‚‹ï¼Žã§ã¯ï¼Œæ•°å¦è€…ã¯å…¬ç†ã‚’ã‚¤ãƒ³ãƒ—ãƒƒãƒˆã—ã¦å®šç†ã‚’ã‚¢ã‚¦ãƒˆãƒ—ãƒƒãƒˆã™ã‚‹æ©Ÿæ¢°ã¿ãŸã„ãªã‚‚ã®ã‹ï¼Œã¨ã„ã†ã¨æ±ºã—ã¦ãã†ã§ã¯ãªã„ï¼Žï¼ˆâ€œæ•°å¦è€…ã¯ã‚³ãƒ¼ãƒ’ãƒ¼ã‚’å®šç†ã«å¤‰æ›ã™ã‚‹æ©Ÿæ¢°ã§ã‚ã‚‹â€ã¨ã„ã†ã‚¨ãƒ«ãƒ‡ã‚·ãƒ¥ã®åè¨€ã‚‚ã‚ã‚‹ãŒï¼Žï¼Žï¼Žï¼‰æ•°å¦è€…ã®ã‚¢ã‚¯ãƒ†ã‚£ãƒ“ãƒ†ã‚£ãƒ¼ã¨ã—ã¦ã¯ï¼Œã‚€ã—ã‚ãã‚Œã¨ã¯å…¨ãé€†ã«ï¼Œã‚ã‚‹å‘½é¡Œã‚’è«–è¨¼ã™ã‚‹ã®ã«ã©ã‚Œãã‚‰ã„ã®å‰æãŒå¿…è¦ã‹ãªã©ã¨è€ƒãˆã¦ã„ã‚‹ã“ã¨ãŒå¤šã„ï¼Žä¾‹ãˆã°ï¼Œå¤§å¦ã®è§£æžå¦ã§ã¯ï¼Œé›†åˆï¼Œå®Ÿæ•°ï¼Œé€£ç¶šé–¢æ•°ï¼Œå¾®ç©åˆ†ï¼Žï¼Žï¼Žã¨æ¦‚å¿µãŒçµ„ã¿ç«‹ã¦ã‚‰ã‚Œã¦ã„ãã®ã«å¯¾ã—ï¼Œãã‚Œã‚‰ã®ç™ºè¦‹ã®æ´å²ã¯å…¨ãé€†å‘ãã§ã‚ã‚‹ï¼Žã‚ã¨ã§ã‚‚è¿°ã¹ã‚‹ã‚ˆã†ã«ï¼Œã‚³ãƒ¼ã‚·ãƒ¼ãŒé€£
kgbu 2008/08/20
é€†æ•°å¦ã«ã¤ã„ã¦ã®ã‚¨ãƒƒã‚»ã‚¤ã€‚æ•°å¦ãŒå®Ÿé¨“ç§‘å¦ã®ã‚ˆã†ã«ç™ºå±•ã—ã¦ããŸã¨ã‹ï¼ˆãã‚ŒãŒé€†æ•°å¦ã®ã‚¹ã‚¿ã‚¤ãƒ«)ã€äºŒéšŽã®æ•°å¦ã¯ã€é›†åˆ(ã®å†™åƒ)ã‚’é–¢æ•°ã¨è€ƒãˆã‚‹ã¨ã€é«˜éšŽé–¢æ•°ã¨ã„ã†ã“ã¨ã§ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¯ãŠãªã˜ã¿ã ã¨ã‹ã€‚ã‚ã‹ã‚Šã‚„ã™ã„

æ•°å¦åŸºç¤Žè«–

è«–æ–‡

ãŠã‚‚ã—ã‚ã„

æ•°å¦
ãƒªãƒ³ã‚¯
é–¢ä¿‚è³‡æ–™
é–¢ä¿‚è³‡æ–™ ã€€æœ€å¾Œã®ã€Œåèª‰éƒ¨é•·ã®æ›¸ãè¾¼ã¿ã€ä»¥å¤–ã¯ã€ç”°ä¸ä¸€ä¹‹å…ˆç”Ÿã«ã‚ˆã‚Šã¾ã™(æœ¬ãªã©ã®è¦ç´„ãªã©ã‚‚ã‚ã‚Šã¾ã™)ã€‚ã€Œåèª‰éƒ¨é•·ã€ã¨ã¯ã€å±±å´Žæ¦ã•ã‚“ã®ã“ã¨ã§ã™ã€‚ã€Œãƒ»ãƒ»ãƒ»ç³»ã€ãªã©ã®åˆ†é¡žã¯å®Œå…¨ã«ç«¹å†…ã®ç‹¬æ–ã«ã‚ˆã‚Šã¾ã™ã€‚ â€»ã€€ç„¡æ–è»¢è¼‰ã€ï¼¤ï¼¯ï¼(ç„¡æ–ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰)ã¯å¾¡é æ…®ãã ã•ã„ã€‚ã€€â€» å…¥é–€ç³» ãƒ»æ•°å¦åŸºç¤Žè«–å…¥é–€ï¼ˆã€Žæ•°å¦å®Œå…¨ã‚¬ã‚¤ãƒ€ãƒ³ã‚¹ã€ã‚ˆã‚ŠæŠœç²‹ï¼Œä¸€éƒ¨ä¿®æ£ï¼‰ â†’ã€Œæ•°å¦åŸºç¤Žè«–ã€ã¨ã„ã†å¦å•ã«ã¤ã„ã¦ã€‚åŸºç¤Žè«–ã®ï¼“å¤§å®šç†ã€‚ ãƒ»é€†æ•°å¦ã®ã™ã™ã‚ï¼ˆã€Žé€†æ•°å¦ã¨ï¼’éšŽç®—è¡“ã€(æ²³åˆå‡ºç‰ˆ 1997)ã‚ˆã‚Šï¼‰ â†’ã€Œé€†æ•°å¦ã€ã¨ã¯ä½•ã‹ã€‚ãã®ç›®çš„ã¨ã‚ã‚‰ã¾ã—ã€‚å€‹äººçš„ã«è¶…ã‚ªã‚¹ã‚¹ãƒ¡ã€‚ ãƒ»ãƒ©ãƒ ãƒ€è¨ˆç®—ï¼¡ï¼¢ï¼£ï¼ˆã€Žæ•°å¦ã‚»ãƒŸãƒŠãƒ¼ã€1992å¹´8æœˆå·ã‚ˆã‚Šï¼‰ â†’ãƒ©ãƒ ãƒ€è¨ˆç®—å…¥é–€ã€‚ãƒ©ãƒ ãƒ€è¨ˆç®—ã®èƒŒæ™¯ã‹ã‚‰ã€åˆ¤ã‚Šã‚„ã™ãèª¬æ˜Žã€‚ ãƒ»ãƒ©ãƒ³ãƒ€ãƒ æ€§ã¨ä¸å®Œå…¨æ€§å®šç†ï¼ˆã€Žæ•°å¦ã£ã¦ãªã‚“ã ã‚ã†ã€(æ—¥æœ¬è©•è«–ç¤¾ 1997)ã®æŠœç²‹ï¼Œä¸€éƒ¨ä¿®æ£ï¼‰ â†’ã€Œãƒ©ãƒ³ãƒ€ãƒ
kgbu 2008/08/20
æ•°å¦ã‚»ãƒŸãƒŠãƒ¼ãªã©ã«æŽ²è¼‰ã•ã‚ŒãŸæ–‡ç« ãªã©ãŒèªã‚ã‚‹

ã¾ã¨ã‚ã‚µã‚¤ãƒˆ

æ•°å¦åŸºç¤Žè«–

logic

æ•°å¦
ãƒªãƒ³ã‚¯
ãƒ›ãƒ¯ãƒƒãƒˆãƒ»ã‚¢ãƒ»ãƒ¯ãƒ³ãƒ€ãƒ•ãƒ«ãƒ»ãƒ¯ãƒ¼ãƒ«ãƒ‰ ã‚²ãƒ¼ãƒ‡ãƒ«ã¨ 20 ä¸–ç´€ã®ãƒã‚¸ãƒƒã‚¯ vol.1
ã‚²ãƒ¼ãƒ‡ãƒ«ã¨20ä¸–ç´€ã®è«–ç†å¦(ãƒã‚¸ãƒƒã‚¯)ã€ˆ1ã€‰ã‚²ãƒ¼ãƒ‡ãƒ«ã®20ä¸–ç´€ ã ã„ãŸã„èªã¿çµ‚ã‚ã‚Šã¾ã—ãŸï¼Žã ã„ãŸã„ã¨ã„ã†ã®ã¯ï¼Œæœ€å¾Œã® 7 ãƒšãƒ¼ã‚¸ ã€Œè¨ˆç®—å¯èƒ½å®Ÿæ•°ã¨è¨ˆç®—å¯èƒ½(ä¸)é€£ç¶šé–¢æ•°ã€ã®ã¨ã“ã‚ãŒï¼Œè§£æžå¦ã•ã£ã±ã‚Šäººé–“ã®ç§ã«ã¯ã¡ã‚ƒã‚“ã¨ãƒ•ã‚©ãƒãƒ¼ã§ããªã‹ã£ãŸã¨ã„ã† ï¼ˆè‹¦ç¬‘ï¼‰ vol.4 ã®é›†åˆè«–ã¨ãƒ—ãƒ©ãƒˆãƒ‹ã‚ºãƒ ã¯æœªã ã«ã•ã£ã±ã‚Šèªã‚ã¦ãªã„ã‚“ã§ã™ãŒï¼Œã“ã‚Œã¯ 20 ä¸–ç´€ã®ãƒã‚¸ãƒƒã‚¯ã®æ´å²ã«ã¤ã„ã¦ã®å·»ãªã®ã§ï¼Œãã‚Œã»ã©ãƒ†ã‚¯ãƒ‹ã‚«ãƒ«ãªéƒ¨åˆ†ã¯ç„¡ãã¦ï¼Œç§ã§ã‚‚æ™®é€šã«èªã‚ã¾ã—ãŸï¼Ž Lion's Book ã‚‚ãã†ãªã‚“ã§ã™ãŒï¼Œç¾åœ¨ã§ã¯æ£ç¢ºç„¡æ¯”ãªã¨ã“ã‚ã¾ã§ç£¨ãä¸Šã’ã‚‰ã‚ŒãŸå·¨å¤§ã‚·ã‚¹ãƒ†ãƒ ã§ã‚ã‚‹ UNIX ã‚„ãƒã‚¸ãƒƒã‚¯ã®ä½“ç³»ãªã©ã‚‚ï¼Œãã®åˆæœŸã¯ï¼Œã„ã‚ã‚“ãªäººãŒæ‚©ã‚“ã ã‚Šé–“é•ãˆãŸã‚Šèª¤è§£ã—ãŸã‚Šè©¦è¡ŒéŒ¯èª¤ã—ã¦ä½œã£ã¦ããŸï¼Œäººé–“ãŒä½œã£ãŸã‚‚ã®ãªã‚“ã ãªãï¼Œã¨ã„ã†æ„Ÿæ…¨ã‚’å¾—ã‚‹ã“ã¨ãŒã§ãã‚‹æœ¬ã§ã™ï¼Ž æ—¥æœ¬ã«ã‚²ãƒ¼ãƒ‡ãƒ«ã®æ¥ç¸¾ãŒå°Žå…¥ã•ã‚Œã¦ããŸã‚ãŸã‚Šã®è©±ãªã©ï¼Œæ˜”ã¯æœ¬å½“ã«æµ·å¤–ã®æƒ…å ±ã‚„è«–æ–‡ã‚’å¾—
kgbu 2008/08/20
æ—¥æœ¬ã§ã®logicã®å°Žå…¥ã®æ´å²ãŒèªã‚ã‚‹ã®ã¯æ—¥æœ¬ã®æœ¬ã ã‘ï¼ã¨ã„ã†è¦–ç‚¹ã¯é¢ç™½ã„ã€‚è‹±èªžèªã‚ã‚‹ã¨ãŸã—ã‹ã«ãã†ã ã‚ãã€‚

book

æ•°å¦åŸºç¤Žè«–

è«–ç†å¦

logic

æ›¸è©•

ã„ã¾ã•ã‚‰è¨Šã‘ãªã„

turing machine
ãƒªãƒ³ã‚¯
Substructural Logics è¨¼æ˜Žè«–çš„è¦–ç‚¹ã‹ã‚‰ å°é‡Žã€€å¯›æ™°ï¼ˆåŒ—é™¸å…ˆç«¯ç§‘å¦æŠ€è¡“å¤§å¦é™¢ å¤§å¦ï¼‰OnoHiroakiraOHP.pdf (application/pdf ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆ)
kgbu 2008/07/30
éƒ¨åˆ†æ§‹é€ è«–ç†ã®è©±ã€‚ã“ã“æ•°å¹´ã§ç™ºå±•ã—ã¦ããŸã€ä»£æ•°çš„è¦–ç‚¹ã‹ã‚‰ã®è«–ç†å¦ã®è¦‹ç›´ã—ã€ã‚‰ã—ã„ã‘ã©è‡ªåˆ†ã«ã¯ã¾ã ç†è§£ã§ãã¾ã›ã‚“

logic

presentation

ä»£æ•°

æ•°å¦åŸºç¤Žè«–
ãƒªãƒ³ã‚¯
Wadler: Call-by-value is dual to call-by-name
Philip Wadler Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler. Draft. This paper introduces a new way of attaching proof terms to proof trees for classical linear logic, which bears a close resem blance to the way that pattern matching is used in programming languages. It equates the same proofs that are equated by proof nets, in the formulation of pro
kgbu 2008/06/30
è¨¼æ˜Žè«–

logic

è«–æ–‡

programming language

compiler

åœè«–

æ•°å¦åŸºç¤Žè«–
ãƒªãƒ³ã‚¯
ã‚²ãƒ¼ãƒ‡ãƒ«ã¨20ä¸–ç´€ã®è«–ç†å¦ã€€ç¬¬å››å·»ã€€é›†åˆè«–ã¨ãƒ—ãƒ©ãƒˆãƒ‹ã‚ºãƒ - kururu_goedelâ€™s diary
ã‚²ãƒ¼ãƒ‡ãƒ«ã¨20ä¸–ç´€ã®è«–ç†å¦ 4 é›†åˆè«–ã¨ãƒ—ãƒ©ãƒˆãƒ‹ã‚ºãƒ ä½œè€…: ç”°ä¸ä¸€ä¹‹å‡ºç‰ˆç¤¾/ãƒ¡ãƒ¼ã‚«ãƒ¼: æ±äº¬å¤§å¦å‡ºç‰ˆä¼šç™ºå£²æ—¥: 2007/07/24ãƒ¡ãƒ‡ã‚£ã‚¢: å˜è¡Œæœ¬è³¼å…¥: 9äºº ã‚¯ãƒªãƒƒã‚¯: 135å›žã“ã®å•†å“ã‚’å«ã‚€ãƒ–ãƒã‚° (14ä»¶) ã‚’è¦‹ã‚‹ ã¨ã„ã†ã‚ã‘ã§æ›¸è©•æ›¸ãã¾ã™ã€‚é›†åˆè«–è€…ã¨ã—ã¦ã®ãƒã‚¤ã‚¢ã‚¹ãŒã‹ã‹ã‚‹ã“ã¨ã¯ã”äº†æ‰¿ãã ã•ã„ã€‚ ã¾ãšæœ€åˆã«è¨€ã‚ãªã„ã¨ã„ã‘ãªã„ã“ã¨ã¯ã€ã€Œï¼ˆç‰¹ã«æœ€è¿‘ã®ï¼‰é›†åˆè«–ã«èˆˆå‘³ãŒã‚ã‚‹éžå°‚é–€å®¶ã®äººã¯ã€è‡ªåˆ†ãŒæ—¥æœ¬èªžã‚’èªã‚ã‚‹ã“ã¨ã«æ„Ÿè¬ã—ã¤ã¤ã“ã®æœ¬ã‚’èªã‚€ã¹ãã§ã‚ã‚‹ã€ã¨ã„ã†ã“ã¨ã€‚æ¾åŽŸå…ˆç”Ÿã«ã‚ˆã‚‹ç¬¬IIéƒ¨ã¯ã€è‹±èªžã§æ›¸ã‹ã‚ŒãŸã‚‚ã®ã§ã‚‚ã“ã“ã¾ã§ã®ã‚‚ã®ã¯ãªã„ã ã‚ã†ã¨ã„ã†ãã‚‰ã„ã«ã€æ·±ã„ã¨ã“ã‚ã¾ã§ç°¡æ½”ã«ã—ã‹ã—æ‰‹ã‚’æŠœã‹ãšã«æ›¸ã„ã¦ã‚ã‚Šã¾ã™ã€‚ã“ã®çŸã•ã®åŸºç¤ŽçŸ¥è˜ã‚’å‰æã¨ã—ãªã„ã‚µãƒ¼ãƒ™ã‚¤ã«ã€ãƒ—ãƒ¬ã‚·ãƒ”ã‚¿ã‚¹æ€§ã¨ã‹é£½å’Œæ€§ã¨ã‹ã‚¦ãƒ‡ã‚£ãƒ³åŸºæ•°ã¨ã‹ã®å®šç¾©ãŒå…¥ã£ã¦ã„ã‚‹ã¨ã„ã†ã®ã¯ã™ã”ã„ã¨ã—ã‹è¨€ã„ã‚ˆã†ãŒã‚ã‚Šã¾ã›ã‚“ã€‚ ãã®å‰ã«ã‚ã‚‹æ¸•é‡Žå…ˆç”Ÿã«ã‚ˆã‚‹ç¬¬Iéƒ¨ã§ã¯
kgbu 2008/05/30
ã‚²ãƒ¼ãƒ‡ãƒ«ã¨21ä¸–ç´€ã®ã‚ãŸã—ãŸã¡ã€ã¨ã„ã†æœ¬ã§ã‚ã£ã¦æ¬²ã—ã‹ã£ãŸã€ã¨ã„ã†ã‹ã€ãã†ã„ã†ç´¹ä»‹ã‚’ã•ã‚Œã‚‹ã¹ãã ã€ã¨ã„ã†ãŠè©±ã§ã™ã€‚ãƒãƒ£ã‚¤ãƒ†ã‚£ãƒ³ã¨ã‹ã¯ã©ã†ã¤ãªãŒã‚‹ã‚“ã§ã—ã‚‡ãƒ¼ã‹ã€‚ã‚ã‚Œã¯è«–ç†å¦ã˜ã‚ƒãªã„ã‹ã€‚

æ•°å¦

é›†åˆè«–

æ•°å¦åŸºç¤Žè«–

book

æ›¸è©•
ãƒªãƒ³ã‚¯
1