記号論理学講義　基礎理論　束論と圏論　知識論