No.252
宣言型プログラミング言語とバイブコーディング。
宣言型プログラミング言語とバイブコーディング。
12: 朗報 ZEN大学、宇宙際タイヒミューラー理論の授業がある (256)
レス数: 55
概要: >>251 宣言型プログラミング言語とバイブコーディング。
宣言型プログラミング言語とバイブコーディング。
No.253
その対象の持つ性質だけから演繹的に証明を
して対象が満たす別の性質を導く。
それではその性質を持たす対象が実際に
存在するかには関係なく議論が整然と進
められるのであれば、そのような性質を
満たす対象の存在は仮定しなくても良い
ことになる。存在していなくても、命題
は真であるから。
そうして、まだ未発見の素粒子のように、
いずれ将来このような性質を満たす数学的
対象物が発見されるかもしれないから、我
々はその発見を期待して待てば良いと言い
残せる。
No.254
2026/2/25 20:50
https:
No.255
>ZEN大学教授
ZEN大学の教授って……ニコニコ関係者？ひろゆきももしや教授？
No.256
https:
