話が前後しますが、なんで僕がこんなエントリー（のシリーズかな？）を書こうと思ったかを述べます。その後、高階述語論理に少し触れます。 前回のエントリー：型推論に関わる論理の概念と用語 その1 シリーズ目次： その1 その2 その3 その4 その5 その6 番…