operators

Modal logic formalizes reasoning about necessity and possibility using operators distinguishing what must be from what merely happens to be.

様相論理は、必然的であるものと単にそうであるものを区別する演算子を用いて、必然性と可能性についての推論を形式化する。

ATICS helps railway operators manage train schedules efficiently.

ATICSは鉄道事業者が列車ダイヤを効率的に管理するのを助ける。

In quantum mechanics, observables are represented by self-adjoint operators.

量子力学では、観測可能量は自己随伴作用素で表されます。

Precision machining requires skilled operators.

精密機械加工には熟練したオペレーターが必要です。

Mainframe operators work with MSCS daily.

メインフレームのオペレーターは毎日MSCSを扱います。

The parser handles multicharacter operators.

パーサーは複数文字の演算子を処理します。

The factory uses semiautomatic equipment that still requires human operators.

その工場はまだ人間のオペレーターを必要とする半自動装置を使用している。

Before keyboards, data entry operators used keypunch machines.

キーボードが登場する前、データ入力作業員はキーパンチ機を使用していました。

Soldiers trained for years to become skilled arbalest operators.

兵士たちは熟練したアルバレスト操作者になるために何年も訓練した。

Operators use CTC to manage train traffic across large areas.

運行管理者はCTCを使って広域の列車運行を管理する。

Ham radio operators enjoy making DX contacts with distant stations.

アマチュア無線家は遠距離局とのDX交信を楽しんでいる。

Amateur radio operators use HF bands.

アマチュア無線家は高周波帯を使う。

Skilled operators ran the Linotype machines.

熟練したオペレーターがライノタイプ機を操作した。

Operators would sometimes overpunch cards to correct errors.

オペレーターはエラーを修正するためにカードに重ね穴を開けることがあった。

Operators used the patchboard to connect phone calls manually.

オペレーターはパッチボードを使って電話を手動で接続した。

Radiotelegraph operators were essential on ships in the early 1900s.

無線電信士は1900年代初頭の船舶で不可欠だった。

Heavy rains forced the dam operators to open the spillway gates.

大雨によりダム管理者は余水路のゲートを開けざるを得なかった。

The old switchboard operators manually connected each call.

昔の電話交換手は各通話を手動で接続していました。

Ham radio operators are assigned individual call signs.

アマチュア無線家には個別のコールサインが割り当てられる。

Skilled operators could set text quickly on a linotype machine.

熟練したオペレーターはライノタイプで素早く活字を組むことができた。