せいとう‐せい〔セイタウ‐〕【正当性】
正当性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/28 23:19 UTC 版)
正当性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/07/12 09:18 UTC 版)
全体がうまく動作するためには、当り前ではあるが以下を前提とする。 ∀ m ∈ M , I D ∈ { 0 , 1 } ∗ : D e c r y p t ( E x t r a c t ( P , K m , I D ) , P , E n c r y p t ( P , m , I D ) ) = m {\displaystyle \forall m\in {\mathcal {M}},ID\in \left\{0,1\right\}^{*}:Decrypt\left(Extract\left({\mathcal {P}},K_{m},ID\right),{\mathcal {P}},Encrypt\left({\mathcal {P}},m,ID\right)\right)=m} 。
※この「正当性」の解説は、「IDベース暗号」の解説の一部です。
「正当性」を含む「IDベース暗号」の記事については、「IDベース暗号」の概要を参照ください。
正当性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/01/01 13:27 UTC 版)
定義 Π = ( G , E , D ) {\displaystyle \Pi =(G,E,D)} が以下の条件を満たすとき、 Π {\displaystyle \Pi } は正当性を満たすという : 任意の平文 m に対し、Pr((pk, sk) ← G(1k), C ← Epk(m) : Dsk(C) = m) は圧倒的 (overwhelming) である。
※この「正当性」の解説は、「公開鍵暗号」の解説の一部です。
「正当性」を含む「公開鍵暗号」の記事については、「公開鍵暗号」の概要を参照ください。
正当性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/30 16:28 UTC 版)
※この「正当性」の解説は、「表示的意味論」の解説の一部です。
「正当性」を含む「表示的意味論」の記事については、「表示的意味論」の概要を参照ください。
正当性(correctness)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:23 UTC 版)
「ホーア論理」の記事における「正当性(correctness)」の解説
事前条件 P が成り立つときに、プログラム S を実行すると、その実行が必ず終了するならば、プログラム S は、事前条件 P に関して停止する(terminate)と言う。 プログラム S が部分的に正当かつ停止するものであるとき、すなわち、プログラム S が事前条件 P に関して停止し、停止後には必ず事後条件 Q が成り立つならば、プログラム S は、事前条件 P と事後条件 Q とに関して正当(correct)であるという。
※この「正当性(correctness)」の解説は、「ホーア論理」の解説の一部です。
「正当性(correctness)」を含む「ホーア論理」の記事については、「ホーア論理」の概要を参照ください。
正当性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/19 04:48 UTC 版)
ジオブロッキングの大本は、カートリッジやCDなどを解析・コピーし、ネット上でダウンロードするといった著作権侵害に対応するために家庭用ゲーム機器やPC用ゲームに施された政府主導のリージョン制限が発端とされている(しかし、リージョン制限のないPlayStation 3では深刻な問題になっていないため、そもそも意味がないという批判も多い。)。 また、企業側としても地域ごとにソフトの需要価値が大きく変わるため、経営戦略として発売日を地域ごとに前後させたり、またはCEROといった各国の法律や文化に基づいた独自の対応を行う余地を持たせるためとされている。特に需要が高い場合は「品質向上のために時間をかける」「その分、価格設定を高くする」といった対応を取り、利益の最大効率化を図る目的がある。
※この「正当性」の解説は、「ジオブロッキング」の解説の一部です。
「正当性」を含む「ジオブロッキング」の記事については、「ジオブロッキング」の概要を参照ください。
正当性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/15 15:31 UTC 版)
最終的な2倍し、1をたされた整数のリストは、3から2n+1までの奇数が含まれている。私たちは、リストから除外された奇数は真に合成数であることを示さなければならない。 奇数の整数は、それが2(i + j + 2ij) + 1という形で表せ、かつそのときに限り最終的なリストから除外されている。このとき、 2 ( i + j + 2 i j ) + 1 = 2 i + 2 j + 4 i j + 1 = ( 2 i + 1 ) ( 2 j + 1 ) . {\displaystyle {\begin{aligned}2(i+j+2ij)+1&=2i+2j+4ij+1\\&=(2i+1)(2j+1).\end{aligned}}} よって、奇数はそれが(2i + 1)(2j + 1)と因数分解される場合、つまり非自明な奇数の因数を持つ場合かつそのときに限り最終的なリストから除外される。したがって、最終的なリストは 2 n + 2 {\displaystyle 2n+2} 以下の奇素数だけを含む。
※この「正当性」の解説は、「サンダラムの篩」の解説の一部です。
「正当性」を含む「サンダラムの篩」の記事については、「サンダラムの篩」の概要を参照ください。
「正当性」の例文・使い方・用例・文例
- 請求の正当性を立証する
- 正当性は幾つかの実験によって承認された。
- 私たちは提案された方法を発展させ、その正当性を議論する予定です。
- 要求の正当性を実証する.
- 活力、体力、または正当性が、磨いたり浄化したりして衰える、あるいは弱まる
- 数学者は推測の正当性を示した
- 正当性または承認を欠いている
- あなたの意見の正当性についての堅くユーモアのない考えによって特徴づけられる
- 不変の正当性の原則
- 正当性および妥当性の美的基準との適合
- 正規の法規に従うことによる正当性
- 裁判官は私の主張の正当性を認めた
- 彼の要求の正当性
- 死刑に対する正当性
- 考えまたは信条での正当性の欠如
- 何か他のものの正当性または効果に基づくという仮定
- 純粋性または正当性(特に言語で)の綿密なまたは誇張された主張
- 勝利の正当性が争われている勝者(レース、選挙など)
- ある物の正当性、現実、または真性を肯定あるいは保証する人
- 何かの正当性を確かめる人
- 正当性のページへのリンク