線形論理 (せんけいろんり) — linear logic | Kumi Dictionary