線形論理を研究するモチベーションとは？ その2

 　↓のようなことを書いたけどその続き。

cut-elimination.hatenablog.com

　さらに最近、某大学で線形論理のちょっとした入門トークをしてきた。そのスライドを公開中です。https://researchmap.jp/cut_elimination/misc/52556556

　訂正：「表示的意味論」→「証明の意味論」

　こちらは論理学とか数学とか計算機科学とか哲学をある程度わかっている人向けに、より具体的なモチベーションを述べています。