大学に入ってやりたいことを書いていく

やりたかったことでも良い

友達と一緒に、Scrapboxを同時編集して講義ノートを取る試みとか

Scrapboxで飲み会的なこともできそう

線形代数, 微積を勉強する

英語勉強する(というか、TOIEC800点くらい取りたい)

友達たくさん作る

そしてプログラムの話とかしたい

一緒に開発もしたいな

サークルの変なサイト作って立ち上げたい

真面目に数理論理学、型理論の勉強をしたい

ふわっとしか理解できてない

数理論理学はいいぞ

とはいえ、ぶっちゃけ独学でできる分野だと思う

まあ講義の枠で学習するのもありか

数学の基礎的な部分の理解があやふやで、ちゃんと理解できてないんですよね

基礎的な部分: 集合/関数/グラフ/二項関係/線形代数

数学の基礎的な部分について、大学の設備(講義、先生、友人)を使って、しっかりと固めた上でちゃんと学び直したいという感じ。