uwenku
タグリスト
existential-operator
3
熱
1
答えて
Prologの事実における存在量の定量化
私はProlog(swi-prolog)で私の最初のステップを実行しており、次の問題を解決することはできません。具体的には、「誰もが誰かの友である」という文章をどのように含めることができますか\forall x \exists y friend(x,y)?これまでに私が見つけたすべての質問は、事実ではなく質問に関するものでした。ありがとうございました!
prolog
logic
existential-operator
2017-05-05
3
熱
2
答えて
javascriptの既存の演算子ですか?
私は大きなjsonオブジェクトを持っています。 x = a.b.c.d.e.f.gにアクセスする必要があります。ただし、b(またはc,d,e ...)は未定義です。このデータ構造は他の場所からインポートされています。 xにnullまたはundefinedを割り当てようとするとエラーが発生しますか?
javascript
existential-operator
2017-08-31
5
熱
1
答えて
CoffeeScriptの実在の演算子はどのように機能しますか?
Coffeescriptは変数が存在するかどうかを判断するために存在演算子を使用し、にはsomething !== undefined && something !== nullにコンパイルすると表示されますが、これはsomething !== nullにコンパイルされていることに気付きました。 // Generated by CoffeeScript 1.4.0 (function() {
coffeescript
existential-operator
2013-06-22
最新の質問
1.
2つのメソッドのILをマージするときに
2.
インスタンスパラメータでブースト移動を使用する
3.
ダイグラフでx軸の位置を変更するにはどうすればよいですか?
4.
SQL複数列に別のテーブルの挿入値とは、私は2つのテーブルを持っているし、表2に表1の値を挿入したい
5.
デコードJavascriptブックマークレット
6.
CollectionViewセルのUIImageViewをピンチで拡大/縮小する
7.
マテリアルUIスナックバーに複数の背景色を適用できません
8.
Androidスタジオ:Json Parsingは、URLに存在する50個のオブジェクトのうち、10個だけを読み込みます。
9.
人物がすでにデータベースに登録されている場合は、登録の自動入力フィールド
10.
Google Playのサービスが古くなっています。 11910000が必要ですが見つかりました11577470