Works
Novel(SF) / Anime / Game
【レビュー】色のない緑 / バナナ剥きには最適の日々 / Boy's Surface
【数学】 Proofs and Typesを読んだ記録
【Books】Computational Complexity(Arora, Barak) Exercise Solutions