「 なんで 分かったと思っているの? どうやって 自分が分かっていることを 検査したの?」
「 数学で コンビネーション(Combination; 組み合わせ) というと、例えば 以下のようなものだが……☆」
「 コンビネーター(Combinator) というのは☆、」
「 何ステップで 並び替えられるかを 定量化したものだぜ☆
操作は SとKの 2つ あれば十分らしい☆
便利さを考えて もう1つ増やして SとKとIの 3つ の操作で
どのような組み合わせにも 並び替えることができる らしい んだぜ☆
なぜ らしい と言うのかというと、わたしは まだ やってないからだけど☆」
「 なんで らしい の状態で 分かった になってるのか……☆
お父んの状態遷移は おかしいだろ☆」
「 ↑論理右シフト(Logical right shift)があれば十分じゃない!」
「 そんなん! コピー(Copy; 複製)と リムーブ(Remove; 削除)の2つを追加して 全部で4つで しまいよ!」
「 あとは それを オートマタ にすることだぜ☆ 全自動☆
雰囲気で言うと、紙テープに棋譜のようなものを書いて スタートボタンを押したら
あとは 人手をかけずに 全部やってくれる感じで☆」
<書きかけ>
Crieitは個人で開発中です。
興味がある方は是非記事の投稿をお願いします! どんな軽い内容でも嬉しいです。
なぜCrieitを作ろうと思ったか
また、「こんな記事が読みたいけど見つからない!」という方は是非記事投稿リクエストボードへ!
こじんまりと作業ログやメモ、進捗を書き残しておきたい方はボード機能をご利用ください!