>>29
いいえ。それは間違い。
局所解析的な関数と仮定する⇔解析接続する
なので、その場合は、>>25に書いたように
「0^0 は定義できない」という結論になる。

関数は解析的であるべき…という思想は
主観に過ぎないので、それを否定して、
組み合わせ論的な関数の中から式の表記に便利なもの
を選ぼう…という思想であれば、
x^0=1を優先して0^0=1を選ぶこともできる。

単に、私はそれが嫌いで、
解析性を優先したい…というだけのこと。