rewriting

-1熱

2答えて

私は何をしたいのか説明します。 "go there jack"のようなテキストがあり、 "Jack went there"のように書き直したいと思っています。何千もの行に長いテキストがあり、時間が経つにつれて "Jonhに行く"、 "Joeに行く"、 "スミに行く"などのような固定フォーマットがあるとしましょう（これは単なる想像上の例ですが、あまり変わらない）。私はこのようなタスクを自動化する

5熱

2答えて

私は、OSのネットワークスタックにフックすることができますユーザ空間アプリケーションを作成過去を飛んでパケットを盗聴し、その興味のあるものを編集しようとしていますlibnetfilter_queue

を使用してその場でネットワークパケットを書き換える。をずっとグーグルた後、それが表示されます私には、これを（どのプラットフォームでも）行う最も単純な（しかし合理的には頑強な）方法はLinuxのlibnetfilter_queueプロジェクトです。しかし、限定されたofficialのドキュメントの外で、プロジェクトの合理的なドキュメントを見つけるのが難しいです。カーネルnfnetlink_queu

0熱

1答えて

htaccessを書き換え専用私は.htaccessを持つ新しいです、と私はいくつかのことを試してみましたが、それは働いていない

を働いていないリダイレクト.. 私が今持っている：http://localhost/sitecms/page.php?page=asd そして、私が欲しい：http://localhost/sitecms/asd 私はこれを試みた： RewriteEngine On RewriteCond %{SCRIPT_FILENAME} !-d RewriteCond %{SCRIPT_FILENAM

2熱

1答えて

Coqの既存のセトイドとモフィズムを印刷

私はgeneralized rewriting features of Coqを使用しています。書き換えに失敗したときにどのリレーションや関数が欠けているかを理解するために、現在利用可能なセトイドとモチーフをsetoid_rewriteに印刷したいと思います。それを行う方法はありますか？

6熱

2答えて

ビットベクトル演算の決定手順での用語書き換えの使用

私は、固定長ビットベクトル演算の問題を解決/単純化するために用語書き換えを使用することに焦点を合わせたプロジェクトに取り組んでいます。ビットブラストに基づくもののようないくつかの決定手順への前のステップ。書き換えという用語は、まったく問題を解決するか、そうでなければより簡単な同等の問題を生成する可能性があるため、両方の組み合わせによってかなりのスピードアップが生じる可能性があります。多くのSMT

6熱

1答えて

CoqのRmultを使って、Rleを上書きする方法は？関係に関して

はRLE（< =）、Iは内部書き換えることができRplus（+）及びRminus（ - ）は、両方のバイナリ演算子の両方の位置が固定されているので、分散： Require Import Setoid Relation_Definitions Reals. Open Scope R. Add Parametric Relation : R Rle reflexivity proved by

0熱

2答えて

ウェブサイト訪問者からページURLを非表示にする方法は？

ユーザーがwww.mywebsite.com/hello.phpのようなリンクをクリックするたびに、彼のアドレスバーにwww.mywebsite.comが表示されます。私はこのために.htaccessファイルを修正しようとしました。ルールはホームページのために働いた。しかし、リンクをクリックするたびに、そのリンクのPHPページがアドレスバーに表示されます。リンクをクリックした後でも、どのようにペー

1熱

1答えて

ファイルシステムを使用しないPIL画像変換

RAMメモリだけを使用してPILで画像変換/書き換えを行いたいと思います。私はRAMのイメージをバイト単位で持っています。それを他の形式に変換したい、あるいは同じ形式に変換したいと考えています。名前をつけてファイルシステムに保存するのと同じようにできるのは分かっていますが、ファイルシステムに触れることなくRAMを使用するだけです。私は例を見つけませんでした。どんな助けもありがとう！ありがとう！

0熱

2答えて

状態が未知の条件付き書き直し規則

私の理論では、より大きな定義があります。そこから補題を使っていくつかの簡単なプロパティを導き出します。私の問題は、プロパティを導出するための補助定理が簡略化では使用されておらず、手動でインスタンス化する必要があるということです。これをより自動化する方法はありますか？最小限の例を以下に示します。 definition complexFact :: "int ⇒ int ⇒ int ⇒ bool"