t_wの輪郭

計算微分可能論理ゲートホモトピー型理論『n月刊ラムダノート』依存型理論
振り返り2026年1月31日

睡眠

  • よく寝た
  • 昨晩は早く寝ることができた
  • カフェインが少なかったからだろう
  • やはりカフェインは控えるべきだ

キッチンのシンクを洗う

  • まだ汚い

スライド作成

  • レビューを受けてきっちりボコボコになった
  • 指摘点を修正していく

読書