Upgrade to Pro — share decks privately, control downloads, hide ads and more …

高階関数みたいな鳥たちの森

 高階関数みたいな鳥たちの森

#megurorb

Hiroki Yoshioka

October 29, 2018
Tweet

More Decks by Hiroki Yoshioka

Other Decks in Programming

Transcript

  1. Copyright Drecom Co., Ltd. All Rights Reserved. 例題 !8 Sxyz

    = xz(yz) Iと同じ返事になるように、KとSを並べなさい 
 (K S 何⽻ ) Ix = x Kxy = x
  2. Copyright Drecom Co., Ltd. All Rights Reserved. Kxy = x

    考え中… !9 KxyのxにSを入れてみる KSy = S Ix = x
  3. Copyright Drecom Co., Ltd. All Rights Reserved. !12 Mx =

    xx x M Mockingbird - マネシツグミ
  4. Copyright Drecom Co., Ltd. All Rights Reserved. 問題1. !13 Sxyz

    = xz(yz) Mと同じ返事になるように、SとIを並べなさい 
 (S I 何⽻ ) Ix = x Mx = xx
  5. Copyright Drecom Co., Ltd. All Rights Reserved. !14 Dove &

    Bluebird - ハト&ルリコマドリ Dxyzw = xy(zw) Bxyz = x(yz)
  6. Copyright Drecom Co., Ltd. All Rights Reserved. !16 Thrush &

    Cardinal - ツグミ&ショウジョウコウカンチョウ Txy = yx Cxyz = xzy
  7. Copyright Drecom Co., Ltd. All Rights Reserved. !19 応用例と参考文献 yield_self

    使 - Qiita Raymond M. Smullyan, To Mock a Mocking Bird 森北出版『 ⿃ 』(訳本)