Last Updated:2025/11/20
(computing) A combinator of proof tactics. / A private war reenactment event involving mock battles or skirmishes.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
tactical
Edit Histories(0)
Source Word
tactical
Noun
Japanese Meaning
(計算機科学)証明戦略(tactics)を組み合わせる演算子、つまり証明の際の戦略的手法の組み合わせ子としての役割を果たすもの。 / (戦争再現イベント)プライベートな戦争再現イベント、模擬戦や小競り合いを含む、戦術的な模擬戦闘イベント。
Sense(1)
Sense(2)
( plural )