No Such Blog or Diary

夏の勉強会の為に草津のセミナーハウスへ移動．１ホップではキツイので２ホップで．

そして相変わらずためになる話はためになる．疲れるっちゃ疲れるけれど．

そして草津のセミナーハウスなのでお風呂が掛け流しの温泉．料金も安いし温泉もあるし涼しいし静かだし，良い施設．電波もちゃんと届くし wifi もあるし．

新幹線も遅れる．台風でないなら飛んだほうが影響少ないか．

オンラインで振込みとかをするのに乱数表を使うことができなくなる（来年前半までに）っぽいので，しょうがないからワンタイムパスワードの生成をしてくれる機能の付いたアプリをインストールすることにした．

で，ワンタイムパスワードの利用登録をしようかと思ったら，受付時間が 8:00--21:00 だとか．手続きをはじめたのが 21:02 だったのでまた明日以降ということに．24時間やっててくれてもいいだろうに，訳わからん．夜はバッチ処理の時間だからインタラクティブな用には使えないのかね．

だがしかし，カードサイズの乱数表に比べてセキュリティが高くなったのか低くなったのか．乱数表とスマホでは後者のほうが持ち歩く頻度が圧倒的に高いわけで，つまり紛失・盗難の確率が高い．ワンタイムパスワードという名前がついて入るけれどつまりは馬鹿でかい乱数表と同じなので，まるごと盗まれたら終わりなことには変わりない．客が騙されて能動的に乱数表を悪人に伝達するというリスクは減るだろうけど，もともとそんなバカをやらない客にとってはリスクが大きくなっただけのような？

閑話休題．

ワンタイムパスワード機能を入れた 8/9 以降の Google play でのアプリの評価が酷いことになっている．ワンタイムパスワードの処理があるからセキュリティに煩くなったようで，それ関連での悪い評価が連発．銀行的にはここらの文句をいう客を失ったとしてもセキュリティを高くしておいたほうが損害が少ないのかね．詐欺にあった場合のお金の保証とかがどうなってるんだか知らないけれど．

土肥金山（左）と佐渡金山（右）の小判クッキーが完全に一致なのを発見．

韮山反射炉が世界遺産登録決定になったので，ものすごく久しぶりに行ってみた．20年ぶりくらいの勢いで．これでほぼ全景というコンパクトさ．100円．

観光客が増えたのかどうか分からないけれど，朝イチでも寂しくない程度には人出があった．お話をしてくれるガイドの方々もちらほら居てる．昔もこんなもんだったかどうか覚えてない．

だがしかし，説明のプレートの修正跡はどうにかならんかったのか……　2005年に伊豆長岡町・大仁町・韮山町がくっついて伊豆の国市になったことによる修正も入っているので，少なくとも10年以上このままで放置されているのではなかろうか．「世界的にも」の下に何が書かれていたのかは興味のあるところ．

そして新しく出来てた土産物屋．先月オープンしたっぽい．反射炉な土産とか，アンティークな鉛筆削りとか，お茶とか，ビールとか売っていた．

なお，旧土産物屋は解体中．解体後にどうなるのかは不明．駐車場？

反射炉を見終えたら西伊豆スカイライン経由で次は土肥金山へ．3日前に No. 1 の佐渡金山に行ったので，折角なので No. 2 の土肥金山にも行ってみようかと．だがしかし，西伊豆スカイラインはいい道だ．

そして土肥金山へ入る．980円．

何故か入って直ぐに"佐渡"金山の金鉱石が．謎．

謎を放置して進む．それなりに人出がある．

そして坑内を歩くも佐渡金山を見てきたばかりなのであまり面白くもなく．トロッコの線路があるわけでもないし，穴のスケールも大きくないし．でも置いてある金塊はギネスブックに乗る凄さで．今回はこれを触りに来たようなもん．運良く外装のケースが外されて直接触りたい放題だった．

流石に 250kg ともなると抱えて持って行くことは出来ないのでむき出しで展示してても大丈夫なのね．でも，削るな危険．

これにて観光終了．あとはテキトウに帰るのみ．

閑話休題．

韮山反射炉の土産物屋で売ってるパン祖のパンはチーズとハムが欲しくなる味．韮山に反射炉を作った江川太郎左衛門が日本で初めてパンを作った人でもあるのだとか．普通のパンと比べると硬いのだけど，ぶっちゃけ堅パンよりはだいぶ柔らかい．

県道223．土肥から清水へ6千円程度でワープできる．ぶっちゃけ陸路で行っても大した距離でないので車を載せるのは微妙な気もする．

ffmpeg で楽にできるかなと思ったら，微妙にファイル番号周りの融通が効かない感じでちょっと面倒だった．OS がファイル名でソートした順番でやってくれればいいのだけど，どうもファイル名のパターンを与えてその展開は ffmpeg がやることになっているようで，ffmpeg が期待するようにファイル名を整理しておいてあげないといけない．つまりは連番で 1 から始まれよ，と．

ということで，面倒だけど OS のソートした結果に 1 から 990番までの連番な名前をつけてから ffmpeg で変換するとかいうことをした：

seq -w 1 990 > 990.txt
ls *.JPG | paste - 990.txt | while read line; do cmd="mv ${line}.jpg"; $cmd; done
ffmpeg.exe -r 30 -i '%03d.jpg' -vcodec mjpeg mov2.avi

もうちょい頭のいい方法がほしいところだけど動いたからいいや．