どう区別すればいいの?
集合指向(set-intensive)ではない数学名無しさん2025/11/19 12:48[>>11](/boards/math/1763305413#post-11) コーシー列の収束+アルキメデス性は 最小構成ならNとRの二種一階論理+関数型N→R...
論理の表現論名無しさん2026/03/14 11:07Quicksort inventor Tony Hoare reaches the base case at 92 [https://www.theregister.com/2026/03/12/in_memoriam_sir_tony_...