トップ > まとめ

まとめ

方程式とガロア理論について: まとめ

まとめ 数学 ガロア理論

ここ半月ぐらいに書いた方程式やガロア理論についての文章のリスト

論理とカリー・ハワード対応について書いたこと一覧とメモ

数学 プログラミング まとめ

「直観主義論理の「自然さ」(1) 自然演繹」 直観主義論理の自然演繹では導入則と除去則とが相補的な関係になっている。 「直観主義論理の「自然さ」(2) シーケント計算 」 直観主義論理の自然演繹体系を変形すると直観主義のシーケント計算の体系が得られる…