線形論理せんけいろんりsenkeironrinounlinear logicKanji in this word形shape理logic線line論argumentStudy it in Yanamino