[B! ï¼™GL(æ¨©å¨ï¼è¬™è™š)][Lisp] mindã®ãƒ

mind id:mind

ï¼™GL(æ¨©å¨ï¼è¬™è™š)ã¨Lispã«é–¢ã™ã‚‹mindã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (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}}

ä¸å®Œå…¨æ€§å®šç†ã«ã¤ã„ã¦(ã‚ã‚‹ã„ã¯è¨¼æ˜Žã¨è¨ˆç®—ã«ã¤ã„ã¦)
ã€Œè¨¼æ˜Žã€ã¨ã„ã†è¨€è‘‰ã¨ã€Œè¨ˆç®—ã€ã¨ã„ã†è¨€è‘‰ ã€Œè¨ˆç®—ã€ã¨ã„ã†è¨€è‘‰ã®èª¬æ˜Ž ã€Œè¨¼æ˜Žã€ã¨ã„ã†è¨€è‘‰ã®èª¬æ˜Ž ã“ã“ã¾ã§ã®ã¾ã¨ã‚ è£œè¶³:ã€Œå®Œå…¨ã€ã¨ã„ã†è¨€è‘‰ã«ã¤ã„ã¦ å¯¾è§’åŒ–å®šç†ã¨å†å¸°å®šç† å¯¾è§’åŒ–å®šç† å†å¸°å®šç† ãƒ©ãƒ ãƒ€è¨ˆç®—ã¨ã®é–¢ä¿‚ ç¬¬1ä¸å®Œå…¨æ€§å®šç†ã€åœæ¢å•é¡Œã€ãã®ä»– ç¬¬1ä¸å®Œå…¨æ€§å®šç†ã®è¨¼æ˜Ž åœæ¢å•é¡Œã€çœŸã‚’è¡¨ã™è¿°èªžã®å®šç¾©ä¸å¯èƒ½æ€§ è‡ªç„¶æ•°è«–ã®æ±ºå®šä¸èƒ½æ€§ è£œè¶³: ã€Œæ±ºå®šå¯èƒ½ã€ã€Œæ±ºå®šä¸èƒ½ã€ã¨ã„ã†è¨€è‘‰ã«ã¤ã„ã¦ ç¬¬2ä¸å®Œå…¨æ€§å®šç† ç¬¬2ä¸å®Œå…¨æ€§å®šç†ã®è¨¼æ˜Ž ç¬¬2ä¸å®Œå…¨æ€§å®šç†ã®å†…å®¹ è£œè¶³: ãƒ’ãƒ«ãƒ™ãƒ«ãƒˆã®å½¢å¼ä¸»ç¾©(ãƒ’ãƒ«ãƒ™ãƒ«ãƒˆãƒ»ãƒ—ãƒã‚°ãƒ©ãƒ ) ã¾ã¨ã‚ æ–‡çŒ® ã€Œè¨¼æ˜Žã€ã¨ã„ã†è¨€è‘‰ã¨ã€Œè¨ˆç®—ã€ã¨ã„ã†è¨€è‘‰ è«–ç†å¦ã«ã¤ã„ã¦ã®è©±ã‚„èª¬æ˜Žã‚’ã™ã‚‹å ´åˆã€ ã€Œè¨¼æ˜Žã€ã¨ã‹ã€Œè¨¼æ˜Žã§ãã‚‹ã€ã¨ã„ã†è¨€è‘‰ãŒãµãŸã¤ã®æ„å‘³ã§ä½¿ã‚ã‚Œã‚‹ã€‚ ã²ã¨ã¤ã¯æ•°å¦ã¨ã‹æ—¥å¸¸ã§æ™®é€šã«ä½¿ã†ã®ã¨åŒã˜æ™®é€šã®æ„å‘³ã§ã® ã€Œè¨¼æ˜Žã§ãã‚‹ã€(ä½•ã‹ã®æ£ã—ã•ã‚’ç‹é“ç«‹ã¦ã¦ç¤ºã™ã“ã¨ãŒã§ãã‚‹)ã§ã€ ã‚‚ã†ã²ã¨ã¤ã¯å½¢å¼çš„ãªè«–
mind 2007/10/05
ä¸å‹•ç‚¹æ¼”ç®—åYã®æ€§è³ªã€ŒYf = f(Yf)ã€ã¯ å¯¾è§’åŒ–å®šç†ã‚„å†å¸°å®šç†ã¨å¯¾å¿œã—ã¦ã„ã‚‹ã—ã€ æ¼”ç®—åã®å®šç¾©ã€ŒÎ»f.(Î»x.f(xx))(Î»x.f(xx))ã€ã‚‚ å¯¾è§’åŒ–å®šç†ã‚„å†å¸°å®šç†ã®è¨¼æ˜Žã«ãŠã‘ã‚‹å¼ã®æ§‹æˆæ–¹æ³•ã«å¯¾å¿œ â€•â€•ä»»æ„ã®å ´é¢ã§ ãã‚‹ãã‚‹ ã‚’å¬å–šã™ã‚Œ@@!

â˜…

ï¼™Cantor(é‡ãåˆã›)

ï¼™GL(æ¨©å¨ï¼è¬™è™š)

