![Amazon.co.jp: To Mock a Mockingbird: Smullyan, Raymond: 本](https://cdn-ak-scissors.b.st-hatena.com/image/square/ff71cf2fbadb9df34918886a6a289ef63085ebdc/height=288;version=1;width=512/https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F51VGuWz%2Bt6L._SL500_.jpg)
3ヶ月ほど積ん読になっていたTo Mock a Mockingbirdの9章を読んだ。KコンビネータとMコンビネータとLコンビネータが出てきた。10章でYコンビネータまで行くっぽい。 この本はパズルブック的な本なのだけど9章からの(表題にもなっている)TO MOCK A MOCKINGBIRDっていう一連のパズルがコンビネータ論理を下敷きにしているのだ。パズルの状況設定としては森と鳥の話。鳥は九官鳥のようなもので、話しかけると返事をする。カラスに「カモメ」って言うと「スズメ」って答えたりする。鳥Aに鳥Bの名前を言ったときに鳥Cの名前を答えることをAB = Cと表現する。ある鳥Aに鳥Bの名前を言ったときにBって返事することを「AはBが好き」と表現することにする。つまりAB = BのときAはBが好き。 いま、とある森には物まね鳥(Mockingbird)Mがいるとする。Mは鳥の名前を聞くと、そ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く