土曜日

・ROFの論文がよめた。単純な論文だった。

・久しぶりに研究を進められた。関連してカルバックライブラーの解説動画を観た。

課題は証明を構築すること。