>>161
線型論理とプログラミング言語の関係について解説希望