Note

• 最小論理に爆発律の二重否定を加えた体系について
• 最小論理の確率的意味論
• ヒルベルト曲線を用いた二分探索木について
• Coq による極限の定義