ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
英和和英
履歴
通常ウィンドウ
意味
例文
コンピューター用語辞典
output assertion
出力
表明
用例
Partial correctness
of a
program S
with respect to
input
assertion
p and
output
assertion
q is
usually
denoted
:
...
入力
表明
pと
出力
表明
q
に関する
プログラム
Sの
部分的
正確性
は、
通常
...のように
示される
。
Whenever
the
call
of a
predicate
satisfies
the
input
assertion
,
then
the
call
instantiated
by
any
computed
answer
substitution
satisfies
the
output
assertion.
述語の
呼び出し
が
入力
表明
を
満足する
と
きはい
つでも、
計算された
答え
の
代入
によって
例示
される
呼び出し
は
出力
表明
を
満足する
。
調べた例文を記録して、効率よく覚えましょう
Weblio会員
無料
で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
Weblio会員登録
(無料)
はこちらから
▶
日英・英日専門用語辞書
output assertion
出力
表明
閲覧履歴
検索結果に戻る
全履歴クリア
・
output assertion
・
SSSD
・
PPCRV
・
daiuchi
・
NGPs
・
cbfa2
・
Human interface guidelines
・
RATAMPL
・
metonomy
・
solidagos
単語帳に追加
output assertionのページの著作権
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
Copyright © 2026 CJKI. All Rights Reserved
ログイン
※半角英数字、6文字以上、32文字以内で入力してください
ログイン
パスワードを忘れた方はこちらから
別サービスのアカウントで登録・ログイン
アカウントをお持ちでない方
新規会員登録(無料)
non-member
output assertion