ラムダ計算とかコンビネーターとか何度でも説明しようぜ☆（＾～＾）

「　コンビネーターを　Wikipedia を見て　理解できるんなら　Wikipedia 見る必要ないぐらい理解してるよな☆」

コンビネータ論理
Combinatory_logic

「　理解したやつが　答え合わせ　をするために見るのが　Wikipedia だぜ☆」

「　超難しそうな式が並んでるのに、やり方を教えたら　ファミコンの作業ゲーみたいなもんじゃないの？」

S I

「　なんかアルファベットが　スペース区切りで並んでいて、これは配列の要素みたいなもんなのよ」

K S I

「　で、先頭が K だったら、後の１文字を残して、２文字目を消すのよ。だから K S I は……」

S

「　S になるのよ。これが Kコンビネーター」

「　どんどん消してく☆」

「　増えるパターンもあるのよ。 Sコンビネーター とかそれなのよ」

「　そういう　くだらないルール　を覚えるのが大好物なやつなら　コンビネーターには　はまる☆
同じ色を４つ揃えると消える　ぷよぷよ　の数学版みたいなもんだろ☆」

「　お父ん向きだな☆」

＜書きかけ＞