今回は, 微分可能関数の理論で, スカラー体が Q_p (p 進体) の時, p 進整数環 Z_p から Z_p への C^1 級写像 f で, 至る所 Df (x) = 0 で, なおかつ原点では真に微分可能ではないものを構成しました. この構成は, 何年も前ですが, ある巨大掲示板で, 代数的…