高岡智則
年齢：33歳 性別：男性 職業：Webディレクター（兼ライティング・SNS運用担当） 居住地：東京都杉並区・永福町の1LDKマンション 出身地：神奈川県川崎市 身長：176cm 体系：細身〜普通（最近ちょっとお腹が気になる） 血液型：A型 誕生日：1992年11月20日 最終学歴：明治大学・情報コミュニケーション学部卒 通勤：京王井の頭線で渋谷まで（通勤20分） 家族構成：一人暮らし、実家には両親と2歳下の妹 恋愛事情：独身。彼女は2年いない（本人は「忙しいだけ」と言い張る）
自由変数とは何か
この言葉は数学やプログラミング、論理の話でよく出てきます。自由変数とは、その値をその場で自分で決められる変数のことです。式や関数の中で自由変数の値を変えると、結果も変わります。日常の算数にも少し似た考え方がありますが、自由変数は特にどの値をとるかが式の中で自由に決まる点がポイントです。
反対に、束縛変数は何かの記号や記述の中で値が「縛られて」決まる変数を指します。例えば全称量化子や関数の引数として現れるとき、その変数は式の外部で値が決まってしまいます。
実生活と数学の両方での違い
数学では自由変数と束縛変数を分けることで、式が「何を前提にしているのか」をはっきりさせます。プログラミングでは関数の引数として使われる変数は関数の外から与えられる値であり、やはり自由変数ととらえることができます。一方で、ループの中で使われる変数や、ラムダ式の中で束縛される変数は束縛変数として扱われます。
身近な例と表による整理
以下の例を見てみましょう。自由変数か束縛変数かを判定する練習にもなります。
| 自由変数か束縛変数か | |
|---|---|
| f(x) = x + a | 自由変数 x は自由、a はパラメータ |
| ∀x P(x) | 束縛変数 x は束縛されている |
| λx. x + 1 | 束縛変数 x は束縛されている |
| for i in range(n) | 束縛変数 i はループ内で束縛 |
自由変数を見つけるコツ
式の中で、その値を替えても式自体の意味が変わる変数を探します。もし量化子や関数の内部でその値が決まってしまうなら、それは束縛変数です。日常の小さな例としては、未知の数 x が式の結果に影響を与える場面を思い浮かべると分かりやすいです。
日常と学問の橋渡し
自由変数の考え方は、問題を解くときの枠組みを作るのに役立ちます。例えば、ある式の値を変数 x を動かして調べるとき、x は自由変数として扱うと、x の取りうる値すべてを検討できます。これを理解すると、方程式の解法や関数の挙動の予測がしやすくなります。
練習問題
1) 式 f(x) = x + b のとき x は自由変数か束縛変数か。答えを自分で理由つきで書いてみましょう。
2) ∀y (y + c) の場合、y は自由変数か束縛変数か。理由も添えてください。
まとめ
自由変数は式の中でその値を自由に決められる変数、束縛変数は何かの指示により値が固定される変数です。この区別を理解すると、数学的な表現やプログラミングの設計がより明確になり、問題解決がスムーズになります。
自由変数の同意語
- 未束縛変数
- 量化子により束縛されていない変数のこと。式の中で自由に現れる変数で、論理学・計算機科学・代数学で正式に使われる用語。
- 開変数
- 開式に現れる、束縛されていない変数のこと。論理式の文脈で自由変数と同義として使われることもある表現。
- フリー変数
- 英語の free variable の直訳・カジュアルな表現。日常的な解説やプログラミング・教育資料で見かけることがある。
- 束縛されていない変数
- 量化子などにより束縛されていない変数の別表現。自由変数とほぼ同義で用いられることが多い。
自由変数の対義語・反対語
- 束縛変数
- 量化子によってその値が決まっており、自由変数の対義語として厳密に使われる。式の中で値が固定され、変化の対象にはならない変数です。
- 定数
- 値が変化しない量。式の中で変数の代わりに使われることがあり、自由変数と対になる概念として使われます。
- 従属変数
- 実験や関数の結果を表す変数。独立変数の変化に依存して値が決まることが多く、自由変数とは役割が異なります。
- 固定変数
- あらかじめ値が決まっており動かさない変数。自由変数を使わない条件設定の説明で使われます。
- 非自由変数
- 自由でないと表現する口語的・一般的な対義語。意味合いは文脈次第で広く解釈されます。
- 束縛量
- 量化子によって変数が束縛されている状態を指す語。自由変数の反対概念として使われることがあります。
自由変数の共起語
- 独立変数
- 関数やモデルにおいて、他の変数の値に影響されずに自由に設定できる変数。結果を決定づける入力側の変数として用いられる。
- 従属変数
- 他の変数の値に応じて決まる変数。関数の出力や結果として現れる変数。
- 束縛変数
- 論理式やラムダ式の中で、その変数が式の範囲内で固定として扱われる変数。
- 自由度
- データやモデルが取りうる独立な自由な方向の数。統計分析や物理モデルで用いられる指標。
- 未知数
- 方程式や方程式系の解として求めるべき、まだ値が決まっていない変数。
- パラメータ
- モデルの中で値が設定され、変化させることで結果が変わる数値。変数と混同されることもあるが、通常は固定された要素として扱うことが多い。
- 変数
- 数値やデータを表す記号の総称。独立変数・従属変数などが含まれる。
- 関数の変数
- 関数の入力として使われる変数。例えば y = f(x) の x のこと。
- 自由変数分析
- プログラミングや計算機科学で、式の中で自由に現れる変数を調べる分析作業。
- ラムダ式
- 関数を λ で表す式。自由変数は式の外部で束縛されずに現れる変数を指すことがある。
- クロージャ
- 関数とその自由変数を閉じ込めてひとまとめにする仕組み。自由変数はクロージャが参照する対象になる。
- 全称量化子
- すべての要素について成り立つことを表す量化子。自由変数の範囲を規定する際に関連する。
- 存在量化子
- ある要素が存在すれば成り立つことを表す量化子。
- 定義域
- 変数が取り得る値の範囲。数式での有効な値の集合を指す。
- ベクトル変数
- ベクトルとして扱われる変数。成分ごとに値を持つ変数のこと。
- スカラー変数
- スカラー値（1つの数値）として扱われる変数。
自由変数の関連用語
- 自由変数
- 式や方程式の中で、他の変数に束縛されず任意の値を取れる変数。解を表すときにパラメータとして現れることが多い。
- 独立変数
- 関数の入力として自由に選べる変数。例: y=f(x) では x が独立変数。
- 束縛変数
- 式の中で量化子や束縛記号の作用下にあり、自由変数ではなくなる変数。特に論理や計算の説明で使われる。
- 自由パラメータ
- 一般解で、任意の値をとれる変数のこと。自由変数と同じように解を家族として表す要素。
- パラメトリック表示
- 解を自由変数（パラメータ）を用いて表現する書き方。見やすく解の形を示せる。
- 一般解
- すべての解を表す形。自由変数をパラメータとして含むことが多い。
- 特解
- 方程式や条件を満たす具体的な解の一つ。
- 解空間
- 方程式の解の集合。ベクトルとして扱われることが多い。
- 基底
- 解空間を線形結合で表すときの最小限の解の集合。自由変数は基底の係数として現れることがある。
- 係数行列と階数
- 連立方程式の係数を行列にしたもの。階数(rank)と未知数の数の関係から自由変数の個数が決まる。
- 自由度
- 取りうる独立な自由な選択肢の数。統計や機械系の分野でも使われ、自由変数の数と連動することがある。
- 従属変数
- 他の変数の値で決定される変数。自由変数から従属変数を表現することが多い。
自由変数のおすすめ参考サイト
学問の人気記事
