ブースの乗算アルゴリズム - Wikipedia
ブースの乗算アルゴリズム（ブースのじょうざんアルゴリズム）は、2の補数表現のふたつの符号付整数の乗算の手法である。 このアルゴリズムは1950年ごろアンドリュー・ドナルド・ブース（英語版）がロンドン大学バークベック・カレッジで結晶学を研究しているときに発明したものである。ブースは卓上計算機を使って研究していて、計算速度を向上させるために乗算を高速化する方法を探していてこれを発明した。彼の時代のマシンではシフトは加算よりも高速であり、ある種の数値では彼のアルゴリズムは高速であった。しかも負数についてもこのアルゴリズムは機能した。ブースのアルゴリズムはコンピュータ・アーキテクチャの研究において興味深い。 アルゴリズム[編集] ブースのアルゴリズムは、符号付きの2の補数表現のNビットの乗数 Y において、最下位ビットよりさらに下に y-1 = 0 というビットを暗黙のうちに補って隣接する2つのビ
serial experiments lain - Wikipedia
『serial experiments lain』（シリアルエクスペリメンツレイン）は、グラフィック+テキスト形式の雑誌連載企画・アニメ作品・ゲーム作品が同時進行・相互関連して制作されたメディアミックス作品である。1996年ごろに企画が開始され、1998年に作品が発表された。オンライン時代の集合的無意識が主なテーマであり、サイコホラー的な側面も併せ持っている。 雑誌では『AX』で1998年3月10日から11月10日まで連載、テレビアニメはテレビ東京で同年7月7日から9月29日まで放送され、第2回文化庁メディア芸術祭アニメーション部門優秀賞を受賞した。ゲームはプレイステーション（PS）用ソフトとして同年11月26日に発売された。 『存在は認識=意識の接続によって定義され、人はみな繋がれている。記憶はただの記録にすぎない。』という世界観のもとで繰り広げられる、14歳の少女・玲音（lain）をめ
バター猫のパラドックス - Wikipedia
起こりうる事態について描かれた漫画 バター猫のパラドックス（バターねこのパラドックス）は、2つの言い伝えを皮肉った組み合わせに基づいた逆説である。 猫は常に足を下にして着地する（参照：ネコひねり問題） バターを塗ったトーストは常にバターを塗った面を下にして着地する（参照：選択的重力の法則） もしバターを塗ったトーストを（バターを塗った面を上にして）猫の背中へくくり付けて、ある高さから猫を落としたらどうなるかを考えた場合、この逆説が発生する。 もし実際に猫を落とすならば、2つの最終結果のうちのどちらか一方は決して起こらないことになる。もし猫が足を下にして着地すれば、トーストはバターが塗られた面が上になったままだし、逆にバターが塗られた面が下になって着地するならば、猫は背中から着地することになるはずだ。 この逆説は言い伝えを皮肉った組み合わせが起源であるが、この2つの規則が常に正しいと仮定した
架空のゴリラ一覧 - Wikipedia
This page has been deleted. The deletion log for the page is provided below for reference. 2008年2月18日 (月) 04:51 三日月 (会話 | 投稿記録) "架空のゴリラ一覧" を削除しました。 (Wikipedia:削除依頼/架空の動物) ウィキペディアには現在この名前の項目はありません。 "架空のゴリラ一覧"という項目を新規作成する。または執筆依頼する。 既存の項目から"架空のゴリラ一覧"を検索する。 姉妹プロジェクトのウィクショナリーに項目 "架空のゴリラ一覧"が存在するかもしれません。 この項目へリンクしているウィキペディア内のページを探す。 もしこの項目を作成したことがあるのにこのメッセージがでる場合、データベースの更新が遅れているために表示できないか、既に削除されています（
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
シャノン符号化 - Wikipedia
シャノン符号化（シャノンふごうか、Shannon coding）は、クロード・シャノンによって考案された、可逆圧縮の方法である。 概要[編集] 記号の（推定もしくは実際の）出現確率に基づく接頭符号を使用している。同じ接頭符号でも、常に最短の符号長を表すことができるハフマン符号に比べ、シャノン符号化は最適化されていない。シャノン・ファノ符号化とは同程度かそれより劣る。 シャノン符号化は接頭符号の最初のもので、1948年のシャノンの記事『通信の数学的理論』でシャノンの情報源符号化定理の証明のために用いられた[1]。 この符号化法は情報理論の分野に進歩をもたらした。そして、シャノン符号化を元にして多くの符号化が生み出された（シャノン・ファノ符号化、ハフマン符号、算術符号など）我々の日々の生活はデジタルデータに大きく影響されているが、これは、シャノン符号化やその後継の符号化の恩恵なくしては不可能で
情報理論 - Wikipedia
情報理論（じょうほうりろん、英: Information theory）は、情報・通信を数学的に論じる学問である。応用数学の中でもデータの定量化に関する分野であり、可能な限り多くのデータを媒体に格納したり通信路で送ったりすることを目的としている。情報エントロピーとして知られるデータの尺度は、データの格納や通信に必要とされる平均ビット数で表現される。例えば、日々の天気が3ビットのエントロピーで表されるなら、十分な日数の観測を経て、日々の天気を表現するには「平均で」約3ビット/日（各ビットの値は 0 か 1）と言うことができる。 情報理論の基本的な応用としては、ZIP形式（可逆圧縮）、MP3（非可逆圧縮）、DSL（伝送路符号化）などがある。この分野は、数学、統計学、計算機科学、物理学、神経科学、電子工学などの交差する学際領域でもある。その影響は、ボイジャー計画の深宇宙探査の成功、CDの発明、携
DHMO - Wikipedia
DHMOの分子模型。 DHMO（ディー・エイチ・エム・オー、英: dihydrogen monoxide）とは、化学式 H2O で表される水素と酸素の化合物であり、日本語で表現すれば一酸化二水素、すなわち水そのものを、IUPAC命名法により言い換えたものである。 これは水であることを敢えて分かりにくくして危険な化学物質であるかのように錯覚させるため、元素の構成に基づく化合物名として表現したものである。科学論文などでこの表現が使われることはまずなく、心理実験や科学ジョーク[1]のひとつとして使われる。 概要[編集] DHMOのジョークが初めて登場したのは、Durand Express（英語版）紙が1983年に掲載したエイプリルフール記事であったという。その中では、DHMOは「水道管で発見された」「気化ガスを吸い込むと水ぶくれができる」[注釈 1]というシンプルな説明のみがなされ、記事の末尾に
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
