この分野は一般には、理論物理学に属すると考えることができるが、一方で、このような数値的な解析を「計算機実験」と称することもあるように、実験的な側面も存在する。このため、物理学における理論、実験以外の第三の分野として、この「計算物理学」を捉える考え方も存在する。たとえば、さまざまな条件下で基礎方程式を解くことで、新たな現象、効果の存在が示唆されることもあり、理論物理学者はそこから理論モデルを構築する。一方で大規模な実験の前にはほとんど必ずシミュレーションが行われており、実験を行う根拠として数値解析の結果が使われる。
ML (プログラミング言語)
概要.
MLによってプログラマに知られるようになった機能に、型推論がある。これは、明示的に型の宣言を行わなくても、データの利用のされ方から、引数や関数の返す型を自動的に推論してくれる機能である。これにより、プログラマの負担が著しく軽減される。
言語仕様.
演算子.
MLの基本的な演算子は以下の通り
関数の定義.
MLの関数の定義は
例として階乗を求めるプログラムを以下に示す。
MLでの関数の評価は関数が定義されたときに行われる。このためMLでは関数定義の順序が無視できない。例として
例を挙げると
歴史.
動作.
従来のメモリ管理では、プログラマがプログラムの実行中においてメモリが必要となる期間を考え、必要となった時点でメモリを確保するコードを記述し、不要となった時点で解放するコードを記述していた。
特徴.
実装.
また、アプリケーション動作への影響の観点から、アプリケーション動作をすべて止めるストップ・ザ・ワールド方式と、アプリケーション動作と並行して動作するコンカレント方式に分類することができる。
言語による利用可能性.
ライブラリ.
スマートポインタ.
任天堂
概要.
沿革.
当時は会社の形態ではないが便宜上「社長」と表記している。
事業.
ゲームソフト事業.