米田の補題

1１３２人目の素数さん

2026/07/30(木) 02:12:23.19ID:cenxcQk6

米田の補題について

2１３２人目の素数さん

2026/07/30(木) 02:21:13.50ID:OGBykBQf

y : (X -> ((A -> X) -> F X)) -> F A
y T := T A id

3１３２人目の素数さん

2026/07/30(木) 05:36:52.24ID:NMwYbXz+

コメダ珈琲について

4１３２人目の素数さん

2026/07/30(木) 08:11:19.56ID:r7Z2c2zc

F : A -> ((A -> X) -> X)

c : ((A -> F X) -> F A) -> F A
c f k := f (a -> (_ -> k a)) k

5１３２人目の素数さん

2026/07/30(木) 09:22:29.23ID:afQjYl/w

米八の弁当について

6１３２人目の素数さん

2026/07/30(木) 11:39:42.35ID:NMwYbXz+

嫁だ

7１３２人目の素数さん

2026/07/30(木) 13:02:08.96ID:k2qdofKw

米田先生を見たことある人手をあげて

8１３２人目の素数さん

2026/07/30(木) 19:15:54.90ID:9xjdqtRq

>>2
y^(-1) a X g := (F g) a

9１３２人目の素数さん

2026/08/01(土) 18:35:02.94ID:Ud7T2fk+

10１３２人目の素数さん

2026/08/02(日) 08:10:55.65ID:MjAvlmTf

よ←米田埋め込み

11１３２人目の素数さん

2026/08/02(日) 08:30:44.65ID:nH3aDo4W

岡潔、セール、秋月康夫、中野茂男、一松信の
集合写真を撮った人