原始再帰関数 - Wikipedia
原始再帰関数（げんしさいきかんすう、英: Primitive Recursive Function）とは、原始再帰と合成で定義される関数であり、再帰関数（計算可能関数）の部分集合である。原始帰納的関数とも。 再帰理論において原始再帰関数は、計算可能性の完全形式化のための重要な要素となる関数のクラスの1つである。このような関数は証明論においても重要である。 数論が扱う関数の多くや、実数を値とする関数の近似は原始再帰的であり、加法、除法、階乗、指数、n 番目の素数を求める関数などがある (Brainerd and Landweber, 1974年)。実際、原始再帰的でない関数を考案するのは難しいが、いくつかの例が知られている（限界の節を参照）。 計算複雑性理論では、原始再帰関数の集合をPRと呼ぶ。 原始再帰関数のクラスとは、while文を使用せずに計算できる（すなわちfor文のみで計算可能な）
)
デーモン (ソフトウェア) - Wikipedia
デーモン (英語: Daemon) は、UNIX, Linux, Mac OS XなどUnix系のマルチタスクオペレーティングシステム (OS) において動作するプロセス（プログラム）で、主にバックグラウンドで動作するプロセス[1]。ユーザが直接対話的に制御するプログラムもデーモンとして作ることができる[2]。典型的なデーモンは名前の最後尾に "d" が付く。例えば、syslogd はシステムログを扱うデーモン、sshd は内外のSSH接続要求を受け付けるデーモンである。 Unix系の環境では、常にではないが、デーモンの親プロセスはinitプロセスとなっていることが多い。デーモンは起動処理内でforkで子プロセスを作成し、親プロセスの方が即座に終了するため、init が里親となる。さらにデーモンまたはOSは制御端末 (tty) からの切り離しなどの処理も行う必要がある。こういったデーモンを
カーマーカーのアルゴリズム - Wikipedia
カーマーカーのアルゴリズム（英: Karmarkar's algorithm）とは1984年、ナレンドラ・カーマーカーにより発見された線形計画問題の解法である。このアルゴリズムは、しばしば、カーマーカー法（英: Karmarkar's method）とも呼ばれる。また、このアルゴリズムを発明とする特許が米国や日本で出願され、請求特許は時折カーマーカー特許 (Karmarkar's patent) とも呼称される。 カーマーカーのアルゴリズムは、線形計画問題に対する多項式時間アルゴリズムで初めての実用的なものである。楕円体法（英語版）も多項式時間アルゴリズムであるが、実用上の効率は良くない。 カーマーカーのアルゴリズムは内点法の一種である。内点法は、候補解を実行可能領域の境界に沿って更新する単体法とは異なり、実行可能領域の内部を通るよう更新する。この更新は解の精度を定数倍改善し、これを繰り返
準天頂衛星 - Wikipedia
この項目では、準天頂軌道衛星に関する一般的説明について説明しています。日本の衛星計画については「準天頂衛星システム」をご覧ください。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "準天頂衛星" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年3月） 日本上空を通る準天頂軌道（非対称8の字軌道） 準天頂衛星（じゅんてんちょうえいせい、quasi-zenith satellites, QZS）は、準天頂軌道（じゅんてんちょうきどう、quasi-zenith orbit）、すなわち特定の一地域の上空に長時間とどまる軌道をとる人工衛星。通常は複数の準天頂衛星が見かけの同一軌道上を周回
通信技術の年表 - Wikipedia
通信技術の年表（つうしんぎじゅつのねんぴょう）とは、通信技術の歴史に関する年表である。ここでは主要な項目を挙げ、インターネット、放送、電話、郵便など各分野の詳細年表については各項目に譲る。また、通信技術の歴史も参照のこと。 主要年表[編集] 紀元前19世紀頃 - 古代エジプトで現在知られる最古の暗号 → 暗号史 紀元前6-4世紀頃 - 古代ペルシアで街道（王の道）と駅伝制の整備。 2世紀初頭 - 中国で実用的な製紙法の発明。情報の運搬が容易に。→紙、蔡倫 狼煙（のろし）を使った通信。 飛脚による親書通信。 望遠鏡の発明。視覚通信への応用により文字コード伝達が可能となる。 郵便制度。 鉄道の腕木信号 伝書鳩 手旗信号 - 腕木通信 1800年代[編集] 1832年 - シリングが電信機を発明。 1837年 - モールスがモールス符号を考案。 1850年 - イギリス・フランス間で海底ケーブル
停止性問題 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "停止性問題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年1月） 計算可能性理論において停止性問題（ていしせいもんだい、英: halting problem）または停止問題は、「どんなチューリングマシン[注 1]、あるいは同様な計算機構についても、それが有限時間で停止するかを判定できるアルゴリズム」は可能か、という問題。 アラン・チューリングは1936年、停止性問題を解くアルゴリズムは存在しないことをある種の対角線論法のようにして証明した。 すなわち、そのようなアルゴリズムを実行できるチューリングマシンの存在を仮定すると「自身
不動点定理 - Wikipedia
数学における不動点定理（ふどうてんていり、英: fixed-point theorem）は、ある条件の下で自己写像 f: A → A は少なくとも 1 つの不動点 （f(x) = x となる点 x ∈ A）を持つことを主張する定理の総称を言う[1]。不動点定理は応用範囲が広く、分野を問わず様々なものがある[2]。 解析学において[編集] バナッハの不動点定理は、反復合成写像が不動点を持つことを保証するために満たすべき条件に関する一般的な判定法を与える[3]。一方、ブラウワーの不動点定理は構成的な方法ではなく、「n-次元ユークリッド空間における閉単位球からそれ自身への連続関数は必ず不動点をもつ」ことを述べる[4] が、どのように不動点を求めればよいかについて何も言及しない（スペルナーの補題（英語版）も参照）。 たとえば、余弦関数 cos は区間 [−1, 1] において連続な [−1, 1]
21エモン - Wikipedia
『21エモン』（にじゅういちエモン）は、藤子不二雄の藤本弘（独立後の名義は藤子・F・不二雄）による日本の少年SF漫画。 概要 『週刊少年サンデー』（小学館）1968年1号から1969年6号まで、増刊掲載も含め全55話を連載。その後、映画化やテレビアニメ化など、各種メディアに展開された。 藤子不二雄の１人、藤本弘の単独執筆作品。 藤本は「これまで日常の舞台にオバケやスーパーマンなどの「非日常」が入り込むことで生まれるギャップの面白さを描いてきたが、ひとつその逆をやってみようと思い、この21エモンを描きました。つまり未来という「非日常」を舞台に、今に通じる日常を描くことで新たな面白さが生まれると思ったからです」と、本作のコンセプトを後日述懐している[要出典]。 藤本が珍しく「楽しんで描いた」と語る作品だったが、ギャグで人気を博した当時の藤子作品とは異なり、連載当時の評価は芳しくなく、『オバケの
グリコ・森永事件 - Wikipedia
グリコ・森永事件（グリコ・もりながじけん）とは、1984年（昭和59年）と1985年（昭和60年）に日本の阪神間（大阪府・兵庫県）を舞台に食品会社を標的とした一連の企業脅迫事件。 警察庁広域重要指定114号事件。また、略して「グリ森事件」「グリ森」とも言われる。犯人が「かい人21面相」と名乗ったことから、かい人21面相事件などとも呼ばれる。 2000年（平成12年）2月13日に愛知青酸入り菓子ばら撒き事件の殺人未遂罪が時効を迎え、すべての事件の公訴時効が成立してこの事件は完全犯罪となり、警察庁広域重要指定事件では初の未解決事件となった。 概要[編集] 1984年3月、江崎グリコ社長を拉致して身代金を要求した事件を皮切りに、江崎グリコに対して脅迫や放火を起こす。その後、丸大食品、森永製菓、ハウス食品、不二家、駿河屋など食品企業を次々と脅迫。現金の引き渡しにおいては次々と指定場所を変えたが、犯
フォーク定理 - Wikipedia
フォーク定理（フォークていり、英: folk theorem）とは、ゲーム理論において、囚人のジレンマにおいて、協力解が均衡解として成立するという理論である。 有限回の囚人のジレンマでは非協力解が均衡解となる。しかし同じゲームでも無限回の繰り返しゲームになると協調解がナッシュ均衡として成立することが比較的早い段階で知られていたが、これは公式に発表されてこなかった。数学の諸分野では、「証明をつけようと思えばつけられると誰もが思っているが、実際には誰一人としてその証明をつけたことがない定理」のことを一般に folklore (民間伝承) と呼ぶので、この定理はフォーク (folk) 定理と呼ばれるようになった。 その後、アリエル・ルービンシュタインは繰り返しゲームにおいて、将来利得が現在利得と同程度に評価される（割引因子が十分に 1 に近い）場合には、パレート効率性のある配分を含む多くの協調的
キブツ - Wikipedia
イスラエル中部にあるベイト・グブリンのキブツガンシュムエルキブツでのシャブオット(七週祭=ユダヤ教の収穫祭)、1959年 第一次中東戦争中、キブツ「ミシュマール・ハエメク」で訓練を受ける女性たち キブツ（ヘブライ語：קיבוץ;複数形：קיבוצים, 英語：kibbutz）は、イスラエルの集産主義的協同組合。キブツとは元来ヘブライ語で「集団」「集合」を意味する言葉である。 概説[編集] 1909年、帝政ロシアの迫害を逃れた若いユダヤ人男女の一群がパレスチナに渡り、最初の共同村デガニアをガリラヤ湖南岸に設立したのがキブツの始まりである。彼らは、自分たちの国家建設の夢を実現させようと願って、生産的自力労働、集団責任、身分の平等、機会均等という4大原則に基づく集団生活を始め、土地を手に入れ、開墾していった。迫害のために世界各地からユダヤ人がこの地にやってくると共に、キブツの数や人口は増大し、学
)
自明性 (数学) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "自明性" 数学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年10月） 数学において、形容詞自明な (trivial) は対象（例えば群や位相空間）であって非常に単純な構造を持つものに対して頻繁に使われる。名詞自明性 (triviality) は通常証明や定義の単純な技術的面を言う。数学の言葉の用語の起源は中世の trivium curriculum から来ている。対義語非自明な (nontrivial) は明らかではないまたは証明するのが易しくないステートメントや定理を指し示すためにエンジニアや数学者によってよく使われる。 自
内臓逆位 - Wikipedia
内臓逆位（ないぞうぎゃくい、Situs inversus）は、内臓の一部配置が、鏡に映したように反対になる症状をいう。全てが反転している場合は完全内臓逆位となる。 また、心臓など、非対称である臓器が左右対称になる症状(所謂、右心臓)は、内臓錯位（Situs ambiguus、ヘテロタキシー heterotaxyとも）として区別される。 心臓のみ、または内臓がすべて左右逆に配置されているだけであれば機能的には問題ないが、一部の臓器のみの逆位である場合は奇形や病気も多く、手術する事になる事が多い。 但し、ほとんどの医師が逆位の患者の診療経験を持たないため、病気や事故などによる診療や手術などで、判断が困難となる場合もある。 内臓錯位にも心機能不全など重篤な症状が現れることが多い。乳児22000人に1人の割合で発生するが、心臓のほか他の臓器につながる血管が多かったり少なかったりするため、先天性の重
ほとんど整数 - Wikipedia
ある数がほとんど整数（ほとんどせいすう、英: almost integer）であるとは、整数ではないが、整数に非常に近いことを意味する。どれほど近ければ十分であるのか明確な決まりはないが、一見して整数に近いとは分からないのに、近似値を計算すると驚くほど整数に近い数で、小数点以下の部分が「.000…」または「.999…」のように、0か9が数個連続する場合、このように表現される。例えば、「インドの魔術師」の異名をもつシュリニヴァーサ・ラマヌジャンは など、整数に近い数の例をいくつか与えた[1]。また、黄金比 φ = 1.618… の累乗、例えば は整数に近い。整数に近い数を与えることは、単なる趣味の範疇であることが多いが、意義深い数学的な理論が背景にあることも少なくはない。 整数に近い理由[編集] 整数に近い値となることについては、理由を説明すれば自明なもの、単純な説明が与えられるもの、あるい
核保有国の一覧 - Wikipedia
現在の核保有国[編集] 1945年のアメリカトリニティ実験における核爆発の火球 1945から2014年までのアメリカとソ連（ロシア）の核兵器備蓄数の変化 イギリスのヴァンガード級原子力潜水艦から発射されるトライデントミサイル 五大国（NPT批准国）[編集] アメリカ アメリカは、各国に先駆けて人類で初めて第二次世界大戦中に核兵器を開発した国である。マンハッタン計画の一環として、カナダ及びイギリスと協力しながら、ナチス・ドイツの脅威から逃れてきた亡命ユダヤ人を中心として原子爆弾の開発を行なった。1945年にはトリニティ実験として人類初の核実験を実施[12]し、日本の広島および長崎では実際に兵器として使用した。現在においても、実戦で兵器として市街地にて核を使用し、民間人を大量虐殺したのはアメリカのみである。 アメリカは、ソ連が1949年に核を保有するまで唯一の核保有国であった。また、アメリカは
相転移 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "相転移" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年8月） それぞれの相と相転移の名前。 相転移（そうてんい、英語: phase transition）とは、ある系の相（phase）が別の相へ変わることを指す。しばしば相変態（そうへんたい、英語: phase transformation）とも呼ばれる。熱力学または統計力学において、相はある特徴を持った系の安定な状態の集合として定義される。一般には物質の状態（固体、液体、気体）の相互変化として理解されるが、同相の物質中の物性変化（結晶構造や密度、磁性など）や基底状態の変化に対
笑い死に - Wikipedia
笑い死にしたとされるクリュシッポス 笑い死に（わらいじに、英語: Death from laughter）は、笑うことが原因となって死ぬこと。その事例は、古代ギリシア以来、記録に残されている。 病態生理[編集] 無害な笑いから逸脱した病理学的な笑いには、死をもたらしかねないものがある。 脳橋や延髄の梗塞は、病的な笑いを引き起こす場合がある[1]。 笑いは、アトニー（無緊張症）や卒倒（「愉悦的な失神」）を引き起こすことがあり[2][3][4][5]、それが転倒などによって外傷を招くこともある。笑いによる失神やベツォルト＝ヤーリッシュ反射（英語版）も参照のこと。 笑い発作は、視床下部過誤腫によって引き起こされる[6]。過誤腫の大きさによっては、情緒不安定の程度が実際の状態の指標となることもあるが、笑い発作自体は死に至るものではない。また、笑い発作は、小脳とも関係している[7]。 前近代の事例[
次元の呪い - Wikipedia
次元の呪い（じげんののろい、英: The curse of dimensionality）という言葉は、リチャード・ベルマンが使ったもので、（数学的）空間の次元が増えるのに対応して問題の算法が指数関数的に大きくなることを表している。 例えば、単位区間をサンプリングするには100個の点を等間隔で、かつ点間の距離を 0.01 以上にならないように配置すれば十分である。同じようなサンプリングを10次元の単位超立方体について行おうとすると、必要な点の数は 1020 にもなる。したがって、10次元の超立方体はある意味では単位区間の1018倍の大きさとも言える。 高次元ユークリッド空間の広大さを示す別の例として、単位球と単位立方体の大きさを次元を上げながら比較してみればよい。次元が高くなると、単位球は単位立方体に比較して小さくなっていく。したがってある意味では、ほとんど全ての高次元空間は中心から遠く、
素数定理 - Wikipedia
素数定理（そすうていり、英: Prime number theorem、独: Primzahlsatz）とは自然数の中に素数がどのくらいの「割合」で含まれているかを述べる定理である。整数論において素数が自然数の中にどのように分布しているのかという問題は基本的な関心事である。しかし、分布を数学的に証明することは極めて難しく、解明されていない部分が多い。この定理はその問題について重要な情報を与える。 歴史[編集] この定理は、18世紀末にカール・フリードリヒ・ガウスやアドリアン＝マリ・ルジャンドルによって予想された（ガウス自身の言によればそれは1792年のガウス15歳のときである）。実際にはルジャンドルが初めて自身の著『数の理論』で公表し、少年ガウスがそれを知っていたことはガウスの死後の1863年に全集が出るまでは知られず、ガウス自身は素数定理については友人エンケに一度だけ手紙（1849年）で
自力救済 - Wikipedia
この記事は特に記述がない限り、日本国内の法令について解説しています。また最新の法令改正を反映していない場合があります。ご自身が現実に遭遇した事件については法律関連の専門家にご相談ください。免責事項もお読みください。 民事法の概念での自力救済（じりききゅうさい、じりょくきゅうさい、英: self-help、独: Selbsthilfe）とは、何らかの権利を侵害された者が、司法手続によらず実力をもって権利回復を果たすことをいう。刑事法の自救行為（じきゅうこうい）、国際法の自助・復仇がこれに該当する。これを規定した条文はないが、現代の民事法では例外を除き禁止されている。 広義には正当防衛、緊急避難を含むこともある[1]。 概説[編集] 自力救済の典型例として、自身の駐車スペースに無断駐車された際、タイヤをロックして金銭などを受け取るまで足止めする行為がある[2]。 こうした行為は、以下の理由から
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
