2019-11-25から1日間の記事一覧

意外と書くことがない

研究を本格的に再開したら研究ログ的に書くことが増えそうだがそうではなかった。 研究に関することはweb上にアップできるほど自信がないことが主因だろう。 最近はフォーマルモデルにかなりハマっているが、1月の研究発表までにまとめられるかかなり不安だ。…