2016-05-07から1日間の記事一覧

午前は授業,午後は実験.玲音ちゃんがかわいい.そのあと代トポセミナー.いわゆるdiagram chaseをきちんとやった経験が乏しい. 代トポをやる時の直接計算は大抵とてつもなくつらい,という話が出ているが,そのあたりの直接計算を死ぬほどやっている本を…