语言
没有数据
通知
无通知
計算科学（けいさんかがく、英: computational science）は、数学的モデルとその定量的評価法を構築し、計算機を活用して科学技術上の問題を解決する学問分野である。具体的には、様々な問題の計算機によるシミュレーションやその他の計算手法の適用を指す。 計算科学は、計算機科学
サブタイピング（英: subtyping）や部分型とは、型のポリモーフィズムの形態であり、上位と定義された型を、その下位と定義された型で、型安全性に則って代替できるというプログラミング言語理論（英語版）の概念および実装を意味している。 スーパータイプは、そのサブタイプ
オブジェクト指向プログラミングにおいてサブクラス (英: subclass) とは、上位階層に位置するクラス（スーパークラス）のいくつかのプロパティ（特性）を継承する下位クラスのことである。 プログラマは普通、そのクラスをスーパークラスの「一種」であるものとして、例えば「マンクスは猫の一種である」
各フィールドの位置、型、名前を含む、新しいレコード型の宣言。 特定のレコード型を持つ変数と値の宣言。 指定されたフィールド値から、指定されたフィールド名を使用してレコード値を作成。 レコードの明示的な名前を持つフィールドの選択。 レコード変数へのレコード値の代入。 2つのレコードを比較して等しいことを確認。 レコードの標準ハッシュ値の計算。
並列コンピューティングにおけるバリア（英: barrier）とは、スレッド間やプロセス間の同期方法の一つ。まず、ソースコード中にバリアという場所を設定する。そこを通る複数のスレッドやプロセスが在る場合、その全てのスレッドやプロセスのプログラムカウンタがそこへ到達するまで待ち続ける仕組みである。
ックなロック操作ができないときは、デッカーのアルゴリズムやピーターソンのアルゴリズムで代替することもできる。 ロックの不注意な使用によりデッドロックが生じることがある。これはプロセスがあるロックを獲得した状態で別のロックを獲得しようとしたときに発生する。もし2番目のロック
variable）と呼ばれることもある。さらに言語によっては、フィールドとメソッドの中間に位置する概念として、プロパティ（property）をサポートするものもある。 統一モデリング言語 (UML) では、フィールドのことを属性（attribute）と呼ぶ。 GUIにおいて、通例「入力フィールド
(UML) ではメソッドのことを操作 (operation) と呼ぶ。 インスタンスメソッド (instance method) とはインスタンスに属するメソッドのことであり、インスタンスに対しメッセージを送信する事で実行される。インスタンス変数の操作に使われ、インスタンスメソッド
搜索 
搜索 搜索 
