ラムダ計算とかコンビネーターとか何度でも説明しようぜ☆(^~^)

ラムダ計算 コンビネーター 公開下書き

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

コンビネータ論理
Combinatory_logic

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

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

S I

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

K S I

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

S

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

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 どんどん消してく☆」

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

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

KIFUWARABE_80x100x8_01_Futu.gif
「 お父ん向きだな☆」

<書きかけ>

何度でもクリック!→

むずでょ@きふわらべ第29回世界コンピューター将棋選手権一次予選36位

光速のアカウント凍結されちゃったんで……。ゲームプログラムを独習中なんだぜ☆電王戦IIに出た棋士もコンピューターもみんな好きだぜ☆▲(パソコン将棋)WCSC29一次予選36位、SDT5予選42位▲(パソコン囲碁)AI竜星戦予選16位

Crieitは個人で開発中です。 興味がある方は是非記事の投稿をお願いします! どんな軽い内容でも嬉しいです。
なぜCrieitを作ろうと思ったか

また、「こんな記事が読みたいけど見つからない!」という方は是非記事投稿リクエストボードへ!

こじんまりと作業ログやメモ、進捗を書き残しておきたい方はボード機能をご利用ください!

ボードとは?

むずでょ@きふわらべ第29回世界コンピューター将棋選手権一次予選36位 の最近の記事