4/20(木) 晴れ 9時前に起きた。今日は授業もあるし大学区に行った。午前中は論文の続きを読んでいた。双対関手を更生しようとしていて、だけど全体では定義できるかわからず、ある程度の場合で構成可能であることを示そうとしている。そのために色々な導来圏…

2/19(水) 晴れ 10時に起きた。多分二度寝している。今日は一日かけて色々な書類を修正しておこうとおもって家にいた。明日以降また大学に行くし。とりあえず昨日の夜終わらなかった論文の修正について書いた。ちょっとした文法上の間違いはすぐに直って、後…