お知らせ（9月2日 1:00）
検索機能とPDF閲覧を9月1日午後から休止していましたが、再開しました
8月17日のリストに次の2点追加し、↓ 下の方に置きました。
• キーワードによる本文検索（記事の絞り込み）
• 記事リンク先でPDFをデフォルトに
動作確認ブラウザはFirefox 48、Chrome 52です。
本文検索は ↓ の入力欄とSearchボタンで。検索語の例としてWITH RECURSIVEが入ってます（半角空白で区切ってAND検索が可能）。結果はヒット数が多い記事順。日付順ソートも付ける予定でしたが、今日は時間がないので後日に。Resetボタンを押すと、最初の全件リストに戻ります。
記事リンク先は、アーカイブとして作った各記事のPDFをデフォルトにしました。必要ならHTMLというか公開時と同じURLに切り替えられます（ヘッダの中、PDF ⇔ HTMLの右寄りの白い部分をクリック。表面的な変化はなし）。
本文検索は外部サーバのPHP + SQLite3でやってます。全行数が693、また前回HTMLを整理した結果SQLite3のファイルサイズが3.8MB程度に収まり、普通のLIKE検索でも一瞬（結果の転送時間に比べればほぼゼロ）だったので。
PostgreSQLで整理してきた記事データ（HTMLに改行を含む）をSQLiteに移す際、単純にTSVやCSVでは上手くいかず少し試行錯誤しました。次回それを書きます。
↓ 以下、旧ブログ記事リスト改良版 ↓