パスワードを忘れた? アカウント作成
10800206 journal
日記

Tellur52の日記: ラムダの魔人があなたの心を見通します

日記 by Tellur52

mockamockinbird.comは、20問程度の簡単な質問で、あなたの思い浮かべたコンビネータを当てるゲームサイト「コンビネイター」を公開した。

skicombinator.comにアクセスすると、魔法のランプから白髪で髭は無く細い目のやや額の広い魔人「ビネイター」が現れる。
プレイヤーは出題者となり、まず一連のS,K,Iから構成されるコンビネータを思い浮かべる。
ビネイターは、「そのコンビネータにIは含まれますか?」「S,Kを合計4つ以上使いますか?」などの質問をしてくるので、プレイヤーは「はい」か「いいえ」で回答する。
ビネイターが推論に成功すると、最後に「それはS(KS)K (CurryのBコンビネータ)ですね?」などと正解を回答する。

ビネイターは、unlambda, Lazy K, Iota, Jotなど、インターネットに無数にあるコンビネータ論理系のコードを際限なく収拾しており、恐ろしいことに、減算や512までのチャーチ数、各種の不動点コンビネータ、果てはLazy K のHello Worldのゴルフコンテストの上位入賞コードなどを的中させることができる。

mockamockingbird.comでは、ゆくゆくはコンビネータで表現された関数の展開をクラウド化することによって、探索に莫大な電力を費やすコンビネータ系言語のゴルフ大会の省電力化に貢献したいと考えているそうだ。

#・・・なんて四月バカネタを思いついたけど、これ、ついて行ける人いるのかしらん?

この議論は、Tellur52 (36331)によって ログインユーザだけとして作成されたが、今となっては 新たにコメントを付けることはできません。
typodupeerror

人生の大半の問題はスルー力で解決する -- スルー力研究専門家

読み込み中...