The jonki

呼ばれて飛び出てじょじょじょじょーんき

2018-02-01から1ヶ月間の記事一覧

Chrome extensionでarXivの情報をコピーする

chrome.google.comarXivのページを見てる時に,私はメモとしてタイトル,筆者,URLをコピーして,Evernoteとかにまとめてたりするんですが,量が多いとそのコピー作業が面倒です(2回コピーしないといけないので).ということで,久しぶりにChrome extensi…