論理型の所に考察を追加