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