1. 論理エンジン