問題タブ [axiom]

Safe関数内でAxiomデータベースリソースを利用する方法を知りたいです。

現在、接続を手動で処理しているだけですが、すでに定義されているリソースを使用する方がよいと思います。

コンピューター プログラムは、数学的なステートメントと同じように証明できないのはなぜですか? 数学的証明は、さらに多くの証明から構築された他の証明の上に構築され、公理に至るまでです。

コンピュータプログラムはそのような構造を持っていないようです。コンピューター プログラムを作成した場合、以前に証明された作品を使用して、プログラムの真実を示すことができるのはどうしてですか? 存在しないのでできません。さらに、プログラミングの公理とは何ですか? フィールドの非常に原子的な真実？

上記に対する良い答えはありません。しかし、ソフトウェアは科学ではなく芸術であるため、証明できないようです。ピカソであることをどのように証明しますか?

(プリアンブル:私は C++0x ゲームに遅れて従い、C++0x 標準からの概念の削除に関する最近の論争がきっかけで、それらについてもっと学ぶようになりました。私の質問はすべて完全に仮説 -- 概念が有効な C++ コードであるとしても、しばらくの間有効ではない限り -- 概念についてもっと学ぶことにまだ興味があります。特に、最近の決定の背後にあるメリットをより完全に理解するのにどのように役立つかを考えると、その後の論争）

C++0x (最近まで) が提案した概念に関する入門資料を読んだ後、いくつかの構文上の問題に頭を悩ませています。これ以上苦労することなく、ここに私の質問があります：

1) 特定の派生概念をサポートする型 (auto キーワードを介して暗黙的に、または concept_maps を介して明示的に) も、基本概念を個別にサポートする必要がありますか? 言い換えれば、概念を別の概念から導出する行為 (例: concept B<typename T> : A<T>) には、(B, 内に) '見えない' 要求ステートメントが暗黙的に含まれていrequires A<T>;ますか? 混乱は、概念に関するウィキペディアのページに次のように記載されていることから生じます。

クラス継承と同様に、派生概念の要件を満たす型は、基本概念の要件も満たします。

つまり、型は派生概念の要件を満たす必要があるだけであり、必ずしも基本概念の要件を満たす必要はないと言っているように思えますが、これは私には意味がありません。ウィキペディアが決定的な情報源ではないことは理解しています。上記の説明は言葉の選択が悪いだけですか？

2) タイプ名をリストする概念は「自動」にすることができますか? もしそうなら、コンパイラはこれらの型名をどのように自動的にマップしますか? そうでない場合、概念で「自動」を使用することが無効になる他の機会はありますか?

明確にするために、次の架空のコードを検討してください。

これらのクラスのいずれかが SomeType と一致しますか? それとも、型名を含む概念に concept_map が必要ですか?

3) 最後に、どの公理が定義できるのか理解に苦しむ。たとえば、次のような論理的に矛盾する公理を概念に定義させることはできますか?

それは何をしますか？それも有効ですか？

これは非常に長い一連の質問であることを理解しています。事前に感謝します。

次のバグに遭遇しました。

http://issues.apache.org/jira/browse/AXIS2-4363

次のように述べています。

このエラーは、org.apache.axiom のログ レベルが DEBUG の場合にのみ発生するため、回避策としてログ レベル > DEBUG を設定します。

私の質問は、どうすればそれを行うことができますか? プロパティファイルか何かを探してディレクトリを探していて、コードで設定できるものがあるかどうかを探していましたが、自分が何をしているのか本当にわかりません。これを機能させようとしている間、現在デスクトップでコンソールアプリを実行しています。

更新 1: Axis2 ディレクトリのルートに独自の log4j.properties ファイルがあることに気付きました。これは安全に無視できますか、それとも解決策の一部 (または問題の一部) ですか?

更新 2: ルート レベルの log4j.properties ファイルが明らかに正しく設定されていません。現在、次のようになっています。

しかし、このコードは「ログレベルが null です」を返すため、明らかに間違っています。

今のところ、コードでログレベルを設定しています

pom.xmlAxis2 を使用するために、次の設定を試しましたwsdl2code。

を実行するたびにmvn clean、次の警告が表示されClassNotFoundException、org.apache.axiom.

は、私が解決してサポートしようとしている公理です。(コア ライブラリの) cong を使用してみましたが、cong コンストラクターに問題があります。

cong の場合、等値と型の refl を指定する必要があることはわかっていますが、どの型を指定すればよいかわかりません。アイデア？

これは大学での小さな課題のためなので、実際の回答を書くよりも、私が見逃していたことを誰かに示してもらいたいのですが、ある程度のサポートをお願いします.

Spring WS 1.5.8、マーシャリング/アンマーシャリング用の XmlBeans、および AxiomSoapMessageFactory を使用しています。私のアプリ。カスタム SOAP ヘッダーが必要です。SOAP ヘッダーに含める必要があるデータは XmlBean (つまり、以下のコードの sessionContext) です。この XmlBeans XmlObject 要素を含む SOAP ヘッダーを作成するにはどうすればよいですか? 私が使用している WebServiceMessageCallback のコードについて言及しましたが、このコードを実行すると、「コンテンツはプロローグでは許可されていません。」エラー。

ありがとう、

次のような E4X オブジェクトを作成するスクリプトを Rhino で実行しています。

このような XML を SOAP メッセージに含めたいと考えています。SOAP メッセージの作成にApache Axis 2 ServiceClientを使用しています。私が探しているのは、E4X xml オブジェクトを Apache AXIOM 要素に変換して、次の呼び出しを介して SOAP メッセージに追加できるようにする方法です。

ServiceClient.addHeader(org.apache.axiom.om.OMElement omElement)

LISPは、10個のプリミティブから構築できます。プリミティブは、atom、quote、eq、car、cdr、cons、cond、lambda、label、applyです。

どうやらこれらはユークリッド幾何学の5つの公理に相当します。 http://hyperpolyglot.wikidot.com/lisp

誰かがそれらがどのように同等であるかを説明できますか？

Javaプロジェクトでこの例外が発生します

私のクラスパスは

手伝ってくれませんか？