代入（読み）ダイニュウ（その他表記）substitution

デジタル大辞泉

だい‐にゅう〔‐ニフ〕【代入】

［名］(スル)代数式の中の文字を、特定の数や他の文字・式などで置き換えること。

出典　小学館

精選版 日本国語大辞典

だい‐にゅう‥ニフ【代入】

1. 〘 名詞 〙 数学で、式または関数において、その中に含まれている文字または変数を、他のもので置きかえること。

出典　精選版 日本国語大辞典

ブリタニカ国際大百科事典 小項目事典

代入
だいにゅう
substitution

変数 x をもった式 P(x) の x のところに，a を入れて P(a) をつくることをいう。「変数」と書いたが，これは「数」である必要はなくて，記号 x のところに，記号の連なりから成る「もの」 a を入れるというように，形式的な処理として考えられる。

出典　ブリタニカ国際大百科事典 小項目事典