最終更新日：2024/07/28

Dictionary quizzes to help you remember vocabulary

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

正解を見る

tactical

問題を編集する

編集履歴（0）

元となった辞書の項目

tactical

noun

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

The programmer used a tactical to optimize the code.

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.

詳細

tactical

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

アプリをダウンロード！

tactical

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！