English Dictionary

tactical

名詞

(computing) A combinator of proof tactics. / A private war reenactment event involving mock battles or skirmishes.

日本語の意味

（計算機科学）証明戦略（tactics）を組み合わせる演算子、つまり証明の際の戦略的手法の組み合わせ子としての役割を果たすもの。 / （戦争再現イベント）プライベートな戦争再現イベント、模擬戦や小競り合いを含む、戦術的な模擬戦闘イベント。

The proof assistant provides a tactical that composes basic tactics to simplify and solve goals.

その証明支援環境は、基本的なタクティックを組み合わせてゴールを簡略化・解決する戦術結合子を提供します。

意味（1）

(computing) A combinator of proof tactics.

The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics.

意味（2）

A private war reenactment event involving mock battles or skirmishes.

tacticals （ plural ）