翻訳と辞書
Words near each other
・ 型付きラムダ計算
・ 型付きラムダ計算論理
・ 型付け
・ 型付植法
・ 型入れ
・ 型別
・ 型加硫
・ 型取り
・ 型変換
・ 型安全
型安全性
・ 型射
・ 型崩れ
・ 型式
・ 型式学
・ 型式学的研究法
・ 型式承認
・ 型式証明
・ 型式認証
・ 型彫


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

型安全性 : ミニ英和和英辞書
型安全性[かた]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [かた]
 【名詞】 1. mold 2. mould 3. model 4. style 5. shape 6. data type 
安全 : [あんぜん]
  1. (adj-na,n) safety 2. security 
安全性 : [あんぜんせい]
 (n) safety
: [ぜん]
  1. (n,pref) all 2. whole 3. entire 4. complete 5. overall 6. pan 

型安全性 ( リダイレクト:型システム#安全性 ) : ウィキペディア日本語版
型システム[かたしすてむ]

型システム()とは、プログラミング言語において、そのなどの部分が持つを、その種類(())に沿って分類し、プログラムが正しく振る舞うこと、といった性質について保証する手法である。型システムは、型理論に基づいており、プログラミング言語の理論において最も確立された軽量形式手法である〔『』 p. 1〕。
== 定義 ==

=== 型 ===
プログラミング言語はさまざまな値を扱う。三角関数は浮動小数点数引数にとり浮動小数点数を返す。先頭の文字を大文字にする関数は文字列を引数にとり文字列を返す。ユーザーからの入力を数値として扱うためには、文字列を解釈して数値を返す関数が必要である。ここで、3.14 や "hoge" といった値について「浮動小数点数」や「文字列」といった種類に分類して扱っているが、同じ種類の値であれば同じ操作が可能である。この「値の種類」がである。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「型システム」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Type system 」があります。




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.