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.

Google翻訳 / DeepL翻訳

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

詳細

意味（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.

Google翻訳 / DeepL翻訳

詳細

意味（2）

A private war reenactment event involving mock battles or skirmishes.

tacticals

（ plural ）

詳細

tactical

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

アプリをダウンロード！

tactical

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！