人見光夫 - Wikipedia
人見 光夫（ひとみ みつお、1954年5月2日 - ）は、日本の自動車技術者。マツダ株式会社常務執行役員・シニア技術開発フェロー 。スカイアクティブエンジンの開発で知られる。 来歴・人物[編集] 岡山県出身。岡山県立岡山朝日高等学校を経て、1979年に東京大学大学院工学系研究科修士課程を修了後、東洋工業（現・マツダ）に入社。以来、一貫してエンジン開発部門を歩む。2010年に発表されたスカイアクティブエンジンでは開発を主導し[1]、ガソリンエンジン、ディーゼルエンジン共に従来の常識を超えた圧縮比14を実現した[2]。 人見は、内燃機関の改善における要素を「排気損失」、「冷却損失」、「ポンプ損失」、「機械抵抗損失」の4つに分類し、さらにその制御因子を「圧縮比」、「空燃比(比熱比)」、「燃焼期間」、「燃焼タイミング」、「ポンピング損失」、「機械抵抗」の6つに集約した[3][4]。この整理分類を行
セイラム魔女裁判 - Wikipedia
セイラム魔女裁判（セイラムまじょさいばん 英語: Salem witch trials）とは、現在のアメリカ合衆国ニューイングランド地方のマサチューセッツ州セイラム村（現在のダンバース）で1692年3月1日に始まった一連の裁判である。200名近い村人が魔女として告発され、19名が刑死、1名が拷問中に圧死、2人の乳児を含む5名が獄死した。近世キリスト教世界の広い範囲に及んだ魔女裁判（魔女狩り）という現象の植民地アメリカにおける例であり、犠牲者数はヨーロッパの事例と比べれば際立ったものではないものの、現代では近世の魔女裁判の中で最も有名な事件であると考えられている[1]。 この事件は、植民地時代アメリカにおける集団パニックの最も深刻な事例の一つである。孤立主義、宗教過激主義、虚偽の告発、正当なプロセスの遂行が孕む危険性について、鮮明な警鐘を呼び掛ける題材として、政治的文脈や大衆文学に用いられて
Datagram Transport Layer Security - Wikipedia
Datagram Transport Layer Security (DTLS) は、データグラムプロトコルのための暗号化プロトコルである。DTLSはTransport Layer Security (TLS) に基づくプロトコルであり、TLSと同様に、データグラムを扱うプログラムがやり取りする情報の盗聴や改竄を防止する。DTLSを用いることで、データグラムに特有のパケットの到達順序に関わる問題は考慮する必要がなくなるが、一方でパケットの再整列やパケットサイズより大きいデータの喪失に対処する必要がある。 標準化[編集] 以下のRFCにおいてDTLSは定義されている。 RFC 4347: DTLS 1.0 RFC 6347: DTLS 1.2 RFC 9147: DTLS 1.3 DTLS 1.0はTLS 1.1 (RFC 4346) に、DTLS 1.2はTLS 1.2 (RFC 5246
1+2+3+4+… - Wikipedia
リーマンゼータ関数を部分和にした を複素平面上にプロットした時、の虚部に対してが十分大きくなると対数螺旋のような軌跡を描く。その軌跡の中心は元となったゼータ関数の値に近似していることが観測されており[4]、の実部をとして虚部を十分小さくした時にこの方法でを観測すると −1/12に近似する(函数等式)。[5] 様々知られた古典的な発散級数の中でも 1 + 2 + 3 + 4 + … は有限値へ持ち込むことが比較的難しい。発散級数に有限な数値を割り当てる総和法は多数存在するが、それらの中には総和法としての強さが比較可能なものがある。例えば、チェザロ総和法は緩やかに発散するグランディ級数 1 − 1 + 1 − 1 + … を 1/2 に総和することはよく知られているが、アーベル総和法はグランディ級数を 1/2 に総和するのみならず、より扱いの難しい級数 1 − 2 + 3 − 4 + … まで
イアン・スティーヴンソン - Wikipedia
略歴[編集] 1918年、カナダ モントリオールにて生誕、オタワにて少年時代を過ごす[3]。幼少期より気管支炎を患い、生涯それに悩まされていた。1939年、マギル大学医学部を首席にて卒業。生化学、心身医学研究を経て、精神医学を志す。1949年よりルイジアナ州立大学にて助手、助教、教授を務め、1950年代にはオルダス・ハクスリーらとLSDやメスカリンの研究に携わっていた[4]。1957年、バージニア大学精神科主任教授に着任。1960年には「前世の記憶とされるものによる死後生存の証拠」を発表し、閲読したチェスター・カールソンの資金援助を受ける[2]。 生まれ変わり研究をライフワークとしたその契機となる論拠のなかには、江戸時代の当時8歳の少年・小谷田勝五郎のケースも含まれていた。勝五郎は疱瘡によって6歳で急死した、隣村に住む藤蔵という少年の生まれ変わりであると自称し、一躍騒動となった[5]。その
ハビタブルゾーン - Wikipedia
この項目「ハビタブルゾーン」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文：en:Circumstellar habitable zone） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2019年8月） 恒星周辺のハビタブルゾーンの境界と、恒星の種類に応じてそれがどのように変化するかを示した図。この図には太陽系の惑星（金星・地球・火星）とTRAPPIST-1d、ケプラー186f、そして地球に最も近い太陽系外惑星であるプロキシマ・ケンタウリbなどの特に意義深い太陽系外惑星が含まれている。 ハビタブルゾーン[1][2]（英語: Habitable zone、HZ）とは、地球と似た生命が存在できる天文学上の領域[1]。日本語では生命居住可能領域[
テレンス・タオ - Wikipedia
2004年 - 数論の難問「素数の集合の中には任意の長さの等差数列が存在すること」を解決。（グリーン・タオの定理） 2012年 - 弱いゴールドバッハ予想で全ての 3 以上の奇数は高々 5 個の素数の和で表せることを証明[3]。 2013年 - 素数が極端に偏ることなく分布することに関する素数の新定理発見[4][5][6]。 2015年 - ポール・エルデシュの Discrepancy problem の証明に成功[7]。 2019年12月 - コラッツの問題について「ほとんどすべての正の整数において正しい」とする論文を発表[8]。 受賞歴[編集] 2000年 - サレム賞：調和解析とそれに関する幾何学的測度論および偏微分方程式の研究 2002年 - アメリカ数学会 ボッチャー記念賞：波動写像型方程式のソボレフ空間のcritical regularity問題についてのブレイクスルー。(Gl
)
Fish (Unixシェル) - Wikipedia
fish（friendly interactive shell）とはUNIXにおけるシェルの一つである。 概要[編集] fishは対話的利用・判り易さ・ユーザフレンドリさに重きを置いている。fishの最終目標は、簡単に発見でき、覚えられ、利用できるようなかたちで強力な機能を提供することである。fishの提供するタブ補完機能はユーザフレンドリかつ強力であり、全ての補完に対する簡易な説明や、ワイルドカードを含む文字列での補完や、たくさんのコマンドについて固有の補完を含む。また、fishは拡張可能かつ判り易いヘルプを備えている。特別なヘルプコマンドでは、ユーザの設定したウェブブラウザにて全てのfishドキュメントにアクセスが可能である。 文法[編集] fishの文法は他のシェルスクリプト言語と少し異なる。これらの変更は言語を容易に学習できるように、そして言語を強力にしている。fishとBashに
大平武洋 - Wikipedia
大平 武洋（おおひら たけひろ、1977年5月11日 - ）は、将棋棋士。棋士番号243。桐谷広人七段門下。東京都北区出身。 棋歴[編集] 1990年、第15回中学生名人戦で優勝し、13歳で奨励会に入会。1996年後期から三段リーグに参加し、リーグ11期目となる2001年後期に16勝2敗（歴代1位タイ）の成績を収め、四段に昇段した（プロ入り）。この時大平は24歳であった。同期にプロになった棋士は熊坂学。 2003年に王位戦で予選を勝ち抜き挑戦者決定リーグ入り。リーグでは初参加ながら健闘し、3勝2敗と勝ち越すも、残留決定戦で中川大輔に敗れ、リーグ陥落。 2006年に第19期竜王戦の成績に基づき五段に昇段したが、これは、竜王戦の規定による昇段の条件（の一つ）が「竜王ランキング戦2回連続優勝」から「竜王ランキング戦2回連続昇級」へ緩和された後に適用された初のケースであった[1]。 2005~20
アドレス空間配置のランダム化 - Wikipedia
この記事には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2008年10月） この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アドレス空間配置のランダム化" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2008年10月） アドレス空間配置のランダム化（英語: address space layout randomization, ASLR）とは、重要なデータ領域 の位置（通常、プロセスのアドレス空間における実行ファイルの基底とライブラリ、ヒープ、およびスタックの位置が含まれる）を無作為に配置するコ
遠藤浩輝 - Wikipedia
遠藤 浩輝（えんどう ひろき、1970年11月3日[1] - ）は、日本の漫画家[1]。男性[1]。秋田県出身[1]。武蔵野美術大学造形学部油絵科出身[1]。作品に『EDEN 〜It's an Endless World!〜』などがある。 来歴[編集] 在学中の1995年[1]、「カラスと少女とヤクザ」がアフタヌーン四季賞秋のコンテストで四季賞に入賞し、漫画家としてデビュー[1]。続く冬のコンテストで「きっとかわいい女の子だから」により四季大賞を受賞[1]。この2作品は『月刊アフタヌーン』に2号連続で掲載されている。 その後読み切り作品「プラットホーム」、「神様なんて信じていない僕らのために」を経て、1997年より同誌にてSF長編「EDEN」の連載を開始。2008年8月号の最終話まで10年を超える長期連載となった。2009年、星雲賞コミック部門にノミネート[2]。 作品は一貫して「生きるこ
ナウル - Wikipedia
ナウル共和国（ナウルきょうわこく、ナウル語: Repubrikin Naoero）、通称ナウル（ナウル語: Naoero）は、太平洋南西部のナウル島を領土とする共和国である。 かつては、リン鉱石の輸出によって栄えた。1980年代には太平洋地域で最も高い生活水準を享受し、公共料金や税金は無料という生活を謳歌していた[3]。しかし、リン鉱石の枯渇により1990年代後半から経済が破綻状態となり、再建に向け模索が続いている[4]。 ナウル共和国旗は黄色の横棒が赤道で、白い部分がナウル島を表している。 国名[編集] 正式名称は、ナウル語でNaoero, Republik[3]、英語でRepublic of Nauru[5][6]。旧称はプレザント島 (Pleasant Island)。 「Naoero」（現地語でナウル）という名称は「私はビーチに行く」を意味する"a-nuau-a-a-ororo"と
トバ・カタストロフ理論 - Wikipedia
上空から見たトバ火山噴火時の想像図 トバ・カタストロフ理論（トバ・カタストロフりろん、Toba catastrophe theory）は、約7万年から7万5千年前に、インドネシアのスマトラ島にあるトバ火山が大噴火を起こして気候の寒冷化を引き起こし、その後の人類の進化に大きな影響を与えたという学説である。地質学・古人類学の分野では、火山の噴火とその後の気候変動を指してトバ事変 (Toba event) と呼ぶ[1][2]。人類の進化におけるボトルネック効果の例を示す学説として言及されることが多い。この学説は1998年にイリノイ大学教授のスタンリー=H．アンブロース（Stanley H. Ambrose）によって唱えられた。 トバ火山の位置。 ランドサットの画像。湖中央の島はトバ・カルデラの中央火口丘である。 今から7万-7万5000年前、トバ火山が火山爆発指数最大のカテゴリー8の大規模な超巨
Communicating Sequential Processes - Wikipedia
Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである[1]。プログラミング言語Occamにも影響を与えた[2][1]。 CSPは1978年、アントニー・ホーアが最初に考案し[3]、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータ[4]やセキュアな電子商取引システム[5]などの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする[6]）などの研究が行われている。 ホーアの1978年の論文で提示されたCSPは、プロセス計算というよりも本質的には並行プログラミング言語であった。後のCSPとは構文が著しく異なり、数学的に定義された意味論を持っておらず[7]、無制限の非決定
マネー・ボール - Wikipedia
ビリー・ビーン 『マネー・ボール』（原題: Moneyball: The Art of Winning An Unfair Game）は、マイケル・ルイスによるアメリカ合衆国のノンフィクション書籍。日本語版単行本の副題は「奇跡のチームをつくった男」。 メジャーリーグベースボール（MLB）の球団オークランド・アスレチックスのゼネラルマネージャー（GM）に就任したビリー・ビーンが、セイバーメトリクスと呼ばれる統計学的手法を用いて、MLB随一の貧乏球団であるアスレチックスをプレーオフ常連の強豪チームに作り上げていく様を描く。2003年に米国で発売され、ベストセラーになった。2011年にベネット・ミラー監督、ブラッド・ピット主演で映画化された。 概要[編集] 2002年のMLB球団別年俸総額。 アスレチックスは28位だったが、全球団最多の103勝を記録した。 2000年代初頭のMLBでは財力のある
違法素数 - Wikipedia
違法素数（いほうそすう/英: illegal prime）とは、素数のうち、違法となるような情報やコンピュータプログラムを含む数字。違法数（英語版）の一種である。 2001年、違法素数の1つが発見された。この数はある規則に従って変換すると、DVDのデジタル著作権管理を回避するコンピュータプログラムとして実行可能であり、そのプログラムはアメリカ合衆国のデジタルミレニアム著作権法で違法とされている[1]。 経緯[編集] DVDのコピーガードを破るコンピュータプログラムDeCSSのソースコード 1999年、ヨン・レック・ヨハンセンはDVDのコピーガード (Content Scramble System; CSS)を破るコンピュータプログラム「DeCSS」を発表した。ところが2001年5月30日、アメリカ合衆国の裁判所は、このプログラムの使用を違法としただけではなく、ソースコードの公表も違法である
)
PRISM (監視プログラム) - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|PRISM (surveillance program)|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳
リアルタイムクロック - Wikipedia
Dallas Semiconductor（英語版） リアルタイムクロック（旧世代 PC より）。バックアップ用一次電池を内蔵しているため高さがある。内蔵電池が消耗した際は搭載しているマザーボードの寿命時期を意味した。 リアルタイムクロック（real-time clock、RTCと略記[注 1]）は、コンピュータなどが内蔵する時計や、その機能が実装されている集積回路 (IC) のことを指す。リアルタイムクロックはシステムの電源が切られていてもバッテリバックアップなどにより「時刻」を刻み続けることが特徴である。これに対し、オペレーティングシステムが持つ時刻機能(以下システム時刻)はタイマーにより「時間」を測定しそれを積算するもので、分解能はリアルタイムクロックに勝るが、シャットダウンすると時刻情報が失われ、次にシステムを起動したときにRTCを参照して設定する必要がある。 概要[編集] RTC機
赤黒木 - Wikipedia
赤黒木（あかくろぎ）は、コンピュータ科学のデータ構造である平衡二分木の一種で、主に連想配列の実装に用いられている。2色木、レッド・ブラック・ツリーともいう。 このデータ構造は1972年のルドルフ・ベイヤー (en:Rudolf Bayer) の発明である"symmetric binary B-trees"が元となっており、赤黒木という名前自体は 1978年にレオニダス・ギッバス (en:Leonidas J. Guibas) とロバート・セジウィック (en:Robert Sedgewick) によって発表された論文による。 赤黒木は、探索、挿入、削除などの操作における最悪時間計算量がO(log n)（nは木の要素数）と短く、複雑ではあるが実用的なデータ構造として知られている。 この日本語版は概要のみの解説であり、具体的なアルゴリズムはwikipedia英語版(Red-black_tree
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://ja.wikipedia.org/wiki/%E3%83%8B%E3%83%A5%E3%83%BC%E3%83%A2%E3%83%8E%E3%82%A6%E3%83%AB%E3%83%88%E3%83%A9%E3%83%9E%E3%82%A4%E3%82%AF%E3%83%AD%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%94%E3%83%83%E3%82%AF%E3%82%B7%E3%83%AA%E3%82%B3%E3%83%B4%E3%82%A9%E3%83%AB