ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
英和和英
履歴
通常ウィンドウ
意味
例文
コンピューター用語辞典
temporal operator
時相
演算子
用例
Depending on
whether
we
admit
arbitrary
nesting
of
selective
path
quantifiers and
temporal
operators
,
we
obtain
the
two
alternating-time
temporal
logics
ATL
and
ATL
*.
選択的
経路
量化
記号
と
時相
演算子
の
任意の
ネスティング
を
認める
かどうか
に従って
,
二つの
時間
交代性
時相論理
,
ATL
と
ATL
*とが
得られる
.
調べた例文を記録して、効率よく覚えましょう
Weblio会員
無料
で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
Weblio会員登録
(無料)
はこちらから
▶
日英・英日専門用語辞書
temporal operator
時相
演算子
閲覧履歴
検索結果に戻る
全履歴クリア
・
temporal operator
・
nibbleth
・
Drive Lock Assembly
・
ciliary margin
・
BELL SYSTEM
・
transmitted data
・
readnes
・
Production value
・
CMP-S
・
melancholically
単語帳に追加
temporal operatorのページの著作権
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
Copyright © 2026 CJKI. All Rights Reserved
ログイン
※半角英数字、6文字以上、32文字以内で入力してください
ログイン
パスワードを忘れた方はこちらから
別サービスのアカウントで登録・ログイン
アカウントをお持ちでない方
新規会員登録(無料)
non-member
temporal operator