2009-08-14 追加要素 追加要素も追加して,合計37ページになりました。やっぱり追加要素があったほうが達成感がありますね。 全部は話せないボリュームになってしまったので,もしかするとキリの良い26ページで40分の時間が経過してしまう可能性もあるため, 証明抜きで26ページ目までを話す,という形になるかもしれません。 ちなみにチェコでは,この37ページを英語化して講演することにします。