約 540 件
https://w.atwiki.jp/lawlawlaw/pages/15.html
参照 条文検索 e-gov 条文 民法 会社法 商法 不動産登記法 不動産登記規則 不動産登記令 商業登記法 商業登記規則 民事訴訟法 民事執行法 民事保全法 憲法 刑法 供託法 供託規則 司法書士法 登録免許税法 一般社団法人及び一般財団法人に関する法律(法人法) 会社法の施行に伴う関係法律の整備等に関する法(整備法) 信託法
https://w.atwiki.jp/osipp_shakaijin/pages/40.html
Magazine Plus 論文検索エンジン 国内最大の雑誌記事情報、学会年報情報など OSIPP内PCからしかアクセスできない点がCiNiiと比べて勝手が良くない 各種検索エンジン・データベースのページへ戻る
https://w.atwiki.jp/ctrlmech/pages/2.html
メニュー トップページ おすすめソフトウェア紹介 便利なサイトリンク 研究室ヘルプ 編集ルール・Wiki利用方法 研究班ごとのWiki 論文検索 サンプル ここを編集 リンク @wiki @wikiご利用ガイド 更新履歴(過去20件) 取得中です。
https://w.atwiki.jp/cm2ch/pages/2.html
トップページ BBS 更新履歴 ■ サイト内全文検索 検索 ■ リスト目次 ├ お茶・コーヒー ├ 酒 ├ 飲料 その他 ├ 食品 ├ 菓子 ├ 家電・デジタル・玩具 ├ 通信・携帯電話 ├ 車 ├ 鉄道・航空 ├ 医薬品 ├ 化粧品・美容系 ├ ヘアケア・頭髪系 ├ 生活用品 他 ├ 衣服・服飾 ├ 金融・保険 ├ 出版・新聞・教育 ├ 不動産 └ その他 ■ リンク └ あのCMで流れるあの曲はなに?
https://w.atwiki.jp/pagat/pages/22.html
computer Webアプリケーションフレームワーク NOSQL 日本語形態素解析 OCR node.js javascript コンピュータ将棋 全文検索システム cloud OpenShift, Heroku, GAE text 古典 UGなもの epub TeX 落語 漢字 game 将棋 card game others
https://w.atwiki.jp/gradealter/pages/2.html
ブックマーク 電子医学ノート全文検索システム 医学ノートVer.2 594orz リンク @wiki @wikiご利用ガイド 他のサービス 無料ホームページ作成 無料ブログ作成 2ch型掲示板レンタル 無料掲示板レンタル お絵かきレンタル 無料ソーシャルプロフ
https://w.atwiki.jp/rivateap/pages/15.html
地震 weather news 気象庁 鼻唄 midomi 論文検索 J DresmⅡ NDL-OPAC 書誌検索 NDL-OPAC JST資料所蔵目録 蔵書検索 公共図書館横断検索 書店・古書店 amazon 丸善 TUTAYA 日本の古本屋 BOOK OFF
https://w.atwiki.jp/ohden/pages/507.html
アプリ作成ネタ インデキシングエンジン 全文検索 Hyper Estraier http //fallabs.com/hyperestraier/ Apache Solr http //lucene.apache.org/solr/ 更新日: 2013年05月28日 (火) 10時03分12秒 名前 コメント すべてのコメントを見る
https://w.atwiki.jp/myfavoritepcsettings/pages/216.html
目次 ↑ 概要 URL インストール 設定 類似アプリ タグ 概要 高速検索エンジン Hyper Estraier を使用したデスクトップ検索ツール インデクス作成による全文検索が可能 日本語の検索に強い URL http //freemind.s57.xrea.com/desktophe/ インストール 設定 類似アプリ Google デスクトップ タグ
https://w.atwiki.jp/cryptospace/pages/93.html
定理(REACT)の証明のアイデア 攻撃者Aが構成(REACT)の暗号文 y* = (a*←Enc(pk,r*), b*=G(r*)+m*, c*=H(r*,m*,a*,b*)) を入手しても、 Encが一方向なので、r* はわからない。 r*が分からないと、G(r*)はm*と同じサイズの(r*とは独立な)ランダム文字列。 よって、G(r*)+m* は m* を完全に隠す。 攻撃者Aが構成(REACT)の妥当な暗号文 y = (a,b,c) を生成したとすると、 a は a ← Enc(pk,r) となる r を決定する。 ただし、Encは確率的なので、テクニカルには平文検査オラクルが必要となる。 このrについて、 m = b - G(r) とするとき、等式 c = H(r,m,a,b) が成り立っていなければならない。 よって、Aはrを知っているはずである。 よって、Aはyの復号文 m = b - G(r) を知っているはずである。 Aにとって復号オラクルは意味がない。 定理(REACT)の証明 構成(REACT)に対する任意のCCA攻撃者をAとする。Aの成功確率を 1/2 + ε(n) とおく(識別利得はε(n))。 Aを用いてベースの公開鍵暗号(Gen,Enc,Dec) の平文検査攻撃におけるインバーターBを構成する: インバーターB pk, a*(← Enc(pk,r*))を入力として、 (REACTの公開鍵としての)pkを入力としてAを起動する。 AからGオラクルに対する問い合わせrを受け取ったら、 (a*,r)を平文検査オラクルに尋ね、返答としてtrueを受けっとたら、rを出力して終了。 G[r]が未定義ならば、g ← {0,1}l, G[r] = g g = G[r]を返答する。 AからHオラクルに対する問い合わせ(r,m,a,b)を受け取ったら、 (a*,r)を平文検査オラクルに尋ね、返答としてtrueを受けっとたら、rを出力して終了。 H[r,m,a,b]が未定義ならば、h ← {0,1}k, H[r,m,a,b] = h h = H[r,m,a,b]を返答する。 Aから復号オラクルに対する問い合わせy=(a,b,c)を受け取ったら、 c=H[r,m,a,b]となる r,m をH記憶から検索する。 みつかれば m を、みつからなければ⊥を返答する。 Aからチャレンジクエリ(m0,m1)を受け取ったら、 β← {0,1}, g* ← {0,1}l, c* ← {0,1}k, y* = (a*, b*=g*+mβ, c*) /* このとき、G,Hに対し、g* = G(r*), c* = H(r*,mβ,a*,b*) というimplicitな関係を定義していることに注意。*/ y*を返答する。 Aが終了したら、終了する。 [攻撃者Bの解析] AskR: 『AがGオラクルまたはHオラクルにr*をたずねる。』 Fake: 『Aが復号オラクルにy=(a,b,c)を問い合わせ、a ← Enc(pk,r), m = b - G(r) について、 c = H(r,m,a,b)が成り立っているのに、(つまり、問い合わせyは妥当な暗号文であるのに、) AはHオラクルに(r, m, a, b)を問い合わせていない。』 Fakeが起きない限り、復号オラクルのシミュレーションは正しい。 シミュレートされた復号オラクルの返答は復号アルゴリズムの返答に等しい。 さらに、Fakeが起きない限り、 AskRがおきないうちは、BのAに対するシミュレーションは完全である。(g*やc*がテキトウであることがバレナイ) AskRがおきれば、Bは直ちに成功する。 AskRが最後までおきなかったら、Aの成功確率は高々1/2である。 条件¬FakeのもとでのAの成功確率を 1/2 + ε'(n) とする。 条件¬Fakeのもとでの確率をPrNoFake[・]とかくことにすると、 1/2+ε'(n) = PrNoFake[Aが成功する | AskR] PrNoFake[AskR] + PrNoFake[Aが成功する | ¬AskR] PrNoFake[¬AskR] ≦ PrNoFake[AskR] + 1/2 = Pr[Bが成功する] + 1/2. よって、仮定より(Gen,Enc,Dec)は一方向なので、ε'(n)はネグリジブルである。 さらに、 1/2 +ε'(n) = Pr[Aが成功する | ¬Fake] ≧ Pr[Aが成功する] - Pr[Fake] = 1/2 + ε(n) - Pr[Fake] より ε(n) ≦ ε'(n) + Pr[Fake] . よって、後は以下の主張を示せば、定理の証明は完了。 主張 Pr[Fake]はネグリジブルである。 証明 復号クエリy=(a,b,c)に対して、AはHオラクルに(r,m,a,b)を問い合わせていないのに、 a ← Enc(pk, r), m = b - G(r), c = H(r,m,a,b) が成り立っているとする。 (r,m,a,b) = (r*,mβ,a*,b*) のとき y = y* となるので、ゲームのルールより禁止。 (r,m,a,b) ≠ (r*,mβ,a*,b*) のとき H(r,m,a,b)は、チャレンジ暗号文y*に含まれるH(r*,m*,a*,b*)とは独立な確率変数。 仮定より、H(r,m,a,b)はAにHオラクル経由でも入力されていない。 以上より、AのviewはH(r,m,a,b)と独立。したがって、Aの出力したcもH(r,m,a,b)と独立。 よって、c = H(r,m,a,b) となる確率はネグリジブルである。 Q.E.D. Q.E.D. 上へ