本業組み込み、機械学習やCoqの勉強。集合と位相と群論復習してる、不完全性定理やりたい。アクターズクリニック通ってました、今はお休み。音楽はスクービードゥ、倉橋ヨエコ。漫画は阿部共実、web漫画いろいろ
