雑記

図書館のサイトが大幅リニューアルしてる．トップページからOPAC検索できるようになってて便利そうだ．
本家Arxivもとうとう番号付け方式をリニューアルしたようだ．jpミラーに4月からのプレプリが載ってないのは，jpミラーで使ってるシステムがまだ切り替わってないせいだろうか？