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