inference

    7

    1答えて

    私は、有限の順列セットを超える代数グループのユースケースを持っています。そうでなければ無関係な様々な置換クラスにグループを使用したいので、私はこれをミックスインの特性としてしたいと思います。ここにある時点で私の試み trait Permutation[P <: Permutation[P]] { this: P => def +(that: P): P //final ove

    6

    4答えて

    これはもっと一般的な暴言だと思うけど、なぜ私のIDのタイプを推測するC#を得ることができないのですか? public EntityT Get<EntityT>(IdT id) where EntityT : EntityObject<IdT> と、次のようにIDとしてGUIDを持つ定義さEntityObject:として定義された抽象EntityObjectクラスから継承 public Foo

    5

    1答えて

    私はスタックオーバーフローのnewbyですので、私に簡単に行け!私は深くC#を読んでいますが、私はカバーされているとは思わないシナリオを見つけました。ウェブをすばやく検索しても、結果は失われませんでした。 は、私は、次のオーバーロードされたメソッドを定義すると言う: void AreEqual<T>(T expected, T actual) void AreEqual(object expe

    3

    2答えて

    Allegrographを使用すると、Prologのファンクタはかなり素晴らしいですが、1つの欠点があります。 のは、あなたがに等しい例parentOfのために、2つのエンティティをリンクファンクタを定義するとしましょう(自分のオントロジーで定義された両方のRDFオブジェクトのプロパティがありません「をN:fatherOf:motherOf OR n個を!」ファンクタ)。 トリプレット「A !n:

    11

    2答えて

    私が取り組んでいるアプリケーションは、「コンフィグレータ」です。これはC#で書かれており、私もそれに付随するルールエンジンを書いています。考え方は、命題論理文がたくさんあり、ユーザは選択を行うことができるということです。選択した内容に基づいて、他の項目が必要となったり完全に利用できなくなったりします。 命題論理の文は、一般的に以下の形式取る: A => ~X ABC => ~(X+Y) A+B

    9

    2答えて

    私はSPARQLの初心者で、推移関係を返すのに役立つクエリがあるかどうか疑問に思っていました。たとえば、以下のn3ファイルでは、 "a is sameas c"またはそれらの行に沿ったものを返すクエリが必要です。おかげ @prefix : <http://websitename.com/links/> . @prefix owl: <http://www.w3.org/2002/07/owl#>

    3

    2答えて

    EclipseのScala-IDEでScalaを学習しています。第9章:抽象化の制御、第1部:Scalaでのプログラミングのコード複製を減らしながら、私は本のコードを書いています(下記参照)。私が不要な空白行を削除し始めたとき、奇妙なことが起こりました。 filterFiles()メソッドの空白行を削除する前のコード全体を以下に示します。 これはうまくいきます!しかし、filterFiles()方

    2

    3答えて

    私は "Web Development"を提案する "PHP"を入力すると、 "Data Recovery"または "Software Installations"と入力すると、 "Information Technology"を提案する提案リストを作成します。 私はこのためにデータベーススキーマを作ることができると確信していますが、どこからデータを取得するのですか?例のように、システムが "We

    4

    3答えて

    私はPrologのような言語では、次のようなものを書くことができますことを承知しています:私が欲しいもの mortal(X) :- man(X). % All men are mortal man(socrates). % Socrates is a man ?- mortal(socrates). % Is Socrates mortal? yes のようなものですこれが後ろ向きです

    4

    2答えて

    私はLINQのようなシステムを構築しています。その中で、多態的なコールバックハンドラリストをサポートしようとしており、いくつかの種類の問題が発生しています。私の質問をする短い方法は、ちょうどあなたにいくつかのコードを示すことです。私の新しいシステムでは "Groups"がサポートされています。グループにはエントリポイントのベクトル(下のUPDATEとCHECKPT)があり、ベクトルの各要素は多面的