計算(けいさん)は、与えられた入力に対して、あらかじめ決められた所定の "手続き" に従って演繹することである。計算に使用される手続きはアルゴリズムと呼ばれる。
情報工学(じょうほうこうがく、)は計算機とその応用について考える学問である。
株価指数(かぶかしすう)は株式の相場の状況を示すために、個々の株価を一定の計算方法で総合し、数値化したものである。狭義には基準値を100または1000とした指数化されたもののみを指すが、広義には平均株 ...
チューリングマシン (Turing Machine) は計算模型のひとつ。すなわち、計算機を数学的に議論するための、単純化・理想化された仮想機械である。
関数型言語(かんすうがたげんご)は、ラムダ計算の概念をプログラミング言語として体現したもの。すべての計算は関数の適用によって行われるというもので、チューリングマシンをベースとしたCやJavaなどの手続 ...
計算物理学(けいさんぶつりがく, Computational physics, 計算物理)は、解析的に解けない物理現象の基礎方程式を計算機(コンピュータ)を用いて数値的に解くことを目的とする物理学の一 ...
情報工学の発展に貢献した人物(じょうほうこうがくのはってんにこうけんしたじんぶつ)は、情報工学や計算機科学に関連した業績をあげ、分野の発展に貢献した人物の一覧。
バンド計算(バンドけいさん)とは、系の電子状態を求める計算及びその手法のこと。
第一原理計算 (だいいちげんりけいさん, First-principles calculation, Ab initio calculation) :第一原理に基づいて行われる計算(手法)の総称。
第一原理バンド計算(だいいちげんりバンドけいさん)は、実験結果に依らないで(第一原理)計算が遂行されるバンド計算である。第一原理電子構造計算、第一原理電子状態計算、単にバンド計算とも言う。
擬ポテンシャル(ぎ- 、Pseudopotential)は、第一原理計算において原子核近傍の内核電子を直接取り扱わず、これを価電子に対する単なるポテンシャル関数に置き換える手法である。これは原子間結合 ...
カー・パリネロ法(Car-Parrinello method、略して "CP法" とも言う)は、1985年、カー(R. Car)とパリネロ(M. Parrinello)によって考案 ...
コヒーレントポテンシャル近似(Coherent Potential Approximation,CPA ともいう) は1967年に P. Soven[1]が考案したバンド計算手法のことである。
密度汎関数法(みつどはんかんすうほう)とは密度汎関数理論(Density Functional Theory, DFT)に基づく電子状態計算法である。
LDAを越える試み(Beyond LDA)とは、局所密度近似は大変成功した近似であるが、実際の系に対する様々な計算の結果、局所密度近似の限界もまた露わとなってきた。
アリマア (Arimaa) は、チェスの盤と駒を使用してプレイすることができる2人用のボードゲーム。子供でも理解できる簡素なルールでありながら、各局面で指せる手の数を何千通りにもすることでコンピュータ ...
PAW(Projector Augmented Wave)法とは、Blöchlが考案した全電子計算の方法。
実空間法:通常のバンド計算では、周期的境界条件の下に、
スラブ近似(スラブきんじ Slab approximation)は、周期的境界条件に縛られる通常のバンド計算手法(除く実空間法)において、表面などの周期的境界条件を満たさない系を扱うための一便法である ...
レイトレーシング (ray tracing) は、波の伝搬経路 (レイ) を追跡する計算法である。
DFPT法は、密度汎関数摂動論(Density Functional Perturbation Theory, DFPT)に基づく電子状態計算の方法の一つ[1]。分子または結晶中の原子核の変位に対応す ...
高速フーリエ変換(こうそくふーりえへんかん, Fast Fourier Transform, FFT)とは、離散フーリエ変換 (Discrete Fourier Transform, DFT) を計算 ...
状態密度(じょうたいみつど, Density of states、略称DOS)は、量子力学の微視的な状態があるエネルギー範囲にどれだけあるかを表す。状態数をエネルギーで微分したものと定義される。固体の ...
ラジオシティ(Radiosity)とは、3次元グラフィックスを作成するための計算方法の一つ。
GGA(Generalized gradient approximation)は、電子状態計算で用いられる局所密度近似を越える試みの一つ。一般化された密度勾配近似などと訳される。
第一原理バンド計算では、ハートリー原子単位(a.u.
形態素解析(けいたいそかいせき、Morphological Analysis)とは、コンピュータ等の計算機を用いた自然言語処理の基礎技術のひとつ。かな漢字変換等にも応用されている。
APW法(Augmented plane wave method、補強された平面波による方法、補強された平面波法などと言われる)は、最も古くから存在するバンド計算手法の一つ(おそらく1937年のSla ...
LAPW(Linearized Augmented Plane Wave Method)法はAPW法で生じる問題点([1]シュレディンガーの波動方程式を解いて得られる行列の,各要素が固有値の関数とな ...
LMTO法(Linear Muffin-Tin Orbital Method: 線形化されたマフィンティン軌道による方法)は、比較的計算が高速な第一原理バンド計算手法。精度がLAPWより若干劣る。
フルポテンシャル(Full potential):APW、LAPW、LMTO、KKRの各バンド計算手法では、球対称なマフィンティンポテンシャルを使用している。しかし現実のポテンシャルの形状は球対称とみ ...