>>796
＞プログラミングの世界における可読性の意識に比べたらゴミ/ウジ虫レベル

そんなものですかね…
プログラミングのやり方で数学を記述する、となると、それはもう証明支援系（私が使えるのは coq だけですが）みたいになっちゃって、あれはあれでいちいちなんでも記述しないといけないので、ああいうのがそのまま本になるとそれはそれでつらい気がします