moebiusT7/mmv-wiki-index-ja huggingface dataset:
計算化学 計算化学 計算化学 （けいさんかがく、 英語 : computational chemistry ）とは、計算によって 理論化学 の問題を取り扱う、化学の一分野である。 複雑系 である化学の問題は 計算機 の力を利用しなければ解けない問題が多いため、 計算機化学 と呼ばれることもあるが、両者はその言葉の適用範囲が異なっている。 近年の コンピュータ の処理能力の発達に伴い、実験、理論と並ぶ第三の研究手段と考えられるまでに発展した。主に以下の手法を用いて化学の問題を取り扱う。 分子軌道法 （MO法） 分子動力学法 （MD法） モンテカルロ法 （MC法） 分子力学法 （MM法） 密度汎関数法 （DFT法） This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算可能ドキュメント形式 計算可能ドキュメント形式 CDF（計算可能ドキュメント形式) 拡張子 .cdf MIMEタイプ application/cdf UTI com.wolfram.cdf 開発者 ウルフラム・リサーチ 初版 2011年7月28日  ( 2011-07-28 ) ウェブサイト CDF（計算可能ドキュメント形式） 計算可能ドキュメント形式 （けいさんかのうドキュメントけいしき、 Computable Document Format 、略称 CDF ）は、 ウルフラム・リサーチ が開発した電子ドキュメント形式で、ダイナミックに生成されるインタラクティブコンテンツが簡単にオーサリングできるように設計されている。 ^ Wolfram Alpha Createor plans to delete the PDF The Telegraph (UK) ^ Wolfram makes data interactive PC World This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算可能性理論 計算可能性理論 計算可能性理論 （けいさんかのうせいりろん、 英 : computability theory ）とは、 チューリングマシン などの 計算模型 でいかなる計算問題が解けるか、またより抽象的に、計算可能な問題のクラスがいかなる構造をもっているかを調べる、 計算理論 や 数学 の一分野である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算可能数 計算可能数 数学 において、 計算可能数 （けいさんかのうすう）は 実数 であって、有限かつ停止する アルゴリズム によって望んだいかなる精度でも計算可能なもののことである。 再帰的な数 、 実効的な数 、 計算可能実数 、 再帰的実数 などとしても知られる。 同値な定義は μ再帰関数 、 チューリングマシン 、 ラムダ計算 などを用いたアルゴリズムの形式的表現によっても得られる。計算可能数は 実閉体 をなし、全てではないが多くの数学的な目的において実数の代わりに用いることができる。 ^ van der Hoeven (2006) . This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算可能解析学 計算可能解析学 数学 ならびに 計算機科学 において、 計算可能解析学 （けいさんかのうかいせきがく、 英語 : computable analysis ）とは、 計算可能性理論 の観点から 解析学 を研究する分野である。これは 計算可能 な仕方で展開可能な 実解析学 や 関数解析学 の部分と関わる。この分野は構成的解析学や 数値解析 と密接に関係する。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算可能関数 計算可能関数 計算可能関数 （けいさんかのうかんすう、 英 : Computable function ）は、 計算可能性理論 研究の基本的な目的で、直観的には、 アルゴリズム によって結果の値が得られる関数のことである。計算可能関数は、 チューリングマシン や レジスタマシン といった具体的な 計算モデル を参照せずに、計算可能性を論じるのに使われる。しかし、その定義には特定の計算モデルを参照する必要がある。 計算可能関数の正確な定義が与えられる以前から、 数学者 は effectively computable （実効的に計算可能）という言い回しをよく使っていた。現在では、その概念が計算可能関数となっている。effective（実効的）であってもefficient（効率的）に計算できるということは導かない。実際、計算可能関数には非効率な場合もある。 計算複雑性理論 は、そのような関数の計算効率を研究している。 チャーチ＝チューリングのテーゼ によれば、計算可能関数は、任意にいくらでも拡大できる記憶装置を持った計算機械を使い（いくら長くても良いが）有限の時間で計算が必ず終了する関数である。 アルゴリズム のある関数は全て計算可能である。 ブラムの公理 を使って、計算可能関数の集合について抽象的な 計算複雑性 を定義できる。計算複雑性理論では、計算可能関数の複雑性を特定する問題を 函数問題 と呼ぶ。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算尺 計算尺 計算尺 （けいさんじゃく）とは 対数 の原理を利用した アナログ 式の 計算 用具である。棒状や円盤状のものがある。円盤状のものは目盛りがループしているため目外れが生じないというメリットがあるが、滑尺のスライドがしづらく内周の尺は目盛りが荒くなるというデメリットがある。 計算尺の基本的なメカニズムは log(a × b) = log(a) + log(b) であることを利用して対数状の目盛り（ 対数スケール ）の加減算で乗除算を行うことと、各種関数値が刻んである目盛りで換算を行うことで、これらを連鎖的に行うことで最終的な解に導く。 殆どの物は乗除算および 三角関数 、対数、 平方根 、 立方根 などの計算に対応しており、加減算を行えるものは非常に稀である。 そろばん のような デジタル （離散的）な計算機と異なり、計算尺で得られる値は 概数 である。目盛りの読み方によって桁の多い数や、小数点のある数の計算も可能で、物理定数などが刻印されているものも多い。 棒状計算尺の長さは10インチ（25cm）が一般的で、このほかに携帯用の4インチ、5インチ、高精度の20インチも存在した。 戦艦大和 の設計では4メートルの特注の計算尺が使用された。 特定の目的の計算に特化した計算尺も数多く作られている。航空エンジニア向けの航空機の燃料計算、家電セールスマン向けの電球の寿命計算、写真撮影用の 計算尺式露出計 、 操縦士 ・ 航空士 が航法計算に用いる「 フライトコンピューター 」など、さまざまな分野で特化型の計算尺が作られ、現在も様々な計算尺が製造されている。 1970年代 頃まで理工学系設計計算や 測量 などの用途に利用されていたが、1972年に世界初の「ポケットに入る関数電卓」 HP-35 の登場で市場が徐々になくなり、 1980年 頃には多くのメーカーで生産が中止された。かつては無線や電気関係の資格試験において持ち込みが認められていたが、 2000年代 前半ごろから禁止されるようになった。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算尺式露出計 計算尺式露出計 計算尺式露出計 （けいさんじゃくしきろしゅつけい）とは、 計算尺 式の 露出計 である。 日時、天候、被写体の種類、フィルム感度、フィルターなど色々な要素を機械的な計算尺に入力することで適正なシャッター速度と絞り値を求められる。 スイス人のフェルディナンド・ハーター（ Ferdinand Hurter ）とイギリス人のヴェロ・チャールズ・ドリフィールド（ Vero Charles Driffield ）が科学的な感度測定方法を考案する中で副産物として発明しイギリスの マリオン から 1892年 に発売された「アクチノグラフ」が最初であり、これは世界初の露出計でもあった。 その後要素を係数に換算して合計した値により適正シャッター速度を求める係数加算式のウナ式やベスター式などが著名となった。 日本でも関実が考案し 1939年 玄光社 から発売された関式サロン露出計（後のセノガイド）を皮切りに、森芳太郎が考案し 浅沼商会 から発売された森式キング露出計、佐和九郎が考案し アルス から発売された佐和式露出計算尺、 エルモ社 から発売された木邨式露出計、また戦後には 師岡宏次 が考案し近江屋産業（後のハンザこと近江屋写真用品。2004年10月特別清算）から発売された師岡式精密露出計など多数の形式が考案された。 当時の写真指導界の第一人者のノウハウを盛り込んであったためあらゆる条件下でほぼ正確な露出時間を知ることができ、佐和式1円80銭、関式2円とフィルム2本程の価格で購入でき安価であったため電気露出計が考案されてからも広く1980年代まで使用された。 またウエスト電気（現 パナソニック フォト・ライティング ）は 閃光電球 と 写真フィルム を指定することで被写体の距離に応じたF値を表示するウエスト閃光電球用露出計算尺を出していたが、これも計算尺式露出計の一種と言える。 ^ a b c d e f 『クラシックカメラ専科No.3、戦後国産カメラの歩み』p.147。 ^ a b c d e f g h i j 『クラシックカメラ専科No.2、名機105の使い方』p.76。 ^ a b 『クラシックカメラ専科No.3、戦後国産カメラの歩み』p.148。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算幾何学 計算幾何学 計算幾何学 （けいさんきかがく、 英語 : computational geometry ）は、幾何学の言葉で述べることのできる アルゴリズム の研究をテーマとする 計算機科学 の一分野である。計算幾何学的アルゴリズムの研究から純幾何学的な問題が生じることもあり、またそのような問題は計算幾何学の一部であると考えられる。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算幾何学の書籍一覧 計算幾何学の書籍一覧 計算幾何学の書籍一覧 （けいさんきかがくのしょせきいちらん）では、 計算幾何学 に関する書籍 (和文・英文) の一覧を掲載している。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算手 計算手 計算手 （けいさんしゅ、 英 ： computer, human computer ）とは、 電子計算機 が実用化される以前の時代において、研究機関や企業などで数学的な計算を担当していた人間のことである。現在では「コンピュータ」と言えば電子計算機を指すが、当時は "computer" という語の成り立ちが表す通り「計算する人間」のことであった。 計算手は数人から数百人のチームを構成し、巨大で複雑な計算を分担し同時に並行して行った。 19世紀までは若手研究者がこの仕事を任されることが多く、（当時の研究職の男女比に従えば当然のことであるが）計算手は男性ばかりであった。しかし、 エドワード・ピッカリング が ハーバード大学天文台 の計算手やデータ解析要員として女性を多く採用したことで、その後女性が計算手となる機会が増加し、また 天文学 分野での女性研究者の進出へと繋がった。さらに 第二次世界大戦 中は 徴兵 によって男性研究者が減ったため、計算手は専ら女性の仕事となった。 ENIAC の最初の6人の プログラマ は、弾道計算のための計算手として雇われていた女性の中から選ばれた。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算技術検定 計算技術検定 計算技術検定 実施国 日本 資格種類 民間資格 分野 教育・教養 試験形式 筆記 認定団体 全国工業高等学校長協会 後援 文部科学省 認定開始年月日 1979年 （昭和54年） 等級・称号 1級 - 4級 公式サイト https://zenkoukyo.or.jp/ ウィキプロジェクト 資格 ウィキポータル 資格 計算技術検定 （けいさんぎじゅつけんてい）とは、 全国工業高等学校長協会 が主催し、 文部科学省 が後援する、電卓の正しい使い方や計算を合理化するための能力の育成とその技術の向上を目的とした 検定試験 である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算数論 計算数論 計算数論 （ アルゴリズム整数論 、 計算整数論 などとも）は、主に整数に関係する問題、たとえば 素数判定 と 素因数分解 、 ディオファントス方程式 の解の発見、 数論幾何学 における明示的方法など、 数論 と数論幾何学の問題を調査して解決する計算方法（主にアルゴリズム）についての研究である。計算数論は、 RSA暗号 、 楕円曲線暗号 、 ポスト量子暗号 などの 暗号理論 に応用があり、 リーマン予想 、 バーチ・スウィンナートン＝ダイアー予想 、 abc予想 、 モジュラー性予想 、 佐藤・テイト予想 、 ラングランズ・プログラム の明示的側面などの、数論における 予想 と 未解決問題 の研究に使用される。 ^ a b ^ ^ This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算書類 計算書類 計算書類 （けいさんしょるい）とは、日本における 会社法 ・ 会計 の用語の一つ。 会社 の利益を算出し確定するために作成される書類のこと。 会社法について以下では、条数のみ記載する。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算木論理 計算木論理 計算木論理 （けいさんきろんり、Computational Tree Logic、 CTL ）は、分岐 時相論理 の一種である。その時間モデルでは未来は決定されておらず 木構造 のように分岐している。未来の複数の経路のうちの1つが実際に現実の経路となる。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算格子 計算格子 計算格子 （ 英 : computational mesh/grid ）または単に 格子 とは、 数値解析 における離散化のために用いられる、解析領域（2次元または3次元の幾何形状)を有限個に分割した部分領域のことである。 構造解析 分野では 要素 とも言う。 計算領域を格子に分けることを 格子生成 （ 英 : mesh generation ）または 格子分割 と言う。 各計算格子は番号付けにより識別され、その 幾何学的形状 は節点（nodes）の座標値により規定される。また、節点には要素節点番号と呼ばれる要素内での節点の番号を付ける。 ^ Joel H. Ferziger; Milovan Perić 著、小林敏雄、谷口伸行、坪倉誠 訳『コンピュータによる 流体力学 』 シュプリンガー・フェアラーク東京 、2003年。 ISBN  4-431-70842-1。   ^ 峯村吉泰『JAVAによる流体・熱流動の数値シミュレーション』 森北出版 、2001年、40頁。 ISBN  4-627-91751-1。   ^ 岸正彦『図解入門よくわかる最新有限要素法の基本と仕組み』秀和システム、2010年、12, 30-35頁。 ISBN  978-4-7980-2673-2。   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機 計算機 計算機 （けいさんき）は、 計算 を機械的に、さらには自動的に行う装置である。もとは計算を手作業で行う 計算手 （けいさんしゅ）の概念から発展していったもので、それら人間が行う計算を援助するのみのものや、手動操作で自動的ではないものなどは 計算器 という文字表現をすることがある。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機 (Apple) 計算機 (Apple) 計算機 計算機 開発元 Apple 最新版 10.16 対応OS macOS 、 iOS 、 iPadOS 、 watchOS 種別 電卓 ライセンス プロプライエタリ・ライセンス 公式サイト Mac用計算機ユーザガイド 計算機 （けいさんき、 英 : Calculator ）とは、 macOS 、 iOS 、 iPadOS 、 watchOS に標準で付属している 電卓 ソフトウェア である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機の歴史 計算機の歴史 計算機の歴史 （けいさんきのれきし）の記事では、 計算機 （計算機械）や コンピュータ の 歴史 について述べる。また、コンピュータは計算機械であるばかりでなく、同時に 情報処理 機械でもあるので、本項では計算機械に限らず データ処理 機械にも触れる。あまり一般的な語ではないが「 コンピューティング 」の歴史であると捉えるとよいであろう。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機の歴史 (1960年代以降) 計算機の歴史 (1960年代以降) 1960年 以降の 計算機の歴史 （けいさんきのれきし）は、 真空管 から ソリッドステート デバイスすなわち トランジスタ さらに後には 集積回路 への転換から始まる。1959年ごろまでにトランジスタの信頼性と経済性は十分に向上し、真空管では敵わないレベルにまで達しようとしていた。コンピュータの 主記憶 は徐々に 磁気コアメモリ からソリッドステートの半導体メモリに取って代わられていき、コンピュータのコストと大きさと電力消費量は劇的に低減していった。そして、集積回路のコストが十分に低くなると、 ホビーパソコン や パーソナルコンピュータ が普及するようになった。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機イプシロン 計算機イプシロン 計算機イプシロン （けいさんきイプシロン、 英 : machine epsilon ）は、 浮動小数点数 において、「1より大きい最小の数」と1との差のことである。 機械イプシロン （きかいイプシロン）とも言う。また、それぞれの「イプシロン」は エプシロン とも表記される。 ^ 奥村晴彦 『C言語による最新アルゴリズム事典』 技術評論社 、1991年、33頁。 ISBN  4-87408-414-1。   ^ epsilonの意味・使い方・読み方｜英辞郎 on the WEB This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機プログラムの構造と解釈 計算機プログラムの構造と解釈 計算機プログラムの構造と解釈 第二版の表紙 著者 ハル・アベルソン 、 ジェラルド・ジェイ・サスマン 、ジュリー・サスマン 題材 計算機科学 ジャンル 教科書 出版社 マサチューセッツ工科大学出版局 出版日 1984年（初版） 1996年（第二版） 2022年（JavaScript版） ページ数 657 ISBN 0-262-51087-1 （第二版） LC分類 QA76.6 .A255 1996 ウェブサイト mitpress .mit .edu /sicp 『 計算機プログラムの構造と解釈 』（けいさんきプログラムのこうぞうとかいしゃく、原題: Structure and Interpretation of Computer Programs 、略称: SICP ）は、1985年に MIT出版 から刊行された、 計算機科学 分野の古典的な教科書。著者は マサチューセッツ工科大学 (MIT) の教授 ハル・アベルソン と ジェラルド・ジェイ・サスマン 、ジュリー・サスマン。 表紙に魔術師が描かれているため、「魔術師本」（ Wizard Book ）、またはまれに表紙の色をとって「紫本」（ Purple Book ）と呼ばれる。計算機科学の基本原理、すなわち 再帰 、 抽象化 、 モジュール 、 プログラミング言語 の設計と実装について書かれている。 1984年に初版、1996年に第二版が出版され、1984年から2007年まで、MITの 計算機科学 入門講義の教科書として使用された。SICPは、特定の問題を解決するための一般的なパターンの発見と、それらのパターンを利用する ソフトウェアシステム の構築に焦点を当てている。2022年には JavaScript 版が出版された。 第二版の 和田英一 による日本語訳（ISBN 978-4894711631）が ピアソン桐原 から2000年2月に発売された。 2013年8月にピアソン桐原が撤退し絶版になり 、和田はHTML版を公開した。 和田は一時MIT助教授であったため、著者の一人ジェラルド・サスマンとは知り合いである 。 全体的に訳が古めかしいという不評も一部にある 。その後2014年5月に 翔泳社 より再版されている。 ^ Harvey, B (2011), “Why SICP matters?” , The 150th anniversary of MIT , Boston Globe , http://www.eecs.berkeley.edu/~bh/sicp.html   ^ Structure and Interpretation of Computer Programs: JavaScript Edition . MIT Press. (2022). ISBN  9780262543231 . https://mitpress.mit.edu/books/structure-and-interpretation-computer-programs-1   ^ 計算機プログラムの構造と解釈 第二版 - 和書 ^ 奥乃博 Introduction to Algorithms and Data Structures (SICP, 計算機プログラムの構造と解釈), 2013 ^ http://sicp.iijlab.net/ ^ http://www.shoeisha.co.jp/book/detail/9784798135984 This article is issued
nd-interpretation-computer-programs-1   ^ 計算機プログラムの構造と解釈 第二版 - 和書 ^ 奥乃博 Introduction to Algorithms and Data Structures (SICP, 計算機プログラムの構造と解釈), 2013 ^ http://sicp.iijlab.net/ ^ http://www.shoeisha.co.jp/book/detail/9784798135984 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機化学 計算機化学 計算機化学 (けいさんきかがく、 computer chemistry ) とは、計算機を使って 化学 の問題を取り扱う、化学の一分野である。 一般に、計算機化学と呼ばれるのは、 コンピュータ を使って次のようなことをする場合である。 原子 ・ 分子 ・分子集団の 電子状態 の計算。→ 分子軌道法 原子・分子・分子集団のコンピュータ・ シミュレーション 。→ 分子動力学法 、 モンテカルロ法 データベース の利用。 その他。分子構造の可視化、等。 いずれも、近年のコンピュータの発達によって可能となった。 分子設計、材料設計、薬物設計、機能設計といったことに応用されている。 生命現象の原子・分子レベルからの理論的解明へ期待が持たれている。 似た言葉に 計算化学 がある。 これは、計算機化学と同じ意味として使用されることがあるが、計算化学と呼ばれるのは上記の1,2を行う場合であり、さらに計算機を使用しない場合も含まれる。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機工学 計算機工学 計算機工学 （けいさんきこうがく、 英 : Computer Engineering ）とは、 コンピュータ技術 に関わる 工学 である。現代のコンピュータで使用されている ソフトウェア と ハードウェア の要素の開発、 設計 、組み立て、 実装 および 維持 する 科学 および 技術 を扱う学問である。 コンピュータ工学 （コンピュータこうがく）とも呼ばれる。 ^ a b 情報処理学会「コンピュータ工学の知識体系」 ^ 岡山理科大学「コンピュータ工学」 ^ 岩手県立大学「コンピュータ工学」 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機援用証明 計算機援用証明 微分方程式 ナビエ–ストークス方程式 。障害物の周囲の気流のシミュレーションに用いられる。 範囲 自然科学 工学 天文学 物理学 化学 生物学 地質学 応用数学 連続体力学 カオス理論 力学系 社会科学 経済学 個体群動態論 分類 タイプ 常 偏 微分代数 積分微分 分数階 線型 非線形 変数のタイプにより 独立変数と従属変数 自律微分方程式 複素 Coupled / Decoupled 完全 斉次  / 非斉次 特徴 階数 作用素 記法 過程との関係 差分 (離散類似) 確率 確率偏 遅延 解 一般的な話題 ピカール＝リンデレーフの定理 コーシー＝コワレフスカヤの定理 ペアノの存在定理 ロンスキアン Phase portrait 相空間 リャプノフ  / 漸近安定性  / 指数安定性 収束率 級数  / 積分解 数値積分 ディラックのデルタ関数 解法 Inspection 特性曲線法 広田の方法 常微分方程式の数値解法 オイラー ルンゲ・クッタ 線型多段法 狙い撃ち法 偏微分方程式の数値解法 有限差分   ( クランク・ニコルソン ) 有限要素 有限体積 ガレルキン 可積分アルゴリズム 精度保証付き数値計算 計算機援用証明 積分因子 積分変換 摂動論 変数分離 未定係数 人物 アイザック・ニュートン レオンハルト・オイラー エミール・ピカール ユゼフ・マリア・ハーネー＝ウロンスキー ルドルフ・リプシッツ オーギュスタン＝ルイ・コーシー カール・ルンゲ マルティン・クッタ ソフィア・コワレフスカヤ ポール・パンルヴェ イズライル・ゲルファント ウラジーミル・アーノルド ヴォルフガンク・ウォルター テレンス・タオ ピーター・オルバー 佐藤幹夫 神保道夫 三輪哲二 計算機援用証明 とは、 コンピュータ によって少なくとも一部が生成された数学的 証明 である。 今日における計算機援用証明のほとんどは数学的定理に対する しらみつぶし法 の実装である。具体的には、膨大で複雑な計算をコンピュータによって実行し、計算結果が与えられた定理の主張を裏付けることを示す試みである。1976年に示された 四色定理 が計算機援用証明によって示された最初の定理である。 計算機援用証明は 人工知能 の分野でも使われ、簡明かつ陽的で新しい（数学の）定理の証明を作り出すことが目指された。このような 自動定理証明 機はいくつかの新しい結果を生み出し、既存の定理に対しても新しい証明を発見した。 ^ 大石進一 et. al. (2018), 精度保証付き数値計算の基礎, コロナ社. This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機科学 計算機科学 計算機科学 （けいさんきかがく、 英 : computer science 、 CS ）は、 情報 と 計算 の理論的基礎、およびそれらを コンピュータ 上で実現する方法（アルゴリズム、データ構造、プログラミング言語、計算モデル、計算機システムなど）と、その応用を扱う学問分野である。日本語では「 コンピュータ科学 」「 コンピュータサイエンス 」とも表記される。 日本産業規格 （JIS）では「 computer science 」について「 計算機 による 情報処理 に関する 科学技術 の一分野」とあり、この英語句の和訳は「計算機科学」・「 情報科学 」・「 情報工学 」とある。 計算機科学には様々な分野があり、 コンピュータグラフィックス のように応用に力点がある領域もあれば、 理論計算機科学 と呼ばれる分野のように数学的な性格が強い分野もある。 便宜的な分類として、 計算機工学 などのハードウェア寄りの領域と、 プログラミング やソフトウェア工学などのソフトウェア寄りの領域に分けて説明されることがある。ただし、 再構成可能コンピューティング のように両者にまたがる研究領域もあり、境界は必ずしも明確ではない。 なお、 計算科学 は、自然科学・工学などの問題を数値計算やシミュレーションによって扱う学際的分野であり、計算機科学とは対象や目的が部分的に重なる一方、研究コミュニティや関心領域が異なる場合がある。計算科学では 高性能計算（HPC） が重要な基盤技術となることが多い。 ^ 「計算機科学は情報に関する学問である」 計算機情報科学科 、 Guttenberg Information Technologies ^ 「計算機科学は計算に関する学問である。」 聖ヨハネ大学 聖ベネディクト校 計算機科学科 ^ 「計算機科学はコンピュータシステムのあらゆる側面に関する学問である。理論的基礎から極めて実用的な巨大ソフトウェアプロジェクト管理までも含む。」 マッセイ大学 ^ 『ブリタニカ国際大百科事典 小項目事典』「計算機科学」 ^ Passey, D. (2017). Computer science (CS) in the compulsory education curriculum: Implications for future research. Education and Information Technologies , 22(2), 421. ^ Camp, T. et al. (2017). Generation CS: the growth of computer science. ACM Inroads , 8(2), 44. ^ コンピュータ用語辞典編集委員会 2001 , p. 232. This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機科学の未解決問題 計算機科学の未解決問題 計算機科学の未解決問題 （けいさんきかがくのみかいけつもんだい）とは 計算機科学 における未解決の問題のこと。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機科学哲学 計算機科学哲学 計算機科学哲学 （けいさんきかがくてつがく、 英 : philosophy of computer science ）とは、 計算機科学 についての考察から生ずる哲学的問題に関する学問分野である。計算機システムの開発や保守を支援する概念や方法の全体的な研究を意味すると考えられている。 物理学哲学 や 数学哲学 の様に、計算機科学哲学を発展させようとする試みにもかかわらず、計算機科学哲学の内容、目的、焦点、話題についての方向性はまだ存在しない。 以上の様に、計算機科学哲学は、計算機システムを実装や分析に就いての概念や方法の発明に関連するメタ活動を扱う分野である。 ^ Turner ^ Tedre, Matti (2014). The Science of Computing: Shaping a Discipline . Chapman Hall   ^ “ Archived copy ”. 2009年2月18日時点の オリジナル よりアーカイブ。2009年4月17日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算機自然 計算機自然 計算機自然 （けいさんきしぜん、英: digital nature ）は、計算機・ネットワーク・センサー・アルゴリズムが環境に遍在し、物質・生命・情報の循環と連動して機能する状況、ならびにその状況を前提に自然観・社会像・美学・設計論を再記述する学際的枠組である。HCIにおけるユビキタス・コンピューティングやタンジブルUIの系譜、情報圏 infosphere を論じる情報哲学が基礎にある． 英語圏では digitized nature （自然のデジタル化）や digitalized nature （デジタルによる再編・管理過程）といった用法もみられ、メディアアート領域では自然を非物質的デジタル技術で作品化する実践に Digitized Nature の語が用いられる．近年の総説は、自然を「計算と物質の循環としての動的過程」と捉え、系譜・多軸枠組・倫理的論点を横断的に整理している． ^ Weiser, Mark (1991-09). “The Computer for the 21st Century” . Scientific American . https://www.ics.uci.edu/~corps/phaseii/Weiser-Computer21stCentury-SciAm.pdf 2025年11月12日閲覧。 .   ^ Ishii, Hiroshi; Ullmer, Brygg (1997). Tangible Bits: Towards Seamless Interfaces between People, Bits and Atoms (PDF) . CHI '97 . 2025年11月12日閲覧 . ^ Floridi, Luciano (2019年). “ Against Digital Ontology ”. Oxford University Press. 2025年11月12日閲覧。 ^ “ Computation in Physical Systems ”. Stanford Encyclopedia of Philosophy (2010年). 2025年11月12日閲覧。 ^ “ Digitized Nature ”. teamLab . 2025年11月12日閲覧。 ^ Ochiai, Yoichi; Shimizu, Takashi (2025-11-11). “Digital Nature Revisited: A Ten-Year Synthesis of Art, Technology, and the Evolution of 'Nature': Reimagining Post-Truth Ecologies Through Art, Algorithm, and Animism” (英語). arXiv . doi : 10.48550/arXiv.2511.07986 . https://arxiv.org/abs/2511.07986 2025年11月12日閲覧。 .   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算流体力学研究所 計算流体力学研究所 株式会社計算流体力学研究所 Institute of Computational Fluid Dynamics 種類 株式会社 市場情報 非上場 略称 流体研、iCFD 本社 所在地 日本 〒 152-0011 東京都 目黒区 原町 一丁目16番5号 設立 1985年 11月 業種 情報・通信業 法人番号 8013201001840 事業内容 受託解析及びソフトウェア販売、他 代表者 桑原 諸兄（ 代表取締役 ） 資本金 5,000万円（2006年4月1日現在） 従業員数 5名（2023年6月現在） 主要 株主 日本ラッド株式会社 関係する人物 桑原邦郎 （元 取締役 、元 CEO ） 外部リンク www.icfd.co.jp/ 株式会社計算流体力学研究所 （けいさんりゅうたいりきがくけんきゅうじょ、 英 : Institute of Computational Fluid Dynamics: iCFD ）は、 東京都 目黒区 に 本社 を置き、 流体 解析に関わる コンサルティング 、受託解析、 ソフトウェア 開発、計算機システムの構築・販売を主な業務内容とする 日本 の 企業 である。 事実上の創業者は、日本の 計算流体力学 の第一人者であり 宇宙科学研究所 （後の JAXA ）に所属していた 桑原邦郎 （1942～2008）で、 1985年 の創業以来亡くなるまで事実上の代表者を務めた。 ^ “ 沿革 ”. 日本ラッド . 2024年12月31日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算物理学 計算物理学 計算物理学 数値解析   · シミュレーション データ解析   · 可視化 ポテンシャル モース長距離ポテンシャル レナード-ジョーンズ・ポテンシャル 湯川ポテンシャル モースポテンシャル 流体力学 偏微分方程式の数値解法 有限差分法   · 有限体積法 有限要素法   · 境界要素法 格子ボルツマン法   · リーマン解法 散逸粒子動力学 SPH法 乱流モデル モンテカルロ法 モンテカルロ積分 ギブスサンプリング   · メトロポリス法 粒子 多体問題   · Particle-in-cell 分子動力学 研究者 ゴドゥノフ   · ウラム フォン・ノイマン   · ガラーキン ローレンツ 科学  > 計算科学  > 計算物理学 計算物理学 （けいさんぶつりがく、 英語 : computational physics ）は、 解析 的に解けない物理現象の 基礎方程式 を計算機（ コンピュータ ）を用いて数値的に解くことを目的とする 物理学 の一分野である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算理論 計算理論 計算理論 （けいさんりろん、Theory Of Computation）または 計算論 は、 理論計算機科学 と 数学 の一部で、 計算模型 や アルゴリズム を理論的にあつかう学問である。 計算複雑性理論 、 計算可能性理論 を含む。ここでいう 計算 （Computation）とは、数学的に表現できる、あらゆる種類の 情報処理 のこと。 計算を厳密に研究するため、計算機科学では 計算模型 と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものは チューリングマシン である。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。 ^ ただし、厳密にはここの議論はそんなに単純ではない。たとえば無理数である「2の平方根の全ての桁を求める」ことは不可能だが、「それを計算し続ける停止しないチューリングマシン」を構成すること自体は不可能ではない。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算生物学 計算生物学 計算生物学 （けいさんせいぶつがく、 英 : computational biology ）は、 生物学 の問題の解決や データ解析 に 計算機科学 、 応用数学 、 統計学 の手法を応用する 学際 研究分野。下記のような生物学の下位領域が含まれる。 バイオインフォマティクス DNA 、 RNA 、 タンパク質 配列などから成る大規模なデータセットの調査に アルゴリズム や 統計的手法 を応用する。具体的な応用例として、 配列アラインメント （ 配列データベース 検索や相同配列比較に用いる）、遺伝子発見、遺伝子発現の予測などが挙げられる。計算生物学という用語がバイオインフォマティクスの同義語として用いられることもある。 計算生物モデリング 生物系の計算モデルを構築するバイオサイバネティクスの一分野。 計算ゲノミクス ゲノミクス の一分野。ゲノム・アセンブリとして知られる大規模なポストプロセシングを通した大量 ゲノム配列 決定によって細胞や生命体のゲノムを調べる。また、発現した遺伝子をDNAマイクロアレイを用いて統計学的に解析する。 分子モデリング 理論的アプローチや計算的手法を用いて分子の挙動のモデル化および模倣を試みる学問領域。数個の原子から成る低分子から、大きな生体高分子まで広い範囲が対象となる。 システム生物学 インタラクトームと呼ばれる広域的な生物学的相互作用ネットワークをモデル化を目指す学問領域。 微分方程式 を用いることが多い。 タンパク質構造予測 と 構造ゲノミクス 実験的に未解決の3次元タンパク質構造の精確な構造モデルの構築を目指す学問領域。 計算 生化学 と計算 生物物理学 タンパク質機能の 動力学 的、 熱力学 的性質の解明を目指し、 分子動力学法 や モンテカルロ法 由来のボルツマン・サンプリング法など、シミュレーションや構造モデリングの手法を多用する。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算知能 計算知能 計算知能 (Computational Intelligence, CI)は 人工知能 研究の一分野であり、 数理論理学 に基づく従来的な人工知能とは一線を画すものである。計算知能の研究は、 ファジィシステム や ニューラルネットワーク や 進化的計算 といった ヒューリスティック 的アルゴリズムを中心とする。その他にも、 群知能 、 フラクタル 、 カオス理論 、 人工免疫系 、 ウェーブレット といった技法も利用する。 計算知能の研究では、学習や適応や進化や ファジィ論理 （ラフ集合）といった要素を駆使して、ある意味で知的なプログラムを作成することを目指している。計算知能の研究では、統計的手法を拒絶するものではなく、しばしば相補的な考え方を提供することもある（例えば、 ファジィシステム ）。 ニューラルネットワーク 研究は計算知能研究の一部であり、 機械学習 と密接に関連している。 計算知能は ソフトコンピューティング 、みすぼらしい(scruffy)AI、 コネクショニズム のシステム、および サイバネティックス と密接に関連している。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
計算社会科学 計算社会科学 計算社会科学 （けいさんしゃかいかがく）は 社会科学 を計算学的方面から扱う学問の一分野である。 AI は社会だけでなく、社会科学の研究方法にも 革命 をもたらした。AI シミュレーション によって 社会 の特定のものが変更されたときに何が起こるかを調査することさえ可能である。 計算能力 により、 機械学習 や 自然言語処理 などの 分析 ツール を介して隠れたパターンを検出できる。 ソーシャルネットワーク の 視覚化 を作成し、機械学習を使用して社会科学の コンテンツ と ビジネス 戦略 を分析できる。ソーシャルネットワークと人間のダイナミクスがどのように社会システムと認識可能なパターンを作成するかを発見する。 電子メールやblog，携帯電話のログやバイオセンサによる身体情報などの大規模な行動データ，近年では ソーシャルメディア における社会的相互作用などの取得と分析及び，それを元にした定量的な社会科学を行う学問である．この分野には， 計量経済学 や計量社会学が含まれる． 計算社会科学は，オンライン上の行動ログなど社会的な ビッグデータ に基づく実証研究と，社会シミュレーションによる理論研究の双方に軸足を置いた学問である．これはすなわち，社会調査と応用情報学の技術との統合的アプローチを取ることを意味する（ データサイエンス 論）．そのために用いられる主な方法論は(1) 計算モデルとシミュレーション，(2) オンライン相互作用のデジタルトレース ( ビッグデータ ，ソーシャルデータ)，(3) バーチャルラボ (ウェブを使った大規模行動実験) である． ^ http://www.kellogg.northwestern.edu/news-events/conference/ic2s2/2016/about/about-css.aspx ^ “ Computational Social Science ”. Coursera . 2021年1月10日閲覧。 ^ http://www.ai-gakkai.or.jp/my-bookmark_vol30-no6/ This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.