絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/23

例文

Researchers used temporal logic to verify that the distributed system maintained message order and timing constraints.

研究者たちは、分散システムがメッセージの順序と時間的制約を維持していることを検証するために時相論理を用いた。

正解を見る

Researchers used temporal logic to verify that the distributed system maintained message order and timing constraints.

音声機能が動作しない場合はこちらをご確認ください

名詞

可算名詞不可算名詞

A form of symbolic logic used to reason about properties of statements related to order and duration.

日本語の意味

命題の順序や時間的な持続性に関連する性質を推論するために用いられる記号論理の一形式。特に「時相論理」とも呼ばれ、時間の概念を取り入れた論理体系を指す。

Researchers used temporal logic to verify that the distributed system maintained message order and timing constraints.

研究者たちは、分散システムがメッセージの順序と時間的制約を維持していることを検証するために時相論理を用いた。

項目の編集設定

例文の編集設定

問題の編集設定