今日は出社。仕事は物体検出サーバーのパフォーマンスチューニングなど。プロファイリングをしてみたらGPUだけでなくCPU時間もけっこう使っていたので、そのあたりをパイプライン化することで高速化できそうな予感。

数学同好会のチャットが型理論の話で盛り上がる。最近Leanが流行っていたりするので自分もまたこのあたりを勉強したい。