コンビネーターの解説をしようぜ☆(^~^)?

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

KIFUWARABE_80x100x8_01_Futu.gif
「 コンビネーターが 何なのか 分かったと聞いて☆」

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 うむ、分かった☆」

OKAZAKI_Yumemi_80x80x8_02_Syaberu.gif
「 なんで 分かったと思っているの? どうやって 自分が分かっていることを 検査したの?」

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 宇宙人を見るような顔をするのは 止めてくれだぜ☆」

20191016comp43a1b1.png

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 なんか ↑3つのもの があるとしよう☆」

20191016comp43a3.png

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 ↑とりあえず 横一列に並べてみるかだぜ☆」

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 数学で コンビネーション(Combination; 組み合わせ) というと、例えば 以下のようなものだが……☆」

20191016comp43a2.png

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 コンビネーター(Combinator) というのは☆、」

20191016comp43a4.png

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 何ステップで 並び替えられるかを 定量化したものだぜ☆
操作は SとKの 2つ あれば十分らしい☆
便利さを考えて もう1つ増やして SとKとIの 3つ の操作で
どのような組み合わせにも 並び替えることができる らしい んだぜ☆
なぜ らしい と言うのかというと、わたしは まだ やってないからだけど☆」

KIFUWARABE_80x100x8_01_Futu.gif
「 なんで らしい の状態で 分かった になってるのか……☆
お父んの状態遷移は おかしいだろ☆」

OKAZAKI_Yumemi_80x80x8_02_Syaberu.gif
「 そんなん!」

20191016comp43a5.png

OKAZAKI_Yumemi_80x80x8_02_Syaberu.gif
「 ↑スワップ(Swap; 入れ替え)と、」

20191016comp43a6.png

OKAZAKI_Yumemi_80x80x8_02_Syaberu.gif
「 ↑論理右シフト(Logical right shift)があれば十分じゃない!」

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 ここで並び替えとは何かの定義だが……☆」

20191016comp43a7.png

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 ↑消える とか……☆」

20191016comp43a8.png

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 ↑増える のもありとするぜ☆」

KIFUWARABE_80x100x8_01_Futu.gif
「 なんでもありか☆?」

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 無いものは 出てこない☆」

OKAZAKI_Yumemi_80x80x8_02_Syaberu.gif
「 そんなん! コピー(Copy; 複製)と リムーブ(Remove; 削除)の2つを追加して 全部で4つで しまいよ!」

KITASHIRAKAWA_Chiyuri_80x100x8_01_Futu.gif
「 あとは それを オートマタ にすることだぜ☆ 全自動☆
雰囲気で言うと、紙テープに棋譜のようなものを書いて スタートボタンを押したら
あとは 人手をかけずに 全部やってくれる感じで☆」

OKAZAKI_Yumemi_80x80x8_02_Syaberu.gif
「 できるできる!」

<書きかけ>

何度でもクリック!→

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

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

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

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

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

ボードとは?

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