((S(K((S((SK)K))(K((S(K(S((SK)K))))K)))))((S(K((S(K((S(KS))K)))((S(KS))K))))((S(K(S((SK)K))))K)))
Combinator Birds
((S(K((S((SK)K))(K((S(K(S((SK)K))))K)))))((S(K((S(K((S(KS))K)))((S(KS))K))))((S(K(S((SK)K))))K)))
3imp 写経ã®æ—¥ã€…ãã®ï¼’(マニアむã‘) - 言語ゲーãƒ
ã¨ã„ã†ã‚ã‘ã§ã‚„ã£ã¨ 4.7 ç« ã¾ã§èªã¿çµ‚ãˆãŸæ„Ÿæƒ³ã§ã™ã€‚ 3imp ã¯ç‰¹ã« Lisp 系言語ã®åˆ©ç‚¹ã‚’最大é™ã«ç™ºæ®ã—ãŸæ§‹æˆã«ãªã£ã¦ã„ã¾ã™ã€‚ã“ã®é™ã‚‰ã‚ŒãŸã‚¹ãƒšãƒ¼ã‚¹ã®ä¸ã§ã€ã‚³ãƒ³ãƒ‘イラã®å®Ÿè£…ã«ã¤ã„ã¦ä¸è¶³ãªã説明ã—ãる事ãŒå‡ºæ¥ãŸå‹å› 㯠S å¼ã¨ãƒžã‚¯ãƒã§ã—ょã†ã€‚ç§ã¯æ£ç›´ S å¼ã‚‚マクãƒã‚‚å«Œã„ã§ã™ãŒã€ã“ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å®Ÿè£…を解説ã™ã‚‹ã¨ã„ã†ç”¨é€”ã«ãŠã„㦠Lisp ã¯æœ€å¼·ã¨ã„ã†æ„Ÿæƒ³ã‚’æŒã¡ã¾ã—ãŸã€‚ ã¾ãš S å¼ã«ã¤ã„ã¦ã€‚S å¼ã‚’使ã†ã¨ãƒ‘ーサãŒä¸è¦ã§ã™ã€‚世ã®ä¸ã«å‡ºå›žã£ã¦ã„るコンパイラã®æ•™ç§‘書ã®ã‹ãªã‚Šã®ã‚¹ãƒšãƒ¼ã‚¹ãŒãƒ‘ーサã®èª¬æ˜Žã«ãªã£ã¦ã„る事を考ãˆã‚‹ã¨ã€ãƒ‘ーサãŒä¸è¦ã¨ã„ã†ã®ã¯ç”»æœŸçš„ã§ã™ã€‚パーサã®èª¬æ˜Žã‚’çœã事ã«ã‚ˆã£ã¦ã„ããªã‚Šæœ¬è³ªçš„ãªè°è«–ãŒå‡ºæ¥ã‚‹ã‹ã‚‰ã§ã™ã€‚ ãã‚Œã‹ã‚‰ãƒžã‚¯ãƒã«ã¤ã„ã¦ã€‚3imp ã®ã‚½ãƒ¼ã‚¹ã¯ SICP ã«æ¯”ã¹ã¦ç›¸å½“分ã‹ã‚Šã‚„ã™ã„ã§ã™ãŒã€ãã®ç†ç”±ã¯ record-case マクãƒã«ã‚ˆã‚‹ãƒ‘ターンマッãƒã‚‚ã©ãã«ã‚ã‚‹ã¨
イプシãƒãƒ³è¨ˆç®—ã£ã¦ãªã‚“ã§ã™ã‹ã？ ã“ã‚“ãªã‚‚ã‚“ã§ã™ã‚ˆã‰ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
ラムダ計算ã¯ã€è¨ˆç®—モデルã¨ã—ã¦ã ã‘ã§ãªãã€æ‰‹è¨ˆç®—ã®å®Ÿéš›çš„手段ã¨ã—ã¦ã‚‚役立ã¡ã¾ã™ã€‚ã—ã‹ã—ã€é€šå¸¸ä½¿ã‚れるå„種変æ›ï¼ˆã‚¢ãƒ«ãƒ•ã‚¡ã€ãƒ™ãƒ¼ã‚¿ã€ã‚¤ãƒ¼ã‚¿ã€ãƒ‡ãƒ«ã‚¿ï¼‰ã§ã¯ã†ã¾ã計算ãŒé€²ã¾ãªã„ã¨ããŒã‚ã‚Šã¾ã™ã€‚例ãˆã°ã€gãŒfã®é€†é–¢æ•°ã®ã¨ãã€f(g(y)) 㯠y ã«ç°¡ç´„ã•ã‚Œã‚‹ã®ã ã‘ã©ã€f(g(y)) ⇒ y ã£ã¦ç°¡ç´„è¦å‰‡ã¯é€šå¸¸ã®ãƒ©ãƒ ダ計算ã§ã¯ã†ã¾ã定å¼åŒ–ã§ãã¾ã›ã‚“（ã„ã‚„ã€ã§ãã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ãŒã€åƒ•ã«ã¯ã†ã¾ã„方法ãŒæ€ã„ã¤ãã¾ã›ã‚“）。 ãã“ã§ã€ãƒ©ãƒ ダ計算ã«åŠ ãˆã¦ã‚¤ãƒ—ã‚·ãƒãƒ³è¨ˆç®—も使ã†ã¨ã‚ˆã•ãã†ã§ã™ã€‚ã§ã‚‚ã€ã‚¤ãƒ—ã‚·ãƒãƒ³è¨ˆç®—ã¯ã€ãƒ©ãƒ ダ計算ã»ã©ã«ãƒãƒ”ュラーã§ã¯ãªã„ã§ã™ã。簡å˜ãªä¾‹ã§ã‚¤ãƒ—ã‚·ãƒãƒ³è¨ˆç®—を紹介ã—ã¾ã—ょã†ã€‚ 内容： イプシãƒãƒ³è¨˜å·ã¨ã‚¤ãƒ—ã‚·ãƒãƒ³é … イプシãƒãƒ³é …ã®æ„味 イプシãƒãƒ³é …ãŒå®šç¾©ã™ã‚‹é–¢æ•° 例題：gãŒfã®æ–é¢ï¼ˆã‚»ã‚¯ã‚·ãƒ§ãƒ³ï¼‰ã§ã‚ã‚‹ã“㨠イプシãƒãƒ³è¨˜å·ã¨ã‚¤ãƒ—ã‚·ãƒãƒ³é … è² ã®æ•°-1ã¨ã‹ã€ç„¡ç†æ•°âˆš2ã¨ã‹ã‚’å°Žå…¥ã™ã‚‹ã¨ãã€æ¬¡ã®ã‚ˆã†ãªå®š
ラムダ計算ã¨ã‚¤ãƒ—ã‚·ãƒãƒ³è¨ˆç®—を使ã£ã¦ç·šå½¢ä»£æ•°ã®è¨ˆç®— -- éšä¼´ã®ä¾‹ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
「線形代数ã®é›£æ‰€ã¨ã‚¢ãƒ€ãƒ ã¨ã‚¤ãƒ–ã¨çŸ¢å°ä¸€å…ƒè«–ã€ã§ãƒ™ã‚¯ãƒˆãƒ«ç©ºé–“ã®åŒå¯¾ã®è©±ã‚’ã—ã¦ã€ã€Œã‚¤ãƒ—ã‚·ãƒãƒ³è¨ˆç®—ã£ã¦ãªã‚“ã§ã™ã‹ã？ ã“ã‚“ãªã‚‚ã‚“ã§ã™ã‚ˆã‰ã€ã§ã‚¤ãƒ—ã‚·ãƒãƒ³è¨ˆç®—を紹介ã—ã¾ã—ãŸã€‚ã›ã£ã‹ãã ã‹ã‚‰ã€ä¾‹é¡Œã‚’ã‚„ã£ã¦ãŠã“ã†ã‹ãªã€‚ 内容： å‰æã¨ä¾‹é¡Œã®èª¬æ˜Ž åŒå¯¾å†™åƒ ベクトルã¨ã‚³ãƒ™ã‚¯ãƒˆãƒ«ã®å¯¾å¿œ éšä¼´å†™åƒ 計算例 雑感 å‰æã¨ä¾‹é¡Œã®èª¬æ˜Ž ベクトル空間ã¯å¸¸ã«æœ‰é™æ¬¡å…ƒã€åŒå¯¾ç©ºé–“U*ã®å®šç¾©ã¯ã€å¤šæ•°æ´¾ã«å¾“ã£ã¦ã€ŒU上ã®ç·šå½¢å½¢å¼ã®ç©ºé–“ã€ã¨ã—ã¦ãŠãã¾ã™ã€‚ã¤ã¾ã‚Šã€U* = Lin(U, K)（Kã¯ã‚¹ã‚«ãƒ©ãƒ¼ä½“ã€Linã¯ç·šå½¢å†™åƒå…¨ä½“ã®ç©ºé–“を示ã™ï¼‰ã€‚ ベクトル空間Uã¨åŒç·šå½¢å½¢å¼Ï†:U×U→Kを一緒ã«ã—ãŸã‚‚ã®(U, φ)を考ãˆã¾ã™ã€‚ãŸã ã—ã€Ï†ã¯æ¬¡ã®éžé€€åŒ–性をæŒã¤ã¨ã—ã¾ã™ã€‚ ∀y∈U.(φ(x, y) = 0) ãªã‚‰ã°ã€x = 0。 φã¯å†…ç©ã¿ãŸã„ãªã‚‚ã‚“ã ã‹ã‚‰ φ(x, y) = (x|y) ã¨æ›¸ãã¾ã—ょã†ã€‚ãŸã ã—ã€ä¸Šã®éžé€€åŒ–性æ¡ä»¶ä»¥å¤–ã¯ä¸€åˆ‡
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}