SKI combinator calculus - Wikipedia
The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it is not convenient for writing software. Instead, it is important in the mathematical theory of algorithms because it is an extremely simple Turing complete language. It can be likened to a reduced version of the untyped lambda calculus. It was int
COSAK
åˆã‚ã¦ã®æ–¹ã¯ã€ä»•æ§˜ã‚„サンプルソースをãŠèªã¿ãã ã•ã„。 æ›´æ–°å±¥æ´ [2007/04/14] å®Œæˆ [2007/07/13] 公開 [2011/06/19] Iコンビãƒãƒ¼ã‚¿ãŠã‚ˆã³ã€Iコンビãƒãƒ¼ã‚¿ã‚’生æˆã™ã‚‹^^ã‚’è¿½åŠ æ¦‚è¦ COSAK(Constructed from Only S And K)ã¯ãã®åã®é€šã‚Šã€"S"ã¨"K"ã ã‘ã‹ã‚‰æ§‹æˆã•ã‚Œã‚‹é–¢æ•°åž‹(?)言語ã§ã™ã€‚ 構文ã¨ã—ã¦ã€sã¨kã¨ã€ãれらを使ã£ãŸé–¢æ•°é©ç”¨ã—ã‹ç”¨æ„ã—ã¦ã„ã¾ã›ã‚“。関数抽象ãªã‚“ã¦ã©ã†ã§ã‚‚ã„ã„ã§ã™ã€‚ ã‚‚ã¡ã‚ん変数ãªã‚“ã¦ã‚ã‚Šã¾ã›ã‚“。ã“ã‚Œã§å¤‰æ•°ã®ã‚¹ã‚³ãƒ¼ãƒ—ãŒã©ã†ã¨ã‹ã„ã†ã“ã¨ã§æ‚©ã‚€å¿…è¦ã¯ãªããªã‚Šã¾ã—ãŸã。 ã“ã†æ›¸ãã¨ã€ä½•ã‚‚出æ¥ãªã•ãã†ã§ã™ãŒã€å®Ÿã¯ã€é«˜éšŽé–¢æ•°(ã®ã‚ˆã†ãªã‚‚ã®)を使ãˆã‚‹ãªã©ã€ãã®è¡¨ç¾åŠ›ã¯æ„外ã¨é«˜ã„ã§ã™ã€‚ 実用的ã‹ã©ã†ã‹ã¯ã€ã‚µãƒ³ãƒ—ルソースを見ã¦å®Ÿéš›ã«è©¦ã—ã¦ã¿ã¦è€ƒãˆã¦ãã ã•ã„。ã™ãã«åˆ†ã‹ã‚Šã¾ã™(笑) 入力: 出力: 仕様 構文： fo
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠- ã¯ã¦ãªã®å‘ŠçŸ¥
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠以下ã®ã‚¨ãƒ³ãƒˆãƒªã®é€šã‚Šã€ä»Šå¹´æœ«ã‚’目処ã«ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—を終了予定ã§ã‚る旨をãŠçŸ¥ã‚‰ã›ã—ã¦ãŠã‚Šã¾ã—ãŸã€‚ 2019年末を目処ã«ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®æ供を終了ã™ã‚‹äºˆå®šã§ã™ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記 ã“ã®ãŸã³ã€æ£å¼ã«çµ‚了日を決定ã„ãŸã—ã¾ã—ãŸã®ã§ã€ä»¥ä¸‹ã®é€šã‚Šã”確èªãã ã•ã„。 終了日: 2020å¹´1月31æ—¥(金) エクスãƒãƒ¼ãƒˆå¸Œæœ›ç”³è«‹æœŸé™:2020å¹´1月31æ—¥(金) 終了日以é™ã¯ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®é–²è¦§ãŠã‚ˆã³æŠ•ç¨¿ã¯è¡Œãˆã¾ã›ã‚“。日記ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãŒå¿…è¦ãªæ–¹ã¯ä»¥ä¸‹ã®è¨˜äº‹ã«ã—ãŸãŒã£ã¦æ‰‹ç¶šãã‚’ã—ã¦ãã ã•ã„。 ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã«æŠ•ç¨¿ã•ã‚ŒãŸæ—¥è¨˜ãƒ‡ãƒ¼ã‚¿ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆã«ã¤ã„㦠- ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記 ã”利用ã®ã¿ãªã•ã¾ã«ã¯ã”迷惑をãŠã‹ã‘ã„ãŸã—ã¾ã™ãŒã€ã©ã†ãžã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚ 2020-06-25 追記 ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãƒ‡ãƒ¼ã‚¿ã¯2020å¹´2月28
Y Combinatorã£ã¦è¨€ã„ã«ãã„ã‹ã‚‰ä¸å‹•ç‚¹æ¼”ç®—åã§ã€‚ (リリカル☆Lisp 開発日記)
ãªã‚“ã‹æœ€è¿‘(*) Y Combinator(以下『ä¸å‹•ç‚¹æ¼”ç®—åã€)ã®è©±é¡ŒãŒå„所ã§ã‚ãŒã£ã¦ã„ã¾ã™ãŒã€ ã‚ã‚Œã“れ話ã¯ã‚ã‚‹ã‚‚ã®ã®çµå±€ã®ã¨ã“ã‚〠F(YF) = YF ã¨ã„ã†å¼ã‚’æˆã‚Šç«‹ãŸã›ã‚‹ã‚‚ã®â€•â€•"ä¸å‹•ç‚¹"ã¨ã„ã†åã®é€šã‚Šã€YFã‚’Fã®ä¸å‹•ç‚¹ã«ã™ã‚‹ã‚‚ã®ã ã¨æ€ã„ã¾ã™ã€‚ (ã“ã“ã®èª¬æ˜ŽãŒåˆ†ã‹ã‚Šã‚„ã™ã„ã‹ã¨ã€‚) ä¸å‹•ç‚¹æ¼”ç®—å自身ã¯ã“れ以上ã§ã‚‚以下ã§ã‚‚ãªãã€ä½¿ã„é“ã—次第ã‹ã¨ã€‚ 記å·ã‚„演算を最å°é™ã«ã—ãŸã®ãŒÎ»è¨ˆç®—ã ã£ã¦è©±ã‚‚ã‚ãŒã£ã¦ã¾ã™ãŒã€ å˜ç´”ã«ã™ã‚‹ãªã‚‰ã‚‚ã£ã¨å˜ç´”ã«ã§ãã¾ã™ã€‚ K ≡ λxy.x S ≡ λxyz.(xz)yz ã“ã®äºŒã¤ã‚’使ãˆã°é–¢æ•°æŠ½è±¡(関数ã®ä½œæˆ)ã‚’ã™ã‚‹ã“ã¨ãªã〠関数é©ç”¨(関数ã®å‘¼ã³å‡ºã—)ã ã‘ã§å…¨ã¦ã‚’表ã›ã¾ã™ã€‚ 例ãˆã°ã€ãƒãƒ£ãƒ¼ãƒæ•°ã® 0≡λgu.u 㯠((s ((s (k s)) (k k))) (k k)) ã¨è¡¨ã›ã¾ã™ã—〠ãƒãƒ£ãƒ¼ãƒæ•°ã®å¾Œè€…関数 suc≡λxgu.g((x
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠- ã¯ã¦ãªã®å‘ŠçŸ¥
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠以下ã®ã‚¨ãƒ³ãƒˆãƒªã®é€šã‚Šã€ä»Šå¹´æœ«ã‚’目処ã«ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—を終了予定ã§ã‚る旨をãŠçŸ¥ã‚‰ã›ã—ã¦ãŠã‚Šã¾ã—ãŸã€‚ 2019年末を目処ã«ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®æ供を終了ã™ã‚‹äºˆå®šã§ã™ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記 ã“ã®ãŸã³ã€æ£å¼ã«çµ‚了日を決定ã„ãŸã—ã¾ã—ãŸã®ã§ã€ä»¥ä¸‹ã®é€šã‚Šã”確èªãã ã•ã„。 終了日: 2020å¹´1月31æ—¥(金) エクスãƒãƒ¼ãƒˆå¸Œæœ›ç”³è«‹æœŸé™:2020å¹´1月31æ—¥(金) 終了日以é™ã¯ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®é–²è¦§ãŠã‚ˆã³æŠ•ç¨¿ã¯è¡Œãˆã¾ã›ã‚“。日記ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãŒå¿…è¦ãªæ–¹ã¯ä»¥ä¸‹ã®è¨˜äº‹ã«ã—ãŸãŒã£ã¦æ‰‹ç¶šãã‚’ã—ã¦ãã ã•ã„。 ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã«æŠ•ç¨¿ã•ã‚ŒãŸæ—¥è¨˜ãƒ‡ãƒ¼ã‚¿ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆã«ã¤ã„㦠- ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記 ã”利用ã®ã¿ãªã•ã¾ã«ã¯ã”迷惑をãŠã‹ã‘ã„ãŸã—ã¾ã™ãŒã€ã©ã†ãžã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚ 2020-06-25 追記 ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãƒ‡ãƒ¼ã‚¿ã¯2020å¹´2月28
λx. x K S K - λx. x K S K ï¼ ã¯ã¦ãª
ã“ã®æ—¥è¨˜ã®ã‚¿ã‚¤ãƒˆãƒ«ã«ãªã£ã¦ã„るラムダå¼ã€ŒÎ»x. x K S Kã€ã¯ï¼Œ 「*1ã®ä¸€ç‚¹åŸºåº•ã€ã¨å‘¼ã°ã‚Œã‚‹ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã§ï¼Œ å…¨ã¦ã®é–‰ãƒ©ãƒ ダå¼ã¯ã“ã®ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ X = λx. x K S K ã‹ã‚‰æ§‹ç¯‰ã™ã‚‹ã“ã¨ãŒã§ãる． ã“ã®ã“ã¨ã¯ï¼ŒS 㨠K ãŒãã‚Œãžã‚Œ X (X X) 㨠X X X ã§è¡¨ç¾ã§ãã‚‹ã“ã¨ã‹ã‚‰ç¢ºèªã§ãる． ã“ã®ã‚ˆã†ãªä¸€ç‚¹åŸºåº•ã¯å¤šæ•°çŸ¥ã‚‰ã‚Œã¦ã„る． ベーム*2ã«ã‚ˆã‚‹ä¸€ç‚¹åŸºåº• X = λf. f (f S (K K K I)) K *3 を用ã„ã‚‹ã¨ï¼Œ S 㨠K ã‚’ãã‚Œãžã‚Œ X (X X) 㨠X X ã§è¡¨ã™ã“ã¨ãŒã§ãる． ã¾ãŸï¼Œãƒãƒ¼ãƒ¬ãƒ³ãƒ‰ãƒ¬ãƒ’ト*4ã¯ï¼ŒX = λf. f (f S (K K)) K ã¨ã„ã†ä¸€ç‚¹åŸºåº•ã‚’æ案ã—ã¦ãŠã‚Šï¼Œ ã“ã® X ã«ã‚ˆã‚Šï¼ŒS 㨠K ã¯ãã‚Œãžã‚Œ X (X X X) 㨠X X X ã§è¡¨ç¾ã§ãる． ç¾åœ¨ã®ã¨ã“ã‚，フォッカー*5ã«ã‚ˆã‚‹ X コンビãƒãƒ¼ã‚¿ X = λf
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://semanticsarchive.net/barker/Iota/
{{#tags}}- {{label}}
{{/tags}}