問題タブ [ctl]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
foreach - VB- For Each ctl 、テキストボックスが認識されない
以下のコードが機能しない理由がわかりません。最初のリスト ボックスには、テキスト ボックスを除くすべてのコントロールが表示されます。もちろん、MsgBox はテキスト ボックスを探しているだけなので、何もしていません。テキストボックスを認識しないのはなぜですか? ところで、テキストボックスがたくさんあるので、いくつかのテキストボックスの名前を変更しました。名前を変更すると、それがどのタイプのコントロールか認識できなくなりますか?
助けてくれてありがとう。
oracle - INTEGER データ型を使用しているときに SQL*Loader が 808594481 をロードしたのはなぜですか?
SQL*Loader を使用してデータをロードしていましたが、制御ファイルを作成するときにテーブル定義を使用し、誤って "version" 行に INTEGER データ型を残してしまいました。
そして、「バージョン」フィールド (データ型整数) に値 808594481 を挿入しました。
この値をどのように処理したか理解するのに苦労しています - 私はそれをリテラルとして取ったと仮定しています...しかし、それは各文字のASCII表現の合計ですか?
いいえ！
666 を返します (これは面白い話です)。
アスキー値を連結しますか?
737884697169716982 を返します
誰かが答えを知っていることを願っています。
これは実際の制御ファイルです。
テーブル DDL:
データ：
model-checking - 含意が含まれるまでの CTL 式
NuSMV ツールを使用して CTL が正しいかどうかを検証すると、混乱する問題に遭遇します。
私のモデルは
NuSMVコードは次のとおりです。
私のCTL式は次のとおりです。
"AG( A1 -> AX ( A [ B1 U ( D1 -> EX ( F1) ) ] ) )""AG( A1 -> AX ( A [ B1 U ( F1 -> EX ( C1) ) ] ) )""AG( A1 -> AX ( A [ M1 U ( F1 -> EX ( C1) ) ] ) )"
NuSMV は上記の 3 つの公式を検証し、すべてが真であることが判明しました。
では、私の質問は、なぜ式 2 と式 3 が真になるのかということです。
oracle - Oracle でロード infile プロセスを終了する方法
ctl ファイルを使用してデータをロードしようとしていますが、次のような構文エラーが発生しています。SQL*Loader-350: 15 行目の構文エラーです。"," または ")" がキーワードで見つかりました。COS "TRUNC(:COS/32)",TERMINATED BY WHITESPACE 次のコードは私の試みです。
'rtd.txt' をロードするファイルは次のとおりです。
model - 同等の CTL 式を確認する
私は CTL 演習を行っています。次の式が同等かどうかを確認しようとしています。しかし、私は正しいことをしているかどうかわかりません。
最初の式: 等価
2 番目の式: 等価
3 番目の式: 等価
そうですか？間違っている場合は、クリプキ モデルで考えられる反例の 1 つを教えていただけますか?
前もって感謝します。