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