_f(@)=@

_ function|Î»

1._reflexive

Lisp

programming(è¨ˆç”»)

reasoning(åˆ¶å¾¡å®Ÿè¡Œ)|debug
ãƒªãƒ³ã‚¯
http://www.iba.k.u-tokyo.ac.jp/~yabuki/
mind 2007/01/23
.InDex.

ï¼™_Turing(æ¨¡å€£â‡”ç†è§£)

algorithm(ä»•çµ„ã¿)

.è«–ç†ç³»

Lisp

ï¼™GL(æ¨©å¨ï¼è¬™è™š)
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ã€Œã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã€(1) - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
ã€Œãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®JavaScriptã€ã®ç•ªå¤–ã‚·ãƒªãƒ¼ã‚º -- ã„ã‚„ã£ã€ãƒ›ãƒ³ãƒˆã«ã€‚ ã“ã‚Œã¯ã‚·ãƒªãƒ¼ã‚ºã®ãƒãƒ–ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã§ã™ã€‚ç•ªå·ã‚’ï¼ˆ0ã˜ã‚ƒãªãã¦ï¼‰1ã«ã—ãŸã®ã¯ã€å…¨ä½“ç›®æ¬¡ã ã‘ã˜ã‚ƒãªãã¦å†…å®¹ãŒå«ã¾ã‚Œã‚‹ã‹ã‚‰ã€‚ â€» å°åˆ·æ™‚ã«ã¯ã‚µã‚¤ãƒ‰ãƒãƒ¼ã¯æ¶ˆãˆã‚‹ã¯ãšã§ã™ã€ãŠè©¦ã—ãã ã•ã„ã€‚ ã‚·ãƒªãƒ¼ã‚ºå…¨ä½“ç›®æ¬¡ï¼ˆäºˆå®šï¼‰ ï¼ˆã“ã®è¨˜äº‹ï¼›ç·è«–ï¼‰ é€Ÿæ”»é€Ÿç¿’ç·¨ è‡ªå·±é©ç”¨ã‹ã‚‰ã‚²ãƒ¼ãƒ‡ãƒ«åŒ–ã¸ ã€Œå±•æœ›ã€ã¸ã®ç·Šæ€¥ãƒ‘ãƒƒãƒï¼ˆã‚ªãƒãƒŠã‚·ã ã‚ˆï¼‰ Reflective JavaScript åœæ¢å•é¡Œã®æ§‹é€ ä¸å®Œå…¨æ€§å®šç†ã®æ§‹é€ ä»Šå›žã®å†…å®¹ï¼š ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° ã‚²ãƒ¼ãƒ‡ãƒ«ãŒç¤ºã—ãŸã“ã¨ ä¸å®Œå…¨æ€§å®šç†ã®å…„å¼Ÿ -- åœæ¢å•é¡Œ JavaScriptä½¿ã†ã‚“ã ã‚‚ã‚“ã é–¢é€£ã™ã‚‹è¨˜äº‹ï¼ˆå‚è€ƒï¼‰ æ¬¡ã®è¨˜äº‹ é€Ÿæ”»é€Ÿç¿’ç·¨ â—ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° ã€Œã‚²ãƒ¼ãƒ‡ãƒ«ã€ï¼ˆäººåï¼›Kurt Godelã€'o'ã®ä¸Šã«ç‚¹ã€…ãŒä»˜ã„ã¦ã‚‹ï¼‰ã‚„å½¼ã®ã€Œä¸å®Œå…¨æ€§å®šç†ã€ã¨ã‹ã£ã¦ã€
mind 2006/12/25
â€•â€•å¼·åŠ›ãªè«–ç†ã¯ã©ã‚Œã§ã‚‚ã€è‡ªåˆ†è‡ªèº«ã‚’èªžã‚Šå‡ºã™ã¨ãƒœãƒãŒå‡ºã¡ã‚ƒã†ã€‚ç›¸äº’ã«èªžã‚ŠåˆãŠã†ã¨ã—ã¦ã‚‚â€¦ã€‚ã§ã¯ã€ã€Œè‡ªåˆ†(ã‚‰)è‡ªèº«ã«å¯¾ã™ã‚‹ç§‘å¦çš„ç ”ç©¶ã€ã¯ã©ã†ã ã‚ã†?

javaScript

ï¼™GL(æ¨©å¨ï¼è¬™è™š)

programming(è¨ˆç”»)

Lisp

ãƒ•ãƒ¬ãƒ¼ãƒ |ifå ´|ã‚»ã‚«ã‚¤

.è«–ç†ç³»

