【Justin Bieber】雑談★12【似非尊師】 (1000)

←← 掲示板一覧に戻る ← スレッド一覧に戻る

690 グナマーナ正大師 2014/12/21(日) 16:32:31 ID:vZ6gbqIg

Y (唐澤貴洋)=(λf . (λx . f (x x)) (λx . f (x x)))(唐澤貴洋)
=(λx . (唐澤貴洋) (x x)) (λx . (唐澤貴洋) (x x))
=(λy . (唐澤貴洋) (y y)) (λx . (唐澤貴洋) (x x))
=(唐澤貴洋) ((λx . (唐澤貴洋) (x x)) (λx . (唐澤貴洋) (x x)))
=(唐澤貴洋) (Y (唐澤貴洋))