フル線形論理のカット除去定理.pdf