nominal logic って日本語だと何て呼ぶんだろう……