昼食はカップ麺。
新しいパソコンのセットアップを行う。いま書斎で使っているパソコンがウィンドウズ７で、まもなくサポート期間が終了するので、これを機にウィンドウズ１０に切り替えることにした。
「ティースプーン」に顔を出す。
夕食はカマス、タコのサラダ、玉ねぎと玉子の味噌汁、ご飯。
【新刊案内】
— 早大生協ブックセンター (@wasedacoop_book) January 9, 2020
高橋昌一郎、他訳『スマリヤン不完全性定理 改訳版』（丸善出版）
不完全性定理に関心を持つ一般読者に向けて書かれた入門書。『ゲーデルの不完全性定理』(高橋昌一郎訳,丸善,1996年)の改訳版。読者より受けたさまざまなコメントも参照しながら、訳文に加筆修正を加えた。 pic.twitter.com/rdZYprmG3y
【回し寿司 活 美登利】《渋谷／回転寿司》 ー アメブロを更新しました#回し寿司活https://t.co/TLez3K0H6R
— ほねつきかるべ (@honetsukikaru) January 8, 2020
