[rentwi.hyuki.net]

#今日の圏論
今日までの自分の #今日の圏論 ツイートをScrapboxに入れました。2018年8月25日に始めた「結城浩の圏論勉強プロジェクト」は10ヶ月が過ぎて現在267ページ。大半はツイートした板書やメモを突っ込んだだけですけれど、継続は力なりでがんばります。
https://scrapbox.io/category/

ちなみに、自分のツイートをScrapboxに突っ込む作業は2018年8月に作った以下の自作ツールを使いました(追記もみてね)。
https://snap.textfile.org/20180828161259/

2019-06-11 (Tue) 04:41:30