quantifiers

4熱

2答えて

は、以下のコードを検討： t1 :: [Int] -> (Int,String) t1 xs = (sum xs,show $ length xs) t2 :: [Int] -> (Int,String) t2 xs = (length xs, (\x -> '?') <$> xs) t3 :: [Int] -> (Char,String) t3 (x:xs) = ('Y',"1+"

0熱

1答えて

Javaの正規表現では参照を渡すことは可能ですか？

私は書式設定メソッドを書く必要がありました。このメソッドでは、文字列、書式設定するテキスト入力、および必要な行の長さをパラメータとして使用します。また、特定の規則がありました。その1つは、単語が希望の長さよりも長い場合は、それだけで行にする必要があります。だからこれを行う簡単な方法は、正規表現式で、おそらくより少なくとも長とされて非空白文字列を検索し、かつそれぞれの側にある2つの\ nは自分自

3熱

1答えて

定量化された式を表示する

どうすればを表示する定量器の削除の結果？ Z3は、以下の入力 (set-option :elim-quantifiers true) (declare-fun y() Real) (simplify (exists ((x Real)) (>= x y))) と幸せであるように思わが、それは、出力として、それは同じ返します。おかげ

25熱

1答えて

スコープタイプの変数には明示的なforallsが必要です。どうして？

GHCのlexically scoped type variablesを使用する場合は、explicit universal quantificationも使用する必要があります。それはあなたが、関数の型シグネチャにforall宣言を追加する必要があり、次のとおりです。 {-# LANGUAGE ExplicitForAll, ScopedTypeVariables #-} f :: fora

1熱

1答えて

Javaパターンクラスの空の間隔量子

Java Patternクラスでは、+などの量指定子だけの式、またはa++++などの追加量子は使用できず、どちらの場合も（メタキャラクタがぶら下がっているため）例外がスローされます。しかし、Patternクラスでは、文字間の空白にマッチする間隔限定子を単独で使用することができます（{1}、{2,6}）。インターバル内の数字はそれほど重要ではないので、{1}と{99999}は似ています（これは無限の

1熱

1答えて

はZ3に簡素化してpull_nested_quantifiersオプションの作業をしていますか？

私は、最も外側のレベルに数式内のすべてのネストされた数量を引くしたいと思います。私はZ3で動作するように、次のコマンドを期待したが、彼らはそうではない。 (set-option :pull-nested-quantifiers true) (simplify (exists ((x Int)) (and (>= x 0) (forall ((y Int)) (and (>=

1熱

1答えて

RewriteRule：どのような正規表現は許可されていますか？

RewriteRuleを定義するために量子{x}を使用できるかどうかを知りたいと思います。 RewriteRule ^([0-9]{3})([0-9]{2})-page/?$ /www/page.php?firstId=$1&secondId=$2 このような書き込みができますか？答え

2熱

2答えて

量指定子を使用して角括弧内のキャプチャバッファにアクセスするにはどうすればよいですか？

括弧で囲まれたキャプチャバッファに量子を付けるにはどうしたらいいですか？ @LAST_MATCH_STARTと@LAST_MATCH_END で #!/usr/local/bin/perl use warnings; use 5.014; my $string = '12 34 56 78 90'; say $string =~ s/(?:(\S+)\s){2}/$1,$2,/r;

1熱

1答えて

Javascript RegEx "invalid quantifier"

var search = new RegExp("<span class=\"highlight\">(?<text>.*)</span>", "g"); RegExに問題がありますか？ Firebugは "invalid quantifier"とだけ言います。それ以上の情報はありません。

1熱

1答えて

Z3での除外と組み込み

Z3で要素の包含と除外をモデル化しようとしています。具体的には、異なる値を持つ要素を含めること、およびまだターゲットセットにない要素を除外することです。だから、基本的には、集合Uを持ち、Z3に、Uの要素だけが異なる値を持つ集合U_dを見つけさせたい。私の現在のアプローチは、数量詞を使用しますが、彼らはU.に表示された場合、私は、私はいつもU_dの要素を含めたいと述べている方法を理解悩みを抱えてい