やったこと

BotW

念願のマスターソードを手に入れた。投げようとするとビームが出るの好き。

証明してた

LEANが分かってきて面白いので色々やってる。$\forall Ls : set\ (list\ \alpha), concat\ \{list.nil\}\ Ls = Ls$が証明できたのでそこそこ満足してる。

新宿でarcageさんと会った

東京に出張らしい。色々とCrystalの話をした。一時間立ち話をしてた気がする。謎。

とりあえず、現状のCrystalには独裁者的な人がいないのはそれなりに問題だと思う。しかし、民主主義で解決できるほど開発者がいないのも事実。しんどいね。