2017-07-07 D論 節酒のお陰で時間ができ,一気に進んだ気がする. もうすぐ導入部分がとりあえず日本語で埋まる. 来週以降は一回目の体裁直しのサイクルに入る模様. Refもそろそろまとめ始めないとな...