プログラマーの哲学思考 真理は関数なのか？ ByWina 2026-05-082026-05-08 assert(1+1==2) はなぜ通るのか？数学が真理だから？それとも「等しい」の定義を私たちが決めたから？
