08/04/24 15:55:54
俺も昔、数学や物理学で、
暗黙のパラメータを明示化して定式化したことあるよ。
結構、数学や物理学側の訓練にもなるよ。
気づいてない「暗黙のパラメータ」にたくさん気づいた。
けどSICM全体にまで到達しなかった。
>>143のblogに書いてあるように、
他のテキストの標準的な表記との脳内変換が大変すぎるから。
ちなみに自分は紙の上でやったから、
コンピュータ上なら、暗黙のパラメータを許容した表記をエイリアスに使って、
脳内変換が少ない定式化をできるんじゃないか。
解析の道具を使う物理学のパラメータ暗黙化はとにかくすごい。
あらゆる省略があちこちにちりばめられている。