解析学において、微分方程式（びぶんほうていしき、（英: differential equation）とは、未知関数とその導関数の関係式として書かれている関数方程式である[1]。 数学の応用分野においてしばしば、異なる2つの変数の関係を調べることが行われる。2変数を対応付ける関数があらわになっていなくても、その導関数（の満たすべき方程式）を適当な仮定の下で定めることができ、そこから目的とする関数を探し出すことができる。 物理法則を記述する基礎方程式は、多くが時間微分、空間微分を含む微分方程式であり、物理学からの要請もあり微分方程式の解法には多くの関心が注がれてきた。 方程式論は解析学の中心的な分野で、フーリエ変換、ラプラス変換等は元々、微分方程式を解くために開発された手法である。また物理学における微分方程式の主要な問題は境界値問題、固有値問題である[1]。 微分方程式は大きく線型微分方程式と

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ラプラス変換" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2022年12月) 関数変換 関数解析学において、ラプラス変換（ラプラスへんかん、英: Laplace transform）とは、積分で定義される関数空間の間の写像（線型作用素）の一種。関数変換。積分変換の一種。 ラプラス変換の名は18世紀の数学者ピエール＝シモン・ラプラスにちなむ。 ラプラス変換によりある種の微分・積分は積などの代数的な演算に置き換わるため、制御工学などにおいて時間領域の（とくに超越的な）関数を別の領域の（おもに代数的な）関数に変換することにより、計算方法

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "フーリエ変換" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2013年2月) 上は時間領域で表現された矩形関数f(t)（左）と、周波数領域で表現されたそのフーリエ変換f̂(ω)（右）。f̂(ω)はSinc関数である。下は時間遅れのある矩形関数 g(t) と、そのフーリエ変換 ĝ(ω)。 時間領域における平行移動 (ディレイ)は、周波数領域では虚数部の位相シフトとして表現される。 数学においてフーリエ変換（フーリエへんかん、英: Fourier transform、FT）は、実変数の複素または実数値関数を、別の同種の関数fに写す変換で

クルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー帝国出身の数学者・論理学者・哲学者である。業績としては、完全性定理、不完全性定理[1]および連続体仮説に関する研究が知られる。 オーストリア=ハンガリー帝国のモラヴィアに生まれる。1924年、ゲーデルは、ウィーン大学に入学し、まず物理学を、後に数学を学んだ。そして、1930年には、最初の重要な業績である「完全性定理」（第一階述語論理の完全性定理）を発表し、学位を得た。 翌1931年、ゲーデル数の概念を用い、20世紀の数学基礎論、論理学にとって最も重要な発見とされる「不完全性定理」を発表した。 1940年、ヒルベルトの第一問題（連続体仮説）について、「集合論のZF公理系が無矛盾ならば、そこに選択公理と一般連続体仮説を加えても無矛盾である」ということを証明した[2]。以上がゲー

計算機科学（けいさんきかがく、英: computer science、コンピューター・サイエンス）またはコンピュータ科学[1]、CSとは[2][3]、情報と計算の理論的基礎、およびそのコンピュータ上への実装と応用に関する研究分野である[4][5][6]。コンピュータサイエンス（computer science）は「情報科学」や「情報工学」とも和訳される[7][注釈 1]。コンピュータ科学には様々な分野がある。コンピュータグラフィックスのように応用に力点がある領域もあれば、理論計算機科学と呼ばれる分野のように数学的な性格が強い分野もある。計算科学は科学技術計算という「計算需要」に応えるための分野であり、それを実現する手段の研究は高性能計算である。また、一見わかりやすい分類として、計算機工学など「ハードウェア」と、プログラミングなど「ソフトウェア」という分類があるが、再構成可能コンピューティン

アラン・カーティス・ケイ（Alan Curtis Kay, 1940年5月17日 - ）は、アメリカ合衆国の計算機科学者、教育者、ジャズ演奏家。パーソナルコンピュータの父、と言われることもある。主に、オブジェクト指向プログラミングとユーザインタフェース設計に関する初期の功績で知られている。ピーター・ドラッカーの言葉“You cannot predict the future, but you can create it.” を引用し、“The Best Way to Predict the Future is to Create it.” 「未来を予測する最善の方法は、それを発明することだ」と改変したことでも知られている。 カリフォルニア大学ロサンゼルス校(UCLA)で計算機科学の准教授、ビューポインツ・リサーチ・インスティテュート（Viewpoints Research Institut

Smalltalk（スモールトーク）は、Simula のオブジェクト（およびクラス）、LISPの徹底した動的性、LOGO のタートル操作や描画機能に、アラン・ケイの「メッセージング」というアイデア[2]を組み合わせて作られたクラスベースで手続き型の純粋オブジェクト指向プログラミング言語、および、それによって記述構築された統合化プログラミング環境の呼称。 Smalltalk で一語であり、「Small Talk」「SmallTalk」などは誤りである。 大規模な開発実績としてはCargill Lynx Project[3]があり、国産製品の開発実績としてはMCFrameがある。 ゼロックスのパロアルト研究所（PARC）で1970年代に約10年かけ3世代（Smalltalk-72、76、80）を経て整備された。当初は、ダイナブックである Alto（アルト） のオペレーティングシステム的位置付け

