自宅

研究室の移動を手伝った。仮PCが来たので設定。後でbbLeanの設定ファイルを移動させよう。レジストリは弄っていいのかな。基本マイドキュメントを使えという話か。普段C直下のworkとかtmpで作業している身としてはなんとも。