■導関数を持たない連続関数の存在証明(その4) (阪本ひろむ)
高木貞治の論文は
https://www.jstage.jst.go.jp/article/subutsuhokoku1901/1/0/1_0_F176/_article/-char/ja/
より,ダウンロードできる.
高木曲線はブラマンジェ関数(曲線)ともよばれるらしい。MathWorldにノートブックがあり,こちらのほうが、描画の実効時間がはやい.
http://mathworld.wolfram.com/BlancmangeFunction.html
===================================
高木関数はワイエルシュトラス関数の三角関数を三角形波で置き換えたものであることはすぐわかるが,van der Waerdenの二進数バージョンが高木曲線であることは,描画した人でないとわからないだろう. (佐藤郁郎)
===================================