ダウンロード

外延の抽象表現を用いた論理推論