1956年に最初のマニュアルがリリースされ、1957年にIBM 704用の最初のコンパイラがリリースされた。名前 Fortran は formula translation（数式の変換）に由来し、FORTRAN 77 や Fortran 90 などの末尾の数字は規格が制定された年を示している。 Fortran は科学技術計算に向いた手続き型プログラミング言語であり、その長い歴史の間に開発された非常に多くの数学関数やサブルーチンを数値解析ソフトウェアとしてもっている。また、並列計算の並列性を明示的に書くことができるので最適化が行いやすく、したがって他の言語より高速であるなどの理由から[1]、数値予報および気候モデル、構造力学における有限要素法、計算流体力学、計算物理学、計算機化学、計量経済学、動物と植物の品種改良などの大規模な計算を行う分野において、スーパーコンピュータで使われている[2]。

Ada（エイダ）は、構造化・静的型付け・命令型・オブジェクト指向のパラダイムを持つ汎用プログラミング言語の一つである。構文はAlgol系である。 史上初のプログラマとされるエイダ・ラブレスの名前にちなんでAdaと命名されている。ADAと表記するのは誤り。 フリーのコンパイラとしては、GNATなどがある。 特徴[編集] Adaのデータ型の階層構造 1979年、米国国防総省が信頼性、保守性に優れた、主として組み込みシステム向けの言語を作りたいという意図のもと、国際競争入札を行い4社に発注、各設計仕様書の表紙が赤、青、黄、緑だったことから、そのままそれぞれの言語名称としてRED、BLUE、YELLOW、GREENと呼ばれた。この入札で優勝したのはフランス人チームで、公平を期すため選定時にはGREENと名付けられた。そのような理由から、イメージカラーは緑である。特徴的な要件としては、大規模開発や長

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "エイダ・ラブレス" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年12月） 1840年ごろの肖像画、 (作)アルフレッド・エドワード・シャロン アントワーヌ・クロード（英語版）による銀板写真。1843年または1850年の写真とされる。 ラブレース伯爵夫人オーガスタ・エイダ・キング（Augusta Ada King, Countess of Lovelace, 1815年12月10日 - 1852年11月27日）は、19世紀のイギリスの貴族・数学者。主にチャールズ・バベッジの考案した初期の汎用計算機である解析機関についての著作で、

U-2 SR-71B スカンクワークス（Skunk works）は、アメリカ合衆国の航空機メーカーであるロッキード・マーティン社の一部門「ロッキード・マーティン先進開発計画（Lockheed Martin's Advanced Development Programs）」の通称。転じて、航空宇宙企業内における軍事関連の秘密開発部門、警察の武器庫・火器管理調整・独自装備開発担当を指していたが、 その後語義がさらに拡大し、企業内の極秘開発部門・選抜されたメンバーのみからなる特命チームなどをも指すようになった[1]。 以下にはロッキード・マーティンのスカンクワークスについて記す。 軍用機開発を主な任務とし、秘密、独立、迅速を軸に、数十名の設計者と百数名の技能職従業員によって構成されている。初代ボスは航空機設計家クラレンス・レオナルド・ジョンソン（Clarence Leonard Johnson）

英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Stephen King|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があり

1952 Les Dents longues（野心満々）役は新婦の証人になる　監督ダニエル・ジェラン 1953 Le Portrait de son père（彼の父の肖像）役ドミノ　監督アンドレ・ベルトミュ 1954　Si Versailles m'était conté… 『ヴェルサイユ語りなば』役ロジェ　監督サシャ・ギトリ 1954　Haine, Amour et Trahison (憎しみと愛と裏切り)　役アンナ　監督マリオ・ボナールド 1955　Le Fils de Caroline Chérie（キャロリン・シェリーの息子）役ピラー・ダロンダ監督ジャン・ドベーブル 1960　L'Affaire d'une nuit（一夜の出来事）日本のタイトル『艶ほくろ』役レストランの女性監督アンリ・ヴェルヌイユ 1963　Paparazzi『パパラッツィ』ドキュメンタリー本人について　監督ジ

ホルヘ・フランシスコ・イシドロ・ルイス・ボルヘス・アセベード（Jorge Francisco Isidoro Luis Borges Acevedo [ˈxoɾxe ˈlwis ˈboɾxes]、[注釈 1]、1899年8月24日 - 1986年6月14日[5]）は、ホルヘ・ルイス・ボルヘス（Jorge Luis Borges）として知られるアルゼンチン出身の作家、小説家、詩人。特に『伝奇集』などに収録された、夢や迷宮、無限と循環、架空の書物や作家、宗教・神などをモチーフとする幻想的な短編作品によって知られている。彼の評価は1960年代の世界的なラテンアメリカ文学ブームによって確立され、その作品は20世紀後半のポストモダン文学に大きな影響を与えた。 経歴[編集] 出自と学歴[編集] 1899年、ボルヘスは教養ある中産階級の家庭に生まれた。出生した場所はブエノスアイレスの中心区であったが、そ