文献ピックアップ

昨日までのテキスト処理は、少し置いておいて、別の内容を進める、ということで文献ピックアップをしておいた。
これらをいくつか読んでおくことで、証明に必要な道具、それらがどう組み合わさっているかを確認する必要がありそうだ。

短期目標：文献読みを今週中に２本する
今日の作業内容：文献ピックアップ 1h
今日のランチ：つかさ かんぱちまかない丼
明日の予測作業時間：5h