米田の補題at MATH米田の補題 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:１３２人目の素数さん 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 米田信夫 https://youtu.be/GknZuvgeBQ4?si=36mRBy-iyZNRZmwf 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch