[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
355(1): 11/06(木)11:57 ID:+e5m8tUJ(3/3) AAS
高卒の世田にもっといいことを教えてやろう
不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物
外部ﾘﾝｸ:ja.wikipedia.org
357(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)12:14 ID:9MLt2+C6(10/17) AAS
>>355
>不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物
>外部ﾘﾝｸ:ja.wikipedia.org
コンビネータね
なつかしい というか いまは無き"bit"誌で見かけた気がする
"bit"誌は、結構買っていた・・
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s