フィルターできない。
リアル図書館で仮パスワードを貰ってきた。予約システムの稼動は7/12から。オレ証明書ではなくVeriSign発行のものが使われているが、図書館で配布しているビラには、「図書館のホームページをご覧ください」とあって、URLは書かれていない。