モデル理論 - Wikipedia
この項目では、数学の領域について説明しています。数学および科学の他の分野における非形式的な概念については「数理モデル」をご覧ください。 モデル理論（もでるりろん、英 : Model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ、集合論の宇宙）を研究（分類）する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与える構造（英語版）としてのモデルである。もし言語のモデルがある特定の文（英語版）または理論（英語版）（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。 モデル理論は代数および普遍代数と関係が深い。 この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなってい
MOTHER2 ギーグの逆襲 - Wikipedia
舞台設定[編集] 本作は199X年の地球が舞台となっている。主に、「ぼく」と「おんなのこ」が住む国「イーグルランド」、「おともだち1」が住む国「フォギーランド」などで構成されている。イーグルランドでは張り巡らされた道路を自動車が往来し、代表的な都市「ツーソン」と「フォーサイド」の間は公共交通機関の「グレイハンドバス」が運行している。フォギーランドの北部は一帯が雪に覆われ、南部には人々が多く集まる海岸沿いのリゾート地がある。 アメリカ国内を主な舞台としていた前作と比べ、本作では冒険の舞台が世界規模にまで広がっており、フィールドのバラエティも豊かになっている。ストーリー前半は前作同様アメリカンな趣を主体とする｢イーグルランド｣が舞台であるが、後半になるとエジプトを彷彿とさせるスカラビや、アマゾン奥地を思わせる魔境、そして広大な地底大陸などが登場する。 作中では様々なパロディネタが用いられている
マニ教 - Wikipedia
マニ教の聖職者（「マニ教経典断簡」、タリム盆地・高昌故城出土、ミニアチュール、紙本著色、8-9世紀、国立アジア美術館（旧インド美術館）所蔵） 白装束に高帽子を被ったマニ教聖職者が、掛け布をひいたテーブルに座り写経をしている場面。背景には花が咲き、マニ教徒が聖餐に用いたブドウの実がなる。西アジア起源の宗教では、「3本の木」は生命の象徴で、欠落部には元々3本の木が描かれていたと推測される。中央の色紙形は後期ソグド文字。裏にも絵・経典が記され、マニ教関係書籍の扉頁または最終ページと見られる[1][2] マニ教（マニきょう、摩尼教、英: Manichaeism）は、サーサーン朝ペルシャのマニを開祖とする、二元論的な宗教[3]。 概要[編集] ゾロアスター教・キリスト教・仏教などの流れを汲み、経典宗教の特徴をもつ。かつては北アフリカ・イベリア半島から中国にかけてユーラシア大陸一帯で広く信仰された世界
スクリプト言語 - Wikipedia
歴史[編集] 世界初の対話型シェルは、タイムシェアリングシステムの遠隔操作のため、1960年代に開発された。そして、オペレータが同じコマンド列を端末のキーボードから何度も打ち込む手間を省くためスクリプティングの需要が生まれ、単純なマクロコマンドやコマンド列を格納したファイルを使う方式が開発された。これが最終的にシェルスクリプトの開発へと繋がった。また、大規模で複雑なアプリケーションの開発において、人間が介在しないバッチモードの操作を容易にするため、非常に基本的な埋め込み型スクリプト機能が開発された。すなわち、プログラムの一部としてユーザーが書いた命令列を解釈実行する機能を備えるようにした。この場合の命令列は非常に特殊な言語で書かれ、プログラムの中にプログラムを埋め込むようなものであった。 歴史的には、C言語などの高速なプログラミング言語とBourne ShellやAWKで書かれた低速なスク
数値解析 - Wikipedia
バビロニアの粘土板 YBC 7289 （紀元前1800-1600年頃）。2の平方根の近似値は六十進法で4桁、十進法では約6桁に相当する。1 + 24/60 + 51/602 + 10/603 = 1.41421296... [1]。(Image by Bill Casselman) 数値解析（すうちかいせき、英: numerical analysis）は、計算機代数（英語版）とは対照的に、数値計算によって解析学の問題を近似的に解く数学の一分野である。 （狭義には「数値解析」とは「数値計算方法」の数学的な解析・分析（mathematical analysis of numerical methods）のことであり，広義の意味＝数値を使って問題の解析・分析を行う（Analysis by numerical methods）・式でなく数値で計算を行う「数値計算」（numerical comput
バタフライ効果 - Wikipedia
「バタフライ・エフェクト」と「バタフライエフェクト」はこの項目へ転送されています。その他の用法については「バタフライ・エフェクト (曖昧さ回避)」をご覧ください。 バタフライ効果（バタフライこうか、英: butterfly effect）は、力学系の状態にわずかな変化を与えると、そのわずかな変化が無かった場合とは、その後の系の状態が大きく異なってしまうという現象[1]。カオス理論で扱うカオス運動の予測困難性、初期値鋭敏性を意味する標語的、寓意的な表現である[2]。 気象学者のエドワード・ローレンツによる、「蝶がはばたく程度の非常に小さな撹乱でも遠くの場所の気象に影響を与えるか?」という問い掛けと、もしそれが正しければ、観測誤差を無くすことができない限り、正確な長期予測は根本的に困難になる、という数値予報の研究から出てきた提言に由来する[3]。 意味[編集] ローレンツ方程式における初期値鋭
Python - Wikipedia
Python（パイソン）はインタープリタ型の高水準汎用プログラミング言語である。 概要[編集] Pythonは1991年にグイド・ヴァン・ロッサムにより開発されたプログラミング言語である。 最初にリリースされたPythonの設計哲学は、ホワイトスペース(オフサイドルール)の顕著な使用によってコードの可読性を重視している。その言語構成とオブジェクト指向のアプローチは、プログラマが小規模なプロジェクトから大規模なプロジェクトまで、明確で論理的なコードを書くのを支援することを目的としている。 Pythonは動的に型付けされていて、ガベージコレクションされている。構造化（特に手続き型）、オブジェクト指向、関数型プログラミングを含む複数のプログラミングパラダイムをサポートしている。Pythonは、その包括的な標準ライブラリのため、しばしば「バッテリーを含む」言語と表現されている[† 1]。 Pyth
ヒルベルトの23の問題 - Wikipedia
ヒルベルトの23の問題（ヒルベルトの23のもんだい、英: Hilbert(’s) 23 problems）は、ドイツ人の数学者であるダフィット・ヒルベルトによりまとめられた、当時未解決だった23の数学問題である。ヒルベルト問題 (Hilbert(’s) problems) とも呼ばれる。 概要[編集] 1900年8月8日に、パリで開催されていた第2回国際数学者会議 (ICM) のヒルベルトの公演で、23題の内10題（問題1, 2, 6, 7, 8, 13, 16, 19, 21, 22）が公表され、残りは後に出版されたヒルベルトの著作で発表された[1]。 第24問題[編集] 彼は元々24題の問題を用意していたが、その内の1題は割愛された。この24番目の問題（簡潔性と総合的な方法の評価基準に関する証明論）は2000年にドイツの歴史学者リュディガー・ティーレ（ドイツ語版）によって発見されたヒル
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
