お休みな日

ま、土曜日だし。でも、イベント抜きの土曜日って久しぶりな気も。来週は Open sourcd conference ですけどね。

父の会社も展示会とかたまにあったけど、暇そうにしてたな。でも、

　　顔見せ上等

なので、シス管にも

　　ブースぐらいださせれば良かった

と反省してます。

あとは授業用に圏論復習してたりしました。Agdaやってからだと可換図とか良くわかる感じ。昔の図を見ると「わかってないな、こいつ」という感じです。

Twitter でいろいろつぶやいていると数学の教官に突っ込まれたりするんだよな。それも、またよろしい。