Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
高階関数みたいな鳥たちの森
Search
Hiroki Yoshioka
October 29, 2018
Programming
0
110
高階関数みたいな鳥たちの森
#megurorb
Hiroki Yoshioka
October 29, 2018
Tweet
Share
More Decks by Hiroki Yoshioka
See All by Hiroki Yoshioka
RubyとPythonはどちらが速いのか
irohiroki
0
150
ペアプロってどうなの?
irohiroki
0
79
スクラムマスターは何をすべきか
irohiroki
1
580
Pattern Language for Rubyists (Rev.2)
irohiroki
1
300
The Most Beautiful Vagrant Box
irohiroki
1
190
ドメイン駆動設計ワークショップ in KRAY
irohiroki
1
280
Gitはなぜ難しいのか
irohiroki
4
25k
Github APIを叩いて分かったこと
irohiroki
1
670
The Metric Talks or Not
irohiroki
2
780
Other Decks in Programming
See All in Programming
障害対応を起点としたもっといい開発と運用のサイクル作りのためにできること / Hatena Enginner Seminar #29
polamjag
0
300
GitHub Copilotのススメ
marcy731
1
210
Amazon SQSコンシューマー疎結合への旅 - 出張! #DevelopersIO IT技術ブログの中の人が語る勉強会 #3
quiver
0
290
新宿ダンジョンを可視化してみた
satoshi7190
2
270
Try creating your own orderedmap
kazamori
0
130
Node.js v22 で変わること
yosuke_furukawa
PRO
10
3.7k
Hanami and htmx
bkuhlmann
0
210
Elm 0.19.0 Changes
bkuhlmann
0
490
はてなにおける CSS Modules、及び CSS Modules に足りないもの / CSS Modules in Hatena, and CSS Modules missing parts
mizdra
7
960
StoreKit2によるiOSのアプリ内課金のリニューアル
kangnux
0
120
二郎系ラーメンのコールで学ぶ AST 解析
memory1994
PRO
7
1.7k
禅の心を手に入れよ
eltociear
1
230
Featured
See All Featured
A Tale of Four Properties
chriscoyier
152
22k
Thoughts on Productivity
jonyablonski
59
3.8k
How to train your dragon (web standard)
notwaldorf
74
5.2k
BBQ
matthewcrist
80
8.8k
Code Reviewing Like a Champion
maltzj
515
39k
Building Applications with DynamoDB
mza
88
5.6k
Why Our Code Smells
bkeepers
PRO
331
56k
Fashionably flexible responsive web design (full day workshop)
malarkey
398
65k
Pencils Down: Stop Designing & Start Developing
hursman
117
11k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
21
1.9k
WebSockets: Embracing the real-time Web
robhawkes
59
7k
The MySQL Ecosystem @ GitHub 2015
samlambert
244
12k
Transcript
Copyright Drecom Co., Ltd. All Rights Reserved. !1 ߴ֊ؔΈ͍ͨͳௗͨͪͷ
٢ԬͻΖ͖ʢ͍Ζ JSPIJSPLJʣ
Copyright Drecom Co., Ltd. All Rights Reserved. !2 高階関数みたいな鳥たちが 思い通りの返事をするように
並べましょう。 Bluebird!
Copyright Drecom Co., Ltd. All Rights Reserved. !3 鳥A に「B」と呼びかけると
「B」と返す B B A AB = B 記法
Copyright Drecom Co., Ltd. All Rights Reserved. !4 鳥Aに「B」と呼びかけて 教えてもらった鳥に
「C」と呼びかける B A ABC C 記法
Copyright Drecom Co., Ltd. All Rights Reserved. !5 Identity Bird
Ix = x x x I
Copyright Drecom Co., Ltd. All Rights Reserved. Kestrel - チョウゲンボウ
!6 Kxy = x x K y x
Copyright Drecom Co., Ltd. All Rights Reserved. Starling - ムクドリ
!7 Sxyz = xz(yz) x S y z
Copyright Drecom Co., Ltd. All Rights Reserved. 例題 !8 Sxyz
= xz(yz) Iと同じ返事になるように、KとSを並べなさい (K S 何⽻ ) Ix = x Kxy = x
Copyright Drecom Co., Ltd. All Rights Reserved. Kxy = x
考え中… !9 KxyのxにSを入れてみる KSy = S Ix = x
Copyright Drecom Co., Ltd. All Rights Reserved. 考え中…… !10 SxyzのxにKを入れてみる
Sxyz = xz(yz) SKyz = Kz(yz) = z Ix = x Kxy = x
Copyright Drecom Co., Ltd. All Rights Reserved. 答 !11 SKKx
= Kx(Kx) = x I = SKK
Copyright Drecom Co., Ltd. All Rights Reserved. !12 Mx =
xx x M Mockingbird - マネシツグミ
Copyright Drecom Co., Ltd. All Rights Reserved. 問題1. !13 Sxyz
= xz(yz) Mと同じ返事になるように、SとIを並べなさい (S I 何⽻ ) Ix = x Mx = xx
Copyright Drecom Co., Ltd. All Rights Reserved. !14 Dove &
Bluebird - ハト&ルリコマドリ Dxyzw = xy(zw) Bxyz = x(yz)
Copyright Drecom Co., Ltd. All Rights Reserved. 問題2. !15 Dと同じ返事になるようにBを並べなさい
(B 何⽻ ) Dxyzw = xy(zw) Bxyz = x(yz)
Copyright Drecom Co., Ltd. All Rights Reserved. !16 Thrush &
Cardinal - ツグミ&ショウジョウコウカンチョウ Txy = yx Cxyz = xzy
Copyright Drecom Co., Ltd. All Rights Reserved. 問題3. !17 Tと同じ返事になるようにCとIを並べなさい
(C I 何⽻ ) Txy = yx Cxyz = xzy Ix = x
Copyright Drecom Co., Ltd. All Rights Reserved. 簡単すぎるという人へ !18 すべての鳥は、SとKで再現できるそうですよ
Txy = yx Sxyz = xz(yz) Kxy = x Bxyz = x(yz) Ix = SKKx = x
Copyright Drecom Co., Ltd. All Rights Reserved. !19 応用例と参考文献 yield_self
使 - Qiita Raymond M. Smullyan, To Mock a Mocking Bird 森北出版『 ⿃ 』(訳本)
Copyright Drecom Co., Ltd. All Rights Reserved. 解答 !20 問題1.
M = SII 問題2. D = BB 問題3. T = CI