古典命題線形論理/相意味論の完全性定理と意味論的カット除去.pdf