問題タブ [rewriting]

私は現在、変数で機能するシャンティング ヤード アルゴリズムの修正版に取り組んでいますが、それを機能させる方法がわかりません。たとえば、アルゴリズムで 2 * (2x + 5) - 5 を 4x + 5 に書き換えたいと思います。これを既に実行している既に実装されているアルゴリズムへのアイデア/リンクはありますか?

URL から .php を削除する .htaccess コードを正常に作成しましたが、例外を追加して、一部のファイル (www.mysite.com/samples.php など) にそれを保持したいと考えています。

非常に多くのルールを試しましたが、何も機能しませんでした。誰か助けてくれませんか。

一部のファイルで.phpを許可し、例外ルールにない他のファイルから削除するように、そこにも例外を設定したいと思います。

よろしく

私が試していたテキストファイルに書き込むのに最適なものは何ですか

出力を生成したもの：

きれいに見えるようにコンテンツを適切に配置する方法はありますか:

コンテンツの最長の長さを 1 列目に考慮し、それに応じて 2 列目を配置するようにします。

サイモン・ペイトン・ジョーンズらが執筆した論文を読んでいました。「Playing by the Rules: GHC における実用的な最適化手法としての書き換え」 . 2番目のセクション、つまり「基本的な考え方」で、彼らは次のように書いています。

mapリストの各要素に関数を適用するおなじみの関数を考えてみましょう。Haskell で書くと、map次のようになります。

ここで、コンパイラが の次の呼び出しに遭遇したとしますmap。

この式が

(「.」は関数合成)、中間リストがないため、後者の式が前者よりも効率的であることがわかります。しかし、コンパイラにはそのような知識はありません。

考えられる反論の 1 つは、コンパイラはより賢くあるべきだというものです --- しかし、プログラマは、コンパイラが理解できないことを常に知っています。別の提案は次のとおりです。プログラマーがそのような知識をコンパイラーに直接伝達できるようにします。それが私たちがここで探求する方向です。

私の質問は、コンパイラをよりスマートにできないのはなぜですか? 著者は、「しかし、プログラマーは、コンパイラーが把握できないことを常に知っている」と述べています。map f (map g xs)ただし、コンパイラはが と同等であることを実際に把握できるため、これは有効な答えではありません。そのmap (f . g) xs方法は次のとおりです。

1. map g xsと一体化map f [] = []。

   したがってmap g [] = []。

2. map f (map g []) = map f [].

   map f []と一体化map f [] = []。

   したがってmap f (map g []) = []。

3. map g xsと一体化map f (x:xs) = f x : map f xs。

   したがってmap g (x:xs) = g x : map g xs。

4. map f (map g (x:xs)) = map f (g x : map g xs).

   map f (g x : map g xs)と一体化map f (x:xs) = f x : map f xs。

   したがってmap f (map g (x:xs)) = f (g x) : map f (map g xs)。

したがって、次のルールがあります。

ご覧のとおり、f (g x)ちょうど再帰的に呼び出されています(f . g)。map f (map g xs)これはまさに の定義ですmap (f . g) xs。この自動変換のアルゴリズムはかなり単純なようです。では、ルールを書き換える代わりにこれを実装してみませんか?

私は2つのページを持ってindex.phpおり、書き換えのためpage_detail.phpに次のコードを使用しています:.htaccess

index.php ページでは、URL の書き換えがうまく機能しています。次に移動するとdetail_page.php、すべての href がページ URL の後に次のように表示されます。

最初のページの URL (正常に機能しています):example.com/country/586/3.html

トラブル:example.com/country/586/country/586/3.html

HTML リンク コード:

関係Rle (<=)に関して、 Rplus (+) とRminus (-) の内部で書き直すことができます。これは、両方の二項演算子の両方の位置が固定分散であるためです。

残念ながら、Rmult (*) にはこの特性がありません。分散は、他の被乗数が正か負かによって異なります。Coqが書き換えステップを実行し、被乗数の非負性を証明義務として単純に追加するように、条件付き射を定義することは可能ですか? ありがとう。

少し前に、Web サイトのメタ ファイル用の新しい URL パス プレフィックスの提案を見ました。つまり、すべてをルート レベル ( /robots.txtand など/favicon.ico) に配置する代わりに、与えるプレフィックスがありました。/__something_here__/metafilehere

(ルートレベルではなく) その中に存在する新しいメタファイル全体の /etc を書き換えるときに対処する単一のプレフィックスを与えるという考えです。

その部品がどこにあるのか思い出せず__something_here__、何を探しても手がかりがありません。

nginx を使用するのはこれが初めてで、2 つの問題があります。最初の 1 つは、http://localhost/project を自動的にhttp://localhot/project/en/ にリダイレクトしたいということです。事業。

2 番目の問題: localhost/project/en/ で index.php を見ることができます。つまり、メイン ページを意味しますが、プロジェクトからリダイレクトするたびに、localhost/project/en/people/ や localhost/project/en/ のように 404 が見つかりません。人/記事1

NB：私はdrupalと. ここに私の設定があります: