タイトルがいつの間にか日曜区切りでなくなっていたので出直し。人生のあらゆるメモを Github に集約させようと考え始めた。まずは文献管理。1 bibtex = 1 file としてプレーンテキストで保存。メモは Issue。Issue ID を primary key にして、Issue PDF (Dr…

10月に入ったというのに一向に涼しくならない... と嘆いていると、$さんにもうすでに涼しいと言われる。太ってから体感温度が一気に上がってるせいだろうか、痩せないと..重い腰を上げて WMD を実装してみた。PuPL というライブラリを使うと線形計画法が簡単…