2015年05月22日23:52 カテゴリ数学技術 ネット時代の新しい数学書のスタイルがあるはず 数学の勉強会をやってると、数学書なんか読まない人にはあまり想像できないかもしれないが、何ページにも渡って証明が続く、ということが稀によくある。 しかしこれは人間に多大な認知的負荷をかけているような気がしてならない。はっきり言って証明する事柄の条件すら忘れてしまう。 証明の途中で「Aが成立しているので」と書いてあるのだが、なぜAが成立しているのかよくわからない。皆で侃々諤々議論をしたのだが、よく本を読み返すと、証明すべきことに「Aが成立しているとき」という条件がほぼ書いてあった。 そのとき笑いながら「電子書籍なら、ぜひいま議論をしているときに認めていることのリストがパンくずリストみたいに見えるといいね」などと話していた。 しかしよく考えてみると、電子書籍化によって改良すべき部分はたくさんあるよう