最近読んだ本とか、そのほかもろもろ。いくらかはローカルの日記から、いくらかはBlueskyの投稿から引っぱってきつつまとめる。 照井『コンピュータは数学者になれるのか？』読んだ。計算機科学っぽいもの——とくにプログラミング言語の基礎概念まわり——に興…