2016-02-15 線形含意の記号 論理 用語法 ラムダ計算 お絵描き https://www.cs.cmu.edu/~fp/courses/linear/handouts/lnd.pdf からの引用（画像としてコピー）線形含意の記号は 。ラムダ絵算で使おうと思っている。
。ラムダ絵算で使おうと思っている。