【事件の表示】
　特願２０１２−２８６２５１「暗号処理装置および方法」拒絶査定不服審判事件〔平成２６年　７月　７日出願公開，特開２０１４−１２６８６５〕について，次のとおり審決する。
【結　論】
　本件審判の請求は，成り立たない。
【理　由】
第１．手続の経緯
　本願は，平成２４年１２月２７日の出願であって，
　平成２７年８月４日付けで審査請求がなされ，平成２８年８月２６日付けで審査官により拒絶理由が通知され，これに対して平成２８年１０月３１日付けで意見書が提出されると共に手続補正がなされたが，平成２９年３月３１日付けで審査官により拒絶査定がなされ（謄本送達；平成２９年４月４日），これに対して平成２９年７月４日付けで審判請求がなされると共に手続補正がなされ，平成２９年９月１日付けで審査官により特許法第１６４条第３項の規定に基づく報告がなされたものである。
　
第２．本願発明について
　本願の請求項１〜本願の請求項１０係る発明は，平成２８年１０月３１日付けの手続補正により補正された特許請求の範囲の請求項１〜請求項１０に記載された事項により特定されるものである。
　
第３．原審の拒絶理由
　原審における平成２８年８月２６日付けの拒絶理由（以下，これを「原審拒絶理由」という）は，概略，次のとおりである。
　
「　　　　　　　　　　　　　　理由
　
１．（実施可能要件）この出願は，発明の詳細な説明の記載が下記の点で，特許法第３６条第４項第１号に規定する要件を満たしていない。
２．（明確性）省略
３．（発明該当性）省略
　　　　　　　　　　　　　　　記
●理由１（実施可能要件）について
・請求項　１−１０
（１）請求項１には「前記第１の暗号化多項式，前記第２の暗号化多項式，前記第１の暗号化重み，および前記第２の暗号化重みから，前記第１のベクトルと前記第２のベクトルの秘匿距離の暗号化に対応する暗号化秘匿距離を得る秘匿距離計算部」が記載され，請求項１０にも同様の事項が記載されている。
　この記載に関し，本願明細書の発明の詳細な説明には，以下の事項が記載されている。
　
「【００６９】
＜準同型暗号を用いた秘匿距離計算＞
　次に，秘匿距離計算を行うために，事前に２つの整数Ｃ１，Ｃ２を用意する。
の整数Ｃ１，Ｃ２は次の［数２６］で定義される。
　【００７０】
　　【数２６】
（式省略）
このとき，秘匿距離ｄは，
　【００７１】
　　【数２７】
ｄ ＝ Ｃ1×Ｅｎｃ（ａ（ｘ））＋Ｃ2×Ｅｎｃ（ｂ（ｘ））＋２Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））
である。［数２７］で，Ｃ１×Ｅｎｃ（ａ（ｘ）），Ｃ２×Ｅｎｃ（ｂ（ｘ））はそれぞれ，暗号文上のハミング重みＨＷ（ａ），ＨＷ（ｂ）に対応する。上の秘匿距離ｄを復号すると，２つのベクトルデータＡ＝（ａ１，ａ２，…，ａｎ）とベクトルデータＢ＝（ｂ１，ｂ２，…，ｂｎ）のハミング距離となる。上記では秘匿距離としてハミング距離を用いたが，開示の方法は，ユークリッド距離などの距離計算やコサイン類似度などの類似度計算にも適用可能である。
　【００７２】
　ここで，数値例を示す。ベクトルデータＡ＝（１，０，１，１）とベクトルデーＢ＝（０，０，１，０）に対して，ベクトルデータＡ，Ｂを暗号化したままハミング距離を計算することを考える。ベクトルデータＡ＝（１，０，１，１）とベクトルデーＢ＝（０，０，１，０）のハミング距離は２であることは明らかである。
　【００７３】
　ベクトルデータＡ＝（１，０，１，１）に対して，変換多項式ａ（ｘ）＝１＋ｘ２＋ｘ３とハミング重みＨＷ（Ａ） =１＋１＋１＝３を計算する。次に，公開鍵行列Ｂを上記に示したものとし，ｄ＝１１４３８２１４４９，ｒ＝９８２６２３５４８とする。ここで２つのデータｄと ｒのみあれば暗号化可能であることに注意する。また，平文空間サイズｓ＝４とする。変換多項式ａ（ｘ）の暗号データは，上の［数１９］を用いて，Ｅｎｃ（ａ（ｘ））＝−５７０７５８８３１となる。４次元乱数ベクトルｕ＝（０，１，１，０）としている。ハミング重みＨＷ（Ａ）＝３を暗号化した暗号データＥｎｃ（ＨＷ（Ａ））は，４次元乱数ベクトルｕ＝（１，０，０，１）として，
　【００７４】
　　【数２８】
（式省略）
となる。
　【００７５】
　同様に，ベクトルデータＢ＝（０，０，１，０）に対して，変換多項式ｂ（ｘ）＝ｘ２とハミング重みＨＷ（Ｂ）＝１を計算する。ハミング重みＨＷ（Ｂ）＝１を暗号化した暗号データＥｎｃ（ＨＷ（Ｂ））は，４次元乱数ベクトルｕ＝（０，０，０，１）として，
　【００７６】
　　【数２９】
（式省略）
となる。
　【００７７】
　秘匿距離ｄは，Ｅｎｃ（ＨＷ（Ａ）），Ｅｎｃ（ＨＷ（Ｂ）），Ｅｎｃ（ａ（ｘ）），およびＥｎｃ（ｂ（ｘ））を用いて，秘匿距離ｄ＝Ｅｎｃ（ＨＷ（Ａ））＋Ｅｎｃ（ＨＷ（Ｂ））＋２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））＝５８１４７３５９となる。」
　
「暗号スカラー部３０６では，事前に計算された２つの整数，
　【０１３４】
　　【数４４】
（式省略）
と，Ｅｎｃ（ａ（ｘ）））とＥｎｃ（ｂ（ｘ））との積，
　【０１３５】
　　【数４５】
　ｋ1×Ｅｎｃ（ａ（ｘ））
　ｋ2×Ｅｎｃ（ｂ（ｘ））
を計算する。・・・中略・・・
　【０１３７】
　暗号加算部３０８では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数４４］で表されるハミング距離Ｄを算出する。
　【０１３８】
　　【数４７】
Ｄ ＝ ｋ1×Ｅｎｃ（ａ（ｘ））＋ｋ2×Ｅｎｃ（ｂ（ｘ））＋２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））
　このように，秘匿距離計算部では，第１の暗号化多項式Ｅｎｃ（ａ（ｘ））），第２の暗号化多項式Ｅｎｃ（ｂ（ｘ）），第１の暗号化重みＥｎｃ（ＨＷ（ａ）），および第２の暗号化重みＥｎｃ（ＨＷ（ｂ））から，第１のベクトルａと第２のベクトルｂの秘匿距離の暗号化に対応する暗号化秘匿距離（ハミング距離）Ｄを得る。」
　
「【０１６３】
　Ｓ２１４では，［数４４］の２つの整数，ｋ１，ｋ２と，Ｅｎｃ（ａ（ｘ）））とＥｎｃ（ｂ（ｘ））との積，ｋ１Ｅｎｃ（ａ（ｘ））），ｋ２Ｅｎｃ（ｂ（ｘ））が計算される。また，Ｓ２１４では，Ｓ２１０で得られたＥｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））の２倍，２Ｅｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））を計算する。本ステップの処理は，計算サーバ３０の暗号スカラー部３０６
で行われ得る。
　【０１６４】
　Ｓ２１６では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数４７］で表されるハミング距離Ｄを算出する。」
　
「【０１９９】
　暗号スカラー部１２０６では，事前に計算された２つの整数，
　【０２００】
　　【数６０】
（式省略）
と，Ｅｎｃ（ａ（ｘ）））とＥｎｃ（ｂ（ｘ））との積，
　【０２０１】
　　【数６１】
　ｋ1×Ｅｎｃ（ａ（ｘ））
　ｋ2×Ｅｎｃ（ｂ（ｘ））
を計算する。・・・中略・・・
　【０２０３】
　暗号加算部１２０８では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数６３］で表されるハミング距離Ｄを算出する。
　【０２０４】
　　【数６３】
Ｄ ＝ ｋ1×Ｅｎｃ（ａ（ｘ））＋ｋ2×Ｅｎｃ（ｂ（ｘ））＋２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））
　このように，秘匿距離計算部では，第１の暗号化多項式Ｅｎｃ（ａ（ｘ））），第２の暗号化多項式Ｅｎｃ（ｂ（ｘ）），第１の暗号化重みＥｎｃ（ＨＷ（ａ）），および第２の暗号化重みＥｎｃ（ＨＷ（ｂ））から，第１のベクトルａと第２のベクトルｂの秘匿距離の暗号化に対応する暗号化秘匿距離（ハミング距離）Ｄを得る。」
　
　段落［００７１］の［数２７］によれば，秘匿距離ｄは「ｄ ＝ Ｃ1×Ｅｎｃ（ａ（ｘ））＋Ｃ2×Ｅｎｃ（ｂ（ｘ））＋２Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））」なる計算式により求めるものである。しかしながら，段落［００７７］の記載「秘匿距離ｄ＝Ｅｎｃ（ＨＷ（Ａ））＋Ｅｎｃ（ＨＷ（Ｂ））＋２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））」によれば，数値例において，秘匿距離ｄを，［数２７］とは異なる計算式により計算している。段落［００７１］の記載「［数２７］で，Ｃ１×Ｅｎｃ（ａ（ｘ）），Ｃ２×Ｅｎｃ（ｂ（ｘ））はそれぞれ，暗号文上のハミング重みＨＷ（ａ），ＨＷ（ｂ）に対応する。」を参照すれば，Ｃ１×Ｅｎｃ（ａ（ｘ））＝Ｅｎｃ（ＨＷ（Ａ）），Ｃ２×Ｅｎｃ（ｂ（ｘ））＝Ｅｎｃ（ＨＷ（Ｂ））が成り立っているとも考えられるが，［数２８］及び［数２９］を参照すれば，Ｅｎｃ（ＨＷ（Ａ））は，Ｃ１×Ｅｎｃ（ａ（ｘ））として計算するものではなく，Ｅｎｃ（ＨＷ（Ｂ））も，Ｃ２×Ｅｎｃ（ｂ（ｘ））として計算するものではない。そうすると，段落［００７１］の［数２７］と段落［００７７］とは異なる計算式であるから，同じ秘匿距離ｄが異なる計算式で計算されるということは，不明なことである。
　
　段落［０１３７］は「暗号加算部３０８では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数４４］で表されるハミング距離Ｄを算出する。」を記載する。この記載の［数４４］は［数４７］の誤記と解されるも，段落［０１３８］は［数４７］として「Ｄ ＝ ｋ1×Ｅｎｃ（ａ（ｘ））＋ｋ2×Ｅｎｃ（ｂ（ｘ））＋２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））」を記載する。
　そうすると，［数４７］において，ハミング距離Ｄは，ｋ1×Ｅｎｃ（ａ（ｘ）），ｋ2×Ｅｎｃ（ｂ（ｘ）），２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の和を計算することで求めるものであり，段落［０１３７］に記載の如く「ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算」するものではない。したがって，段落［０１３７］の記載と段落［０１３８］の記載とは矛盾している。
　
　段落［０１６３］は「Ｓ２１４では，［数４４］の２つの整数，ｋ１，ｋ２と，Ｅｎｃ（ａ（ｘ）））とＥｎｃ（ｂ（ｘ））との積，ｋ１Ｅｎｃ（ａ（ｘ））），ｋ２Ｅｎｃ（ｂ（ｘ））が計算される。また，Ｓ２１４では，Ｓ２１０で得られたＥｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））の２倍，２Ｅｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））を計算する。」を記載し，段落［０１６４］は「Ｓ２１６では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数４７］で表されるハミング距離Ｄを算出する。」を記載する。
　これらの記載によれば，Ｓ２１４で計算された，ｋ１Ｅｎｃ（ａ（ｘ））），ｋ２Ｅｎｃ（ｂ（ｘ）），２Ｅｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））は，何れも，Ｓ２１６における計算に用いられるものではない。そうすると，段落［０１６３］に記載の如く，Ｓ２１４において，それらの計算を行うことに，如何なる意味があるのか不明である。
　また，前記したように，［数４７］は，ハミング距離Ｄを，ｋ1×Ｅｎｃ（ａ（ｘ）），ｋ2×Ｅｎｃ（ｂ（ｘ）），２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の和を計算することで求めることを記載し，この計算は「ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和」とは，別の計算である。
　そうすると，段落［０１６４］に記載の計算により和を計算することが「秘匿距離として［数４７］で表されるハミング距離Ｄを算出する。」ことであるということも，不明なことである。
　
　段落［０２０３］は「暗号加算部１２０８では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数６３］で表されるハミング距離Ｄを算出する。」を記載し，段落［０２０４］は［数６３］として「Ｄ ＝ ｋ1×Ｅｎｃ（ａ（ｘ））＋ｋ2×Ｅｎｃ（ｂ（ｘ））＋２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））」を記載する。
　そうすると，［数６３］において，ハミング距離Ｄは，ｋ1×Ｅｎｃ（ａ（ｘ）），ｋ2×Ｅｎｃ（ｂ（ｘ）），２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の和を計算することで求めるものであり，段落［０２０３］に記載の如く「ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算」するものではない。したがって，段落［０２０３］の記載と段落［０２０４］の記載とは矛盾している。
　以上で検討したように，本願明細書の発明の詳細な説明には，秘匿距離の計算について互いに矛盾した事項が記載されているから，どのような計算によって秘匿距離を計算するのか不明である。
　なお，段落［００７１］の［数２７］，段落［００８１］の［数３１］，段落［００８２］の［数３２］，段落［０１３８］の［数４７］，段落［０２０４］の［数６３］に記載の計算式が正しいのであれば，それらの計算は，２つの暗号化多項式を用いるものの，暗号化重みを用いることはないから，本願明細書の発明の詳細な説明は，請求項１，１０の記載「前記第１の暗号化重み，および前記第２の暗号化重みから，前記第１のベクトルと前記第２のベクトルの秘匿距離の暗号化に対応する暗号化秘匿距離を得る」について，当業者が実施可能な程度に明確かつ十分な記載をするものではない。
（２）省略
（３）省略
　
　よって，この出願の発明の詳細な説明は，当業者が請求項１−１０に係る発明を実施することができる程度に明確かつ十分に記載されたものでない。
　
　以下省略」
　
第４．原審拒絶理由についての当審の判断
１．本願の請求項１に記載の内容
　平成２８年１０月３１日付けの手続補正により補正された請求項（以下，これを「本願の請求項」という）１には，
「第１のベクトルから第１の変換多項式を用いて第１の多項式と，第２のベクトルから第２の変換多項式を用いて第２の多項式を得る多項式変換部と，
　前記第１のベクトルの秘匿距離に関する第１の重みと，前記第２のベクトルの秘匿距離に関する第２の重みを得る重み計算部と，
　前記第１の多項式，前記第２の多項式，前記第１の重み，および前記第２の重みのそれぞれを，準同型暗号方式を用いて暗号化し，第１の暗号化多項式，第２の暗号化多項式，第１の暗号化重み，および第２の暗号化重みを得る準同型暗号部と，
　前記第１の暗号化多項式，前記第２の暗号化多項式，前記第１の暗号化重み，および前記第２の暗号化重みから，前記第１のベクトルと前記第２のベクトルの秘匿距離の暗号化に対応する暗号化秘匿距離を得る秘匿距離計算部と，
を含む暗号処理装置。」
　と記載されている。
　
２．本願明細書の発明の詳細な説明に記載の内容
　平成２９年７月４日付けの手続補正により補正された明細書（以下，これを「本願明細書」という）の発明の詳細な説明には，次の記載が存在する。
　
Ａ．「【００５８】
　また，暗号データの加算と乗算を説明する。上記の数値例のように，暗号文は必ず第一成分以外が０となるｎ次元ベクトルｃ=（ｃ１，０，…）として表せる。この暗号文の第１成分の整数は，平文ｂと平文空間サイズｓと暗号化で利用するｎ次元ベクトルｕ=（ｕ０，ｕ１，…，ｕｎ−１）を用いて，
　【００５９】
　
として計算することも可能である。ただし，［ｘ］ｄは，
　【００６０】
　
であり，値域が［−ｄ／２，ｄ／２）なる整数であり，ｄは公開鍵を表す行列Ｂの（１，１）成分，ｒは公開鍵を表す行列Ｂの（２，１）成分である。上の例では，ｄ＝１１４３８２１４４９，ｒ＝９８２６２３５４８となる。これにより，暗号文を整数データとしてみなすことができる。」
　
Ｂ．「【００６２】
　上のような準同型暗号の性質を，２つのベクトルデータの比較に適用するためには，例えば以下のようにすれば良い。
　【００６３】
　ベクトルデータＡ＝（ａ１，ａ２，…，ａｎ）とベクトルデータＢ＝（ｂ１，ｂ２，…，ｂｎ）があるとする。ここでは，ベクトルデータＡとベクトルデータＢは，ｎ次元ベクトル量として書けるものとする。
　【００６４】
　ベクトルデータＡ＝（ａ１，ａ２，…，ａｎ）に対して，変換多項式，
　【００６５】
　
を計算する。そして，変換多項式ａ（ｘ）を暗号化して暗号データＥｎｃ（ａ（ｘ））を計算する。今の場合，
　【００６６】
　
とする。
　【００６７】
　ベクトルＢ＝（ｂ１，ｂ２，…，ｂｎ）に対して，変換多項式，
　【００６８】
　
を計算する。そして，変換多項式ｂ（ｘ）を暗号化して暗号データＥｎｃ（ｂ（ｘ））を計算する。ベクトルデータＢ＝（ｂ１，ｂ２，…，ｂｎ）に対する変換多項式は，ベクトルデータＡ＝（ａ１，ａ２，…，ａｎ）に対するものとは異なっている。
　【００６９】
＜準同型暗号を用いた秘匿距離計算＞
　次に，秘匿距離計算を行うために，事前に２つの整数Ｃ１，Ｃ２を用意する。の整数Ｃ１，Ｃ２は次の［数２６］で定義される。
　【００７０】
　
このとき，秘匿距離ｄは，
　【００７１】
　
である。［数２７］で，Ｃ１×Ｅｎｃ（ａ（ｘ）），Ｃ２×Ｅｎｃ（ｂ（ｘ））はそれぞれ，暗号文上のハミング重みＨＷ（ａ），ＨＷ（ｂ）に対応する。上の秘匿距離ｄを復号すると，２つのベクトルデータＡ＝（ａ１，ａ２，…，ａｎ）とベクトルデータＢ＝（ｂ１，ｂ２，…，ｂｎ）のハミング距離となる。上記では秘匿距離としてハミング距離を用いたが，開示の方法は，ユークリッド距離などの距離計算やコサイン類似度などの類似度計算にも適用可能である。
　【００７２】
　ここで，数値例を示す。ベクトルデータＡ＝（１，０，１，１）とベクトルデーＢ＝（０，０，１，０）に対して，ベクトルデータＡ，Ｂを暗号化したままハミング距離を計算することを考える。ベクトルデータＡ＝（１，０，１，１）とベクトルデーＢ＝（０，０，１，０）のハミング距離は２であることは明らかである。
　【００７３】
　ベクトルデータＡ＝（１，０，１，１）に対して，変換多項式ａ（ｘ）＝１＋ｘ２＋ｘ３とハミング重みＨＷ（Ａ） =１＋１＋１＝３を計算する。次に，公開鍵行列Ｂを上記に示したものとし，ｄ＝１１４３８２１４４９，ｒ＝９８２６２３５４８とする。ここで，２つのデータｄと ｒのみあれば暗号化可能であることに注意する。また，平文空間サイズｓ＝４とする。変換多項式ａ（ｘ）の暗号データは，上の［数１９］を用いて，Ｅｎｃ（ａ（ｘ））＝−５７０７５８８３１となる。４次元乱数ベクトルｕ＝（０，１，１，０）としている。ハミング重みＨＷ（Ａ）＝３を暗号化した暗号データＥｎｃ（ＨＷ（Ａ））は，４次元乱数ベクトルｕ＝（１，０，０，１）として，
　【００７４】
　
となる。
　【００７５】
　同様に，ベクトルデータＢ＝（０，０，１，０）に対して，変換多項式ｂ（ｘ）＝ｘ２とハミング重みＨＷ（Ｂ）＝１を計算する。ハミング重みＨＷ（Ｂ）＝１を暗号化した暗号データＥｎｃ（ＨＷ（Ｂ））は，４次元乱数ベクトルｕ＝（０，０，０，１）として，
　【００７６】
　
となる。
　【００７７】
　秘匿距離ｄは，Ｅｎｃ（ＨＷ（Ａ）），Ｅｎｃ（ＨＷ（Ｂ）），Ｅｎｃ（ａ（ｘ）），およびＥｎｃ（ｂ（ｘ））を用いて，秘匿距離ｄ＝Ｅｎｃ（ＨＷ（Ａ））＋Ｅｎｃ（ＨＷ（Ｂ））＋２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））＝５８１４７３５９となる。
　【００７８】
　最後に，この暗号データｄに対して秘密鍵行列Ｖを用いて復号すると，ｄ=（５８１４７３５９，０，０，０）として，ｃ−［ｃ×Ｖ−１］×Ｖ＝（１０，３０，−４２，１１）である。このベクトルデータの第１成分に対して，平文空間サイズｓ＝４で割った余りを考えると，復号結果は２となり，これが２つのベクトルデータＡ， Ｂのハミング距離に一致する。
　【００７９】
　また，上では[数２６]，[数２７]を用いたが，ｂ（ｘ），Ｃ２をそれぞれ，次式のようなｂ’（ｘ），Ｃ２’
　【００８０】
　
に置きかえ，秘匿距離ｄを，
　【００８１】
　
のように定義しても良い。上の［数３１］の右辺第３項の符号が，数［２７］のものとは異なっていることに注意しよう。［数３１］は，
　【００８２】
　
と計算することも可能である。」
　
Ｃ．「【０１０７】
　生体認証システム１０は，登録センサ２０と計算サーバ３０を含む。登録センサ２０は，特徴量抽出部２０２，ベクトル化部２０４，多項式変換部２０６，Ｈａｍｍｉｎｇ（ハミング）重み計算部２０８，および準同型暗号部２１０を含む。これらを，第１の特徴量抽出部２０２，第１のベクトル化部２０４，第１の多項式変換部２０６，第１のＨａｍｍｉｎｇ重み計算部２０８，および第１の準同型暗号部２１０として参照することもある。また，第１のＨａｍｍｉｎｇ重み計算部２０８は単に重み計算部２０８として参照することもある。
　【０１０８】
　計算サーバ３０は，正規ユーザ４０の生体情報を参照情報として格納する暗号登録データ３０２を含む。図２Ａには図示されていないが，計算サーバ３０は，図２Ｂに示されているように，準同型暗号化された２つのデータの加算演算を行う暗号乗算部３０４，準同型暗号化されたデータのスカラー倍の計算を行う暗号スカラー部３０６，および準同型暗号化された２つのデータの加算演算を行う暗号加算部３０８を含む。
　【０１０９】
　暗号乗算部３０４，暗号スカラー部３０６，および暗号加算部３０８は組み合わされて，秘匿距離計算部を構成する。
　【０１１０】
　特徴量抽出部２０２では，正規ユーザとして登録されるユーザ４０の生体の情報の一部をセンサから取得し，特徴量を抽出する。特徴量としては，図１Ａに示されているように指紋であっても良い。このように，第１の特徴抽出部２０２は，正規ユーザの生体の一部に関する情報から正規ユーザを他のユーザから区別する特徴を第１の特徴量として抽出する。
　【０１１１】
　ベクトル化部２０４では，特徴量抽出部２０２で抽出された特徴量をｎ次元ベクトルａとして表現する。例えば，ベクトルａは，ａ０，…，ａｎ−１を０または１として，
　【０１１２】
　　【数３６】
　ａ＝（ａ０，ａ１，・・・，ａｎ−１）
　
のように表される。このように第１のベクトル化部２０４は，第１の特徴量を，第１のベクトルａとして表現する。
　【０１１３】
　多項式変換部２０６では，ベクトル化部２０４で得られたベクトルａを多項式に変換する。例えば，変換多項式，
　【０１１４】
　
を計算する。このように（第１の）多項式変換部２０６は，第１のベクトルａから第１の変換多項式を用いて第１の多項式ａ（ｘ）を得る。
　【０１１５】
　Ｈａｍｍｉｎｇ重み計算部２０８では，ベクトルａのハミング重みＨＷ（ａ）を計算する。今の場合，ハミング重みＨＷ（ａ）は，
　【０１１６】
　
である。このように（第１の）重み計算部２０８は，第１のベクトルａの秘匿距離に関する第１の重みＨＷ（ａ）を計算する。今の場合，秘匿距離はハミング距離であり，第１の重みはハミング重みである。
　【０１１７】
　準同型暗号化部２１０では，多項式変換部２０６で得られた多項式ａ（ｘ）とＨａｍｍｉｎｇ重み計算部２０８で得られたハミング重みＨＷ（ａ）を暗号化し，Ｅｎｃ（ａ（ｘ））とＥｎｃ（ＨＷ（ａ）），
　【０１１８】
　
を得る。このように，（第１の）準同型暗号化部２１０は，第１の多項式ａ（ｘ），第１の重みＨｗ（ａ）のそれぞれを，準同型暗号方式を用いて暗号化し，第１の暗号化多項式Ｅｎｃ（ａ（ｘ））および第１の暗号化重みＥｎｃ（ＨＷ（ａ））を得る。ここで，［数３６］にあるＥｎｃ(ＨＷ(ａ))の方のｕｉと，Ｅｎｃ(ａ(ｘ))のｕｉ’とは異なる乱数であってもよい。Ｅｎｃ(ｂ(ｘ))とＥｎｃ(ＨＷ(ｂ))についても同様である。」
　
Ｄ．「　【０１３０】
　準同型暗号化部６１０で得られた暗号化データＥｎｃ（ｂ（ｘ））とＥｎｃ（ＨＷ（ｂ））は，計算サーバ３０に送られる。Ｅｎｃ（ｂ（ｘ））とＥｎｃ（ＨＷ（ｂ））はそれぞれ，上式［数３８］および［数３９］において，ａ（ｘ）をｂ（ｘ）と置き換えたものである。
　【０１３１】
　計算サーバ３０の暗号乗算部３０４では，暗号登録データ３０２に格納されているＥｎｃ（ａ（ｘ））と準同型暗号化部６１０で得られたＥｎｃ（ｂ（ｘ））の積
　【０１３２】
　
を計算する。
　【０１３３】
　暗号スカラー部３０６では，事前に計算された２つの整数，
　【０１３４】
　
と，Ｅｎｃ（ａ（ｘ）））とＥｎｃ（ｂ（ｘ））との積，
　【０１３５】
　
を計算する。また，暗号スカラー部３０６では，暗号乗算部３０４で得られたＣ１の２倍，
　【０１３６】
　
を計算する。
　【０１３７】
　暗号加算部３０８では，ｋ１×Ｅｎｃ（ａ（ｘ）），ｋ２×Ｅｎｃ（ｂ（ｘ）），２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数４７］で表されるハミング距離Ｄを算出する。
　【０１３８】
　
このように，秘匿距離計算部では，第１の暗号化多項式Ｅｎｃ（ａ（ｘ））），第２の暗号化多項式Ｅｎｃ（ｂ（ｘ）），第１の暗号化重みＥｎｃ（ＨＷ（ａ）），および第２の暗号化重みＥｎｃ（ＨＷ（ｂ））から，第１のベクトルａと第２のベクトルｂの秘匿距離の暗号化に対応する暗号化秘匿距離（ハミング距離）Ｄを得る。そして，ハミング距離Ｄのみを認証局７０に送信する。」
　
３．記載内容の検討
　本願の請求項１に記載の，
「前記第１のベクトルの秘匿距離に関する第１の重みと，前記第２のベクトルの秘匿距離に関する第２の重みを得る重み計算部と，
　前記第１の多項式，前記第２の多項式，前記第１の重み，および前記第２の重みのそれぞれを，準同型暗号方式を用いて暗号化し，第１の暗号化多項式，第２の暗号化多項式，第１の暗号化重み，および第２の暗号化重みを得る準同型暗号部と，
　前記第１の暗号化多項式，前記第２の暗号化多項式，前記第１の暗号化重み，および前記第２の暗号化重みから，前記第１のベクトルと前記第２のベクトルの秘匿距離の暗号化に対応する暗号化秘匿距離を得る秘匿距離計算部」，
　に関して，上記２．において，Ｂとして引用した，本願明細書の発明の詳細な説明の段落【００７７】に，「秘匿距離ｄは，Ｅｎｃ（ＨＷ（Ａ）），Ｅｎｃ（ＨＷ（Ｂ）），Ｅｎｃ（ａ（ｘ）），およびＥｎｃ（ｂ（ｘ））を用いて，秘匿距離ｄ＝Ｅｎｃ（ＨＷ（Ａ））＋Ｅｎｃ（ＨＷ（Ｂ））＋２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））＝５８１４７３５９となる」とあり，
　Ｃとして引用した，段落【０１０７】の記載に，「Ｈａｍｍｉｎｇ（ハミング）重み計算部２０８，および準同型暗号部２１０を含む」とあり，
　同段落【０１１６】に，「このように（第１の）重み計算部２０８は，第１のベクトルａの秘匿距離に関する第１の重みＨＷ（ａ）を計算する。今の場合，秘匿距離はハミング距離であり，第１の重みはハミング重みである」とあって，
　これら引用記載における「ＨＷ（Ａ）」，「ＨＷ（Ｂ）」，「Ｅｎｃ（ＨＷ（Ａ））」，「Ｅｎｃ（ＨＷ（Ｂ））」，「Ｅｎｃ（ａ（ｘ））」，及び，「Ｅｎｃ（ｂ（ｘ））」が，それぞれ，本願の請求項１に記載の「第１の重み」，「第２の重み」，「第１の暗号化重み」，「および第２の暗号化重み」，「第１の暗号化多項式」，及び，「第２の暗号化多項式」に相当すると解せるので，
　本願明細書の発明の詳細な説明には，一応，本願の請求項１に記載の，
“重み計算部と，第１の多項式，第２の多項式，第１の重み，および第２の重みのそれぞれを，準同型暗号方式を用いて暗号化し，第１の暗号化多項式，第２の暗号化多項式，第１の暗号化重み，および第２の暗号化重みを得る準同型暗号部と，前記第１の暗号化多項式，前記第２の暗号化多項式，前記第１の暗号化重み，および前記第２の暗号化重みから，第１のベクトルと第２のベクトルの秘匿距離の暗号化に対応する暗号化秘匿距離を得る秘匿距離計算部”
　が開示されていることが読み取れる。
　また，上記Ｂの段落【００７２】〜段落【００７８】に開示の「数値例」では，「ハミング重みＨＷ（Ａ）」を計算してから，当該「ハミング重みＨＷ（Ａ）」を暗号化した「Ｅｎｃ（ＨＷ（Ａ））」を求め，当該値を用いて，「秘匿距離ｄ」を求めている。
　
　一方，本願明細書の発明の詳細な説明には，「秘匿距離ｄ」を求める式として，上記Ｂに引用した，段落【００７１】に【数２７】が，段落【００８１】に【数３１】が，段落【００８２】に【数３２】が記載され，「暗号化秘匿距離（ハミング距離）Ｄ」を求める式として，上記Ｄに引用した，段落【０１３８】に【数４７】が記載されていて，
　上記Ｂの段落【００７１】に，「［数２７］で，Ｃ１×Ｅｎｃ（ａ（ｘ）），Ｃ２×Ｅｎｃ（ｂ（ｘ））はそれぞれ，暗号文上のハミング重みＨＷ（ａ），ＨＷ（ｂ）に対応する」とあるものの，
　【数２７】を用いた計算と，上記指摘の段落【００７２】〜段落【００７８】に開示の「数値例」が，同じ計算を行っていることは読み取れず，更に，
　【数２７】に用いられている「Ｃ１」，「Ｃ２」については，上記Ｂの段落【００７０】に【数２６】として開示され，「ＨＷ（ａ）」については，上記Ｃの段落【０１１６】に【数３８】として，当該「ＨＷ（ａ）」を暗号化した「Ｅｎｃ（ＨＷ（ａ））」については，上記Ｃの段落【０１１８】に【数３９】として開示されていて，当該「ＨＷ（ａ）」と，当該「Ｅｎｃ（ＨＷ（ａ））」が，上記Ｂに引用した段落【００７３】に記載の「ＨＷ（ａ）」，及び，「Ｅｎｃ（ＨＷ（ａ））」と同じものであるとしても，
　上記Ｂの段落【００６６】に開示された，変換多項式ａ（ｘ）の暗号化の式である【数２４】を併せて検討しても，【数２４】に開示された「Ｅｎｃ（ａ（ｘ））」と，【数２６】に開示された「Ｃ１」とを乗算したものと，【数３９】に開示された「Ｅｎｃ（ＨＷ（ａ））」とが，等しくなることが読み取れず，
　結果として，【数２７】，【数３１】，或いは，【数３２】に，上記Ｃに引用の「ハミング重みＨＷ（ａ）」，及び，「Ｈａｍｍｉｎｇ重み計算部２０８で得られたハミング重みＨＷ（ａ）を暗号化」した「Ｅｎｃ（ＨＷ（ａ））」を用いることが読み取れない。
　そして，上記Ｄに引用した，段落【０１３１】〜段落【０１３８】に記載された内容からは，【数４７】において，「ハミング重みＨＷ（ａ）」，及び，「Ｈａｍｍｉｎｇ重み計算部２０８で得られたハミング重みＨＷ（ａ）を暗号化」した「Ｅｎｃ（ＨＷ（ａ））」を用いることが読み取れない。
　以上に検討した点を踏まえると，上記Ｂに引用した「秘匿距離ｄ」を求めるための式である【数２７】，【数３１】，【数３２】，及び，上記Ｄに引用した「暗号化秘匿距離（ハミング距離）Ｄ」を求めるための式である【数４７】においては，「第１のベクトルａの秘匿距離に関する第１の重みＨＷ（ａ）を計算する」こと，「第２のベクトルｂの秘匿距離に関する第１の重みＨＷ（ｂ）を計算する」こと，“第１の重みＨＷ（ａ）を準同型暗号方式で暗号化する”こと，“第２の重みＨＷ（ｂ）を準同型暗号方式で暗号化する”こと，“第１の暗号化多項式，第２の暗号化多項式，第１の暗号化重み，及び，第２の暗号化重みから，第１のベクトルと第２のベクトルの秘匿距離の暗号化に対応する暗号化秘匿距離を計算する”ことを行っていることを読み取ることができない。
　また，平成２９年７月４日付けの手続補正において，本願明細書の発明の詳細な説明の段落【０１３７】が，
「暗号加算部３０８では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数４７］で表されるハミング距離Ｄを算出する。」
　から，上記Ｄに引用した，
「暗号加算部３０８では，ｋ１×Ｅｎｃ（ａ（ｘ）），ｋ２×Ｅｎｃ（ｂ（ｘ）），２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数４７］で表されるハミング距離Ｄを算出する。」
　と補正されていて，
　当該補正事項は，「暗号化秘匿距離（ハミング距離）Ｄ」を求めるための式である【数４７】において，「ハミング重みＨＷ（ａ）」，及び，「Ｈａｍｍｉｎｇ重み計算部２０８で得られたハミング重みＨＷ（ａ）を暗号化」した「Ｅｎｃ（ＨＷ（ａ））」が関与していないと解するのが妥当である。
　そうすると，本願明細書の発明の詳細な説明において，「秘匿距離ｄ」に関して，同じ「秘匿距離ｄ」を求めるために，【数２７】による計算と，段落【００７２】〜段落【００７７】に開示の「数値例」による計算とでは，計算方法が異なっており，更に，「暗号化秘匿距離（ハミング距離）Ｄ」を求めるための式である【数４７】においては，「ハミング重みＨＷ（ａ）」，及び，「Ｈａｍｍｉｎｇ重み計算部２０８で得られたハミング重みＨＷ（ａ）を暗号化」した「Ｅｎｃ（ＨＷ（ａ））」を用いることが読み取れないので，
　本願の請求項１に記載の，
「前記第１のベクトルの秘匿距離に関する第１の重みと，前記第２のベクトルの秘匿距離に関する第２の重みを得る重み計算部と，
　前記第１の多項式，前記第２の多項式，前記第１の重み，および前記第２の重みのそれぞれを，準同型暗号方式を用いて暗号化し，第１の暗号化多項式，第２の暗号化多項式，第１の暗号化重み，および第２の暗号化重みを得る準同型暗号部と，
　前記第１の暗号化多項式，前記第２の暗号化多項式，前記第１の暗号化重み，および前記第２の暗号化重みから，前記第１のベクトルと前記第２のベクトルの秘匿距離の暗号化に対応する暗号化秘匿距離を得る秘匿距離計算部」
　と，本願明細書の発明の詳細な説明に記載の「秘匿距離ｄ」を求めるための式である【数２７】，【数３１】，【数３２】，及び，「暗号化秘匿距離（ハミング距離）Ｄ」を求めるための式である【数４７】との関係が不明であって，
　更に，本願明細書の発明の詳細な説明においては，「秘匿距離ｄ」を求める【数２７】と，その「数値例」と思われる，段落【００７２】〜段落【００７７】の記載内容との関係が，上記において検討したとおり不明であるので，
　本願の請求項１に記載の「秘匿距離計算部」が，どのように実現されているのか，本願明細書の発明の詳細な説明に記載された事項からは，不明である。
　ここで，平成２９年７月４日付けの手続補正においては，上記に指摘の事項に加え，段落【０１６２】を，
「Ｓ２１２では，暗号登録データ３０２に格納されているＥｎｃ（ａ（ｘ））とＳ２１０で得られたＥｎｃ（ｂ（ｘ））の積Ｅｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））を計算する。この処理は，計算サーバ３０の暗号乗算部３０４で行われ得る」，
　から，
「Ｓ２１２では，暗号登録データ３０２に格納されているＥｎｃ（ａ（ｘ））とＳ２１０で得られたＥｎｃ（ｂ（ｘ））の積Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））を計算する。この処理は，計算サーバ３０の暗号乗算部３０４で行われ得る」，
　と補正し（以下，これを「補正事項１」という），段落【０１６３】を，
「Ｓ２１４では，Ｓ２１０で得られたＥｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））の２倍，２Ｅｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））を計算する。本ステップの処理は，計算サーバ３０の暗号スカラー部３０６で行われ得る」，
　から，
「Ｓ２１４では，Ｓ２１２で得られたＥｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の２倍，２Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））を計算する。本ステップの処理は，計算サーバ３０の暗号スカラー部３０６で行われ得る」，
　と補正し（以下，これを「補正事項２」という），段落【０１６４】を，
「Ｓ２１６では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数４７］で表されるハミング距離Ｄを算出する。ハミング距離Ｄのみを認証局７０に送信する。本ステップの処理は，計算サーバ３０の暗号加算部３０８で行われ得る」，
　から，
「Ｓ２１６では，Ｅｎｃ（ＨＷ（ａ）），Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数４７］で表されるハミング距離Ｄを算出する。ハミング距離Ｄのみを認証局７０に送信する。本ステップの処理は，計算サーバ３０の暗号加算部３０８で行われ得る」，
　と補正し（以下，これを「補正事項３」という），段落【０２０３】を，
「暗号加算部１２０８では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数６３］で表されるハミング距離Ｄを算出する」，
　から，
「暗号加算部１２０８では，ｋ１×Ｅｎｃ（ａ（ｘ）），ｋ２×Ｅｎｃ（ｂ（ｘ）），２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数６３］で表されるハミング距離Ｄを算出する。」，
　と補正し（以下，これを「補正事項４」という），段落【０２２４】を，
「Ｓ４１２では，暗号登録データ１２０２に格納されているＥｎｃ（ａ（ｘ））とＳ４１０で得られたＥｎｃ（ｂ（ｘ））の積Ｅｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））を計算する。この処理は，クラウド１２０の暗号乗算部１２０４で行われ得る」，
　から，
「Ｓ４１２では，暗号登録データ１２０２に格納されているＥｎｃ（ａ（ｘ））とＳ４１０で得られたＥｎｃ（ｂ（ｘ））の積Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））を計算する。この処理は，クラウド１２０の暗号乗算部１２０４で行われ得る」，
　と補正し（以下，これを「補正事項５」という），段落【０２２５】を，
「Ｓ４１４では，Ｓ４１０で得られたＥｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））の２倍，２Ｅｎｃ（ｂ（ｘ））×Ｅｎｃ（ＨＷ（ｂ））を計算する。本ステップの処理は，クラウド１２０の暗号スカラー部１２０６で行われ得る」，
　から，
「Ｓ４１４では，Ｓ４１２で得られたＥｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の２倍，２Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））を計算する。本ステップの処理は，クラウド１２０の暗号スカラー部１２０６で行われ得る」，
　と補正し，段落【０２２６】を，
「Ｓ４１６では，ｋ１×Ｅｎｃ（ＨＷ（ａ）），ｋ２×Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ）））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数６０］で表されるハミング距離Ｄを算出する。ハミング距離ＤのみをユーザＰＣ１６０に送信する。本ステップの処理は，クラウド１２０の暗号加算部１２０８で行われ得る」，
　から，
「Ｓ４１６では，Ｅｎｃ（ＨＷ（ａ）），Ｅｎｃ（ＨＷ（ｂ）），２×Ｅｎｃ（ａ（ｘ））×Ｅｎｃ（ｂ（ｘ））の和を計算し，秘匿距離として［数６０］で表されるハミング距離Ｄを算出する。ハミング距離ＤのみをユーザＰＣ１６０に送信する。本ステップの処理は，クラウド１２０の暗号加算部１２０８で行われ得る」，
　と補正しているが（以下，これを「補正事項６」という），
　補正事項１，及び，補正事項２は，上記において検討した，【数４７】が，「ハミング重みＨＷ（ａ）」，及び，「Ｈａｍｍｉｎｇ重み計算部２０８で得られたハミング重みＨＷ（ａ）を暗号化」した「Ｅｎｃ（ＨＷ（ａ））」を用いずに計算することを示すものであり，補正事項４は，上記において検討した【数４７】と同一の式である，段落【０２０４】に記載の【数６３】が，「ハミング重みＨＷ（ａ）」，及び，「Ｈａｍｍｉｎｇ重み計算部２０８で得られたハミング重みＨＷ（ａ）を暗号化」した「Ｅｎｃ（ＨＷ（ａ））」を用いずに計算することを示すものであり，補正事項３，及び，補正事項６は，上記において検討した【数２７】に関する段落【００７１】の「［数２７］で，Ｃ１×Ｅｎｃ（ａ（ｘ）），Ｃ２×Ｅｎｃ（ｂ（ｘ））はそれぞれ，暗号文上のハミング重みＨＷ（ａ），ＨＷ（ｂ）に対応する」という記載に根拠を置く記載に補正するものであると解されるが，上記の【数２７】において検討したことと同じく，本願明細書の発明の詳細な説明に記載された内容からは，「ｋ１×Ｅｎｃ（ａ（ｘ））」と，「Ｅｎｃ（ＨＷ（ａ））」が等しい，及び，「ｋ２×Ｅｎｃ（ｂ（ｘ））」と，「Ｅｎｃ（ＨＷ（ｂ））」とが等しいことを示す根拠が見出せないので，
　結局のところ，これらの補正内容を検討しても，上記において検討した，本願明細書の発明の詳細な説明に記載の「秘匿距離」を求めるための数式である【数２７】等と，本願の請求項１に記載の「秘匿距離計算部」との関係，及び，当該【数２７】等と，本願明細書の発明の詳細な説明における「数値例」との関係が不明である点は，解消しない。
　よって，本願明細書の発明の詳細な説明には，本願の請求項１に係る発明における発明特定事項である「秘匿距離計算部」が，当業者が実施し得る程度に記載されているとは認めされない。
　
　以上に検討したとおりであるから，本願明細書の発明の詳細な説明は，平成２８年１０月３１日付けの手続補正，及び，平成２９年７月４日付けの手続補正の内容を検討しても，原審拒絶理由において指摘のとおり，依然として，経済産業省令で定めるところにより，その発明の属する技術分野における通常の知識を有する者がその実施をすることができる程度に明確かつ十分に記述したものでない。
　
　なお，審判請求人は，平成２９年７月４日付けの審判請求書において，
「４．　指摘事項に対する対処 
 　指摘事項（イ）について，前述した補正後の段落［０１３７］の記載には，指摘の事項は存在しないと思料する。 
 　指摘事項（ロ）について，前述した補正後の段落［０１６３］−［０１６４］の記載には，指摘の事項は存在しないと思料する。 
 　指摘事項（ハ）について，前述した補正後の段落［０１６４］の記載には，指摘の事項は存在しないと思料する。 
 　指摘事項（ニ）について，前述した補正後の段落［０２０３］の記載には，指摘の事項は存在しないと思料する。」
　旨主張しているが，平成２９年７月４日付けの手続補正については，上記に検討したとおりであるから，請求人の上記主張は採用できない。
　
第５．むすび
　したがって，本願は，特許法第３６条第４項第１号に規定する要件を満たしていない。
　
　よって，結論のとおり審決する。