午前中は B3 の進捗報告。もう来週が投稿〆切なので、目の前で PDF にコメントを入れたりする。研究室では Overleaf を使ってブラウザで書いている勢と、エディタ等（Sublime Text, VSCode, TeXShop）で書いている勢がいるようで、Overleaf は複数人の作業で…