藻のブログ

日記,IT,学問(ジェンダー,人工知能など)について書かれることでしょう。

2016-06-20から1日間の記事一覧

『型システム入門』を買った

6月20日の日記。 この日は午後0時半ぐらいに起きた。遅い……(前日に寝たのはけっきょく午前4時ぐらいだったし……。)。 しばらくツイッターを楽しんでいた。 くるみ餅さんと一緒に9月の TOEIC を受験することが現実的になった(しかも幽閉者様も乗り気だ…