andante

昨晩はちょっと数学をしつつ不完全性定理の本を読み始めました。「不完全性定理は数学の定理である．」かっこいい。でもなんか説明密度が高くて重たいです。一冊でちゃんとやろうとするとこうならざるを得ないのかもしれませんが。

今日はなにもしていません。ちょっと風邪い。昨日お酒を飲んだのは失敗だったかもしれないにゃあ。

macで使っているtweetbotが数日でクラッシュして計算機ごと再起動しないと使えなくなってしまうので、それはちょっとと別のクライアントを探したのですが、あまりいいのが見つかりません。自分で作るのってどのくらい現実的だろうか。macアプリの経験ないしなー。