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

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です！お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

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