ユーザからの検索キーワードを入力する入力手段と、ユーザから入力された検索キーワードを適切なクエリに変換する変換手段と、該変換されたクエリをWeb検索サイトに送信する送信手段と、前記Web検索サイトの検索結果を分類する分類手段と、前記検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する判定手段と、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを前記変換手段に出力する共通キーワード出力手段と、前記検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する出力手段と、を備えたことを特徴とするWeb検索補助装置。前記共通キーワード出力手段は、前記Web検索サイトの検索結果が順位付けされている場合に、最上位のWebページからキーワードを抽出することを特徴とする請求項1に記載のWeb検索補助装置。前記判定手段の処理と共通キーワード出力手段の処理とを分類ごとに実行し、前記出力手段が、複数の分類されたWebページを出力することを特徴とする請求項1に記載のWeb検索補助装置。前記分類手段は、Pc|xを文書xが与えられたときにそれがカテゴリcに所属する確率、Pcをカテゴリcの生起確率、Px|cをカテゴリcが与えられたときに文書xが到着する確率、Pxを文書xの生成確率としたときに、以下の数1において、PcPx|cが最大となるカテゴリに文書xを分類することを特徴とする請求項1に記載のWeb検索補助装置。前記分類手段は、Pwi|c=カテゴリcに分類される文書のうち単語wiを含む文書の数/カテゴリcに分類される文書の数、Nwi、x=文書x中に含まれる単語wiの数としたときに、文書xを以下数2に示すカテゴリに分類することを特徴とする請求項1に記載のWeb検索補助装置。前記分類手段は、数3中に含まれる単語wiの数としたときに、文書xを以下数4に示すカテゴリに分類することを特徴とする請求項1に記載のWeb検索補助装置。ユーザ端末と、該ユーザ端末とWebブラウザを介して接続されるWeb検索補助装置と、該Web検索補助装置とインターネット網を介して接続される検索サイトとからなるWeb検索システムであって、前記ユーザ端末が、検索キーワードを入力する入力手段と、検索結果を表示する表示手段と、を備え、前記Web検索補助装置が、ユーザから入力された検索キーワードを適切なクエリに変換する変換手段と、該変換されたクエリを前記Web検索サイトに送信する送信手段と、前記Web検索サイトの検索結果を分類する分類手段と、前記検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する判定手段と、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを前記変換手段に出力する共通キーワード出力手段と、前記検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを前記ユーザ端末に出力する出力手段と、を備えたことを特徴とするWeb検索システム。前記共通キーワード出力手段は、前記Web検索サイトの検索結果が順位付けされている場合に、最上位のWebページからキーワードを抽出することを特徴とする請求項7に記載のWeb検索システム。前記判定手段の処理と共通キーワード出力手段の処理とを分類ごとに実行し、前記出力手段が、複数の分類されたWebページを出力することを特徴とする請求項7に記載のWeb検索システム。前記分類手段は、Pc|xを文書xが与えられたときにそれがカテゴリcに所属する確率、Pcをカテゴリcの生起確率、Px|cをカテゴリcが与えられたときに文書xが到着する確率、Pxを文書xの生成確率としたときに、以下の数5において、PcPx|cが最大となるカテゴリに文書xを分類することを特徴とする請求項7に記載のWeb検索システム。前記分類手段は、Pwi|c=カテゴリcに分類される文書のうち単語wiを含む文書の数/カテゴリcに分類される文書の数、Nwi、x=文書x中に含まれる単語wiの数としたときに、文書xを以下数6に示すカテゴリに分類することを特徴とする請求項7に記載のWeb検索システム。前記分類手段は、数7中に含まれる単語wiの数としたときに、文書xを以下数8に示すカテゴリに分類することを特徴とする請求項7に記載のWeb検索システム。ユーザからの検索キーワードを入力する第1のステップと、ユーザから入力された検索キーワードを適切なクエリに変換する第2のステップと、該変換されたクエリをWeb検索サイトに送信する第3のステップと、前記Web検索サイトの検索結果を分類する第4のステップと、前記検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する第5のステップと、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを前記第2のステップに出力する第6のステップと、前記検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する第7のステップと、を備えたことを特徴とするWeb検索補助方法。ユーザからの検索キーワードを入力する第1のステップと、ユーザから入力された検索キーワードを適切なクエリに変換する第2のステップと、該変換されたクエリをWeb検索サイトに送信する第3のステップと、前記Web検索サイトの検索結果を分類する第4のステップと、前記検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する第5のステップと、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを前記第2のステップに出力する第6のステップと、前記検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する第7のステップと、をコンピュータに実行させるためのプログラム。しかしながら、ユーザが求める情報を効率的に検索するために、暗号検索エンジンが存在するが、十分なキーワードの入力が無かった場合、膨大な関連ページが検索結果として出力され、その中から必要なページを見つけることは容易ではない。一方で、ユーザが多くのキーワードを指定する場合、非常に手間がかかり、効率よく検索を行うためには、工夫を凝らしたキーワード指定が必要との問題もある。そこで、本発明は、上述の課題に鑑みてなされたものであり、キーワードを自動的に抽出して、Webページの絞り込みおよび分類を行って、必要なWebページを抽出するWeb検索補助装置、Web検索補助システム、Web検索補助方法およびプログラムを提供することを目的とする。本発明は、上記の課題を解決するために、以下の事項を提案している。なお、理解を容易にするために、本発明の実施形態に対応する符号を付して説明するが、これに限定されるものではない。1本発明は、ユーザからの検索キーワードを入力する入力手段例えば、図2のキーワード入力部110に相当と、ユーザから入力された検索キーワードを適切なクエリに変換する変換手段例えば、図2の変換部120に相当と、該変換されたクエリをWeb検索サイトに送信する送信手段例えば、図2の送信部130に相当と、前記Web検索サイトの検索結果を分類する分類手段例えば、図2の分類部140に相当と、前記検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する判定手段例えば、図2の判定部150に相当と、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを前記変換手段に出力する共通キーワード出力手段例えば、図2の共通キーワード出力部160に相当と、前記検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する出力手段例えば、図2の出力部170に相当と、を備えたことを特徴とするWeb検索補助装置を提案している。この発明によれば、入力手段は、ユーザからの検索キーワードを入力する。変換手段は、ユーザから入力された検索キーワードを適切なクエリに変換する。送信手段は、変換されたクエリをWeb検索サイトに送信する。分類手段は、Web検索サイトの検索結果を分類する。判定手段は、検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する。共通キーワード出力手段は、分類されたWebページから共通のキーワードを抽出し、抽出したキーワードを変換手段に出力する。出力手段は、検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する。したがって、キーワードを自動的に抽出して、Webページの絞り込みおよび分類を行って、必要なWebページを抽出することができる。2本発明は、1のWeb検索補助装置について、前記共通キーワード出力手段は、前記Web検索サイトの検索結果が順位付けされている場合に、最上位のWebページからキーワードを抽出することを特徴とするWeb検索補助装置を提案している。この発明によれば、共通キーワード出力手段は、Web検索サイトの検索結果が順位付けされている場合に、最上位のWebページからキーワードを抽出する。したがって、これにより、ユーザの入力するキーワードに対して、より的確なWebページを抽出することができる。3本発明は、1のWeb検索補助装置について、前記判定手段の処理と共通キーワード出力手段の処理とを分類ごとに実行し、前記出力手段が、複数の分類されたWebページを出力することを特徴とするWeb検索補助装置を提案している。この発明によれば、判定手段の処理と共通キーワード出力手段の処理とを分類ごとに実行し、出力手段が、複数の分類されたWebページを出力する。すなわち、複数の分類されたWebページを出力することにより、ユーザが所望のWebページを得る可能性が高くなる。4本発明は、1のWeb検索補助装置について、前記分類手段は、Pc|xを文書xが与えられたときにそれがカテゴリcに所属する確率、Pcをカテゴリcの生起確率、Px|cをカテゴリcが与えられたときに文書xが到着する確率、Pxを文書xの生成確率としたときに、以下の数1において、PcPx|cが最大となるカテゴリに文書xを分類することを特徴とするWeb検索補助装置を提案している。この発明によれば、分類手段は、Pc|xを文書xが与えられたときにそれがカテゴリcに所属する確率、Pcをカテゴリcの生起確率、Px|cをカテゴリcが与えられたときに文書xが到着する確率、Pxを文書xの生成確率としたときに、以下の数1において、PcPx|cが最大となるカテゴリに文書xを分類する。つまり、数1の左辺が最大となるカテゴリが文書xの所属するカテゴリとなる可能性が高いため、PcPx|cが最大とするようなカテゴリを選択することにより、文書xがこのカテゴリに所属する可能性が高くなる。5本発明は、1のWeb検索補助装置について、前記分類手段は、Pwi|c=カテゴリcに分類される文書のうち単語wiを含む文書の数/カテゴリcに分類される文書の数、Nwi、x=文書x中に含まれる単語wiの数としたときに、文書xを以下数2に示すカテゴリに分類することを特徴とするWeb検索補助装置を提案している。この発明によれば、分類手段は、Pwi|c=カテゴリcに分類される文書のうち単語wiを含む文書の数/カテゴリcに分類される文書の数、Nwi、x=文書x中に含まれる単語wiの数としたときに、文書xを以下数2に示すカテゴリに分類する。これにより、文書xが所属するカテゴリをある確度で特定することができる。6本発明は、1のWeb検索補助装置について、前記分類手段は、数3中に含まれる単語wiの数としたときに、文書xを以下数4に示すカテゴリに分類することを特徴とするWeb検索補助装置を提案している。この発明によれば、分類手段は、数3中に含まれる単語wiの数としたときに、文書xを以下数4に示すカテゴリに分類する。これによれば、Pwi|cという量が有する誤差を小さく抑えて、文書xが所属するカテゴリを高い確度で特定することができる。7本発明は、ユーザ端末と、該ユーザ端末とWebブラウザを介して接続されるWeb検索補助装置例えば、図1のWeb検索補助装置100に相当と、該Web検索補助装置とインターネット網を介して接続される検索サイト例えば、図1の検索サイト200に相当とからなるWeb検索システムであって、前記ユーザ端末が、検索キーワードを入力する入力手段と、検索結果を表示する表示手段と、を備え、前記Web検索補助装置が、ユーザから入力された検索キーワードを適切なクエリに変換する変換手段例えば、図2の変換部120に相当と、該変換されたクエリをWeb検索サイトに送信する送信手段例えば、図2の送信部130に相当と、前記Web検索サイトの検索結果を分類する分類手段例えば、図2の分類部140に相当と、前記検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する判定手段例えば、図2の判定部150に相当と、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを前記変換手段に出力する共通キーワード出力手段例えば、図2の共通キーワード出力部160に相当と、前記検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する出力手段例えば、図2の出力部170に相当と、を備えたことを特徴とするWeb検索システムを提案している。この発明によれば、ユーザ端末の入力手段は、検索キーワードを入力する。表示手段は、検索結果を表示する。変換手段は、ユーザから入力された検索キーワードを適切なクエリに変換する。送信手段は、変換されたクエリをWeb検索サイトに送信する。分類手段は、Web検索サイトの検索結果を分類する。判定手段は、検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する。共通キーワード出力手段は、分類されたWebページから共通のキーワードを抽出し、抽出したキーワードを変換手段に出力する。出力手段は、検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する。したがって、キーワードを自動的に抽出して、Webページの絞り込みおよび分類を行って、必要なWebページを抽出することができる。8本発明は、7のWeb検索補助システムについて、前記共通キーワード出力手段は、前記Web検索サイトの検索結果が順位付けされている場合に、最上位のWebページからキーワードを抽出することを特徴とするWeb検索補助システムを提案している。この発明によれば、共通キーワード出力手段は、Web検索サイトの検索結果が順位付けされている場合に、最上位のWebページからキーワードを抽出する。したがって、これにより、ユーザの入力するキーワードに対して、より的確なWebページを抽出することができる。9本発明は、7のWeb検索補助システムについて、前記判定手段の処理と共通キーワード出力手段の処理とを分類ごとに実行し、前記出力手段が、複数の分類されたWebページを出力することを特徴とするWeb検索補助システムを提案している。この発明によれば、判定手段の処理と共通キーワード出力手段の処理とを分類ごとに実行し、出力手段が、複数の分類されたWebページを出力する。すなわち、複数の分類されたWebページを出力することにより、ユーザが所望のWebページを得る可能性が高くなる。10本発明は、7のWeb検索補助システムについて、前記分類手段は、Pc|xを文書xが与えられたときにそれがカテゴリcに所属する確率、Pcをカテゴリcの生起確率、Px|cをカテゴリcが与えられたときに文書xが到着する確率、Pxを文書xの生成確率としたときに、以下の数5において、PcPx|cが最大となるカテゴリに文書xを分類することを特徴とするWeb検索補助システムを提案している。この発明によれば、分類手段は、Pc|xを文書xが与えられたときにそれがカテゴリcに所属する確率、Pcをカテゴリcの生起確率、Px|cをカテゴリcが与えられたときに文書xが到着する確率、Pxを文書xの生成確率としたときに、以下の数1において、PcPx|cが最大となるカテゴリに文書xを分類する。つまり、数5の左辺が最大となるカテゴリが文書xの所属するカテゴリとなる可能性が高いため、PcPx|cが最大とするようなカテゴリを選択することにより、文書xがこのカテゴリに所属する可能性が高くなる。11本発明は、7のWeb検索補助システムについて、前記分類手段は、Pwi|c=カテゴリcに分類される文書のうち単語wiを含む文書の数/カテゴリcに分類される文書の数、Nwi、x=文書x中に含まれる単語wiの数としたときに、文書xを以下数6に示すカテゴリに分類することを特徴とするWeb検索補助システムを提案している。この発明によれば、分類手段は、Pwi|c=カテゴリcに分類される文書のうち単語wiを含む文書の数/カテゴリcに分類される文書の数、Nwi、x=文書x中に含まれる単語wiの数としたときに、文書xを以下数6に示すカテゴリに分類する。これにより、文書xが所属するカテゴリをある確度で特定することができる。12本発明は、7のWeb検索補助システムについて、前記分類手段は、数7中に含まれる単語wiの数としたときに、文書xを以下数8に示すカテゴリに分類することを特徴とするWeb検索補助システムを提案している。この発明によれば、分類手段は、数7中に含まれる単語wiの数としたときに、文書xを以下数8に示すカテゴリに分類する。これによれば、Pwi|cという量が有する誤差を小さく抑えて、文書xが所属するカテゴリを高い確度で特定することができる。13本発明は、ユーザからの検索キーワードを入力する第1のステップ例えば、図3のステップS101に相当と、ユーザから入力された検索キーワードを適切なクエリに変換する第2のステップ例えば、図3のステップS102に相当と、該変換されたクエリをWeb検索サイトに送信する第3のステップ例えば、図3のステップS103に相当と、前記Web検索サイトの検索結果を分類する第4のステップ例えば、図3のステップS104に相当と、前記検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する第5のステップ例えば、図3のステップS105に相当と、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを前記第2のステップに出力する第6のステップ例えば、図3のステップS106に相当と、前記検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する第7のステップ例えば、図3のステップS107に相当と、を備えたことを特徴とするWeb検索補助方法を提案している。この発明によれば、ユーザからの検索キーワードを入力し、ユーザから入力された検索キーワードを適切なクエリに変換する。変換されたクエリをWeb検索サイトに送信し、Web検索サイトの検索結果を分類する。次に、検索結果のWebページ数が予め定められた閾値以下であるか否かを判定し、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを変換処理に出力する。そして、検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する。したがって、キーワードを自動的に抽出して、Webページの絞り込みおよび分類を行って、必要なWebページを抽出することができる。14本発明は、ユーザからの検索キーワードを入力する第1のステップ例えば、図3のステップS101に相当と、ユーザから入力された検索キーワードを適切なクエリに変換する第2のステップ例えば、図3のステップS102に相当と、該変換されたクエリをWeb検索サイトに送信する第3のステップ例えば、図3のステップS103に相当と、前記Web検索サイトの検索結果を分類する第4のステップ例えば、図3のステップS104に相当と、前記検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する第5のステップ例えば、図3のステップS105に相当と、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを前記第2のステップに出力する第6のステップ例えば、図3のステップS106に相当と、前記検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する第7のステップ例えば、図3のステップS107に相当と、をコンピュータに実行させるためのプログラムを提案している。この発明によれば、ユーザからの検索キーワードを入力し、ユーザから入力された検索キーワードを適切なクエリに変換する。変換されたクエリをWeb検索サイトに送信し、Web検索サイトの検索結果を分類する。次に、検索結果のWebページ数が予め定められた閾値以下であるか否かを判定し、分類されたWebページから共通のキーワードを抽出し、該抽出したキーワードを変換処理に出力する。そして、検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する。したがって、キーワードを自動的に抽出して、Webページの絞り込みおよび分類を行って、必要なWebページを抽出することができる。本発明によれば、Web検索における絞込みが自動化され、ユーザが必要とするページに容易にアクセスできるようになるという効果がある。そのため、例えば、スマートフォンなど、比較的入力および画面表示が制限されている機器に対して、絞込みを自動化することで、ユーザエクスペリエンス向上が期待できるという効果がある。以下、本発明の実施形態について、図面を用いて、詳細に説明する。なお、本実施形態における構成要素は適宜、既存の構成要素等との置き換えが可能であり、また、他の既存の構成要素との組合せを含む様々なバリエーションが可能である。したがって、本実施形態の記載をもって、特許請求の範囲に記載された発明の内容を限定するものではない。図1から図3を用いて、本発明の実施形態に係るWeb検索補助システムについて説明する。<Web検索補助システムの構成>図1に示すように、本発明の実施形態に係るWeb検索補助システムは、Web検索補助装置100と検索サイト200から構成されている。本実施形態に係るWeb検索補助システムは、Web検索における絞込みが自動的になされ、ユーザが必要とするページに容易にアクセスできるようにするものである。<Web検索補助装置の構成>図2に示すように、本発明の実施形態に係るWeb検索補助装置は、キーワード入力部110と、変換部120と、送信部130と、分類部140と、判定部150と、共通キーワード出力部160と、出力部170とから構成されている。キーワード入力部110は、ユーザからの検索キーワードを入力する。変換部120は、ユーザから入力された検索キーワードを適切なクエリに変換する。送信部130は、変換されたクエリをWeb検索サイトに送信する。分類部140は、Web検索サイトの検索結果を分類する。判定部150は、検索結果のWebページ数が予め定められた閾値以下であるか否かを判定する。共通キーワード出力部160は、分類されたWebページから共通のキーワードを抽出し、抽出したキーワードを変換部120に出力する。なお、検索サイトが、検索結果を順位付けしている場合には、その順位の最上位にあるページを基礎情報として、キーワードを抽出する。出力部170は、検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力する。なお、複数の分類ごとに、その検索結果およびキーワードを出力してもよい。なお、分類には、NaiveBayesを拡張した方式を用いる。NaiveBayes方式は、ベイズの定理を用いたベイジアンフィルタである。ベイズの定理を文書分類に適用すると、次のようになる。ここで、Pc|xは文書xが与えられたときにそれがカテゴリcに所属する確率、Pcはカテゴリcの生起確率、Px|cはカテゴリcが与えられたときに文書xが到着する確率、Pxは文書xの生成確率である。左辺が最大となるカテゴリが文書xの所属するカテゴリとなる可能性が高いので、PcPx|cを最大とするようなカテゴリを選択すればよい。NaiveBayes方式のうち、多項モデルと呼ばれているモデルでは、各単語は独立に生起すると考えるので、以下数10のように評価できる。ただし、数11より、文書χは、以下、数12に分類される。また、多項モデルを計算する際にはPwi|cという量が必要だが、この値の推定には誤差が伴う。この誤差を小さくするためにPwi|cの代わりに数13を計算する方法がComplementNaiveBayes方式以下、CNB方式と略記する。である。ここで、数14はカテゴリcに入らない全ての文書である。CNB方式では、文書χは、数15に分類される。この分類法は、誤差が無視でき、かつ、NaiveBayes方式で仮定したように単語が独立に生起する場合には、NaiveBayes方式による分類法と一致する。また、キーワード抽出は、分類されたWebページから共通のキーワードを抽出する作業である。この場合、繰り返し回数nに対して、tntはある自然数の係数を上限として、最頻度のキーワードから順次抽出する処理である。そのため、初期キーワードtn個のキーワードが検索クエリとして入力される。その他、拡張方式として、繰り返しごとに検索エンジンを変更する手法が考えられる。検索エンジンを変更することにより、ことなる視点でのWebページ検索を可能とし、結果として精度向上に繋がる可能性がある。<Web検索補助システムの処理>図3を用いて、本実施形態に係るWeb検索補助システムの処理について説明する。まず、ユーザからの検索キーワードを入力するステップS101。次に、ユーザから入力された検索キーワードを適切なクエリに変換しステップS102、変換されたクエリをWeb検索サイトに送信するステップS103。さらに、Web検索サイトの検索結果を分類しステップS104、検索結果のWebページ数が予め定められた閾値以下であるか否かを判定するステップS105。次に、分類されたWebページから共通のキーワードを抽出し、抽出したキーワードをステップS102に入力するステップS106。そして、検索結果のWebページ数が予め定められた閾値以下となった場合に、検索結果およびキーワードを出力するステップS107。以上、説明したように、本実施形態によれば、Web検索における絞込みが自動化され、ユーザが必要とするページに容易にアクセスできるようになる。そのため、例えば、スマートフォンなど、比較的入力および画面表示が制限されている機器に対して、絞込みを自動化することで、ユーザエクスペリエンス向上が期待できる。なお、Web検索補助システムの処理をコンピュータ読み取り可能な記録媒体に記録し、この記録媒体に記録されたプログラムをWeb検索補助装置に読み込ませ、実行することによって本発明のWeb検索補助システムを実現することができる。ここでいうコンピュータシステムとは、OSや周辺装置等のハードウェアを含む。また、コンピュータシステムは、WWWWorldWideWebシステムを利用している場合であれば、ホームページ提供環境あるいは表示環境も含むものとする。また、上記プログラムは、このプログラムを記憶装置等に格納したコンピュータシステムから、伝送媒体を介して、あるいは、伝送媒体中の伝送波により他のコンピュータシステムに伝送されても良い。ここで、プログラムを伝送する伝送媒体は、インターネット等のネットワーク通信網や電話回線等の通信回線通信線のように情報を伝送する機能を有する媒体のことをいう。また、上記プログラムは、前述した機能の一部を実現するためのものであっても良い。さらに、前述した機能をコンピュータシステムにすでに記録されているプログラムとの組合せで実現できるもの、いわゆる差分ファイル差分プログラムであっても良い。以上、この発明の実施形態につき、図面を参照して詳述してきたが、具体的な構成はこの実施形態に限られるものではなく、この発明の要旨を逸脱しない範囲の設計等も含まれる。