初期の第一原理思想家たちが、他の人がまだ認識していない問題を形式化し、参照実装を構築しました