コンビネータであそぶ

Home Archives

2019

1月 30

to mock a mockingbirdを読む(11)9章

1月 6

to mock a mockingbirdを読む(3)9章

カテゴリ

コンビネータ論理
- to mock a mockingbird
- 研究
プライバシーポリシー

B1コンビネータ(blackbird)
B2コンビネータ(bunting)
B3コンビネータ(becard)
Bコンビネータ(bluebird)
C**コンビネータ(cardinal twice removed)
C*コンビネータ(cardinal once removed)
Cコンビネータ(cardinal)
D1コンビネータ(dickcissel)
D2コンビネータ(dovekie)
Dコンビネータ(dove)
E^コンビネータ(bald eagle)
Eコンビネータ(eagle)
F**コンビネータ(finch twice removed)
F*コンビネータ(finch once removed)
Fコンビネータ(finch)
G1コンビネータ
G2コンビネータ
Gコンビネータ(goldfinch)
Hコンビネータ(hummingbird)
I2コンビネータ
Iコンビネータ(identity bird)
Kコンビネータ(kestrel)
Lコンビネータ(Lark)
Lコンビネータ(lark)
M2コンビネータ(double mockingbird)
Mコンビネータ(mockingbird)
Oコンビネータ(owl)
Q1コンビネータ(quixotic bird)
Q2コンビネータ(quizzical bird)
Q3コンビネータ(quirky bird)
Q4コンビネータ(quacky bird)
Qコンビネータ(queer bird)
R**コンビネータ(robin twice removed)
R*コンビネータ(robin once removed)
Rコンビネータ(robin)
S'コンビネータ
Sコンビネータ(starling)
Tコンビネータ(thrush)
Uコンビネータ(turing bird)
V**コンビネータ(vireo twice removed)
V*コンビネータ(vireo once removed)
Vコンビネータ(viero)
Vコンビネータ(vireo)
Wコンビネータ(warbler)
Yコンビネータ(賢人鳥,Sage bird)
agreeable
choozy
combinatorial bird
commute(可換)
compositor
extensional(外延的)
order
proper bird
regular
represent
similar
society
Γコンビネータ
Φコンビネータ(phoenix)
Ψコンビネータ(psi bird)
不動点(fixed point)
不動点コンビネータ(fixed point combinator)
互換性(compatible)
固定化(fixated)
好き(be fond of)
幸せ(happy)
正規(normal)
絶望的に自己中心的(hopelessly egocentric)
自己中心的(egocentric)

タグクラウド

B1コンビネータ(blackbird) B2コンビネータ(bunting) B3コンビネータ(becard) Bコンビネータ(bluebird) C**コンビネータ(cardinal twice removed) C*コンビネータ(cardinal once removed) Cコンビネータ(cardinal) D1コンビネータ(dickcissel) D2コンビネータ(dovekie) Dコンビネータ(dove) E^コンビネータ(bald eagle) Eコンビネータ(eagle) F**コンビネータ(finch twice removed) F*コンビネータ(finch once removed) Fコンビネータ(finch) G1コンビネータ G2コンビネータ Gコンビネータ(goldfinch) Hコンビネータ(hummingbird) I2コンビネータ Iコンビネータ(identity bird) Kコンビネータ(kestrel) Lコンビネータ(Lark) Lコンビネータ(lark) M2コンビネータ(double mockingbird) Mコンビネータ(mockingbird) Oコンビネータ(owl) Q1コンビネータ(quixotic bird) Q2コンビネータ(quizzical bird) Q3コンビネータ(quirky bird) Q4コンビネータ(quacky bird) Qコンビネータ(queer bird) R**コンビネータ(robin twice removed) R*コンビネータ(robin once removed) Rコンビネータ(robin) S'コンビネータ Sコンビネータ(starling) Tコンビネータ(thrush) Uコンビネータ(turing bird) V**コンビネータ(vireo twice removed) V*コンビネータ(vireo once removed) Vコンビネータ(viero) Vコンビネータ(vireo) Wコンビネータ(warbler) Yコンビネータ(賢人鳥,Sage bird) agreeable choozy combinatorial bird commute(可換) compositor extensional(外延的) order proper bird regular represent similar society Γコンビネータ Φコンビネータ(phoenix) Ψコンビネータ(psi bird) 不動点(fixed point) 不動点コンビネータ(fixed point combinator) 互換性(compatible) 固定化(fixated) 好き(be fond of) 幸せ(happy) 正規(normal) 絶望的に自己中心的(hopelessly egocentric) 自己中心的(egocentric)

アーカイブ

8月 2019
7月 2019
6月 2019
5月 2019
4月 2019
3月 2019
2月 2019
1月 2019
12月 2018