最終更新日：2025/11/23

(computer science) A particular modal logic of branching time with operators next, globally, finally or eventually, until, and weak until.

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

正解を見る

computation tree logic

元となった辞書の項目

computation tree logic

不可算名詞

日本語の意味

計算木論理：分岐時間を扱う特殊な様相論理であり、『次』、『全体』、『最終（または最終的に）』、『until』、『weak until』などのオペレーターを用いて、システムの状態遷移などを形式的に表現する論理体系

研究者たちは、計算木論理（分岐時間の特定のモーダル論理で「次」「常に」「最終的に／やがて」「until」「弱いuntil」といった演算子を持つ）を用いて、分散プロトコルがあらゆる可能な実行経路で最終的に合意に達することを検証した。

意味（1）