【手続補正書】
【提出日】平成21年5月15日(2009.5.15)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
コンピューティングステーションとモバイルストレージ手段との間の対話を管理する方法であって、前記方法が、
ａ）前記モバイルストレージ手段によってなされる操作の要求について、前記コンピューティングステーションに関連する１つまたは複数のインタフェースを監視するステップと、
ｂ）前記操作の要求と、前記モバイルストレージ手段に関連する情報とを識別するステップと、
ｃ）前記コンピューティングステーションに関連する１つまたは複数の規則を備えるポリシを取り出すステップと、
ｄ）前記操作の要求の許可が可能か否かを決定するため、前記ポリシに関連する前記１つまたは複数の規則を評価するステップと、を含む方法。
【請求項２】
前記操作の要求が、マウント操作、コピー操作、削除操作、安全な削除操作、読み取り操作、書き込み操作、伝送操作、および実行操作からなるグループから選択される、請求項１に記載の方法。
【請求項３】
前記モバイルストレージ手段に関連する前記情報が、一意識別子、セキュリティドメインのハッシュ、セキュリティサブドメインのハッシュ、ユーザＩＤ、有効期限日、プロビジョニング日付、暗号情報、暗号鍵、および署名からなるグループから選択される、請求項１に記載の方法。
【請求項４】
コンピューティングステーションとモバイルストレージ手段との間の対話を管理する方法であって、前記方法が、
ａ）１つまたは複数の許可可能な操作を備える、前記コンピューティング装置についてのポリシを定義するステップと、
ｂ）前記ポリシを前記コンピューティングステーションがアクセスできるようにすることによって、前記ポリシを前記コンピューティングステーションに関連させるステップと、
ｃ）前記モバイルストレージ手段からの操作の要求に応答して、前記ポリシを前記モバイルストレージ手段から取り出された情報に基づいて評価するステップと、を含む方法。
【請求項５】
前記ポリシがさらに、セキュリティドメイン情報を備える、請求項４に記載の方法。
【請求項６】
前記ポリシがさらに、セキュリティサブドメイン情報を備える、請求項４に記載の方法。
【請求項７】
前記要求される操作は、マウント操作、コピー操作、削除操作、安全な削除操作、読み取り操作、書き込み操作、伝送操作、および実行操作からなるグループから選択される、請求項４に記載の方法。
【請求項８】
前記モバイルストレージ手段から取り出される情報がセキュリティドメイン情報を含む、請求項４に記載の方法。
【請求項９】
前記モバイルストレージ手段から取り出される情報がセキュリティサブドメイン情報を含む、請求項４に記載の方法。
【請求項１０】
前記モバイルストレージ手段から取り出される情報がプロビジョニング情報を含む、請求項４に記載の方法。
【請求項１１】
コンピュータプログラムコードへのアクセスを有するコンピューティング装置であって、実行される際、前記コンピューティング装置が、
ａ）コンピューティング装置とモバイルストレージ手段との間で行われ得る操作を制限し、
ｂ）前記モバイルストレージ手段によって、またはそれに対してなされる操作の要求を検出するため、前記コンピューティング装置に関連する１つまたは複数のインタフェースを監視し、
ｃ）前記コンピューティング装置と前記モバイルストレージ手段との間の対話を管理するポリシに関連する１つまたは複数の規則を施行するように構成されるコンピューティング装置。
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】００２２
【補正方法】変更
【補正の内容】
【００２２】
各コンピューティング装置１４は関連するストレージ手段１６を有してもよい。ストレージ手段１６はコンピューティング装置１４およびサーバ１２に永久ストレージのための機構を提供する。コンピューティング装置１４は一般に、コンピューティング装置１４上に配置されるか、またはサーバ１２に関連するストレージ手段１６を使用してもよい。
【手続補正３】
【補正対象書類名】明細書
【補正対象項目名】００２９
【補正方法】変更
【補正の内容】
【００２９】
暗号制御システム３２では、モバイルストレージ手段１８にモバイル装置モジュール４０をインストールしてもよい。モバイル装置モジュール４０をインストールしたモバイルストレージ手段をプロビジョニング済モバイルストレージ手段１８と呼ぶ。モバイル装置モジュール４０をインストールしていないモバイルストレージ手段１８は未プロビジョニングと呼ばれる。モバイル装置モジュール４０は、暗号制御システム３２内のコンピューティング装置１４が、モバイルストレージ手段１８とコンピューティング装置との間の個々の操作を実行してよいか否かを決定できるような手段を提供する。モバイル装置モジュール４０は、モバイルストレージ手段１８上に書き込まれる暗号化データを収容する。暗号化データは、モバイルストレージ手段１８に関連する情報のコンピューティング装置１４による識別を可能にするものであり、コンピューティング装置１４とモバイルストレージ手段１８との間の操作が実行可能か否かを決定するために使用される。また、以下で説明するように、プロビジョニング済モバイルストレージ手段１８に書き込まれる全てのデータは暗号化される。モバイル装置モジュール４０のコンテンツを以下でさらに詳細に説明する。
【手続補正４】
【補正対象書類名】明細書
【補正対象項目名】００３０
【補正方法】変更
【補正の内容】
【００３０】
ここで、管理者アプリケーション３６、およびその構成要素をより詳細に図示する図３を参照する。管理者アプリケーション３６は、プロビジョニングモジュール４４、ポリシ定義モジュール４６、セキュリティドメインモジュール４８、導入モジュール５０、暗号化モジュール５２、および基本設定モジュール５４を含むがそれらに制限されない様々なモジュールから構成されている。プロビジョニングモジュール４４は、以下で説明するように、モバイルストレージ手段１８上に収容されるストレージにモバイル装置モジュール４０を書き込むために使用される。ポリシ定義モジュール４６は、コンピューティング装置１４とモバイルストレージ手段１８との間で許容できる操作を定義する規則から構成される様々なポリシを定義するために管理者によって使用される。規則は、コンピューティング装置１４とモバイルストレージ手段１８との間で行われ得る様々な操作を制御するために使用される。セキュリティドメインモジュール４８は、暗号制御システム３２内の様々なセキュリティドメインを定義するために使用される。以下でさらに詳細に説明するように、セキュリティドメインは、様々なコンピューティング装置１４をグループ分けする方法として機能する。例えば、組織ネットワーク３０内の全てのコンピューティング装置１４は１つのセキュリティドメインに属してもよく、またネットワーク３０に関連する様々なドメインに分割されてもよい。導入モジュール５０は、個々のコンピューティング装置１４上にインストールすべきクライアントアプリケーション３８を定義するため管理者によって使用される。暗号化モジュール５２は、以下でさらに説明するように、クライアントアプリケーション３８およびモバイル装置モジュール４０のコンテンツの暗号化に関して使用される暗号化設定の管理者による修正を可能にする。基本設定モジュール５４はさらに、管理者アプリケーション３６に関連するセキュリティ設定の管理者による修正および保存を可能にするものであり、以下で詳細に説明する。
【手続補正５】
【補正対象書類名】明細書
【補正対象項目名】００３６
【補正方法】変更
【補正の内容】
【００３６】
再び、セキュリティドメインメニュー１３０の例を１つの実施形態で示す図６を参照する。セキュリティドメイン画面１３０は、セキュリティドメイン１９０およびセキュリティサブドメイン１９２をどのように定義すればよいかという１つの実施形態を例示する。セキュリティドメイン画面１３０は、セキュリティドメインフィールド１３２、新規セキュリティドメインフラグ１３４、新規セキュリティサブドメインフラグ１３６、およびセキュリティサブドメインフィールド１３８を有する。管理者は、新規セキュリティドメインフラグ１３４を使用して、新しいセキュリティドメイン１９０を作成することができる。新規セキュリティドメインフラグ１３４を選択すると、管理者は、セキュリティドメインフィールド１３２に、自分が希望するセキュリティドメイン１９０の名前を入力することができる。管理者が既存のセキュリティドメイン１９０に新しいセキュリティサブドメイン１９２を追加することを希望する場合、管理者は１つのセキュリティドメイン１９０を選択する。管理者は、新規セキュリティサブドメインフラグ１３６およびセキュリティサブドメインフィールド１３８を使用することによって、それを行うことができる。
【手続補正６】
【補正対象書類名】明細書
【補正対象項目名】００４１
【補正方法】変更
【補正の内容】
【００４１】
そして、ポリシ指定方法２００はステップ２０６に進む。ここで、管理者は、修正設定フィールド１５４を使用することによって修正すべき設定を指定する。１つの実施形態では、ユーザはパスワード設定、またはモバイル装置制御設定、またはロック設定を修正することを選択してもよい。ユーザがパスワード設定の修正を選択した場合、方法２００はステップ２０８に進む。ステップ２０８では、ユーザは、管理者や管理者アプリケーションへアクセスし得る任意の他のユーザに関連する任意のパスワード要求を指定することができる。ステップ２０８が完了すると、方法２００はステップ２０６に戻り、そこでは管理者は他の設定を修正してもよい。
【手続補正７】
【補正対象書類名】明細書
【補正対象項目名】００４６
【補正方法】変更
【補正の内容】
【００４６】
ステップ２０６で、管理者がモバイル装置１８のロックに関する設定の修正を選択した場合、方法２００はステップ２１８に進む。１つの実施形態では、ステップ２１８は、プロビジョニング済モバイルストレージ手段に関連するセキュリティサブドメイン１９２に基づくモバイルストレージ手段１８へのアクセスのブロックに関する。ポリシエディタロックメニュー１８０の例の１つの実施形態を示す図１０を参照する。ポリシエディタロックメニュー１８０は、ユーザがステップ２１８に進むことを選択すると、ユーザに対して表示される。１つの実施形態では、ポリシエディタロックメニュー１８０は、セキュリティサブドメインロックフィールド１８２、ユーザＩＤロックフィールド１８４、およびユーザＩＤ有効化フィールド１８６を含む。セキュリティサブドメインロックフィールド１８２を使用して「オン」オプションを選択することによって、コンピューティング装置１４は、他のセキュリティサブドメイン１９２に関連するモバイルストレージ手段１８にアクセスすることはできなくなる。ユーザＩＤロックフィールド１８４がアクティブになると、コンピューティング装置１４とインタフェースを有する第１のモバイルストレージ手段１８に関連し得るユーザ名がコンピューティング装置１４上に記録される。ユーザ名がコンピューティング装置１４上に記録されると、他のユーザ名に関連するモバイルストレージ手段１８は、そのコンピューティング装置１４によって使用されなくなる。ユーザＩＤ有効化フィールド１８６は、ユーザＩＤロックフィールド１８２によってなされた指定によって提供される制御をアクティブにするかまたは非アクティブにするかを指定するために使用される。
【手続補正８】
【補正対象書類名】明細書
【補正対象項目名】００５０
【補正方法】変更
【補正の内容】
【００５０】
導入設定メニュー２７０を１つの実施形態で示す図１２を参照し、クライアントアプリケーション準備方法２５０の各ステップをさらに例示する。導入設定メニュー２７０は、導入設定アイコン１０８が選択されると、管理者に対して表示される。１つの実施形態では、導入設定メニュー２７０は、セキュリティドメインフィールド２７２、セキュリティサブドメイン２７４、ポリシフィールド２７６、保存アイコン２７８、およびキャンセルアイコン２８０を備える。
【手続補正９】
【補正対象書類名】明細書
【補正対象項目名】００５１
【補正方法】変更
【補正の内容】
【００５１】
クライアントアプリケーション準備方法２５０はステップ２５２で開始される。ステップ２５２では、特定のセキュリティドメイン１９０がセキュリティドメインフィールド２７２で指定される。以前に作成した任意のセキュリティドメイン１９０を使用してよい。そして、方法２５０はステップ２５４に進む。ここで、オプションのセキュリティサブドメイン１９２をセキュリティサブドメインフィールド２７４で指定してもよい。
【手続補正１０】
【補正対象書類名】明細書
【補正対象項目名】００５７
【補正方法】変更
【補正の内容】
【００５７】
ここで、プロビジョニング方法３００を参照してモバイルストレージ手段１８のプロビジョニングを説明する。プロビジョニング方法３００の各ステップを１つの例示実施形態で示す図１３を参照する。プロビジョニング方法３００は、ステップ３０２で開始され、そこでは、プロビジョニングするモバイルストレージ手段を、管理者アプリケーションを実行しているコンピューティング装置に接続する。モバイルストレージ手段１８は、インタフェース２０を介してコンピューティング装置１４に接続される。そして、方法３００はステップ３０４に進む。ここで、管理者が、管理者メニュー１００からメディアマネージャアイコン１０２を選択する。メディアマネージャアイコン１０２が選択されると、メディアプロビジョニングメニュー３５０がユーザに対して表示される。ここで、メディアプロビジョニングメニュー３５０の例を１つの例示実施形態で示す図１４を参照する。そして、方法３００はステップ３０６に進む。ここで、モバイルストレージ手段１８が接続するドライブが、メディアロケーションフィールド３５２によって指定される。メディアロケーションフィールド３５２は、ユーザに対して、コンピューティング装置１４に関連するドライブレターを表示する。表示されるドライブレターは、マイクロソフトメニューズ（Ｍｉｃｒｏｓｏｆｔ  Ｍｅｎｕｓ）（登録商標）または使用される何らかの他のオペレーティングシステムに関連するものと同じである。ユーザは、モバイルストレージ手段１８の接続先であるドライブレターを指定する。そして、方法３００はステップ３０８に進む。ここで、モバイルストレージ手段１８に関連する特定のセキュリティドメイン１９０を指定する。モバイルストレージ手段１８は、１つのセキュリティドメイン１９０に関連しなければならない。セキュリティドメイン１９０はセキュリティドメインフィールド３５４で指定される。
【手続補正１１】
【補正対象書類名】明細書
【補正対象項目名】００６８
【補正方法】変更
【補正の内容】
【００６８】
ここで、コンピューティング装置１４の構成要素とモバイルストレージ手段１８との間の対話を例示する構成図を示す図１８を参照する。クライアントアプリケーション３８がインストールされているという点で暗号制御システム３２の一部であるコンピューティング装置１４について、クライアントアプリケーション３８の監視モジュール６４は、コンピューティング装置１４に関連する全てのインタフェースを監視し、モバイルストレージ手段１８に対する、またはモバイルストレージ手段１８からの何らかの操作が要求されたか否かを決定する。図１８では、アプリケーション４８０は、モバイルストレージ手段１８からのデータを要求し得る、コンピューティング装置１４上に存在するかまたはコンピューティング装置１４に接続された任意のアプリケーションでよい。こうしたアプリケーションの例は例示の目的で提供され、ワープロアプリケーション、ウェブブラウザ、およびデータベースプログラムを含んでもよい。ファイルシステムドライバ４８５は、コンピューティング装置１４上にインストールされたオペレーティングシステムの一部であり、アプリケーションからのデータ要求に応答するために使用される。従来のシステムでは、ファイルシステムドライバ４８５は、特定のロケーションから取り出すべきデータに対するアプリケーション４８０からの要求を受け取り、その要求を下位ドライバ４９０に送るものであった。下位ドライバ４９０は、モバイル装置１８からのデータを最初に受け取るオペレーティングシステムのドライバである。下位ドライバ４９０は、例えば、ボリュームクラスドライバ、ディスククラスドライバおよびポートドライバといった、下位ドライバ４９０の一部となり得る１つより多いドライバから構成してもよい。暗号制御システム３２では、クライアントアプリケーション３８は、ファイルシステムドライバ４８５と下位ドライバ４９０との間の全ての要求を受け取る。クライアントアプリケーション３８は定義された適当なポリシを施行し、ポリシがサポートする操作だけを許可する。
【手続補正１２】
【補正対象書類名】明細書
【補正対象項目名】００６９
【補正方法】変更
【補正の内容】
【００６９】
装置アクセス方法５００の各ステップを示す図１９を参照する。装置アクセス方法５００はクライアントアプリケーション３８によって実行され、コンピューティング装置１４がモバイルストレージ手段１８と対話できるか否かを決定するために使用される。
【手続補正１３】
【補正対象書類名】明細書
【補正対象項目名】００７７
【補正方法】変更
【補正の内容】
【００７７】
鍵管理（ＫＭ）は、頂点にある１つのマスタ鍵（ＭＫ）とその下の従属鍵のツリーとによる階層的鍵モデルを使用する。レベルｎの各鍵は、レベルｎ−１のその親、並びにｎレベルのセキュリティオフィサおよび、場合によっては、他のｎレベルの秘密保持者によって生成された種メッセージに依存する（レベル０が最上位で、レベル１が次位、以下それに続く）。一方、そのｎ＋１レベルの子鍵を導出するには、レベルｎの鍵を使用しなければならない。ＭＫ以外の各鍵は正確に１つの親を有するが、それに関連する多くの子鍵を有し得る。関連とは、その親鍵を種メッセージに適用することによって、チケット（下記参照）および専用鍵導出関数（ＫＤＦ）が子鍵を導出できるということである。
【手続補正１４】
【補正対象書類名】明細書
【補正対象項目名】００８０
【補正方法】変更
【補正の内容】
【００８０】
各レベルのチケットは、ＨＳＭに格納されユーザＩＤおよびパスワードによってアクセス可能となるか、またはローカルに格納され、例えば、ＰＫＣＳ＃５プロトコルを使用したラップが可能になる。ｎ＋１レベルの鍵を回復しなければならない時はいつでも、秘密保持者はその秘密を供給しなければならず、関連するチケットを取得しなければならない。そのレベルのチケットを取得する処理は専用アプリケーションによって一度だけ可能になり、その後そのレベルの全ての鍵が作成／回復可能になる。
【手続補正１５】
【補正対象書類名】明細書
【補正対象項目名】００８１
【補正方法】変更
【補正の内容】
【００８１】
以下、鍵管理システムで利用される鍵導出関数の例を示す。
ＰｒＫ、ＰｕｂＫはＭＫＰのプライベート鍵および公開鍵である。
Ｐ１、Ｐ２、・・・は、ＭＫのための種（シャミアの技術用語における共有秘密）を生成する、パスワード保持者のパスワードである。
ＳＨＡＭＩＲ−シャミアの鍵分割手順。
ＳＨＡ−安全なハッシュ関数（例えば、３２バイトのフィンガープリントを生成するＳＨＡ２）。
ＰＢＫＤＦ−パスワード主導鍵導出関数。
ＡＥＳｎ−レベルｎのＡＥＳ鍵。
この場合、鍵導出処理は以下の通りである。
ＭＫ導出：
ＰＢＫＤＦ（ＰｒＫ（ＳＨＡ（ＳＨＡＭＩＲ（Ｐ１，Ｐ２，．．．，ＰＭ））））＝ＡＥＳ0
そして、ＭＫフィンガープリント（ＭＫＦ）を以下のように計算する。
ＰｕｂＫ（ＳＨＡ（ＳＨＡＭＩＲ（Ｐ１，Ｐ２，．．．，ＰＭ）））＝ＭＫＦ
ＭＫＦは公知であり、これを使用してＭＫが正しく回復されたか否かを検証する。
ＭＫＦを検証するため、
１）ＨＳＭはＰｒＫを使用してＭＫＦを解読しＳＨＡ（ＳＨＡＭＩＲ（Ｐ１，Ｐ２，．．．））を得る。
２）ＳＨＡＭＩＲ関数を適用して種：ＳＨＡＭＩＲ（Ｐ１，Ｐ２，．．．）を得る。
３）種に対するＳＨＡを計算する。
４）３）の結果を１）と比較する。
どちらの式もＰ１，．．．，ＰＫである入力のみによってＨＳＭにおいて実現されなければならない。
【手続補正１６】
【補正対象書類名】明細書
【補正対象項目名】００８２
【補正方法】変更
【補正の内容】
【００８２】
レベルｎ＋１の鍵導出は以下の式を通じて達成される。
ＰＢＫＤＦ（ＡＥＳｎ（＜ＳＨＡの前半（種｜Ｔ）＞））＝ＡＥＳn+1
【手続補正１７】
【補正対象書類名】明細書
【補正対象項目名】００８３
【補正方法】変更
【補正の内容】
【００８３】
ここで、Ｔはｎレベルのチケットであり、演算「｜」はバイトストリームの連結を意味する。
【手続補正１８】
【補正対象書類名】明細書
【補正対象項目名】００８４
【補正方法】変更
【補正の内容】
【００８４】
種は、鍵ＡＥＳn+1の元で保護されようとしているデータを担当するセキュリティオフィサによって選択された秘密、またはｎ＋１レベルの秘密保持者からの入力に対してＳＨＡＭＩＲ手順によって生成された共有秘密の何れかでもよい。鍵管理システムで選択できるようになっている。
【手続補正１９】
【補正対象書類名】明細書
【補正対象項目名】００８６
【補正方法】変更
【補正の内容】
【００８６】
ＭＫ以外のｎレベルの鍵はどれも、ラップされた鍵と共に媒体上にローカルに格納されたポリシファイルを有しなければならない（鍵のラップについては鍵配布の節を参照）。鍵ポリシファイルはＸ．５０９  ｖ３証明書またはバイナリファイルとして符号化してもよい。
【手続補正２０】
【補正対象書類名】明細書
【補正対象項目名】０１０６
【補正方法】変更
【補正の内容】
【０１０６】
ＳＫＳの概念は、鍵、パスワード等となり得る任意のビット列である共有秘密（Ｓ）をｎ個の部分に分割するが、その際ｋ＜ｎであり、ｋ個より少ない部分を有してもＳを回復できないが、任意のｋ個以上の部分を有すればＳを明瞭に回復できるというものである。
【手続補正２１】
【補正対象書類名】明細書
【補正対象項目名】０１０８
【補正方法】変更
【補正の内容】
【０１０８】
確率的アルゴリズムＰＡはしきい値秘密分散法を定義する。ここでは入力としてある有限の集合ＦSから秘密Ｓを受け取り、ｎ個の分散情報、すなわち、ビット列Ｓ１，．．．，Ｓｎを出力する。最後に、秘密分散スキームでは、０＜ｋ＜ｎであるしきい値ｋが使用される。このアルゴリズムは、以下で概説するプライバシと正当性の要求に適合しなければならない。プライバシに関しては、インデックス｛１，２，．．．ｎ｝のサイズがｋ−１以下の任意のサブセットＩを取り、任意の入力Ｓ’に対してアルゴリズムが実行されると、｛Ｓｉ｜ｉ∈Ｉ｝の確率分布はＳ’と独立である。正当性に関しては、インデックス｛１，２，．．．ｎ｝のサイズがｋ以上の任意のサブセットＪを取ると、アルゴリズムによって、｛Ｓｉ｜ｉ∈Ｊ｝からＳが計算される。実際に、｛Ｓｉ｜ｉ∈Ｊ｝からＳを計算する有効なアルゴリズムが存在する。
【手続補正２２】
【補正対象書類名】明細書
【補正対象項目名】０１０９
【補正方法】変更
【補正の内容】
【０１０９】
一例として、ｐ＞ｎである、ある素数ｐについて、Ｓ＝Ｚpと設定し、ｋが希望するしきい値であると想定する。すると、シャミアが提案したアルゴリズムを以下のように記述することができる。
１）要素ａ1，ａ2，．．．ａn∈Ｚpをランダムに選択し、ｆ（ｘ）を多項式とする。
ｆ（ｘ）＝Ｓ＋ａ1＊ｘ＋ａ2＊（ｘ＊＊２）＋．．．＋ａk＊（ｘ＊＊ｋ）
別言すれば、ｆ（０）＝Ｓとなる次数が最大ｋのＺpにおけるランダム多項式を選択する。
２）ｓi＝ｆ（ｉ）  ｍｏｄ  ｐ、ｉ＝１，．．．，ｎによって、分散情報を定義する。
【手続補正２３】
【補正対象書類名】明細書
【補正対象項目名】０１１０
【補正方法】変更
【補正の内容】
【０１１０】
このスキームは、ラグランジュ補間の古典的な結果のため、上記で概説した特性を有する。ラグランジェ補間では、任意のフィールドＦと、ｘiが判明している場合のｘiとｙiの組の任意の集合｛（ｘi，ｙi）｜０＜ｉ＜ｋ＋１｝∈Ｆ×Ｆについて、次数が最大ｋであるＦに対して、ｇ（ｘi）＝ｙi、ｉ＝１．．．ｋ＋１となる１つの多項式ｇ（ｘ）が確かに存在する。この多項式の全ての係数は有効に計算することができる。証明のため、
【数１】
2008541247.tif 000001
という多項式が、ｇ（ｘi）＝１で、ｊ≠ｉの場合ｇ（ｘj）＝０を満足し、最大ｋの次数を有することに注意されたい。従って、
ｇ（ｘ）＝ｙ1ｇ1（ｘ）＋．．．＋ｙk+1ｇk+1（ｘ）
は適切な特性を有する。従って、構造によって直接的に、ｇは有効に計算可能であるということになる。２つの異なる多項式ｇ（ｘ）、ｇ’（ｘ）がどちらも解であったとすれば、ｇ（ｘ）−ｇ’（ｘ）は次数が最大ｋでｋ＋１個の根を有するゼロでない多項式となる。しかしながら、このような多項式は存在しないので、１つの解しかあり得ない。
【手続補正２４】
【補正対象書類名】図面
【補正対象項目名】図８
【補正方法】変更
【補正の内容】
【図８】
2008541247.tif 000002