科学者たちは、さまざまな特徴を持つ集合を用いて表現されたデータを処理できる新しいアルゴリズムを開発しました。

Scientists have developed a new algorithm capable of processing data represented by sets of various features.

定理の証明において、私たちは議論を構築するために空の集合を用いました。

In the proof of the theorem, we used empty sets to construct the argument.

科学者は論理的なつながりのモデルを構築するために、ブーリアン集合を用いて定理を証明した。

The scientist proved the theorem using Boolean sets to construct a model of logical connections.