約 737,821 件
https://w.atwiki.jp/eiyou-edamame/pages/30.html
栄養教育計画 栄養教育計画を立てる時は6W2Hを用いることで、より具体的な計画を立てることが出来る。 栄養教育計画立案の為の6W2H When(いつ) 教区の時期・日程の決定 Where(どこで) 栄養教育実施場所の決定 Who(誰が、誰により) 教育者の決定 Whom(誰に) 対象者(学習者)の決定 What(何を) 教育内容の決定 Wyh(なぜ) 学習者の問題点や教育の目的意義とその明確化 How to(どのように) 教育方法(形態・教材・媒体など)の決定 How much(いくらで) 費用とその負担者の決定 6W2Hを用いることで、より具体的な計画を立てることが出来る。 また課題解決の必要性や実施可能性を考慮し、優先順位をつけることが必要である。 課題の必要性・優先性 解決すべき必要性のある課題と判断されたものについて、優先順位をつける。 課題は必ずしも1つとは限らず、複数組み合わせる必要がある。 栄養教育計画目標設定の為の条件 早急に解決が急がれるもの 多くの人が問題としているもの 対象者が自分自身で出来るもの 対象者に経済的、労力的負担のかからないもの 効果が出来るだけ早期に現れやすいもの 関連機関の協力が得られやすいもの 対象者が積極的に取り組む意思があること img043.jpg 人的資源：栄養教育実施者の他、学習者を支える家族や友人、仲間など 物質的資源：栄養教育の為に必要な場所、時間、機会・器具など 社会的資源：保健所・保健センター、健康増進センター、公民館、医療施設などの公的機関や組織
https://w.atwiki.jp/iihito/pages/86.html
ウェビナー放送中！！ メモメモメモです。 11月1日（日）１３時より みきひろ学長による 新宿アイランドタワーお披露目セミナー 限定１００名 近日中に受講申し込み開始！ 11月1日より イマコレ一般公開決定！ 11月中に 自動顧客獲得（NBCアフィリエイト）システムも稼動決定！！ 【超重要な生情報！！】 Yシステムワールドの 出品方法が変わる！！ みきひろ学長がカリキュラム変更を発表した。 最初のステップの１０００品出品という目標設定を ３００品に変更する！！ 理由は、転売の楽しさ・面白さを みんなに味わってもらいたいから。 カテゴリ検索をさせないように、 Yシステムの仕様を変更する！ ＜＜新カリキュラム＞＞ NBCに入ったら、３００品出品達成しよう！ キーワード検索で商品を探して、１日3出品しよう！ １．キュレーションで使用するキーワードATで キーワード探し。 ２．オークファンで１で見つけたキーワードで検索する。 ３．Wikipediaでそのキーワードで検索する ４．その関連キーワードを英単語にしてYシステムで検索する これを毎日３出品する！！ そして、3回売れた商品は、 Yシステムから仕入れて、メルカリ、アマゾンで売る。 これで３００出品して、1個も売れない場合は、 NBC本部が付きっ切りでサポートしてくれるようになる。 ここまでで売り上げが上がった人は、 次のステップへ進める。 売り上げ上がった人だけしか入れないサイトや 強化合宿に参加できたりする。 詳しくは録画見ましょう！！
https://w.atwiki.jp/chapati4it/pages/195.html
問１７ ソフトウェアの使用性を評価する指標の目標設定の例として、適切なものはどれか。 ア ソフトウェアに障害が発生してから１時間以内に、利用者が使用できること イ 利用者が使用したい機能の改善を、１週間以内に実装できること ウ 利用者が使用したい機能を、100％提供できていること エ 利用者が、使用したいソフトウェアの使用方法を１時間以内に習得できること 問１７回答 正解 エ 解説 ソフトウェア品質特性(ISO/IEC9126)の問題です。 使用性とは、「指定された条件の下で利用するとき、理解、習得、利用でき、利用者にとって魅力的であるソフトウェア製品の能力」です。 つまり、「ソフトウェアの操作が簡単かつ、利用者にメリットがあること」です。 ア 不正解 「信頼性」の例分です。 信頼性の中には「成熟性」「障害許容性」「回復性」「信頼性標準適合性」が含まれ、アは「回復性」の例文でもあります。 イ 不正解 「保守性」の例文です。 保守性の中には「解析性」「変更性」「安定性」「試験性」「保守性標準適合性」が含まれ、イは「変更性」の例文でもあります。 ウ 不正解 「機能性」の例文です。 機能性の中には「合目的性」「正確性」「相互運用性」「セキュリティ」「機能性標準適合性」が含まれ、ウは「合目的性」の例文でもあります。 エ 正解 「使用性」の例文です。 使用性の中には「理解性」「習得性」「運用性」「魅力性」「使用性標準適合性」が含まれ、イは「習得性」の例文でもあります。 問１８へ 問１６に戻る
https://w.atwiki.jp/leads2010/pages/127.html
楽しみながら自分を成長させる。 出会いは奇跡的 交流で違う価値観に触れ成長 チームとして成長 生活の充実 協力 全ての人が楽しめるイベントの運営 リーダー コミュニケーション能力（聴く力、柔軟性） 自己管理能力（目標設定、責任感、積極性、計画性、自制心） リーダー像 論理性 後天的に身につく 経済的、時間的、能力的な理由でやりたいことが出来ないのは幸せではないのでは？ 夢や目標を叶えられれば幸せではないか？ イベントを開くには様々な工程が必要 協力が不可欠 社会にも必要なスキル 適材適所 自分のやりたい企画が出来る 最大限に力を発揮 自分から率先してやろうと思う仕事なら困難もいとわない 個人の意見の吸い上げ 任せたい 人間は千差万別 1つだけでは不可能 興味に合わせた多角的な運営 高校生向けイベント 社会人向けイベント 集客の意識 今後の展望 他インカレや学内サークルとの共同イベント 芸能事務所 旅行代理店 大型ブランドとのファッションショー 学生生活、日常生活に密着した形のイベント 生活に必要なものがスローガン 地方進出、海外進出 スタッフになることのメリット イベントをやって楽しい 友達が増加 充実感 強制なし 社会スキルが身に付く 就職活動に役立つ 外部協力者 フロント スタッフ マネージャー 各事業部のトップ 最初の仕事 イベントに行き、雰囲気を知る 目標は社会に則したものでないと協力を得にくく成功しにくい 社会の現実を知り、対策をしっかり立てる イベント運営を通して規模の大きなことが出来れば協力者も集まりやすい 協力者がいれば夢を達成することは不可能ではない 具体的な仕事内容 団体イベント、団体飲みの企画・運営 サークルの代表 集客、渉外、広報 監査 労務、法務 サークルの連合体 団体イベント 大規模でやるイベント サークルの普段の活動の発表場所 外部も参加するので宣伝する機会に 団体のみ 普段一緒に活動しないが仲良くなるキッカケ スタッフスカウト 社交性、責任感、一期一会・出会いを大切にする気持ちのある人
https://w.atwiki.jp/cryptospace/pages/35.html
定理(NACMA+Σ)の証明のアイデア 検証鍵 vk = (vk, pkΣ)のもとで、 z = (σ*,x*,y*)がm*の(NACMA+Σ)署名による妥当な署名であるためには、 Det(pkΣ, x*, H(m*), y*) ∧ Verify(vk, x*, σ*) でなければならない。 このとき、 x* はメッセージm* とは独立に生成できるので、x*を守る署名σ*は非適応的な攻撃に対して安全であればよい。 H(m*)は偽造者にとっても値をコントロールできないので、Σプロトコルの特殊健全性より、 x*,H(m*)に対し妥当なy*を作れるのは、skΣを知っている正当な署名者のみ。 定理(NACMA+Σ)の証明 Ω に対する任意の効率的な偽造者をFとする。Fの署名クエリ回数の上界をt(n)とする。 CMAΩ ,F(n)において、 Fは第i回目の署名クエリとして mi を発し、その応答として zi = (σi,xi,yi) を得た。 Fは (m*, z = (σ*,x*,y*)) を偽造署名として出力した。 とする。 Type1 『ある j について、x* = xj。』 Type2 『どんな i についても、x* ≠ xi。』 (Type1の偽造が発生するならば) ある効率的な攻撃者MがΣの特別健全性を破る。 攻撃者M Σプロトコルの公開鍵 pkΣ を入力として、 ※ c ≠ c である2つの説得的なトランスクリプト(x,c,y), (x,c ,y )を生成したい。 (vk, sk) ← Ω.Gen vk = (vk, pkΣ) を入力としてFを起動する。 Fから署名オラクルに対するi番目の問い合わせmiを受け取ったら、 (xi,yi) ← Sim(pkΣ, H(mi)) σi ← Sign(sk, xi) zi = (σi, xi, yi)を応答する。 Fが(m*, z = (σ*,x*,y*))を出力して停止したら、 x* = xj となる j を検索する。 ※ Type1の仮定より、このような j は必ず存在する。 (x*, H(mj), yj), (x*, H(m*), y*) を出力して停止する。 攻撃者Mの解析： ΣプロトコルのHVZK性より、Fに与えている署名ziは、真の署名と識別不可能。 m* ≠ mjとHの衝突困難性より、H(m*)≠H(mj). よって、 Pr[MがΣプロトコルの特殊健全性を破る] ≧ Pr[FがType1の偽造に成功] - (ネグリジブル). ∴ Pr[FがType1の偽造に成功] ≦ (ネグリジブル). (Type2の偽造が発生するならば) ある効率的な偽造者BがΩを非適応的選択文書攻撃で破る。 偽造者B Ωの検証鍵 vk を入力として、 ※ 検証鍵vkに関する署名を非適応的に偽造したい。 (pkΣ, skΣ) ← Σ.Gen(1n) i ∈ [1..t(n)] (xi, ri) ← Com(pkΣ) x1, ... , xt をチャレンジャーに出力し、vk, σ1, ... , σt を受け取る。 vk = (vk, pkΣ) を入力としてFを起動する。 Fから署名オラクルに対するi番目の問い合わせmiを受け取ったら、 yi ← Res(skΣ, ri, H(mi)) zi = (σi, xi, yi) を返答する。 Fが(m*, z = (σ*,x*,y*))を出力して停止したら、 (x*, σ*)を出力して停止する。 ※ Type2の仮定より、x* ≠ xi (∀i). 偽造者Bの解析： 明らかに、BのFに対するシミュレーションは完ぺきである。 Fの出力するType2の偽造署名(m*, z = (σ*,x*,y*))について、(x*, σ*)はΩの偽造署名として妥当である。 よって、 Pr[BがΩの署名の偽造に成功] = Pr[FがType2の偽造に成功]. ∴ Pr[FがType2の偽造に成功] ≦ (ネグリジブル). Q.E.D. 上へ
https://w.atwiki.jp/marque/pages/40.html
1.NPMの原理(P30-31 より一部抜粋) 第1に「成果指向」である。手続きや過程よりもむしろ、算出された結果に焦点をあてる考え方である。 第2に「顧客指向である。NPMの原型とされる「顧客・契約モデル」では、住民を公共サービスの顧客と位置づけ、顧客の万奥戸を高め、顧客の指示を得られないことには地方自治体の存続はないとしている。 第3に「市場原理」の活用である。 第４に「組織再編」である。これは、組織の内部運営の点で、まず、資源配分や、目標設定と行った中枢下院利部門と、実際の政策の実行を分離し、政策実行段階については、実行期間に大胆に委譲し、結果についての責任を負わせるというものである。 第5に「公開参加」である。この分野は、特に日本のNPM改革が、原型の「顧客・契約」モデルを越え、「協同型」それも、真の意味での「市民・行政協同型」へシフトしていくのかどうかの重要なポイントをなす。 NPM改革のツールとその普及(P35-37 より一部抜粋) (1) 行政評価 日本の地方自治体でのNPM改革で出発点として位置づけられるのが、この行政評価である。すなわち、計画ー執行ー評価のPDSマネジメントサイクルを確立し、成果や業績を数値的に把握し、その結果から資源配分の見直し、組織改編、委託化・民営化を行うNPM改革にとっては扇の要と言うべきツールだ。従って、これが始まったらその自治体でNBPM改革が始まったとみてよい。 (2)会計制度改革 自治体の会計制度は、単年度主義、現金主義会計であることによって、計画的な財政運営ができな、資産や負債といったストックが把握しにくいとして批判されてきた。そこで、自治体の会計に企業会計方式が持ち込まれるようになってきている。 (3) 予算改革 成果指向のNPMは、予算編成の方法論にも変更を迫る。一つは、行政評価の予算編成へのリンクである。次に、予算の分権かとしては、包括的予算配分方式が導入される。評価とのおおリンク、分権か、コスト意識と競争の導入がNPM予算改革のポイントである。 (4)組織改革 NPMの組織再編の基本は、フラット化と権限委譲である。この場合、権限委譲とは、トップマネジメントが示した政策目的をどう実現するかの手段についてであって、仕事を良く知っている現場の職員が、資源配分の決定に直接影響できるわけではない。決して、ボトムアップ型の職員参加とはいえないのである。 (5)人事改革 NPMにおける人事改革は、定数管理と業績評価制度の導入、さらに近年では、雇用形態の多様化が見られる。定数管理では、多くの自治体で、行革計画を持っており、原因計画となっている。自らの評価が高まるような目標設定へのバイアスや、トップへの忠誠度を競うことになるなど、新たな官僚主義の弊害が懸念される。 (6)外部委託 個々の周辺業務だけでなく、自治体業務の中核部にも外部委託が始まっているのである。 (7)住民参加 「顧客・契約」モデルから、「参加・協働」モデルへシフトしつつある日本のNPMでは、住民が行政に直接「参加」することも重要視される。ただし、主権者としての住民の権利の強化とは別の意味合いもあることに注意する必要がある。行政が効率よく経営されるための参加なのである。(中略)しかし、逆に言えば、自治体の中に、利害を調整しそれを住民に説明し、説得する能力が不在であることを示す。それに代わって、あらかじめ住民の間で調整するのが、この参加の意味である。 (P39 より一部抜粋) ピーター・ハリス氏はこう結論づけている。NPMモデルは、たしかに資金を節約し、政府・自治体の各部門のアイデンティティを確立するが、政府の役割・機能に矛盾した要素を持ち込み、総合的・長期的な視点を政府の活動から失わせ、公共サービスのもつとくせいやそれに伴うべき倫理性を欠如させ、公共サービスの提供者としての組織の能力や戦略的能力をうしなわせるおそれがあるのである。
https://w.atwiki.jp/cryptospace/pages/125.html
定理(Okamoto)の証明のアイデア pk = (q, g1, g2, X), sk = (q, g1, g2, x1, x2)に関する、 岡本プロトコルのトランスクリプトは コミットメント (Y), チャレンジ (c), レスポンス (z1, z2). これについて、 g1z1g2z2 =? YXc が成り立てば、検証者Vは受理。 コンカレントな攻撃者Aを用いて、 離散対数問題 (q, g1, g2) を解くアルゴリズムBを構成できる。 Bは、 x1, x2 ← Zq, X = g1x1g2x2 として秘密鍵sk = (q, g1, g2, x1, x2)を知った状態でシミュレートできることがポイント。 定理(Okamoto)の証明 岡本プロトコルに対する任意のコンカレントな攻撃者をA=(A1 , A2)とする。 Aを用いて、GenGに関する離散対数問題アルゴリズムBを構成する： B (q, g1, g2)を入力として、 ※ Bは g2 = g1w となるwを求めたい。 x1, x2 ← Zq, X = g1x1g2x2 pk = (q, g1, g2, X)を入力として、A1を起動する。 A1が証明者クローンとのやりとりを要求したら、 秘密鍵sk = (q, g1, g2, x1, x2)を用いてオネストに対応する。 A1の出力stを受け取り、A2をstを入力として起動する。 ※ ここで、A2(st)は決定的としてよい。（stにランダムテープが含まれているとしてよい。） A2からYを受け取ったら、c ← {0,1}l を返す。 A2から(z1,z2)を受け取ったら、 g1z1g2z2 = YXc でないならばアボート。 A2を再びstを入力として起動する。 A2からYを受け取り、c ← {0,1}l を返す。 ※ A2(st)は決定的なので、必ず前と同じY. A2から(z 1,z 2)を受け取ったら、 g1z 1g2z 2 = YXc でないならばアボート。 c = c ならばアボート。 (c - c )x2 = z2 - z 2 ならばアボート。 w = （z1 - z 1 - (c - c )x1）／（(c - c )x2 - (z2 - z 2)） を出力して停止。 ※ g1z1g2z2 =? YXc g1z 1g2z 2 =? YXc よって、 g1z1-z 1g2z2-z 2 = Xc-c . X = g1x1g2x2 より, w = DLogg1(g2)とおくと、 z1-z 1 + w (z2-z 2) = (c-c )(x1 + w x2) よって、 w = （z1 - z 1 - (c - c )x1）／（(c - c )x2 - (z2 - z 2)）. [Bの解析] 明らかに、Bがアボートしなければ、その出力wは離散対数問題(q, g1, g2)の正しい解。よって、 Pr[Bが離散対数問題を解く] = Pr[Bがアボートしない]. 一方、BのAに対するシミュレーションは完ぺきなので、 Pr[Bがアボートしない] ≧ Pr[証明者Q=A2(st)に対し、イベントRESが成立] - Pr[(c - c )x2 = z2 - z 2]. 補題(Reset)より Pr[RES] ≧ (Pr[Aがなりすましに成功] - 1/2l)2. また、AのviewはXのみに依存し、x2とは独立なので、 Pr[(c - c )x2 = z2 - z 2] ≦ 1/2l. 以上より、 Pr[Bが離散対数問題を解く] ≧ (Pr[Aがなりすましに成功] - 1/2l)2 - 1/2l. 仮定より、 l はスーパーログなので、1/2lはネグリジブル。 Pr[Bが離散対数問題を解く]もネグリジブル。 よって、Pr[Aがなりすましに成功]もネグリジブル。（ただし、ネグリジブルの「度合い」は半分。） Q.E.D. 上へ
https://w.atwiki.jp/nopu/pages/72.html
３つの解放 枝電流法 ループ電流法 節点方程式 有用な方法 電源の外し方 電圧源：短絡 = 抵抗０ 電流源：開放 = 抵抗∞ 重ね合わせの理 テブナンの定理 1. 開放電圧 V0 を求める。（全電流・全電圧の定理が使える） 2. 電源をはずして，内部抵抗 R0 を求める。 3. 回路は 内部抵抗R0 を持つ 定電圧源V0 とみなせる。 双対. ノートンの定理 系. 電源の相互変換 電圧源E の 内部抵抗r とする。 これをブラックボックスとすると， 内部抵抗r の 電流源 J = E/r と区別できない。 ミルマンの定理（全電圧の定理） 電圧源Eiの内部コンダクタンスGiとする。 これらの電圧源が並列接続されているとき，トータルの開放電圧Vは， 双対. 全電流の定理 電流源Jiの内部抵抗Riとする。 これらの電流源が直列接続されているとき，トータルの短絡電流Iは， 回路素子 電流・電圧の向きが重要である！！！ （以下では互いに逆向きになるようにとる） キャパシタ インダクタ 用語 整合 内部抵抗rを持つ電源をつないでいるとき，負荷抵抗Rにおける消費電力を最大化すること。 電圧源の場合は，R=rとすればよい。 共振回路 Q値 過渡現象 同次方程式の解を基本解（過渡解）という。 積分定数が階数個入ってる階を一般解という。 適当な初期条件を突っ込んで，積分定数を固定した解を特殊解（定常解）という。 同次方程式 1. 特性多項式による方法(を仮定する方法) 非同次方程式 基本理論 同次化したときの基本解をφ(t)とする。（これを余関数と呼ぶ。） 非同次方程式の１つの特殊解をψ(t)とすれば，一般解は φ(t)+ψ(t) で与えられる。 つまり，なんとかして特殊解（=定常解）さえ求めてしまえばよい！ 1. 定数変化法による方法 余関数の任意定数Aを，未知関数y(t)に置き換えたものをψとする。 ψを元の方程式に代入して y(t)を１つ決定すれば，ψは特殊解になる。 2. 演算子法による方法 Dの多項式 p(D) に対して，次らへんを駆使していく。指数関数と相性がよいので，特に交流で有効。 線形作用素： 指数関数： 指数関数： 交流理論 交流回路の方程式 に絞られる。 定常解だけ に興味がある。 i.e. なんとかして特殊解だけ求めてしまえばよい。 1. 電源をオイラーの公式で拡張 計算には演算子法を使うとよい。 2. x(t)も決め打ちしてしまう。 結局，以下のようにオームの法則を拡張する結果になる。 実効値・瞬時値 瞬時値（時間変動する） 実効値（定数！） こうしておくと，iとvが同相(φ=0）のとき 位相遅れ・進み 位相は電圧を基準に考えるので， となったら遅れ位相。 となったら進み位相。 インダクタは90度遅れ，キャパシタは90度進みである。 フェーザ表示 瞬時値を複素表示にして，を取っ払った残り。 ※ただし電流フェーザ・電圧フェーザでは，その大きさとして実効値を用いる。 このとき，以下が成り立つ。 1. （拡張した）オームの法則 2. キルヒホフの法則 種々の電力 以下で，θは電流の位相遅れとする。 有効電力（平均電力） → S = EI を皮相電力という。 → cos θ を力率という。 複素電力 とおけば，以下が成り立つ。 → を無効電力という。 有効電力は R で消費される電力，無効電力は C,L に蓄えられる電力である。 二端子対回路 ブラックボックスは， 1. 線形素子からなる。 2. 電源を含まない。 可逆定理（相反定理） 二端子対回路において， 入力電圧E に対して 出力電流I ならば， 入力電流I に対して 出力電圧E になる。 ※相反定理の成り立つ回路を相反回路という。 Zパラメータ（インピーダンス行列） 両側に電流源を印加したときの電圧 直列接続はZ行列の和になる。 Yパラメータ（アドミタンス行列） 両側に電圧源を印加したときの電流 並列接続はY行列の和になる。 Zの逆行列 hパラメータ（ハイブリッド行列） 左から電流源，右から電圧源を印加したときの左と右の出力 トランジスタ回路で使う。 Fパラメータ（縦続行列） 右から電圧源と電流源を印加した場合の，左の出力 I2の向きがこいつだけ逆（ブラックボックスから出てくる向き） 縦続接続はF行列の積になる。 分布乗数回路 電信方程式 磁気回路 相互インダクタンスの処理
https://w.atwiki.jp/cryptospace/pages/29.html
定理(TBE2PKE暗号)の証明のアイデア 攻撃者Aが構成(TBE2PKE暗号)の公開鍵pkに関する暗号文 c* = (c*tbe, vk*, σ*) を入手したとする。 部品であるタグベース暗号の識別不可能性より、 c*tbeはその復号文mbの情報を漏らさない。 また、vk*, σ* はもともとメッセージと無関係なので、もちろん復号文mbの情報を漏らさない。 攻撃者Aが構成(TBE2PKE暗号)の妥当な暗号文 c = (ctbe, vk, σ) を生成したとすると、 c ≠ c* より、 vk = vk*, (ctbe, σ) ≠ (c*tbe, σ*) または、 vk ≠ vk* である。 前者ならば、攻撃者Aは部品であるワンタイム署名の強い意味での偽造不可能性を破っている。 後者ならば、タグが異なるということだから、タグ選択暗号文攻撃に関する識別不可能性より、 cの復号文は、攻撃者Aにとって役にたたない。 定理(TBE2PKE)の証明 構成(TBE2PKE)に対する任意のCCA攻撃者をAとする。 Aを用いてTBEに対する(タグ選択)攻撃者Bを構成する： 攻撃者B (1n)を入力として、 ※ Bは最初にタグvk*を選択し、そのタグvk*に関する暗号文c*を破りたい。 (vk*, sigk*) ← SKG(1n) vk*をチャレンジャーに出力し、公開鍵pkを受け取る。 pkを入力としてAを起動する。 Aからチャレンジクエリ(m0,m1)を受け取ったら、 (m0,m1)を自身のチャレンジクエリとしてチャレンジャーに出力し、暗号文ctbe*を受け取る。 σ* ← SIGN(sigk*, ctbe*) c* = (ctbe*, vk*, σ*)を応答する。 Aから復号オラクルに対する問い合わせ(ctbe, vk, σ)を受け取ったら、 VFY(vk, ctbe, σ) =? reject ⊥を返す。 else vk =? vk* アボート else (vk, ctbe) を自身の復号オラクルに問い合わせ、受け取った復号文を応答する。 ※ vk≠vk* なので、この復号オラクルへの問い合わせは妥当。 Aが出力b で停止したら、b を自身の出力として停止する。 攻撃者Bの解析： Bがアボートさえ起こさなければ、BのAに対するシミュレーションは完ぺきである。 Aが攻撃に成功するとき、必ずBも攻撃に成功する。 よって、 (Aの識別利得) - Pr[Bがアボート] ≦ (Bの識別利得). よって、後は以下の主張を示せばよい。 主張 Pr[Bがアボート] はネグリジブル。 証明 攻撃者Aを用いて、ワンタイム署名OTSの偽造者Fを構成する： 偽造者F 検証鍵vk*を入力として、 ※ Fは検証鍵vk*のもとで妥当なメッセージ署名対(ctbe,σ)を偽造したい。 (pk, sk) ← Gentbe pkを入力としてAを起動する。 Aからチャレンジクエリ(m0,m1)を受け取ったら、 b ← {0,1}, c*tbe ← Enctbe(pk, vk*, mb) c*tbe を自身の署名オラクルに問い合わせ、署名σ* を受け取る。 c* = (c*tbe, vk*, σ*)を応答する。 Aから復号オラクルに対する問い合わせ(ctbe, vk, σ)を受け取ったら、 VFY(vk, ctbe, σ) =? reject ⊥を返す。 else vk =? vk* ： (ctbe, σ)を出力して停止。 else Dectbe(sk, vk, ctbe) を応答する。 Aが停止したら、停止する。 偽造者Fの解析： 明らかに、 Fは署名オラクルに一度しか問い合わせていない。 Pr[Bがアボート] = Pr[Fが偽造に成功]. よって、OTSは強いワンタイム署名なので、Pr[Bがアボート] はネグリジブルである。 q.e.d. Q.E.D. 上へ
https://w.atwiki.jp/hakemon/pages/13.html
だれか ほそく して ほしいんだよぉ かんじをつかったページができたよぉ Q 汎用理論って何ですか？ あのねあのね ポケモンで かつための りろんの ひとつ なんだよ あらゆる じょうきょうで たたかえる 『はんようせい』の たかい ポケモン つうしょう 『ハケモン』で パーティを こうせいする 『りろん』 なんだよ Q ハケモンの詳しい定義は？ ふぇぇ… ハケモンは じゃくてんが すくなくて わざの はんいが ひろくて うけも できる いわゆる エースポケモンの ことだよぉ きほんてきに ぜんぬきを ねらうんだよぉ かんたんに いうと いったいいち では まけることが ないのが りそうてきな ハケモン だよぅ Q 汎用理論では交代戦は考慮しないんですか？ こうたいは きほんてきに しなくて いいよぉ こうたい するぐらいなら いまの ハケモンを ぎせいに して つぎの ハケモンで ぜんぬきを ねらうのが きほん なんだよ でも むりに いすわって はんようせいを さげるようなら こうたい したほうが いいんだよぉ なかには わざと そういう せんぽうを とる ハケモンも いるんだよぉ にがてな あいてに こうたい されても じゃくてんを つくか トリッキーな たちまわりを してたおす のが りそう だよぉ サブウェポンの せんたくが じゅうよう なんだよぉ Q 汎用理論で推奨/非推奨のアイテムは？ どっかの ろんりと ちがって たすきは たいせつ なんだよぉ ぎゃくに こだわりけいは はんようせいが さがるから つかっちゃ だめ なんだよ ただし すばやさを おぎなって たおせる はんいが ひろがる スカーフは ありかもぉ Q 汎用理論で推奨/非推奨の特性は？ てんきに さゆう される とくせい などは はんようせいが さがるから おすすめは しないんだよぉ たとえば キマワリや ルンパッパ などは ハケモンに するなら はやおきと マイペースに するべき なんだよぉ Q アタッカー以外はハケモンになれないの？ かんちがい されやすい けど たんじゅんな フルアタ いがいにも トリッキーな たたかいかたを する ポケモンも はんようせいが たかければ ハケモンに なれるよぅ みがわりや せんせいわざは はんようせいが たかい だいひょう てきな わざの ひとつ だよぉ さいごに ここに のってない ポケモン でも じぶんに とって はんようせいが たかいと おもったら それは もう りっぱな ハケモン なんだよぅ もっとくわしく 汎用理論のここがスゴい！ みんなで ハケモン ゲット だよぉ