曇りなき眼で見定めブログ

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