Link
Embed
Share
Beginning
This slide
Copy link URL
Copy link URL
Copy iframe embed code
Copy iframe embed code
Copy javascript embed code
Copy javascript embed code
Share
Tweet
Share
Tweet
Slide 1
Slide 1 text
Copyright Drecom Co., Ltd. All Rights Reserved. !1 ߴ֊ؔΈ͍ͨͳௗͨͪͷ ٢ԬͻΖ͖ʢ͍Ζ JSPIJSPLJʣ
Slide 2
Slide 2 text
Copyright Drecom Co., Ltd. All Rights Reserved. !2 高階関数みたいな鳥たちが 思い通りの返事をするように 並べましょう。 Bluebird!
Slide 3
Slide 3 text
Copyright Drecom Co., Ltd. All Rights Reserved. !3 鳥A に「B」と呼びかけると 「B」と返す B B A AB = B 記法
Slide 4
Slide 4 text
Copyright Drecom Co., Ltd. All Rights Reserved. !4 鳥Aに「B」と呼びかけて 教えてもらった鳥に 「C」と呼びかける B A ABC C 記法
Slide 5
Slide 5 text
Copyright Drecom Co., Ltd. All Rights Reserved. !5 Identity Bird Ix = x x x I
Slide 6
Slide 6 text
Copyright Drecom Co., Ltd. All Rights Reserved. Kestrel - チョウゲンボウ !6 Kxy = x x K y x
Slide 7
Slide 7 text
Copyright Drecom Co., Ltd. All Rights Reserved. Starling - ムクドリ !7 Sxyz = xz(yz) x S y z
Slide 8
Slide 8 text
Copyright Drecom Co., Ltd. All Rights Reserved. 例題 !8 Sxyz = xz(yz) Iと同じ返事になるように、KとSを並べなさい (K S 何⽻ ) Ix = x Kxy = x
Slide 9
Slide 9 text
Copyright Drecom Co., Ltd. All Rights Reserved. Kxy = x 考え中… !9 KxyのxにSを入れてみる KSy = S Ix = x
Slide 10
Slide 10 text
Copyright Drecom Co., Ltd. All Rights Reserved. 考え中…… !10 SxyzのxにKを入れてみる Sxyz = xz(yz) SKyz = Kz(yz) = z Ix = x Kxy = x
Slide 11
Slide 11 text
Copyright Drecom Co., Ltd. All Rights Reserved. 答 !11 SKKx = Kx(Kx) = x I = SKK
Slide 12
Slide 12 text
Copyright Drecom Co., Ltd. All Rights Reserved. !12 Mx = xx x M Mockingbird - マネシツグミ
Slide 13
Slide 13 text
Copyright Drecom Co., Ltd. All Rights Reserved. 問題1. !13 Sxyz = xz(yz) Mと同じ返事になるように、SとIを並べなさい (S I 何⽻ ) Ix = x Mx = xx
Slide 14
Slide 14 text
Copyright Drecom Co., Ltd. All Rights Reserved. !14 Dove & Bluebird - ハト&ルリコマドリ Dxyzw = xy(zw) Bxyz = x(yz)
Slide 15
Slide 15 text
Copyright Drecom Co., Ltd. All Rights Reserved. 問題2. !15 Dと同じ返事になるようにBを並べなさい (B 何⽻ ) Dxyzw = xy(zw) Bxyz = x(yz)
Slide 16
Slide 16 text
Copyright Drecom Co., Ltd. All Rights Reserved. !16 Thrush & Cardinal - ツグミ&ショウジョウコウカンチョウ Txy = yx Cxyz = xzy
Slide 17
Slide 17 text
Copyright Drecom Co., Ltd. All Rights Reserved. 問題3. !17 Tと同じ返事になるようにCとIを並べなさい (C I 何⽻ ) Txy = yx Cxyz = xzy Ix = x
Slide 18
Slide 18 text
Copyright Drecom Co., Ltd. All Rights Reserved. 簡単すぎるという人へ !18 すべての鳥は、SとKで再現できるそうですよ Txy = yx Sxyz = xz(yz) Kxy = x Bxyz = x(yz) Ix = SKKx = x
Slide 19
Slide 19 text
Copyright Drecom Co., Ltd. All Rights Reserved. !19 応用例と参考文献 yield_self 使 - Qiita Raymond M. Smullyan, To Mock a Mocking Bird 森北出版『 ⿃ 』(訳本)
Slide 20
Slide 20 text
Copyright Drecom Co., Ltd. All Rights Reserved. 解答 !20 問題1. M = SII 問題2. D = BB 問題3. T = CI