翻訳と辞書
Words near each other
・ 宣胤卿記
・ 宣興県
・ 宣華夫人陳氏
・ 宣行寺
・ 宣要寺
・ 宣言
・ 宣言もしくは信条
・ 宣言型
・ 宣言型プログラミング
・ 宣言型プログラミング言語
宣言型言語
・ 宣言書
・ 宣言発表
・ 宣言的
・ 宣言的知識
・ 宣言的記憶
・ 宣言若しくは信条
・ 宣誓
・ 宣誓供述書
・ 宣誓式


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

宣言型言語 : ミニ英和和英辞書
宣言型言語[せんげん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

宣言 : [せんげん]
  1. (n,vs) declaration 2. proclamation 3. announcement 
: [げん]
 【名詞】 1. word 2. remark 3. statement 
: [かた]
 【名詞】 1. mold 2. mould 3. model 4. style 5. shape 6. data type 
: [ご]
  1. (n,n-suf) language 2. word 

宣言型言語 ( リダイレクト:宣言型プログラミング ) : ウィキペディア日本語版
宣言型プログラミング[せんげんがたぷろぐらみんぐ]
宣言型プログラミング()は、プログラミングパラダイムの名称だが、主として2種類の意味がある。第1の意味は、処理方法ではなく対象の性質などを宣言することでプログラミングするパラダイムを意味する。第2の意味は、純粋関数型プログラミング論理プログラミング制約プログラミングの総称である。後者は(多寡はあれ)前者の性質を持つ。
== 概要 ==
第1の定義によれば、ある出力を得るにあたってそれを作成する方法ではなく、出力の性質を記述することを「宣言型」と称する。一例を挙げるならば、(プログラミング言語ではないが)SQLのクエリは「どのようなデータが欲しいか」を記述するものであり、例えば具体的なB木の操作などといった「いかにしてデータベースにアクセスするか」といったことには関与しない。この手法は、FORTRANC言語Javaなどといった命令型プログラミング言語とは全く異なる。命令型では、目的を実現するアルゴリズムを、その順序に沿う形で記述しなければならない。つまり、命令型プログラムでは目的を達成するための方法を「手続き」として示すのに対し、宣言型プログラムでは達成すべき目的(出力)を示して、それを実現する手続きはシステムに任せるわけである。1960年代からIBMが事務用プログラミング言語として展開したRPGは、制御部にデシジョンテーブルが使われていて、そのため宣言型に分類されることもある。
別の定義では、純粋関数型言語/論理プログラミング言語/制約プログラミング言語で書かれたプログラムを「宣言型」と称する。この立場では、「宣言型プログラミング」とはそのようなプログラミング言語のグループ全体の総称であり、命令型言語と対立する概念である。
この2つの定義はある程度オーバーラップしている。特に制約プログラミングでは、解の性質を記述することに注力し、解を求めるためのアルゴリズムは特に指定しないこともある。論理プログラミングにもその傾向がある。とはいっても、制約プログラミング言語や論理プログラミング言語でもアルゴリズムや実装の詳細を記述することは可能ではある(可能であるということは、常にそのようなスタイルでプログラムを書くという意味ではないが)。
同様に命令型プログラミング言語であっても、プログラムを宣言型のスタイルで書くことは可能である。この場合、宣言的でない詳細をライブラリやフレームワークでカプセル化するのが一般的である。例えば、単体テストのフレームワークであるJUnitリフレクションを使ったスタイルがある。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「宣言型プログラミング」の詳細全文を読む

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




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

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