2023-12-10 やさしい線形論理入門 論理学 線形論理(ジラール) Mathematical Logic Advent Calendar 2023 10日目の記事として線形論理の簡単な紹介を書きました! 論理学の知識がない人でも読めます。線形型システムの話もちょっと書いてますのでプログラマの方にもオススメです! drive.google.com