今年の目標

  • 圏論とか型理論とかみたいな遠回りすぎるのはなるべく避ける
  • Wikipediaとか人のぶろぐとか見すぎない


もうだめだよ。