猫ノ沢事件 - Wikipedia
このページは著作権侵害のおそれが指摘されており、事実関係の調査が依頼されています。 このページの現在または過去の版は、ウェブサイトや書籍などの著作物からの無断転載を含んでいるおそれが指摘されています。もしあなたが転載元などをご存知なら、どうぞこのページのノートまでご一報ください。 著作権侵害が確認されると、このページは削除の方針により一部の版または全体が削除されます。もしこのページの加筆や二次利用をお考えでしたら、この点を十分にご認識ください。 猫ノ沢事件（ねこのさわじけん）とは、1916年（大正5年）に秋田県河辺郡船岡村船岡字猫ノ沢（現大仙市協和船岡沢内）で発生した事件である。この事件により全国一の密造酒摘発地であった秋田県での密造酒の習慣を大きく変えるきっかけになった事件であった。「猫ノ沢」の地名は資料によっては「猫の沢」と記述される場合も多いが、この記事では前者で統一する。 沢内白山
コモンズの悲劇 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Tragedy of the commons|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針
)
土 (食材) - Wikipedia
本項では土の食用について解説する。岩塩など一部を除き、土壌は現代において一般的な食品とはみなされていない。一方で、人類が土壌を摂食する文化は世界各地に分布しており、消化作用の促進、滋養強壮、解毒などの目的で摂取されている[1]。 一般的な食文化として、土を食材として用いる地域は世界各地に分布している[1]。例えばアメリカ合衆国南部では黒人奴隷が持ち込んだ土食文化が普及し、調理済み土を一般商店で買い求めることができる。また、ネイティブ・アメリカンはイワーキー（癒しの土、Ee-Wah-Kee）と呼び心労回復のために土を食べる[1]。その他、ベトナムでもてなし料理として知られている土の網焼や、ハイチのテーレという名のビスケットにも土が原料として用いられている[1]。フランス料理にも[要出典]煮込んだ土にルッコラの根を添えた「土のスープ」という料理がある[1]。 樺太のアイヌ民族も、調理に土を使っ
ガタカ - Wikipedia
『ガタカ』（原題: Gattaca）は、1997年のアメリカ合衆国のSF映画。監督はアンドリュー・ニコル、出演はイーサン・ホーク、ユマ・サーマン、ジュード・ロウなど。 原題 "Gattaca" のクレジットで強調されるGとAとTとCは、DNAの基本塩基であるguanine（グアニン）、adenine（アデニン）、thymine（チミン）、cytosine（シトシン）の頭文字である。 冒頭、次の言葉が紡がれる。 Consider God's handiwork, who can straighten what He hath made crooked?! ECCLESIASTES 7:13 （「神の御業を見よ。神が曲げたものを誰が直しえようか」旧約聖書『伝道の書』7章13節） “I not only think that we will tamper with Mother Nature,
広島護送死刑囚脱獄事件 - Wikipedia
広島護送死刑囚脱獄事件（ひろしまごそうしけいしゅうだつごくじけん）とは、1897年（明治30年）6月19日に発生した護送中の死刑囚が脱獄した事件である。 1897年（明治30年）3月30日、兵庫県神戸市の裁判所で貝原喜勢冶、福永友三郎、湊蔵貞、明石章吉の4人組に死刑判決が宣告された。4人は1894年ごろから近畿や四国において「剣術家の針金強盗団」と呼ばれた凶悪犯で、手口は資産家の家に押し入っては家人を針金で絞殺し金品を奪うもので悪質極まりないものであった。また4人は大阪弁を話し、剣術についてはみな免許皆伝の腕前であったといわれている。特に首謀者の貝原はかつて大坂与力同心剣道指南役[1]であったと伝えられている。 4人の剣術の腕前が発揮されたのが警察との格闘であった。大阪府の玉造では包囲した警官隊を殺傷し逃亡したほか、高松市でも同様に警官隊10数人を負傷させ逃亡した。1896年12月末には兵
オウム真理教ソフト開発業務受注問題 - Wikipedia
オウム真理教ソフト開発業務受注問題（オウムしんりきょうソフトかいはつぎょうむじゅちゅうもんだい）とは、オウム真理教のダミー会社が政府機関や大企業が絡むコンピューターシステムのソフト開発業務を受注していた問題。 オウム真理教のソフト開発会社は一見外部からはオウム真理教と分からないダミー会社となっていたが、出家信者約40人の従業員がインターネットなどで営業活動を展開[1]。価格が通常より3割程度安い割には品質もよく、業界で評判がよかった[1]。教団のソフト開発会社は教団幹部に業務報告が度々行われている等によって教団が実質的に経営し、従業員の給与はお布施という形で吸い上げていた[1]。教団のソフト開発会社は1996年頃に設立されたが、捜査当局の摘発を受けるたびに社名を変更し、1999年7月頃からは法人登記もしないで営業していた[1]。 オウム真理教が受注していたシステム及び情報でメディアで取り上
静的単一代入 - Wikipedia
静的単一代入（せいてきたんいつだいにゅう、英: Static Single Assignment form, SSA）形式は、コンパイラ設計における 中間表現 (IR) のひとつで、各変数が一度のみ代入されるよう定義されたものである。もともとの中間表現における変数は「バージョン」に分割され、全ての変数の定義がバージョンを表現できるよう、通例新たな変数は元の名前に添え字を付けて表現される。SSA ではuse-def 連鎖が明示的であり、連鎖は要素を一つだけ持つ。 SSA はRon Cytron、Jeanne Ferrante、Barry Rosen、Mark Wegman、Ken Zadeck および IBM の研究者たちにより1980年代に開発された。 Scheme、ML、Haskell などの関数型言語のコンパイラでは、Fortran や C などのコンパイラで SSA の利用が期待され
CYK法 - Wikipedia
CYK法（英: CYK algorithm）は、ある文字列が与えられた文脈自由文法で生成できるかを決め、生成できる場合の生成方法を求めるアルゴリズムである。CYK は Cocke-Younger-Kasami の略（それぞれ、RISCの先駆と言われる801などでも知られるジョン・コック、Daniel Younger、嵩忠雄である）。文脈自由文法の構文解析手法と捉えることもできる。このアルゴリズムは一種の動的計画法である。 標準的なCYK法は、チョムスキー標準形で書かれた文脈自由文法で定義される言語を認識する。任意の文脈自由文法をチョムスキー標準形に書き換えるのはそれほど困難ではないので、CYK法は任意の文脈自由文法の認識に使うことができる。CYK法を拡張してチョムスキー標準形で書かれていない文脈自由文法を扱うようにすることも可能である。これにより性能は向上するが、アルゴリズムを理解すること
ゼロ知識証明 - Wikipedia
暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof、略称：ZKP[1]）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく証明できるようなやりとりの手法である。ゼロ知識対話証明（ZKIP）とも呼ばれる。 ゼロ知識証明で証明される命題には、巨大な合成数の素因子（素因数分解の解）を知っている、離散対数問題（DLP）の解を知っているといった、公開鍵暗号でよく利用されるものがある。また、任意のNP完全問題の証拠を持っていることをゼロ知識証明で示せることが知られている。 応用例としては、公開鍵暗号、デジタル署名、ユーザ認証などがある。その他、マルチパーティ計算への適用など多くの応用がある。例えば、個人情報を用いてユーザ認証を行う場合、ユーザはゼロ知識証明のプロトコルに従い、個人
)
除算 (デジタル) - Wikipedia
数値的（ディジタル）な除算アルゴリズムはいくつか存在する。それらのアルゴリズムは、低速な除算と高速な除算の2つに分類できる。低速な除算は反復する毎に最終的な商を1桁ずつ生成していくアルゴリズムである。回復型、不実行回復型、非回復型、SRT除算などがある。高速な除算は最初に商の近似値から出発して徐々に正確な値に近づけていくもので、低速な除算よりも反復回数が少なくて済む。ニュートン-ラプソン法とゴールドシュミット法がこれに分類される。 以下の解説では、除算を で表し、 Q = 商 (quotient) N = 被除数（分子 = numerator） D = 除数（分母 = denominator） とする。 procedure divide_unsigned(N, D: unsigned_integer; var Q, R: unsigned_integer); const n = 32; (
r-K戦略説 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典は脚注などを用いて記述と関連付けてください。（2011年5月） ほとんどまたは完全に一つの出典に頼っています。（2011年5月） 信頼性に問題があるかもしれない資料に基づいており、精度に欠けるかもしれません。（2011年5月） 出典検索?: "R-K戦略説" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL r-K戦略説とは、生物の種が、どのように子孫を残そうとするかについて、2つの戦略の間で選択を迫られているとする説である。rとKはロジスティック式の内的自然増加率 r と環境収容力 K に基づく[1]。r-K選択説とも呼ばれる[2]。 この仮説を初めて問題として取り上げたのは、ロバート・マッカーサーとE.O.ウィルソン
ビザンチン将軍問題 - Wikipedia
ビザンチン将軍問題（ビザンチンしょうぐんもんだい、英語: Byzantine Generals Problem）とは、相互に通信しあう何らかのオブジェクト群において、通信および個々のオブジェクトが故障または故意によって偽の情報を伝達する可能性がある場合に、全体として正しい合意を形成できるかを問う問題である[1]。フォールトトレラントシステムでの多数決の妥当性や分散コンピューティングの処理の妥当性に関わる問題と言え、二人の将軍問題を一般化したものと言える。 ビザンチン将軍問題に帰結される故障や障害をビザンチン故障（Byzantine Failure、あるいはビザンチン障害）と呼ぶ。また、ビザンチン将軍問題が発生しても全体として正しく動作するシステムをビザンチン・フォールトトレラント性（Byzantine Fault Tolerance）があるという。 ビザンチン将軍問題は、東ローマ帝国（ビザ
二重盲検法 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "二重盲検法" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2022年12月) 二重盲検法（にじゅうもうけんほう、英: Double blind test）とは、特に医学の試験・研究で、対象としている薬や治療法などの性質を、医師（観察者）からも患者からも不明にして行なう方法である。プラセボ（偽薬）効果や観察者バイアスの影響を防ぐ意味がある。この考え方は一般的な科学的方法としても重要であり、人間を対象とする心理学、社会科学や法医学などにも応用されている。この盲検化を含んだランダム化比較試験（RCT）は、客観的な評価のためによく用いられる
ゴロム符号 - Wikipedia
ゴロム符号（ゴロムふごう、Golomb coding)とは、南カリフォルニア大学のソロモン・ゴロムによって開発された、幾何分布に従って出現する整数を最適に符号化することのできる整数の符号化手法である。 ゴロム符号と類似の手法にライス符号があるが、ゴロム符号の特別な場合がライス符号になるため、ライス符号のことをゴロム・ライス符号(Golomb-Rice coding)と呼称することが多い。特にライス符号は符号化・復号の計算量が少ないことが特徴。圧縮率は幾何分布の時はハフマン符号と同一で、それ以外ではそれよりも悪い。 符号化のパラメータとして、1 以上の整数値 m を用いる。 m > 1 のとき、符号化対象とする整数値 x(≧0) に対して、x を m で割った商を q 余りを r とする。 商 q をunary符号を用いて符号化する。 余り r は に従って、次のように符号化する。 が整数値
キャリー・ネイション - Wikipedia
キャリー・A・ネイション（Carrie A. Nation、1846年11月25日 - 1911年6月9日）は、前禁酒法時代アメリカの禁酒主義活動家の一人。特に、ヴァンダリズム（破壊行為）を以って自らの見解を広めたことで記憶されている。キャリーは幾度となく、アルコール飲料を販売している施設に侵入してはその内部をまさかりで叩き壊したのである。キャリーの話題はその死後も数多くの書物や新聞・雑誌等に取り上げられており、1966年にはダグラス・ムーアによってオペラにすらなっている（このオペラはカンザス大学内で初上演された）。 キャリーは大柄な女性で、身長は6フィート（180cm）近く、体重は175ポンド（80kg）近くあった。キャリーは自らを「キリストの足元を走り、彼が好まないものに対して吠え掛かるブルドッグ」だと述べ[1]、バーの破壊による禁酒主義の推進を神聖なる儀式だと主張した。 ファースト・
トレーシング実行時コンパイル - Wikipedia
トレーシング実行時コンパイル（トレーシングじっこうじコンパイル、トレーシングJIT、英: Tracing just-in-time compilation）は、プログラムの実行を最適化するために、実行時（runtime）に仮想マシンが用いる技術の一つ。頻繁に実行される演算の並びを記録し、それをネイティブコードにコンパイルしてから実行する。通常の実行時コンパイラ（just-in-time compiler、JIT）はメソッド毎にこれを行っており、この点が異なる。 概要[編集] JITコンパイルは実行時にプログラムの一部を機械語にコンパイルすることでプログラムを高速に実行させる技術である。コンパイル対象の範囲によってJITコンパイラを分類すると、メソッド単位を基本とするJITコンパイラは一度に一つのメソッドを機械語に変換するが、トレーシングJITは頻繁に実行されるループをコンパイル対象の単位と
クヌース・ベンディックス完備化アルゴリズム - Wikipedia
クヌース・ベンディックス完備化アルゴリズム（クヌース・ベンディックスかんびかアルゴリズム、英: Knuth–Bendix completion algorithm）、あるいはクヌース・ベンディックス完備化手続きは、等式の有限集合をそれと等価な完備性のある項書き換えシステムに変換するアルゴリズムである。このアルゴリズムは普遍代数（en）での語の問題（word problem）（en）を解くための手法としてクヌースとベンディックスから提案された[1]。 アルゴリズムは必ず成功するとは限らないが、成功した場合は停止性と合流性のある項書き換えシステムを生成することができる。そのベースとなる考え方は多くの分野で応用することができる。 一般に、項書き換えシステムは項の書き換え（簡約、reduction）が必ず停止するとは限らず、また書き換えの際に複数の書き換え規則を適用できる場合は最終的な結果が一意に
2-3 フィンガーツリー - Wikipedia
2-3フィンガーツリー(2-3 finger tree、または単にfinger tree)とは、列を表す永続データ構造の一種であり、償却定数時間で両端への追加・削除が可能であり、対数時間で連結・分割・挿入が可能である。また、分割演算を変更すると優先度付きキューや探索木などを実装できる。2006年にRalf HinzeとRoss Patersonが発表した[1][2]。 関数型プログラミング言語などで使われる。Haskellでは、containersパッケージ[3]に列に特化した実装のData.Sequence[4]が含まれ、列に限定しない汎用の実装もfingertreeパッケージ[5]として存在する。Scalaでは標準ライブラリには含まれていないが、scalaz[6]などのライブラリなどで実装されている。その他、様々なプログラミング言語で実装されている。 2-3フィンガーツリーは分岐数が2
ソファ問題 - Wikipedia
面積 π/2 + 2/π = 2.2074... の受話器の形をしたソファ。これは最大ではない。 ソファ問題（ソファもんだい）は数学の未解決問題のひとつ。1966年にレオ・モーザー（英語版）によって問題が提示された。この問題は「L字型の通路を通り抜けることができる、ソファの面積の最大値 A を求めよ」という離散幾何学、数学パズルの問題である。これは、数学上の未解決問題となっている。 A の下界と上界[編集] 下界[編集] 通路の幅が1であるとき、半径1の半円はL字型の通路を通すことができるので、Aの下界の一つとして が容易に得られる。 ジョン・ハマーズレイ（英語版）はより優れたAの下界の一つを発見した。の長方形の両脇に半径1の四分円を接合させた図形から、直径 の半円をくりぬいた受話器型のソファで、 となる[1][2]。 18の線からなるジャーバーのソファー 1992年にジョセフ・ジャーバー
可換図式 - Wikipedia
5項補題の証明で使われる可換図式 数学、特に圏論において、可換図式 (英: commutative diagram) は、対象（あるいは頂点）と射（あるいは矢、辺）の図式であって、始点と終点が同じである図式のすべての向き付きの道が合成によって同じ結果になるようなものである。可換図式は代数学において方程式が果たすような役割を圏論において果たす（Barr-Wells, Section 1.7 を参照）。 図式は可換でないかもしれない、すなわち図式の異なる道の合成は同じ結果にならないかもしれないことに注意する。明確化のために、「この可換図式」(this commutative diagram) あるいは「図式は交換する」(the diagram commutes) といったフレーズが使われる。 例[編集] 第一同型定理を表現する次の図式において、可換性は を意味する： 下は一般の可換正方形であり
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
