記号論理学の授業取るべき?