2017年の目標とか

そんなに目標なんて無いんだけど。

数学

  • Awodey とか圏論の基礎 を読み終える。
  • 今は多様体ホモロジーを勉強してる。 この二冊が終わったら、もう一冊多様体の本を読んで代数幾何やろうと思ってる。あとこれ読むことになりそう。
  • 可換環論する。
  • 数理論理学とかλ計算とか基礎論とかにも触れておきたい。

2016年は数学の楽しさを再確認したので、2017年はもっと数学を楽しみたい

プログラミングとか

  • 関数型言語に慣れる。
  • Haskell は2016年に引き続いて。
  • Purely Functional Data Structures
  • これする.
  • コンパイラの仕組みを勉強して簡単なやつを作りたい。時間なさそう。
  • 計算機の仕組みについて勉強する。
  • OSをLinux系にする。

Haskell楽しい

大学生活

  • 英語 TOEICで850以上取らないといけない。
  • 授業 ぼちぼち
  • ~~大学生らしくウェイウェイする。~~

ざっくりした目標ばっかりだ...