線形論理の誕生
https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1525-7.pdf
照井一成
による
#線形論理