10/5から10/8まで八ヶ岳に行ってきます．そうだ，代講申請出さないと．

「どんなに簡単な結果であっても，ある程度進んだならまとめてしまった方がいい」という御言葉を頂戴したので，とりあえず，これまでの結果をまとめてみようということに．英語で一生懸命打っているのですが，vimが早くならない．コマンドを思いだし思いだし…