線形 せんけい論理 ろんり
senkeironri

Noun

1. linear logic