検索機能の追加など

２週間くらい前に追加したことなので今さらですが、Googleによるサイト検索ではない検索機能を追加してます。

今のところタイトルと選択肢を対象としてます。一部検索されないものもあるかもしれませんが、基本的には大丈夫だと思います。負荷についても今のところは大丈夫そうなので、しばらくはメインの検索機能として置いておく予定です。

また、ちょっとした変更ですが、モバイルからの投票・コメントのIDについては、PCのIDと区別がつくようにIDの末尾に「。」がつくようになっています。また若干IDに関するプログラムを変更したので、人によっては違ったIDになるかもしれません。