`Semantics(ãƒ¢ãƒ‡ãƒ«)

_f(@)=@

.InDex.

è¦³å¯Ÿæ„ŸçŸ¥
ãƒªãƒ³ã‚¯
howm wiki - ä¸å®Œå…¨æ€§å®šç†
This Wiki is frozen. Use GitHub for reports, discussions, etc. ä¸å®Œå…¨æ€§å®šç†ã®Lisp, Mathematicaã«ã‚ˆã‚‹è¨˜è¿° ã® ã‚²ãƒ¼ãƒ‡ãƒ«ã®è¨¼æ˜Ž ãŒç†è§£ã§ãã¾ã›ã‚“ã§ã—ãŸ(is-unprovable ãªã‚“ã¦ã€Œå®Ÿè£…ã€ã§ãã‚‹ã‚ã‘ãªã„ã‚„ã‚“). ãã“ã§, ã€Œã“ã‚“ãªè§£é‡ˆãªã®ã‹ãªã‚?ã€ã¨ã„ã†ãƒ¡ãƒ¢ã‚’æ™’ã—ã¦ã¿ã¾ã™. å£èª¿ã¯è§£èª¬é¢¨ã§ã™ãŒå±±å‹˜ã§æ›¸ã„ã¦ã„ã‚‹ã ã‘ã§ã™ã‹ã‚‰, ã¤ã£ã“ã¿ã‚’ãŠå¾…ã¡ã—ã¦ã„ã¾ã™. (ç†è§£ã®ã‚ã‚„ã—ã•ã¯, åŒè¶£æ—¨ã®ãƒ¢ãƒŠãƒ‰ã¨æ¯”ã¹ã¦ã‚‚ãšã£ã¨ã²ã©ã„ã§ã™) â€» lisp ã¨è¨€ã„ã¤ã¤æ–‡æ³•ãŒ scheme é¢¨ãªã®ã¯, ç§ã®è¶£å‘³ ä»®æƒ³è¨€èªž lisp+ ä¸€èˆ¬ã«, è«–ç†å¼ã‚’ S å¼ã«ç¿»è¨³ã—ã¦è¡¨ç¾ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™. aâˆ¨b â€¦â€¦ (or a b) Â¬(aâˆ¨b) â†’ (Â¬a)âˆ§(Â¬b) â€¦â€¦ (imply (not (or a b)) (and (not a
mind 2006/03/31
ä¸€èˆ¬ã«, è«–ç†å¼ã‚’ S å¼ã«ç¿»è¨³ã—ã¦è¡¨ç¾ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™.

Lisp

.è«–ç†ç³»

ï¼™Cantor(é‡ãåˆã›)

ï¼™GL(æ¨©å¨ï¼è¬™è™š)
ãƒªãƒ³ã‚¯
1

ãŠçŸ¥ã‚‰ã›

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

å…¬å¼Twitter

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

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

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

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

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

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

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

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

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

ã‚¿ã‚°

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

ï¼™GL(æ¨©å¨ï¼è¬™è™š)ã¨Lispã«é–¢ã™ã‚‹mindã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

ãŠçŸ¥ã‚‰ã›

ã€Œã‚ã¨ã§èªã‚€ã€ã‚¿ã‚°ã§æŒ¯ã‚Šè¿”ã‚‹2024å¹´ ã€œä»Šå¹´ã®ã€Œã‚ã¨ã§èªã‚€ã€ã€ä»Šå¹´ã®ã†ã¡ã«ã€œ

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

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

å…¬å¼Twitter

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

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

å…¬å¼Twitter

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

ã‚¿ã‚°

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

ï¼™GL(æ¨©å¨ï¼è¬™è™š)ã¨Lispã«é–¢ã™ã‚‹mindã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

ä¸å®Œå…¨æ€§å®šç†ã«ã¤ã„ã¦(ã‚ã‚‹ã„ã¯è¨¼æ˜Žã¨è¨ˆç®—ã«ã¤ã„ã¦)

http://www.iba.k.u-tokyo.ac.jp/~yabuki/

ãƒ—ãƒ­ã‚°ãƒ©ãƒžã®ãŸã‚ã®ã€Œã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã€(1) - æªœå±±æ­£å¹¸ã®ã‚­ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)

howm wiki - ä¸å®Œå…¨æ€§å®šç†

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

ã€Œã‚ã¨ã§èª­ã‚€ã€ã‚¿ã‚°ã§æŒ¯ã‚Šè¿”ã‚‹2024å¹´ ã€œä»Šå¹´ã®ã€Œã‚ã¨ã§èª­ã‚€ã€ã€ä»Šå¹´ã®ã†ã¡ã«ã€œ

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

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

å…¬å¼Twitter

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

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

å…¬å¼Twitter

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

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

ï¼™GL(æ¨©å¨ï¼è¬™è™š)ã¨Lispã«é–¢ã™ã‚‹mindã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

ä¸å®Œå…¨æ€§å®šç†ã«ã¤ã„ã¦(ã‚ã‚‹ã„ã¯è¨¼æ˜Žã¨è¨ˆç®—ã«ã¤ã„ã¦)

ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ã€Œã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã€(1) - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)

howm wiki - ä¸å®Œå…¨æ€§å®šç†

ãŠçŸ¥ã‚‰ã›

ã€Œã‚ã¨ã§èªã‚€ã€ã‚¿ã‚°ã§æŒ¯ã‚Šè¿”ã‚‹2024å¹´ ã€œä»Šå¹´ã®ã€Œã‚ã¨ã§èªã‚€ã€ã€ä»Šå¹´ã®ã†ã¡ã«ã€œ

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

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

å…¬å¼Twitter

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

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

å…¬å¼Twitter

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