翻訳と辞書 Words near each other ・ 自由國民社 ・ 自由土地党 ・ 自由地下水 ・ 自由地区 ・ 自由型 ・ 自由報道協会 ・ 自由場 ・ 自由境界問題 ・ 自由壁破裂 ・ 自由変数 ・ 自由変数と束縛変数 ・ 自由変項 ・ 自由変項と束縛変項 ・ 自由大気 ・ 自由契約 ・ 自由契約者 ・ 自由契約選手 ・ 自由奔放 ・ 自由学園 ・ 自由学園中等科 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 自由変数と束縛変数 ： ウィキペディア日本語版 自由変数と束縛変数[じゆうへんすうとそくばくへんすう] 数学や形式言語に関連する分野（数理論理学と計算機科学）において、自由変数または自由変項（英: Free variable）は数式や論理式で置換が行われる場所を指示する記法である。この考え方はプレースホルダーやワイルドカードにも関連する。 変数''x'' は、例えば次のように書くと 束縛変数または束縛変項（英: Bound variable）になる。 : 全ての ''x'' について、 (''x'' + 1)2 = ''x''2 + 2''x'' + 1 が成り立つ。 あるいは : ''x''2 = 2 となるような ''x'' が存在する。 これらの命題では、''x'' の代わりに別の文字を使っても論理的には全く変化しない。しかし、複雑な命題で同じ文字を別の意味で再利用すると混乱が生じる。すなわち、自由変数が束縛されると、ある意味ではその後の数式の構成をサポートする作業に関与しなくなる。 プログラミングにおいては、自由変数とは関数の中で参照されるローカル変数や引数以外の変数を意味する。 == 例 == 自由変数と束縛変数を正確に定義する前に、定義をより明確にする例を以下に示す。 次の式 :$\backslash sum\_^\; f(k,n)$ において、''n'' は自由変数、''k'' は束縛変数である。結果として、この式は ''n'' の値によって変化するが ''k'' には依存しない。 次の式 :$\backslash int\_0^\backslash infty\; x^\; e^\backslash ,dx$ において、''y'' は自由変数、''x'' は束縛変数である。同様にこの式の値は ''y'' の値によって変化するが、''x'' には依存しない。 次の式 :$\backslash lim\_\backslash frac$ において、''x'' は自由変数、''h'' は束縛変数である。同様にこの式の値は ''x'' の値によって変化するが、''h'' には依存しない。 次の論理式 :$\backslash forall\; x\backslash \; \backslash exists\; y\backslash \; \backslash varphi(x,y,z)$ において、''z'' は自由変項、''x'' と ''y'' は束縛変項である。この論理式の真理値は ''z'' の値によって変化するが、''x'' と ''y'' には依存しない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「自由変数と束縛変数」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.