2020-04-09から1日間の記事一覧
知ってたけど見ないふりをしていたのだ。 最近はまとまった時間が確保できるため、時間の多くを読書にあてるようにしている。読書感想文はいずれまたそれぞれについて書く。定理証明手習いについては書いたね。 さて、読書メーターというサービスがあって、…
知ってたけど見ないふりをしていたのだ。 最近はまとまった時間が確保できるため、時間の多くを読書にあてるようにしている。読書感想文はいずれまたそれぞれについて書く。定理証明手習いについては書いたね。 さて、読書メーターというサービスがあって、…