tactical background
BeDict Logo

tactical

/ˈtæktɪkəl/ /ˈtæktɪkl/

Meanings

noun

戦術コンビネータ

A combinator of proof tactics.

Examples :

Coqコードは、いくつかのより単純な証明ステップを自動的に組み合わせる戦術コンビネータを使用し、検証プロセスをはるかに高速化しました。
adjective

Examples :

チームの学校募金活動の戦術的計画には、露出を最大化するために校庭のさまざまな場所にブースを設置することが含まれていました。
adjective

Examples :

兵士の戦術的なバックパックは、黒い迷彩と調節可能なストラップを備え、困難な地形に最適でした。