seasawher https://blog.hatena.ne.jp/seasawher/ パンの木を植えて https://seasawher.hatenablog.com/ あけましておめでとうございます。旧年中は大変お世話になりました。 2026年になったので新年の抱負を書こうと思います。 本を出す いま書いている本を完成させて、年内に出版までもっていきたいです。１週間に１万字書いたとして、20万字書くには ４～５か月かかるので、これは結構挑戦的な目標だと思っています。 特に、いま書いている本は書きあげるのが難しいと思います。前回の本は定理証明の話だけしていればよかったのですが、いま書いている本はプログラミングと定理証明の話を両方書くので、説明するべきことの量も多いですし、下手に書くと読者がついてこれない本か、自明なことしか書かれてないつまらない本かのどちらかに… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fseasawher.hatenablog.com%2Fentry%2F2026%2F01%2F01%2F224438" title="2026年になった - パンの木を植えて" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2026-01-01 22:44:38 rich https://seasawher.hatenablog.com/entry/2026/01/01/224438 1.0 100%