2022年の目標を書く.大半は去年できなかったことになる.
・証明論と集合論を勉強する
特に集合論は,ある種の巨大基数の存在の何が嬉しいのか,強制法とはどういった手法なのか,等が分からない程度には何一つ知らないので,最低限の事だけでも読んでおかねばならないと考えている.
・普遍代数学を勉強する
モデル理論の良質な実践素材みたいな位置付けが自分の中にある.去年少し触って楽しい分野だったので今年は進めていきたい.
・pdfを書く
3か月経っても何一つ進んでいない.
・ブルバキを読む
特に第一巻の展開が現代から見れば独特なので,あまり読み進める気が起こっていなかった.
・Metamathを読む
読みなさい
・応用情報技術者試験の勉強をする
食い扶持にはならなくても精神衛生上何もないよりはマシということで,それ以上でも以下でもない.
・スウェーデン語を勉強する
相当以前から言っているのに文字通り何一つ手を付けていない.
・音声動画を作る
ニコ動のタグを観察したまま半年以上が過ぎた
・殺されない
半分だけ生きましょう