やったこと

研究室

実装とか諸々。まあ概ね実装の方針は見えてきたので、本当にこれをやっているサーバーが無いかを確認してく必要がある。サーベイが下手すぎて本当はあるものを見逃しているんじゃないかという気がしている。なんかPOPLとかの題目案だけでもざっと二十年分ぐらいざっと眺める必要がありそうな気がしてきた。

配属とかも決まったらしいのでそれなりに真剣にやっていかないと。

シャニマスの謎

最初全然意味がわからなかった。やり始めてなんとなく理解し始めたけど、普通に難しくないか？大変。

その他

カフェイン控える計画

それなりに順調。目覚ましを鳴らさないと結局寝てしまうので、九時に目覚ましを鳴らせばいいでしょう。