Inter-universal geometry と ABC予想 (応援スレ) 77
at MATH
357:現代数学の系譜 雑談
25/11/06 12:14:02.00 9MLt2+C6.net
>>355
>不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物
>URLリンク(ja.wikipedia.org)
コンビネータね
なつかしい というか いまは無き"bit"誌で見かけた気がする
"bit"誌は、結構買っていた・・
次ページ最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
55日前に更新/659 KB
担当:undef