データ処理システムにおいて第一入力ストリングを第一正規表現セットにマッチングするための装置であって、前記第一正規表現セットは第一アルファベットからの記号を含み、前記データ処理システムはネットワークを含み、前記装置は、前記第一正規表現セットから第二アルファベットを設定するための解析コンポーネントと、前記解析コンポーネントが前記第二アルファベットを設定するのに応じて、第二正規表現セットおよび第三正規表現セットを設定するための更新コンポーネントであって、前記第二正規表現セットは前記第一アルファベットからの記号を含み、前記第三正規表現セットは前記第二アルファベットからの記号を含む、前記更新コンポーネントと、前記更新コンポーネントが前記第二正規表現セットおよび前記第三正規表現セットを設定するのに応じて、前記第二正規表現セットを第一状態マシンにコンパイルし、前記第三正規表現セットを第二状態マシンにコンパイルするためのコンパイラコンポーネントであって、前記第一状態マシンは少なくとも一つの第一条件付き最終状態を含み、前記第二状態マシンは少なくとも一つの第二条件付き最終状態を含み、各第一条件付き最終状態は少なくとも一つの第二条件付き最終状態に対応している、前記コンパイラコンポーネントと、前記ネットワークから前記第一入力ストリングを受信するための入力コンポーネントであって、前記第一入力ストリングは前記第一アルファベットからの記号を含む、前記入力コンポーネントと、前記入力コンポーネントが前記第一入力ストリングを受信するのに応じて、前記第一入力ストリングを第二入力ストリングに変換するための変換コンポーネントであって、前記第二入力ストリングは前記第二アルファベットからの記号を含む、前記変換コンポーネントと、前記変換コンポーネントが前記第一入力ストリングを変換するのに応じて、前記第一入力ストリングを前記第一状態マシン中に、前記第二入力ストリングを前記第二状態マシン中に、相並行して入力するためのマシンコンポーネントと、前記マシンコンポーネントが前記第一および第二入力ストリングを入力するのに応じて、前記第一条件付き最終状態を前記対応する第二条件付き最終状態と比較するための比較コンポーネントと、前記第一条件付き最終状態と前記対応する第二条件付き最終状態とがマッチングするのに応じ、検証済み結果を提供するためのチェックコンポーネントと、を含む装置。前記装置は、前記チェックコンポーネントが複数の検証済み結果を提供するのに応じて、前記複数の検証済み結果を検証して、完全検証されたマッチを提供するための出力コンポーネントをさらに含む、請求項1に記載の装置。前記第一アルファベットは複数の記号セットを含み、前記解析コンポーネントは、前記記号セットの各々を一つ以上のマップ済み記号にマッピングし、前記記号セットの各々をマッピングするのに応じて、前記第二アルファベットを設定する、ようさらに作動し、前記第二アルファベットは前記マップ済み記号の各々を含む、先行の請求項のいずれかに記載の装置。前記装置は、前記第一正規表現セットを受信するための受信コンポーネントをさらに含み、前記受信コンポーネントが前記第一正規表現セットを受信するのに応じて、前記解析コンポーネントは、前記第一正規表現セットを解析して前記第二アルファベットを設定するようさらに作動する、先行の請求項のいずれかに記載の装置。前記第一状態マシンおよび前記第二状態マシンの少なくとも一つは決定性である、先行の請求項のいずれかに記載の装置。前記第一状態マシンおよび前記第二状態マシンの少なくとも一つは、少なくとも一つの無条件の最終状態を含み、前記装置は、前記少なくとも一つの無条件の最終状態を評定するようさらに作動する、前記比較コンポーネントと、前記少なくとも一つの無条件の最終状態がアクティブであるのに応じ、検証済み結果を提供するための、前記チェックコンポーネントと、をさらに含む、先行の請求項のいずれかに記載の装置。データ処理システムにおいて第一入力ストリングを第一正規表現セットにマッチングさせる方法であって、前記第一正規表現セットは第一アルファベットからの記号を含み、前記データ処理システムはネットワークを含み、前記方法は、前記第一正規表現セットから第二アルファベットを設定するステップと、前記第二アルファベットを設定するのに応じて、第二正規表現セットおよび第三正規表現セットを設定するステップであって、前記第二正規表現セットは前記第一アルファベットからの記号を含み、前記第三正規表現セットは前記第二アルファベットからの記号を含む、前記設定するステップと、前記第二正規表現セットおよび前記第三正規表現セットを設定するのに応じて、前記第二正規表現セットを第一状態マシンにコンパイルし、前記第三正規表現セットを第二状態マシンにコンパイルするステップあって、前記第一状態マシンは少なくとも一つの第一条件付き最終状態を含み、前記第二状態マシンは少なくとも一つの第二条件付き最終状態を含み、各第一条件付き最終状態は少なくとも一つの第二条件付き最終状態に対応している、前記コンパイルするステップと、前記ネットワークから前記第一入力ストリングを受信するステップであって、前記第一入力ストリングは前記第一アルファベットからの記号を含む、前記受信するステップと、前記第一入力ストリングを受信するのに応じて、前記第一入力ストリングを第二入力ストリングに変換するステップであって、前記第二入力ストリングは前記第二アルファベットからの記号を含む、前記変換するステップと、前記第一入力ストリングを変換するのに応じて、前記第一入力ストリングを前記第一状態マシン中に、前記第二入力ストリングを前記第二状態マシン中に、相並行して入力するステップと、前記第一および第二入力ストリングを入力するのに応じ、前記第一条件付き最終状態を前記対応する第二条件付き最終状態と比較するステップと、前記第一条件付き最終状態と前記対応する第二条件付き最終状態とがマッチングするのに応じて、検証済み結果を提供するステップと、を含む、方法。前記方法は、複数の検証済み結果を提供するのに応じて、前記複数の検証済み結果を検証して、完全検証されたマッチを提供するステップをさらに含む、請求項7に記載の方法。前記第一アルファベットは複数の記号セットを含み、前記方法は、前記記号セットの各々を一つ以上のマップ済み記号にマッピングするステップと、前記記号セットの各々をマッピングするのに応じ、前記第二アルファベットを設定するステップと、をさらに含み、前記第二アルファベットは前記マップ済み記号の各々を含む、先行の請求項7または8のいずれかに記載の方法。前記方法は、前記第一正規表現セットを受信するステップと、前記第一正規表現セットを受信するのに応じて、前記第一正規表現セットを解析して前記第二アルファベットを設定するステップと、をさらに含む、請求項7~9のいずれかに記載の方法。前記第一状態マシンおよび前記第二状態マシンの少なくとも一つは決定性である、請求項7~10のいずれかに記載の方法。前記第一状態マシンおよび前記第二状態マシンの少なくとも一つは、少なくとも一つの無条件の最終状態を含み、前記方法は、前記少なくとも一つの無条件の最終状態を評定するステップと、前記少なくとも一つの無条件の最終状態がアクティブであるのに応じ、検証済み結果を提供するステップと、をさらに含む、請求項7~11のいずれかに記載の方法。データ処理システムにおいて第一入力ストリングを第一正規表現セットにマッチングするためのコンピュータプログラム製品であって、前記第一正規表現セットは第一アルファベットからの記号を含み、前記データ処理システムはネットワークを含み、前記コンピュータプログラム製品は、処理回路に可読で、請求項7~12のいずれかに記載の方法を遂行するため前記処理回路による実行のための命令を格納している、コンピュータ可読記憶媒体を含む、コンピュータプログラム製品。コンピュータ可読媒体に格納され、デジタルコンピュータの内部メモリにロード可能なコンピュータプログラムであって、前記プログラムがコンピュータ上で実行されたとき、請求項7~12のいずれかの前記方法を遂行するためのソフトウェアコード部分を含む、コンピュータプログラム。第一入力ストリングを第一正規表現セットにマッチングするためのデータ処理システムを含む装置であって、前記データ処理システムは、プロセッサと、コンピュータプログラムを格納するメモリと、前記コンピュータプログラムを実行するよう構成されたプロセッサと、を含み、前記コンピュータプログラムは、前記第一正規表現セットの少なくとも2つの関係する記号を1つの一意的記号にマッピングするステップと、前記第一入力ストリング中の前記少なくとも2つの関係する記号の各インスタンスを前記一意的記号で置き換えることによって第二入力ストリングを生成するステップと、前記入力ストリング上の第一状態マシンおよび前記第二入力ストリング上の第二状態マシンを作動し、前記第一入力ストリングが前記第一正規表現セットとマッチするかどうかを判定するステップと、を遂行するための命令を含む、装置。前記第一状態マシンは少なくとも一つの第一条件付き最終状態を含み、前記第二状態マシンは少なくとも一つの第二条件付き最終状態を含み、各第一条件付き最終状態は少なくとも一つの第二条件付き最終状態に対応している、請求項15に記載の装置。前記第一状態マシンがある条件付き最終状態にあり、前記第二状態マシンが対応する条件付き最終状態にあるときマッチとして判定される、請求項16に記載の装置。前記第一状態マシンおよび前記第二状態マシンの少なくとも一つは、少なくとも一つの無条件の最終状態をさらに含む、請求項17に記載の装置。ネットワークをさらに含み、前記データ処理システムは前記ネットワークを介して前記第一入力ストリングを受信する、請求項15~18のいずれかに記載の装置。前記第一状態マシンおよび前記第二状態マシンの少なくとも一つは決定性である、請求項15~19のいずれかに記載の装置。前記第一入力ストリングおよび前記第二入力ストリングは、並行してそれぞれ前記第一状態マシンおよび第二状態マシンに入力される、請求項15~20いずれかに記載の装置。前記第二状態マシンは、前記第一正規表現セット中の前記少なくとも2つの関係する記号の各インスタンスを前記一意的記号で置き換えることによって生成された第二表現セットから構築される、請求項15~21のいずれかに記載の装置。前記第一状態マシンは、前記第一表現セットの少なくとも一つの表現を書き換えて、前記少なくとも一つの表現の状態の複雑性を低減することによって生成された第三表現セットから構築される、請求項22に記載の装置。前記第一正規表現セットの正規表現が、閉包演算子、反復演算子、または任意演算子を含む場合、前記第一正規表現セットは、前記第一正規表現セットと等価であるが前記演算子を除去した前記第三正規表現セットで置き換えられる、請求項23に記載の装置。データ処理システムにおいて第一入力ストリングを第一正規表現セットにマッチングする方法であって、前記方法は、前記データ処理システムによって、前記第一正規表現セット中に表現されたオーバーラップのない記号セットの最小セットを判定するステップと、前記データ処理システムによって、前記オーバーラップのない記号セットを新規記号群にそれぞれマッピングするステップと、前記データ処理システムによって、前記第一正規表現セットを書き換え、状態マシンの複雑性をもたらすコンポーネントを除去することにより、第二正規表現セットを生成するステップと、前記データ処理システムによって、前記第一正規表現セットの表現中の記号セットを前記対応する新規記号群で置き換えることにより、第三正規表現セットを生成するステップと、前記データ処理システムによって、前記第二正規表現セットから構築された第一状態マシンおよび前記第三正規表現セットから構築された第二状態マシンを用いて、前記第一入力ストリングが前記第一正規表現とマッチするかどうかを判定するステップと、を含む方法。前記第一正規表現セットの正規表現が、閉包演算子、反復演算子、または任意演算子を含む場合、前記書き換えるステップは、前記第一正規表現セットを、前記第一正規表現セットと等価であるが前記演算子を除去した前記第三正規表現で置き換えるステップを含む、請求項25に記載の方法。前記オーバーラップのない記号セットの少なくとも一つは、少なくとも2つのアルファベット文字だけを含む、請求項25または26のいずれかに記載の方法。前記オーバーラップのない記号セットの少なくとも一つは、少なくとも2つの数字だけを含む、請求項25~27のいずれかに記載の方法。前記第一入力ストリングが前記第一正規表現とマッチするかどうかを前記判定するステップは、前記第一入力ストリングの表現中の記号セットを前記対応する新規記号で置き換えることによって第二入力ストリングを生成するステップと、前記第一入力ストリング上で前記第一状態マシンを作動するステップと、前記第二入力ストリング上で前記第二状態マシンを作動するステップと、前記第一状態マシンおよび前記第二状態マシンの出力に基づいてマッチを判定するステップと、を含む、請求項25~28のいずれかに記載の方法。前記マッチを判定するステップは、前記第一状態マシンにより出力された状態が最終状態で、前記第二状態マシンにより出力された状態が対応する最終状態であるとき、マッチを表示するステップを含む、請求項29に記載の方法。前記マッチを判定するステップは、前記第一および第二状態マシンの一つにより出力された状態が初期状態のとき、非マッチを表示する、請求項29に記載の方法。前記最終状態は条件付きかまたは無条件かのいずれかである、請求項30に記載の方法。前記第一入力ストリングは、ネットワークを介し前記データ処理システムによって受信される、請求項25~32のいずれかに記載の方法。前記第一状態マシンおよび前記第二状態マシンの少なくとも一つは決定性である、請求項25~33のいずれかに記載の方法。前記第一入力ストリングおよび前記第二入力ストリングは、並行してそれぞれ前記第一状態マシンおよび第二状態マシンに入力される、請求項25~34のいずれかに記載の方法。第一入力ストリングを第一正規表現セットにマッチングさせるためのコンピュータプログラム製品であって、前記コンピュータプログラム製品は、内部に具現されたコンピュータ可読プログラムコードを有するコンピュータ可読記憶媒体を含み、前記コンピュータ可読プログラムコードは、前記第一正規表現セットの少なくとも2つの関係する記号を1つの一意的記号にマップし、前記第一入力ストリング中の前記少なくとも2つの関係する記号の各インスタンスを前記一意的記号で置き換えることによって第二入力ストリングを生成し、前記入力ストリング上の第一状態マシンおよび前記第二入力ストリング上の第二状態マシンを作動して、前記第一入力ストリングが前記第一正規表現セットとマッチするかどうかを判定するよう構成されたコンピュータ可読プログラムコードを含む、コンピュータプログラム製品。前記第一状態マシンは、前記第一正規表現セットを書き換えて、状態マシンの複雑性をもたらすコンポーネントを除去することによって生成された第二正規表現セットから構築され、前記第二状態マシンは、前記第一正規表現セットの表現中の前記少なくとも2つの関係する記号を前記一意的記号で置き換えることによって生成された第三正規表現セットから構築される、請求項36に記載のコンピュータプログラム製品。前記第一状態マシンおよび前記第二状態マシンの少なくとも一つは決定性である、請求項37に記載のコンピュータプログラム製品。これらの困難を克服しマッチングの速度を得るために、何人かの研究者が、各々異なった方向からこの問題にアプローチした。問題に取り組むための技法の例には、DFAまたはNFAマッチング状態を圧縮するメカニズム、DFAまたはNFAをシミュレートする際にビットレベルの並列処理を使うメカニズム、簡略化フォーマリズムを使い状態の激増を制御するため、使用する演算子を減らすこと、状態の激増を制御するためマッチのセマンティクスの修正例えば、最短のストリングだけのマッチング、またはクリーネ閉包内の表現のマッチングは除外する、状態の激増を制御下に保つため、正規表現セットを異なるサブセットに区分化するおよび複数の並列状態マシンを得ること、より多くの情報をグラフ中に符号化しスペースの必要性を低減するためのDFAフォーマリズムの修正例えば、遅延入力のDFA、DFAを高速部分と低速部分に区分し、高速部分は正規表現の開始部をマッチさせ、最終的には低速部分を起動させるようにすること二分パターンマッチングとしても知られる、DFAにマッチ履歴を追加し、DFAエッジ上の状態履歴の使用を可能にすること履歴ベースのDFAH-FA:HistoryBasedDFA、および履歴ベースのDFAにカウンターを追加し、認識した記号の数に基づく状態履歴を可能にすること履歴ベースカウンティングDFAH-cFA:HistorybasedCountingDFA、がある。上記のとおり、前述の問題を解決することが当該技術分野で求められている。第一態様から見ると、本発明は、請求項1による、データ処理システムにおいて第一入力ストリングを第一正規表現セットにマッチングするための装置を提供する。望ましくは、本発明は、チェックコンポーネントが複数の検証済み結果を提供するのに応じて、複数の検証済み結果を検証し、完全検証されたマッチを提供するための出力コンポーネントをさらに含む装置を提供する。望ましくは、本発明は、第一アルファベットが複数の記号セットを含み、解析コンポーネントが、記号セットの各々を一つ以上のマップ済み記号にマッピングし、記号セットの各々をマッピングするのに応じて第二アルファベットを設定するようさらに作動し、第二アルファベットはマップ済み記号の各々を含む、装置を提供する。望ましくは、本発明は装置を提供し、該装置は、第一正規表現セットを受信するための受信コンポーネントをさらに含み、受信コンポーネントが第一正規表現セットを受信するのに応じ、解析コンポーネントは第一正規表現セットを解析し第二アルファベットを設定するようさらに作動する。望ましくは、本発明は、第一状態マシンおよび第二状態マシンの少なくとも一つが決定性である装置を提供する。望ましくは、本発明は、第一状態マシンおよび第二状態マシンの少なくとも一つが少なくとも一つの無条件の最終状態をさらに含む装置を提供し、該装置は、該少なくとも一つの無条件の最終状態を評定するようさらに作動する比較コンポーネントと、該少なくとも一つの無条件の最終状態がアクティブであるのに応じて、検証済み結果を提供するためのチェックコンポーネントと、をさらに含む。さらなる態様から見ると、本発明は、請求項7による、データ処理システムにおいて第一入力ストリングを第一正規表現セットにマッチングさせる方法を提供する。望ましくは、本発明は方法を提供し、該方法は、複数の検証済み結果を提供するのに応じて、該複数の検証済み結果を検証して完全検証されたマッチを提供するステップをさらに含む。望ましくは、本発明は、第一アルファベットが複数の記号セットを含む方法を提供し、該方法は、記号セットの各々を一つ以上のマップ済み記号にマッピングするステップと、記号セットの各々をマッピングするのに応じて第二アルファベットを設定するステップとをさらに含み、第二アルファベットはマップ済み記号の各々を含む。望ましくは、本発明は方法を提供し、該方法は、第一正規表現セットを受信するステップと、第一正規表現セットを受信するのに応じて第一正規表現セットを解析し第二アルファベットを設定するステップとをさらに含む。望ましくは、本発明は、第一状態マシンおよび第二状態マシンの少なくとも一つが決定性である方法を提供する。望ましくは、本発明は、第一状態マシンおよび第二状態マシンの少なくとも一つが少なくとも一つの無条件の最終状態をさらに含む方法を提供し、該方法は、該少なくとも一つの無条件の最終状態を評定するステップと、少なくとも一つの無条件の最終状態がアクティブであるのに応じて、検証済み結果を提供するステップとをさらに含む。さらなる態様から見ると、本発明は、データ処理システムにおいて第一入力ストリングを第一正規表現セットにマッチングするためのコンピュータプログラム製品を提供し、第一正規表現セットは第一アルファベットからの記号を含み、データ処理システムはネットワークを含み、コンピュータプログラム製品は、処理回路に可読で、該処理回路が本発明のステップを履行する方法を実施するため実行する命令を格納する、コンピュータ可読記憶媒体を含む。さらなる態様から見ると、本発明は、コンピュータ可読媒体に格納され、デジタルコンピュータの内部メモリにロード可能なコンピュータプログラムであって、前記プログラムがコンピュータ上で実行されたとき本発明のステップを遂行するためのソフトウェアコード部分を含む、コンピュータプログラムを提供する。さらなる態様から見ると、本発明は、第一入力ストリングを第一正規表現セットにマッチングするための装置を提供する。データ処理システムは、プロセッサと、コンピュータプログラムを格納するメモリと、該コンピュータプログラムを実行するよう構成されたプロセッサとを含む。該コンピュータプログラムは、第一正規表現セットの少なくとも2つの関係する記号を1つの一意的記号にマッピングするステップと、第一入力ストリング中の少なくとも2つの関係する記号の各インスタンスを1つの一意的記号で代替することによって第二入力ストリングを生成するステップと、入力ストリング上の第一状態マシンおよび第二入力ストリング上の第二状態マシンを作動し、第一入力ストリングが第一正規表現セットにマッチするかどうかを判定するステップと、を遂行するための命令を含む。第一状態マシンは少なくとも一つの第一条件付き最終状態を含み得、第二状態マシンは少なくとも一つの第二条件付き最終状態を含み得て、各第一条件付き最終状態は少なくとも一つの第二最終状態に対応し得る。第一状態マシンがある条件付き最終状態であり、第二状態マシンが対応する条件付き最終状態であるとき、マッチを判定することができる。第一状態マシンおよび第二状態マシンの少なくとも一つは、少なくとも一つの無条件の最終状態をさらに含み得る。上記装置には、ネットワークをさらに含めることができ、データ処理システムはネットワークを介して第一入力ストリングを受信する。第一状態マシンおよび第二状態マシンの少なくとも一つは決定性とすることができる。第一入力ストリングおよび第二入力ストリングは、それぞれ、第一状態マシンおよび第二状態マシンに並行して入力することができる。第二状態マシンは、第一正規表現セット中の少なくとも2つの関係する記号の各インスタンスを一意的記号で代替することによって生成された第二表現セットから構築することができる。第一状態マシンは、第一表現セットの少なくとも一つの表現を書き換えて該少なくとも一つの表現の状態の数を減らすことによって生成された、第三表現から構築することができる。第一正規表現セット中のある正規表現が、閉包演算子、反復演算子、または任意演算子を含む場合、第一正規表現セットは、第一正規表現セットと等価であるがこれら演算子を除いた第三正規表現セットで置き換えることができる。さらなる態様から見ると、本発明は、本発明の例示的な実施形態による、データ処理システムにおいて第一入力ストリングを第一正規表現セットにマッチングする方法を提供し、該方法は、第一正規表現セット中に表現されたオーバーラップのない記号セットの最小のセットを判定するステップと、該オーバーラップのない記号セットをそれぞれ新しい記号群にマッピングするステップと、第一正規表現セットを書き換え、状態マシンの複雑性の原因となるコンポーネントを除去することによって第二正規表現セットを生成するステップと、第一正規表現の表現中の記号セットを対応する新規記号で置き換えることによって第三正規表現セットを生成するステップと、第二正規表現セットから構築された第一状態マシンおよび第三正規表現セットから構築された第二状態マシンを使って、第一入力ストリングが第一正規表現とマッチするかどうかを判定するステップと、を含む。最終状態は、条件付きまたは無条件のいずれかであり得る。オーバーラップのない記号セットの少なくとも一つは、少なくとも2つのアルファベット文字だけを含み得、またはオーバーラップのない記号セットの少なくとも一つは、少なくとも2つの数字だけを含見得る。第一入力ストリングは、ネットワークを介しデータ処理システムによって受信することができる。第一状態マシンおよび第二状態マシンの少なくとも一つは決定性とすることができる。第一入力ストリングおよび第二入力ストリングは、それぞれ並行して第一状態マシンおよび第二状態マシンに入力することができる。第一入力ストリングが第一正規表現にマッチするかどうかを判定するステップには、第一入力ストリングの表現中の記号セットを対応する新規記号で置き換えて第二入力ストリングを生成するステップと、第一入力ストリング上の第一状態マシンを作動するステップと、第二入力ストリング上の第二状態マシンを作動するステップと、第一状態マシンおよび第二状態マシンの出力に基づいてマッチを判定するステップと、を含めることができる。マッチを判定するステップには、第一状態マシンにより出力された状態が最終状態であり、第二状態マシンにより出力された状態が対応する最終状態であるとき、マッチを表示するステップを含めることができる。マッチを判定するステップには、第一または第二状態マシンにより出力された状態が初期状態であるとき、非マッチを判定するステップを含めることができる。単なる例示として、添付の図面に図示された好適な実施形態を参照しながら、以降に本発明を説明する。本明細書で説明するシステムおよび方法は、さまざまな形態のハードウェア、ソフトウェア、ファームウェア、特殊用途処理装置、またはこれらの組み合わせに実装可能なことを理解すべきである。具体的には、望ましくは、本発明の少なくとも一部は、一つ以上のコンピュータ可読媒体すなわち、ハードディスク、磁気フレキシブルディスク、RAM、ROM、CD-ROMなど、プロセッサ、メモリ、および入力/出力インタフェースを有する汎用デジタルコンピュータなどの適切なアーキテクチャを含む任意のデバイスまたはマシンによって実行可能なプログラム記憶デバイスに有形に具現されたプログラム命令を含むアプリケーションとして実装される。添付の図面に示されたシステム構成コンポーネントおよびプロセスステップの一部は、望ましくはソフトウェアに実装されるので、システムモジュールまたは方法ステップのロジックフロー間の接続が、本発明をプログラムする仕方の如何によっては異なり得ることもさらに理解すべきである。本明細書の教示を受けて、当業者は、本発明のこれらのまたは類似の実装を考案することができよう。当業者ならよく理解するであろうように、本発明の態様は、システム、方法、またはコンピュータプログラム製品として具現することができる。従って、本発明の態様は、全体がハードウェアの実施形態、全体がソフトウェアの実施形態ファームウェア、常駐ソフトウェア、マイクロコードなどを含む、あるいは、本明細書では全て概して回路、モジュール、またはシステムといわれることもある、ソフトウェアおよびハードウェア態様を組み合わせた実施形態の形を取ることができる。さらに、本発明の態様は、内部に具体化されたコンピュータ可読プログラムコードを有する一つ以上のコンピュータ可読媒体群中に具現されたコンピュータプログラム製品の形を取ることもできる。一つ以上のコンピュータ可読媒体群の任意の組み合わせを用いることができる。コンピュータ可読媒体はコンピュータ可読記憶媒体とすることができる。コンピュータ可読記憶媒体は、例えば、以下に限らないが、電子的、磁気的、光学的、電磁気的、赤外的な、または半導体の、システム、装置、もしくはデバイス、あるいはこれらの任意の適切な組み合わせとすることができる。コンピュータ可読記憶媒体のさらに具体的な例非包括的リストには、一つ以上の配線を有する電気接続、ポータブルコンピュータディスケット、ハードディスク、ランダムアクセスメモリRAM:randomaccessmemory、読み取り専用メモリROM:read-onlymemory、消去可能プログラム可能読み取り専用メモリEPROMerasableprogrammableread-onlymemoryまたはフラッシュメモリ、光ファイバ、ポータブルコンパクトディスク読み取り専用メモリCD-ROM:compactdiscread-onlymemory、光記憶デバイス、磁気記憶デバイス、またはこれらの任意の適切な組み合わせが含まれよう。本文書の文脈において、コンピュータ可読記憶媒体は、命令実行システム、装置、またはデバイスによってまたはこれらに関連させて使用するためのプログラムを、包含または格納できる任意の有形媒体とすることができる。コンピュータ可読媒体中に具現されたプログラムコードは、以下に限らないが、無線、有線、光ファイバケーブル、RFなど、またはこれらの任意の適した組み合わせを含め、任意の適切な媒体を用いて送信することができる。本発明の態様のオペレーションを実行するためのコンピュータプログラムコードは、JavaR、SmalltalkR、Cなどのオブジェクト指向プログラミング言語、および、Cプログラミング言語または類似のプログラミング言語などの従来式手続き型プログラミング言語を含め、一つ以上のプログラミング言語の任意の組み合せで記述することができる。このプログラムコードは、スタンドアロンソフトウェアパッケージとして、完全にユーザのコンピュータ上で、部分的にユーザのコンピュータ上で実行することも、部分的にユーザのコンピュータ上で且つ部分的に遠隔コンピュータ上で実行することも、または完全に遠隔コンピュータまたはサーバ上で実行することもできる。後者のシナリオでは、ローカルエリアネットワークLAN:localareanetworkまたは広域ネットワークWAN:wideareanetworkを含む任意の種類のネットワークを介して、遠隔コンピュータをユーザのコンピュータに接続することができ、あるいは例えばインターネットサービスプロバイダを使いインターネットを介し外部のコンピュータへの接続を行うことができる。本発明の実施形態による方法、装置システムおよびコンピュータプログラム製品のフローチャート図もしくはブロック図またはその両方を参照しながら、本発明の態様を以下に説明する。フローチャート図もしくはブロック図またはその両方の各ブロック、および、フローチャート図もしくはブロック図またはその両方中のブロックの組み合せは、コンピュータプログラム命令によって実行可能であることが理解されよう。これらのコンピュータプログラム命令を、汎用コンピュータ、特殊用途コンピュータ、またはマシンを形成する他のプログラム可能データ処理装置のプロセッサに供給し、この命令がコンピュータまたは他のプログラム可能データ処理装置のプロセッサにより実行されて、フローチャートもしくはブロック図またはその両方のブロックまたはブロック群中に規定された機能群/処理群を実施するための手段を生成するようにすることができる。また、コンピュータ、他のプログラム可能データ処理装置、または他のデバイスに対し特定の形で機能するよう命令できるこれらのコンピュータプログラム命令は、コンピュータ可読媒体に格納され、そのコンピュータ可読媒体に格納された命令が、フローチャートもしくはブロック図またはその両方のブロックまたはブロック群中に規定された機能/処理を実施する命令群を包含する製造品を形成するようにすることができる。さらに、コンピュータプログラム命令を、コンピュータ、他のプログラム可能データ処理装置、または他のデバイスにロードして、これらコンピュータ、他のプログラム可能装置、または他のデバイス上で一連のオペレーションステップを実行させてコンピュータに実装されるプロセスを生成し、これらコンピュータまたは他のプログラム可能装置で実行されるこれらの命令が、フローチャートもしくはブロック図またはその両方のブロックまたはブロック群中に規定された機能群/処理群を実装するためのプロセスを提供するようにすることもできる。図中のフローチャートおよびブロック図は、本発明のさまざまな実施形態による、システム、方法、およびコンピュータプログラム製品の考えられる実装のアーキテクチャ、機能、およびオペレーションを例示している。この点に関し、フローチャートまたはブロック図中の各ブロックは、所定の論理機能群を実装するための一つ以上の実行可能命令を含む、モジュール、セグメント、またはコードの部分を表し得る。また、一部の別の実装においては、ブロック中に記載された機能が、図に記載された順序を外れて行われることがあり得ることにも留意すべきである。例えば、連続して示された2つのブロックが、実際にはほぼ同時に実行されることがあり、関与する機能によっては、時には、これらブロックが逆の順序で実行されることもあり得る。さらに、ブロック図もしくはフローチャート図またはその両方の各ブロック、およびブロック図もしくはフローチャート図またはその両方中のブロックの組み合わせは、特定の機能または処理を実施する、特殊用途のハードウェアベースのシステム、または特殊用途のハードウェアとコンピュータ命令との組み合わせによって実装可能なことにも留意すべきである。図1は、本発明の例示的な実施形態が実装可能なデータ処理システム100を表すブロック図である。データ処理システム100の一例はインターネットである。クライアントアプリケーション130はデータ処理システム100上で動作可能であり、該システムは、ワークステーション120、サーバ150および152を含む。ワークステーション120とこれらサーバとはネットワーク114を介して接続可能であり、このネットワークには有線ネットワーク110を含めることができる。サーバ152はネームサーバ152とすることができ、これもネットワーク114に接続可能である。ネームサーバ152は、統一資源位置指定子URL:uniformresourcelocatorをインターネットプロトコルIP:InternetProtocolアドレスに変換する。クライアントアプリケーション130は、サーバ150で動作可能なサーバアプリケーション160からメッセージ140例、eメールを受信する。メッセージ140は、シグネチャとなるストリングを含むウイルスを包含することがある。クライアントアプリケーション130は、メッセージ140を解析し、メッセージ140のストリングを既知のウイルスシグネチャと比較する。この比較は、ストリングを、シグネチャを表す正規表現regexにマッチングさせることによって行うことができる。図2は、例示的な状態マシンシステム200を表すブロック図である。状態マシン220は、正規表現regexA[a-z]Cを表現する。このregexは文字A、その後に任意の小文字a-z、それに続く文字Cを表す。状態マシンシステム200は、例えば、ネットワーク114を介して受信した入力ストリング205をこのregexと比較する。入力ストリング205は、状態マシンシステム200の入力コンポーネント210に、1記号ずつ入力される。状態マシン220は、4つの状態、すなわち、初期状態S-INIT-1、第二状態S-A、第三状態S-b、および第四状態S-FINALを含む。状態マシン220は、どの文字でも受け入れる。最初は、状態マシン220は状態S-INIT-1にある。状態マシン220が状態S-INTI-1にあるとき、次の入力がAなら状態は状態S-Aに移行するが、次の入力がA以外であれば状態は状態S-INTI-1のままである。状態S-Aにおいて、次の入力が小文字なら状態は状態S-bに移行するが、次の入力が小文字以外であれば状態は状態S-INTI-1に逆行する。状態S-bにおいて、次の入力がCなら状態は状態S-FINALに移行するが、次の入力がC以外であれば状態は状態S-INTI-1に逆行する。状態の間の標識された矢印線は、標識に示された入力文字符号に対する状態間の遷移を表す。状態S-INIT-1への逆行する遷移は不一致と定義される。出力コンポーネント230は、状態マシン220が最終状態S-FINALにあるかどうかをチェックする。例えば、AbCの入力ストリング205が状態マシン220に入力された後では、状態マシンは状態S-FINALになることになる。しかして、出力コンポーネント230は、一致結果235を出力して、マッチがあることを示す。また一方、XYZの入力ストリング205が状態マシン220に入力された後では、状態マシンはS-INIT-1状態になることになる。しかして、出力コンポーネント230は不一致結果235を出力して、マッチがなかったことを示す。別の例では、アルファベットに一桁の数字を入れて拡張されることもあろう。より複雑な正規表現は、任意のマッチングストリングを表すための閉包演算子を含む。例えばの閉包演算子は、存在ゼロを最小として、先行する変数の任意の数の存在を表す。従って、AC、AbCAbbCの入力ストリング205は、全てregexA[a-z]Cにマッチする。プラスの閉包演算子は、存在1を最小として、先行する変数の任意の数の存在を表す。従って、AbCAbbCの入力ストリング205は、全てregexA[a-z]Cにマッチするが、ACの入力ストリング205はマッチしない。しかしながら、[a-z]の文字セットは、特になどの演算子が伴う場合、対応する状態マシンの複雑性を増大する。また、regexにはキーワードおよびアンカー演算子を含めることができる。キーワードは、例えば、printなど、プログラミング言語に対し、全体としての意味を有する。複数の正規表現は、正規表現のセットに組み合わせ、入力ストリングがそのセットを構成する正規表現のいずれにもマッチ可能になるようにできる。正規表現群には、ある範囲またはある限定された範囲の相異なる文字符号セットを含めことができる。例えば、テキストを解析するための表現には、通常、数字、小文字、大文字、句読記号などのセット、およびこれらのセットの組み合わせが使われる。図3を、図4、図5、図6、およびと図7と併せて以下に説明する。図3は、本発明の例示的な実施形態による、入力ストリング440を正規表現セット405にマッチングさせるため遂行されるオペレーションの方法ステップを表す、例示的なハイレベルでの流れ図300である。この方法ステップは、装置408によって遂行することができる。入力ストリング440は、ネットワーク114を介し受信でき、またはローカルメモリなどからロードすることができる。図4は、本発明の例示的な実施形態による装置408を表すブロック図400である。図5は、本発明の例示的な実施形態による、装置408の変換コンポーネント410を表すブロック図500である。図6は、本発明の例示的な実施形態による、装置408の検索コンポーネント450を表すブロック図600である。図7は、本発明の例示的な実施形態による状態マシンのブロック図700である。図3は、論理フローチャート図として説明する。しかして、示された順序および表示されたステップは、本発明の方法の少なくとも一つの例示的な実施形態を表している。しかしながら、図解された方法の一つ以上のステップまたはその部分の機能、ロジックまたは効果と同等な、他のステップおよび方法を考案することもできる。さらに、用いられているフォーマットおよび記号は、本方法の論理的ステップを説明するため提示にされたものであり、本方法の範囲を限定するものでないことが理解される。以下の例を用いて本発明の例示的な実施形態を説明する。この例において、初期正規表現セット405は、Alpha[A-Z]betaの第一正規表現初期ストリング_1、およびGAMMA[0-9A-Z]deltaの第二正規表現初期ストリング_2を含む。初期正規表現セット405は、第一アルファベットからの記号を含む。例えば、第一アルファベットは、小文字a~z、大文字A~Z、および数字0~9を含み得る。この例をさらに説明すると、2つの他の入力ストリング440を想定し、これはGAMMA2delTAの第一初期ストリング_1と、SALVE7delTAの第二初期ストリング_2とを含む。本方法はステップ301から開始される。ステップ305で、変換コンポーネント410の受信コンポーネント506が初期正規表現セット405を受信する。ステップ316で、解析コンポーネント515は、初期正規表現セット405中に使われている第一アルファベットの記号例えば、A、9、eなどを調べ、初期正規表現セット405を解析して、初期正規表現セット405中に表現されているオーバーラップのない記号セットの最小セットを判定する。例えば、初期正規表現セット405中の全ての使用記号セットを分解し、各記号セットを他のあらゆる記号セットと交差させて、全ての可能な入力記号を表わせるオーバーラップのない記号セットを判定することによって解析が行われる。この例では、必要なオーバーラップのない記号セットはa-z、A-Zおよび0-9として識別される。次いで、このオーバーラップのない記号セットは、3つの新しい記号[例、α、β、およびγ]にマップされ、A-Zがαにマップされ、a-zがβにマップされ、0-9がγにマップされる。記号セットアルファベットアルファベット_2418が定義され、これは第一アルファベットの使用された記号セットを表す新規記号を含む。ステップ318で、更新コンポーネント516が、初期正規表現セット405を2つの等価な正規表現、REGEX_2517およびREGEX_3518として書き換える。表現セットREGEX_2517は、状態マシンの複雑性を生成するコンポーネント例えば、閉包演算子および、任意演算子、および反復演算子{n;m}が除去された、第一アルファベットの記号を使った初期正規表現セット405を含む。任意演算子は、サブ表現が任意であることを示し、反復演算子{n;m}は、サブ表現が最少n回、最多m回存在しなければならないことを規定する。どちらの数字も省略することができ、この場合nもmも制限のない状態にデフォルトされる。従って、表現セットREGEX_2は、Alphaの第一正規表現、betaの第二正規表現、GAMMA[0-9A-Z]の第三正規表現、およびdelTAの第四正規表現となる。表現セットREGEX_2517は、マッチの対象の入力ストリング440の細部を表すキーワード、アンカー、および簡単な正規表現だけを含む。表現セットREGEX_3518は、アルファベット_2418を使って書き換えられた初期正規表現セット405を含む。表現セットREGEX_3は、アルファベット_2418によって定義されており、元の表現の全体的構造を表している、より長い、しかしそれでも簡単な表現を含む。アルファベット_2418のサイズは非常に小さい。というのは、実際上の正規表現セットは、通常、多い少ないはあるが大文字、小文字、数字、句読記号など文字符号の同じ組み合わせを用いるからである。従って、表現セットREGEX_3518は、αββββαββββの第一正規表現、およびααααα[γα]βββααの第二正規表現となる。ステップ320で、第一DFAコンパイラ520DFA_1というは、表現セットREGEX_2517をコンパイルして、第一状態マシン655DFA1というを生成する。第一状態マシンDFA1は、簡単な正規表現およびキーワードに対してだけ作動することができる。第二DFAコンパイラ525DFA_2というは、表現セットREGEX_3518をコンパイルして、第二状態マシン660DFA2というを生成する。第二状態マシンDFA2は、アルファベット_2418に対してだけ作動することができる。入力ストリング440が正規表現セット405とマッチするためには、入力ストリング440は、正規表現セット405の全体的構造はもとより、そのキーワード、アンカー、および簡単な正規表現がマッチしなければならない。従って、第一状態マシンDFA1655の中の状態は、個別の表現の細部を、それらが初期正規表現405の文脈内に現れる場合にだけ認識するような仕方で、第二状態マシンDFA2660の中の状態と相関する。図7は、例示的な、相関している第一および第二状態マシンDFA1655およびDFA2660を表す。状態S1はDFA1655の初期状態を表す。状態S22はDFA2660の初期状態を表す。DFA1655の中の状態F5、F10、F15、およびF21は、第一条件付き最終状態を表す。DFA2660の中の状態F28、F33、F39、F43、F47、F51、およびF57は、第二条件付き最終状態を表す。DFA1655中の第一条件付き最終状態は、DFA2660中の一つ以上の第二条件付き最終状態と相関している。例えば、第一条件付き最終状態F5は、第二条件付き最終状態F47、F51、およびF57と相関している。簡明化のため、初期状態と条件付き最終状態だけに番号を付してある。同様に簡明化のため、不一致の遷移を、1つだけ状態16と状態S1との間に示している。条件付き最終状態は、状態のファイナリティが関連する状態マシン中のそれに対応するファイナリティに条件付けられているので条件付きといわれる。条件付き最終状態だけが、2つの状態マシンDFA1655、DFA2660に亘って相関付けられる。条件付き最終状態と対照的に、2つの状態マシンにおける無条件の最終状態の間に関係はない。図7には、無条件の最終状態は一切示されていない。ステップ330において、検索コンポーネント450の入力コンポーネント634は、例えば、ネットワーク114から初期ストリング440を受信する。ステップ332で、変換コンポーネント635は、アルファベット_2418を使って、初期ストリング440を第二ストリングstring_2652に変換する。例えば、GAMMA2delTAの第一初期入力ストリング440は、αααααγβββααに変換され、SALVE7delTAの第二初期入力ストリング440もαααααγβββααに変換される。ステップ334で、ストリング_2652が、入力_2コンポーネント650を介して状態マシンDFA2660に入力されるのと並行して、初期ストリング440が、入力1コンポーネント645を介して状態マシンDFA1655に入力される。初期ストリング440およびストリング_2652は、1記号ずつ全記号が入力されるまで入力される。マッチングに達した一切の条件付き最終状態は、チェックコンポーネント665によって検証されてから記録される。ステップ336で、検証された結果および到達した一切の他の最終状態例えば、少なくとも別の実施形態において、状態マシンは無条件の最終状態を含み得ようは、チェックコンポーネント665によって、チェックされ照合される。結果は、出力コンポーネント465によって出力される。初期ストリング_1440の例を用いれば、GAMMA2delTA440およびαααααγβββαα652の記号は、それぞれ並行してDFA1655とDFA2660とに1記号ずつ入力される。GAMMA2およびαααααγの記号が入力された後、それぞれ条件付き最終状態F21およびF28に到達し、検証された結果がもたらされ、最終チェックコンポーネント665によってそれが記録される。引き続き、delTAおよびβββααの記号が入力された後、条件付き最終状態F15およびF33に到達する。F21とF28との相関、およびF51とF33との相関の両方が取れたので、出力コンポーネント465によって一致結果が出力される。また一方、初期ストリング_2440の例を用いれば、SALVE7delTA440およびαααααγβββαα652の記号は、それぞれ並行してDFA1655とDFA2660とに1記号ずつ入力される。SALVE7およびαααααγの記号が入力された後、それぞれ最終状態S1およびF28に達する。例えば、SALVE7のSは、状態S1後の第一状態のいずれにも対応しない。S1とF28とは相関する状態でなく、従って、最終チェックコンポーネント665によって検証された結果は記録されない。引き続き、delTAおよびβββααの記号が入力された後、条件付き最終状態F15およびF33に達する。F15とF33とは互いに相関するが、他方の検証済み結果が記録されていなかったので、従い、出力コンポーネント465によって不一致結果が出力される。ステップ345で、最終結果が出力コンポーネント465によって出力される。本方法はステップ399で終了する。少なくとも一つの例示的実施形態において、状態マシン660および655は決定性有限状態オートマトンDFAである。少なくとも一つの別の例示的実施形態において、状態マシン660および655は非決定性有限状態オートマトンNFA、またはDFAとNFAとの組み合わせである。少なくとも一つの例示的実施形態において、任意のDFA実装を、前述の分解方策のための下支えとして用いることができる。例えば、キーワードグラフ決定性オートマトン、ハードウェアBFSM実装、あるいは従来式のDFAであっても使用が可能である。本発明の少なくとも一つの例示的な実施形態において、初期正規表現セット405は、第一アルファベットとさらなる複数のアルファベット_2418とを含む、2より多い状態マシン660、655に分解される。初期ストリング440は、アルファベット_2群418を使って変換されストリング_2群652が設けられた後、2より多い状態マシン660および655によって処理される。別の例示的な実施形態において、初期正規表現セット405は、全体として解釈されるキーワードを含む。このキーワードは、文字符号の記号で構成されるものでなく、かかるキーワードは、記号マッピングを使って第二状態マシンに変換できないので、第一状態マシンDFA1655に出現する。また一方、[0-9][0-9][0-9]など文字符号の記号だけで形成されているキーワードは、かかるキーワードは、そのキーワードがマップされた記号セットを用いて変換されてしまえば非常にコンパクトな形で表すことができるので、第二状態マシンDFA2600に出現する。反面、第一状態マシンDFA1655中への、文字符号の記号だけで形成されているキーワードの包含は、第一状態マシンDFA1655中に状態爆発をもたらす。コンパクトな状態マシンが必要とするメモリリソースは、より多くの状態を有する状態マシンよりも少ない。キーワードは、状態マシンDFA1655およびDFA2660中に無条件の最終状態をもたらす。少なくとも一つの例示的な実施形態において、記号セットは複数のマップ済み記号セットにマップされる。例えば、[A-Z]がαにマップされ、[a-z]がβにマップされる場合、[A-Za-z]はαβ上にマップされる。前述した状態マシンの複雑性の除去には、正規表現セットの表現を、一つ以上の閉包演算子、、任意演算子または反復演算子{n;m}を除外した等価な表現に書き換えるステップを含めることができる。プラスの閉包演算子は閉包演算子を使って書き換えることができる。例えば、正規表現<ABC>は<ABBC>として書き換えられる。任意演算子は、演算子の組み合わせ拡張によって書き換えた後、全ての冗長表現を削除することができる。さらに、反復演算子{n;m}は、正規表現を拡張し、全ての非制限反復を置き換えてその終端部に閉包演算子を挿入することによって書き換えることができる。例えば、<AB{3;5}C>の正規表現は、<ABBBCABBBBCABBBBBC>に変換することができ、<AB{3;}C>の正規表現は<ABBBBC>に変換することができる。前述した方法および構成は、ハードウェア、フィールドプログラマブルゲートアレイFPGA:field-programmablegatearray、または特定用途向け集積回路ASIC:application-specificintegratedcircuitで、全面的にまたは部分的に遂行することができる。また一方、前述した方法および構成は、一つ以上のプロセッサ図には示さずで実行されるソフトウェアで、全面的にまたは部分的に遂行することができ、該ソフトウェアは、磁気または光記憶装置など、任意の適したデータキャリヤこれも図には示さずに担持される一つ以上のコンピュータプログラムエレメントの形で提供することができる。少なくとも一つの例示的な実施形態において、前述のメッセージ140はeメールのメッセージであり得る。しかしながら、本発明はこれに限定されるものでなく、他の種類のメッセージ例えば、更新可能な配布先リストを有するメッセージなどにも適用できる。図8は、本発明の方法もしくはシステムまたはその両方を実装できるコンピュータシステムの一例を示す。本開示のシステムおよび方法またはシステムおよび方法の部分は、例えば、メインフレーム、個人用コンピュータPC:personalcomputer、ハンドヘルドコンピュータ、サーバなどのコンピュータシステムで実行されるソフトウェアアプリケーションの形に実装することができる。例えば、図4の変換コンポーネント410および検索コンポーネント450、図5の解析コンポーネント515、更新コンポーネント516、第一DFA1コンパイラ520、およびDFA2コンパイラ525、図6の入力変換コンポーネント635、第一状態マシン655、第二状態マシン660、およびチェックコンポーネント665は、図4~6の対応する態様を参照して前述した方法を遂行するソフトウェアアプリケーション群として実装することができる。このソフトウェアアプリケーションは、コンピュータシステムによってローカルにアクセス可能な、および、例えばローカルエリアネットワークまたはインターネットなどネットワークへの有線または無線接続によってアクセス可能な、ハードディスクドライブ記憶装置1008などのコンピュータ可読媒体に格納することができる。一般的にシステムというコンピュータシステム1000には、例えば、中央処理装置CPU1001、ランダムアクセスメモリRAM1004、プリンタインタフェース1010、ディスプレイ装置1011、ローカルエリアネットワークLANデータ送信コントローラ1005、LANインタフェース1006、ネットワークコントローラ1003、内部バス1002、および、例えばキーボード、マウスなど一つ以上の入力デバイス1009を含めることができる。図示のように、システム1000は、リンク1007を介して、例えばハードディスク1008などのデータ記憶デバイスに接続できる。CPU1001は、図3~7を参照して上記で説明した方法のステップを遂行するコンピュータプロセッサとすることができる。入力ストリングは、LANインタフェース1006を介して受信することができ、本発明の実施形態によって判定されたマッチングの結果は、コンピュータシステムから、例えばLANインタフェース1006を介して、またはプリンタインタフェース1010を介して出力し、あるいはディスプレイ装置1011に出力することができる。上記で開示した例示的な実施形態は単に説明のためのものであり、本発明は、本明細書の教示の助力を得れば当業者には明らかな、異なっているが同等なやり方に修改して実施できることを理解するべきである。従って、本明細書で開示した例示的な実施形態の変更または修改が可能なことは明らかであり、かかる変形は本発明の範囲および精神内にあると見なされる。疑念を避けるために、本明細書の説明および請求項を通して使われている用語含むcomprisingはだけから成るconsistingonlyofの意味に解釈しないものとする。