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

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

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

#megurorb

Avatar for Hiroki Yoshioka

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 森北出版『 ⿃ 』(訳本)