かじもとにっき

ゆるふわなおはなしをかきます

refinement calculusの勉強に役立ちそうな本のメモ