これは何 日記です。 近況報告 ちょっと前に入試を受けたばかりだと思っていたのだが、何もせずうだうだしているうちに気がつけば大学生活も4年目ということで、めでたく4年生進級&研究室配属と相成った。 僕の専攻は一応計算機科学ということになっているのだが、僕が元々やりたかったのは数理論理学や公理的集合論といった計算機どこやねん*1分野で、数値計算系の研究室が主である電通大にはそういうことを学べる場所があまりないので、割と進路が迷子になりつつあった。 そんなこんなで最終的に配属された研究室は組み合わせ最適化を看板に掲げてはいるものの、全然違うことをしている人もいるのでよくわからない。僕はというと最近…