26/07/30 02:12:23.19 cenxcQk6.net
米田の補題について
2:１３２人目の素数さん
26/07/30 02:21:13.50 OGBykBQf.net
y : (X -> ((A -> X) -> F X)) -> F A
y T := T A id
3:１３２人目の素数さん
26/07/30 05:36:52.24 NMwYbXz+.net
コメダ珈琲について
4:１３２人目の素数さん
26/07/30 08:11:19.56 r7Z2c2zc.net
F : A -> ((A -> X) -> X)
c : ((A -> F X) -> F A) -> F A
c f k := f (a -> (_ -> k a)) k
5:１３２人目の素数さん
26/07/30 09:22:29.23 afQjYl/w.net
米八の弁当について
6:１３２人目の素数さん
26/07/30 11:39:42.35 NMwYbXz+.net
嫁だ
7:１３２人目の素数さん
26/07/30 13:02:08.96 k2qdofKw.net
米田先生を見たことある人手をあげて
8:１３２人目の素数さん
26/07/30 19:15:54.90 9xjdqtRq.net
>>2
y^(-1) a X g := (F g) a
9:１３２人目の素数さん
26/08/01 18:35:02.94 Ud7T2fk+.net
米田信夫
URLﾘﾝｸ(youtu.be)
10:１３２人目の素数さん
26/08/02 08:10:55.65 MjAvlmTf.net
よ←米田埋め込み
11:１３２人目の素数さん
26/08/02 08:30:44.65 nH3aDo4W.net
岡潔、セール、秋月康夫、中野茂男、一松信の
集合写真を撮った人