論理学 - Wikipedia
論理学（ろんりがく、英: logic、ロジック）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。 現代においては、アリストテレス的な論理学#伝統的論理学、古典論理学、直観主義の論理学などに分かれており、古典論理以降は数理論理学として扱われる。これ以外に、応用分野で多岐に分類されている（ファジィ論理など） 概要[編集] ここでいう論理とは、思考の形式及び法則である。これに加えて、思考のつながり、推理の仕方や論証のつながりを指す。よく言われる「論理的に話す、書く」という言葉は、つながりを明確にし、論証を過不足なく行うということである。 論理学は、伝統的には哲学の一分野である[1]。数学的演算の導入により、数理論理学（記号論理学）という分野ができた。現在では、数理論理学は数学と論理学のどちらかであると（時にどちらでもないと）される。現在の論理学は、（それを論理学であるとする
レインボーテーブル - Wikipedia
レインボーテーブル (rainbow table) は、ハッシュから平文を得るために使われるテクニックの一つである。特殊なテーブルを使用して表引きを行うことで、時間と空間のトレードオフを実現している。 以降では、このテクニックの元となっているアイディアについて説明する。 3 種類の還元関数を使った簡単なレインボーテーブルの例 最も単純な方法[編集] レインボーテーブルは「あるハッシュ値に対して総当たり攻撃を行った際の計算結果を、別のハッシュ値を攻撃する際に使用する」というアイデアに端を発する。例えば、平文 Pi (i = 1, 2, ...) と、それらをハッシュ化した値 Ci をテーブルに格納しておき、このテーブルを逆引きすればハッシュ値から対応する平文が得られる。 ただし、この方法では、得られた平文とハッシュ値とのペアを全て記録しておく必要があり、実現には莫大な記憶領域を必要とする。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
