Mathematicaで式が定義できないときの解決策：SetDelayed:のタグTimesはProtectedです．

状況・課題

式の定義をしようとしたのに、以下のようなエラーコードが出てしまう。

f[x_] := x
SetDelayed:....のタグTimesはProtectedです．

いや、定義してくださいよ...。

解決策

以下のコードで解決することができました！

Clear[x, f]

解説

原因

公式ドキュメントの

lhs:=rhs は，指定された割当てが実行可能な場合にはNullをその他の場合には$Failedを与える．

という文から、うまく変数への割り当てができていないことが原因と考えられます。

Clear

Clearは変数に与えられている値や式の定義をクリア（消去）する関数です。

引数に与えた変数をクリアしてくれます。今回の場合はfとtを指定しています。
これにより、うまく割り当てをできる状態になると考えられます。

参考

読んでいただき、ありがとうございました。

お役に立てたら嬉しいです。