今回は QE の立場から「代入」を考えます. よく知られた CAS(計算機代数システム)には代入のコマンドが実装されており,例えば,y=x^3+x^2 の x に 2 を代入した式を得るには,Reduce では sub( x=1 , y=x^3+x^2 ); Mathematica では ReplaceAll[ y==x^3+…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。