プログラミングと哲学の最大の接点、記号論理学から計算科学へ──フレーゲ、ラッセル、チューリング
https://nordot.app/511045872526787681?c=388701204576175201