問題タブ [logic]

すべての URL のようなもの ( http://... .) を切り取り、それらをアンカーで置き換えたいの<a></a>ですが、私の要件: アンカーとページ定義 (Doc タイプ) に触れないでください:

だから私はURLのプレーンテキストだけを見つける必要があります...

ページ内のレンダリングをオーバーライドしようとしていて、BrowserAdapter を作成しました。

次のようになります。

おそらく遠い将来、脳波を読み取る技術（すでにある程度存在しています）が利用可能になるため、多くの人が物理的な入力（キーボードなど）にそれほど依存しなくなると考えているのではないかと考えていました。ちょっと怖いです....とにかく、私はこれについて空想にふけっていたときに、次のアイデアが思い浮かびました: プログラマーがコードにロジックを実装して、ユーザーの意図を正確に予測し、意図した操作を必要なく実行できるとしたらどうでしょうか?人間関係のために。私は特定の何かを探しているわけではありません。誰かの考えについて少し興味があります。

(Rich Bradshaw に感謝)

次のパズルの最適な戦略を探しています。

新しい妖精の王として、王国のカスタード湿地の地図を作成するのはあなたの義務です。
湿地は空気のような霧に覆われ、カスタードの島々が散らばっています。
各ポイントで低くまたは高く飛ぶように指示して、ピクシーを沼地に送ることができます。
ピクシーがカスタードの上に急降下すると、気が散ってシーケンスを完了できません。霧が濃いので、ピクシーが向こう側に来たかどうかしかわかりません。

コーディング用語で..

これは、指定された一連の急降下で妖精が退出したかどうかを返します。

最も簡単な方法は、1 回の急降下だけでシーケンスを渡すことです。これにより、「サイズ」試行ですべてのカスタード島が明らかになります。
カスタードの数に比例したものがいいのですが、次のようなシーケンスに問題があります。

このパズルの他の形式へのリンクも歓迎します。

「具体的なドメイン」の正式な定義を読みましたが、まだよくわかりません。

できればいくつかの例を挙げて、より簡単な言葉で説明してもらえますか?

この定義は 、Ullrich Hustadt、Boris Motik、Ulrike Sattler による、Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution で利用できます。ページ 1、定義 1。

わかりましたので、次のシークエントを証明する必要があります。

なぜそれが明らかに正しいのか、自然演繹のルールも理解しています。私が理解していないのは、それを証明する方法です。以下が模範解答です。

誰かが私にリンクまたは「ばかげた」説明を提供してくれませんか? これを理解するのを難しくしている単純な概念が欠けているように感じます... ?

たとえば、4 行目で -> を削除するために 3 行目の p が必要なのはなぜですか? 3 行目のように、aq を使用せずに ^ q を削除できるのはなぜですか?

私はこれが非常に簡単だと確信していますが、私には意味がないようです... ?

ではない:

!(a または b)
!a または !b
!(a および b)

他の何か？

記述ロジックで、「someValuesFrom」と「allValuesFrom」の違いは何ですか? つまり、（制限された存在量化）と（価値制限）の違いです。

たとえば、次のように考えてください。

Δ = {a, b, c, d, e}
ext(B) = {<c,d>}
ext(R) = {<a,b>, <a,c>, <d,c>, < c、e>}

それでは、次の違いは何ですか？

ext(∃R.B) = ?
ext(∀R.B) = ?

somevaluefrom と allvaluesfrom の概念を単純化する方法はありますか?

次のような式がある場合：

(FA = すべての場合 / E = 存在する)

スコーレミゼーションのルールは次のように述べています。

1. E が FA の外にある場合、定数または
2. E が FA の内部にある場合、FA の外部からのすべての変数を引数として含む新しい関数に置き換えます。

では、この場合はどうすればよいでしょうか。Exists 量指定子を単に削除することはできますか、それとも定数に置き換えることはできますか?

ありがとう！

論理条件で使用するために文字列を演算子に変換することは可能ですか?

例えば

また

これは標準的な練習用の質問ではない可能性があることを理解しています。したがって、なぜこのようなことをしたいのかを尋ねる回答には興味がありません。

前もって感謝します

編集：わかりました、同意します。状況を説明するのは公正です。

リフレクションと XML を中心に構築されたシステムがあります。簡単に、みたいなことを言いたいです。

編集: コメントありがとうございます。ここでこれを適切に説明することはできません。私の質問は「できません」と答えられたと思いますが、これはまったく問題ありません（そして私が考えたことです）。コメントしてくれてありがとう。

編集：だから、私は試してみるつもりです。

次のことを想像してください

これはクラスに反映されるので、呼び出して条件をテストしたいと思います

それは、すべてをまとめる必要がある部分です。

編集：

OK、ラムダや式を見たことがないので、@jrista の提案を見てみたいと思いました。

私のシステムでは Enum を解析できるため、ExpressionType Enum のおかげで Expression は魅力的です。

そこで、アイデアをテストするために次のクラスを作成しました。

明らかに、これは現在 Int32 と基本的な ExpressionTypes でのみ機能します。汎用にできるかどうかわかりません。これまで式を使用したことはありませんが、これはうまくいくようです。

この方法は、XML の方法で次のように宣言できます。