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