About: 関数型言語

Property	Value
dbo:wikiPageID	4326083 (xsd:integer)
dbo:wikiPageLength	77 (xsd:nonNegativeInteger)
dbo:wikiPageRedirects	dbpedia-ja:関数型プログラミング
dbo:wikiPageRevisionID	92679809 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:関数型プログラミング dbpedia-ja:Category:プログラミング言語の分類
dct:subject	dbpedia-ja:Category:プログラミング言語の分類
rdfs:label	関数型言語 (ja) 関数型言語 (ja)
owl:sameAs	freebase:関数型言語
prov:wasDerivedFrom	http://ja.wikipedia.org/wiki/関数型言語?oldid=92679809&ns=0
foaf:isPrimaryTopicOf	http://ja.wikipedia.org/wiki/関数型言語
is dbo:wikiPageWikiLink of	dbpedia-ja:Clean dbpedia-ja:Clojure dbpedia-ja:CoffeeScript dbpedia-ja:Communicating_Sequential_Processes dbpedia-ja:Dylan dbpedia-ja:Egison dbpedia-ja:Elm_(プログラミング言語) dbpedia-ja:Emacs_Lisp dbpedia-ja:Erlang dbpedia-ja:FPL dbpedia-ja:FP_(プログラミング言語) dbpedia-ja:F_Sharp dbpedia-ja:Fantom_(プログラミング言語) dbpedia-ja:Glasgow_Haskell_Compiler dbpedia-ja:Haskell dbpedia-ja:Hello_world dbpedia-ja:ISWIM dbpedia-ja:In-placeアルゴリズム dbpedia-ja:JQ dbpedia-ja:Jq_(プログラミング言語) dbpedia-ja:Kent_Recursive_Calculator dbpedia-ja:Kojo dbpedia-ja:L4マイクロカーネルファミリー dbpedia-ja:Lazy_K dbpedia-ja:Lua dbpedia-ja:ML_(プログラミング言語) dbpedia-ja:MapReduce dbpedia-ja:Mathematica dbpedia-ja:Microsoft_Visual_C_Sharp dbpedia-ja:Miranda dbpedia-ja:Nemerle dbpedia-ja:Oz_(プログラミング言語) dbpedia-ja:Parrot dbpedia-ja:Picat dbpedia-ja:Pike dbpedia-ja:PureScript dbpedia-ja:Python dbpedia-ja:REBOL dbpedia-ja:Racket dbpedia-ja:Redux_(JavaScriptライブラリ) dbpedia-ja:Ring_(プログラミング言語) dbpedia-ja:RippleAPI dbpedia-ja:Rust_(プログラミング言語) dbpedia-ja:R言語 dbpedia-ja:SATySFi dbpedia-ja:SECDマシン dbpedia-ja:SKILL_(プログラミング言語) dbpedia-ja:SKIコンビネータ計算 dbpedia-ja:SXML dbpedia-ja:SageMath dbpedia-ja:Scala dbpedia-ja:Squirrel dbpedia-ja:Standard_ML dbpedia-ja:System_F dbpedia-ja:Unixシェル dbpedia-ja:Unlambda dbpedia-ja:Vim_script dbpedia-ja:While文 dbpedia-ja:Wolfram_(プログラミング言語) dbpedia-ja:XL_(プログラミング言語) dbpedia-ja:XQuery dbpedia-ja:XSL_Transformations dbpedia-ja:アルゴリズム dbpedia-ja:インタプリタ dbpedia-ja:インライン展開 dbpedia-ja:インライン関数 dbpedia-ja:エルム dbpedia-ja:カインド_(型理論) dbpedia-ja:カルダノ_(ブロックチェーン) dbpedia-ja:ガベージコレクション dbpedia-ja:クロージャ dbpedia-ja:ケネス・アイバーソン dbpedia-ja:コラド・ベーム dbpedia-ja:コンパイラ最適化 dbpedia-ja:コンビネータ論理 dbpedia-ja:コールバック_(情報工学) dbpedia-ja:サイモン・ペイトン・ジョーンズ dbpedia-ja:サブタイピング_(計算機科学) dbpedia-ja:サブルーチン dbpedia-ja:ジョン・バッカス dbpedia-ja:ストリーム_(プログラミング) dbpedia-ja:スニペット dbpedia-ja:ソフトウェア開発方法論 dbpedia-ja:タプル dbpedia-ja:データフロープログラミング dbpedia-ja:ハスケル・カリー dbpedia-ja:プログラミングパラダイム dbpedia-ja:プログラミング用語_(分野別) dbpedia-ja:プログラミング用語一覧 dbpedia-ja:プログラミング言語 dbpedia-ja:プログラミング言語の比較 dbpedia-ja:プログラミング言語一覧 dbpedia-ja:プログラミング言語年表 dbpedia-ja:プログラム意味論 dbpedia-ja:ボックス化 dbpedia-ja:ポインタ_(プログラミング) dbpedia-ja:ポリモーフィズム dbpedia-ja:マルコフアルゴリズム dbpedia-ja:マルチパラダイムプログラミング言語 dbpedia-ja:マージ dbpedia-ja:モノイド閉圏 dbpedia-ja:ラムダ計算 dbpedia-ja:ラリー・テスラー dbpedia-ja:リスト_(抽象データ型) dbpedia-ja:並行制約プログラミング dbpedia-ja:並行論理プログラミング dbpedia-ja:代数的データ型 dbpedia-ja:制御構造 dbpedia-ja:制約プログラミング dbpedia-ja:副作用_(プログラム) dbpedia-ja:動的プログラミング言語 dbpedia-ja:参照透過性 dbpedia-ja:型付きラムダ計算 dbpedia-ja:型推論 dbpedia-ja:変数_(プログラミング) dbpedia-ja:実行モデル dbpedia-ja:宣言型プログラミング dbpedia-ja:幅優先探索 dbpedia-ja:式_(プログラミング) dbpedia-ja:引数 dbpedia-ja:形式的検証 dbpedia-ja:手続き型プログラミング dbpedia-ja:抽象化_(計算機科学) dbpedia-ja:操作的意味論 dbpedia-ja:数式処理システム dbpedia-ja:日比野靖 dbpedia-ja:決定的アルゴリズム dbpedia-ja:無名関数 dbpedia-ja:相互再帰 dbpedia-ja:第一級関数 dbpedia-ja:表示的意味論 dbpedia-ja:計算機プログラムの構造と解釈 dbpedia-ja:赤黒木 dbpedia-ja:連結リスト dbpedia-ja:遅延評価 dbpedia-ja:関数オブジェクト dbpedia-ja:関数型プログラミング dbpedia-ja:静的単一代入 dbpedia-ja:非手続き型言語 dbpedia-ja:高階関数 dbpedia-ja:Bluespec dbpedia-ja:C++ dbpedia-ja:XML変換言語 dbpedia-ja:コンピュータのカテゴリ一覧
is prop-en:field of	dbpedia-ja:サイモン・ペイトン・ジョーンズ
is prop-en:genre of	dbpedia-ja:XSL_Transformations
is prop-en:paradigm of	dbpedia-ja:Clean dbpedia-ja:Clojure dbpedia-ja:CoffeeScript dbpedia-ja:Kojo dbpedia-ja:Racket dbpedia-ja:SKILL_(プログラミング言語) dbpedia-ja:Scala dbpedia-ja:Unlambda dbpedia-ja:Wolfram_(プログラミング言語) dbpedia-ja:XL_(プログラミング言語)
is prop-en:パラダイム of	dbpedia-ja:Egison dbpedia-ja:Kent_Recursive_Calculator dbpedia-ja:Miranda dbpedia-ja:Nemerle dbpedia-ja:Oz_(プログラミング言語) dbpedia-ja:Picat dbpedia-ja:Pike dbpedia-ja:Standard_ML
is foaf:primaryTopic of	http://ja.wikipedia.org/wiki/関数型言語