エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Yコンビネータいろいろ - MEMO:はてな支店
Yf=f(Yf)となるYをいろいろなコンビネータで書いたもの Y=UU Uxy=y(xxy)を使うとY=UUと書ける Yf=UUf =f... Yf=f(Yf)となるYをいろいろなコンビネータで書いたもの Y=UU Uxy=y(xxy)を使うとY=UUと書ける Yf=UUf =f(UUf) =f(Yf) U=S(K(SI))(SII)を使ってYをSKIだけで書くと Y=S(K(SI))(SII)(S(K(SI))(SII)) 使用関数14個 Y=SLL Lxy=x(yy)を使うとY=SLLと書ける Yf=SLLf =Lf(Lf) =f(Lf(Lf)) =f(Yf) L=S(S(KS)K)(K(SII))を使ってYをSKIだけで書くと Y=S(S(S(KS)K)(K(SII)))(S(S(KS)K)(K(SII))) 使用関数19個 Y=SS(S(S(KS)K))(K(SII)) SKIだけで書いたときに短いもの 式の簡単化にB=S(KS)K,M=SII,L=SB(KM)を使っている Yf=SS(S(S(KS)K))(K(SII))