No Such Blog or Diary

今まで静かに動いていた扇風機が，動いてる最中に足を引っ掛けてころばしてしまってからとても五月蝿くなってしまった．とても残念．モーター内のパーツ同士が微妙に接触するようになってしまったのだろうか．

とりあえず暫く動かしといたら治ってくれたりしないかな？　なにかのパーツが少しズレて干渉するようになったとかなら治ってくれるような気もするけれど．

治らんかったら買い替えるか．もはや何年前にどこで買ったかも覚えとらんやつだしな……

YoutTube のおすすめに出てきた動画を見てみたら，イスタンブールがめちゃくちゃ猫の街だった．洋服屋の商品の上で猫が寝てるとか，カフェの椅子に猫が居座ってるとか，スーパーのペットフードのところで猫が待ってるとか，猫にとても寛容な街っぽい．飼い猫ではなく街猫が沢山という感じで．

イスタンブールでやる国際会議とか探してみるか．

色々なところからお誕生日クーポンが降ってきてた．3～4千円以上の買い物で500円程度の割引とかいう程度とか？

まあ，機会があって忘れてなければ使うか．

「停止しないとアルゴリズムって言わないよね」という一言から始まる井戸端議論に参加した．Knuth–Bendix の完備化のアルゴリズムとか止まらんよね，とか思ったのだけど，Knuth 自身の本に「アルゴリズムは以下の特徴を備えたものである。(1) 有限ステップで終わる。……」みたいに書いてあった．アルゴリズムイントロダクションも「アルゴリズムは止まるもの（普通は）」的な感じに書いてある．

ということで，真面目に（理論計算機科学的な文脈で）アルゴリズムだという場合には止まらないとダメっぽい．なるほど．

日常会話的には止まらないやつもアルゴリズムと言ってしまうけれど，これを真面目に言おうと思うとなんて言うのが正しいのだろう？

自転車の保険が 5/28 で切れてたなと思ったら，自動更新だった．便利．

でも自動更新のキャンセルは「期限切れの3ヶ月前から2ヶ月前の末まで」とかいう感じで，保険を切り替えるには 3月に手続きをせねばならなかった．残念．

なにげに日本生命のやつが安くて手厚いので気になったのだけど，契約がオンラインでは済まないという面倒さで悩ましい．そのうちなにかの手続きのついでに入っとくとかでいいか．

なんか先月末に学生実験中にコンセントの焼損事故があったらしい．原因は「コンセントの容量不足」らしいとのこと．

コンセントの容量不足で発火ということは，コンセント単体の許容電流が 15A でブレーカーが 20A だろうから，この間の電流でコンセントが燃えたってことかね？　だいたいのタップも 15A までだけど，繋いでいたタップのほうが頑丈でコンセントが先に音を上げたのだろうか．

なお，連絡についていた注意喚起が「テーブルタップの電源容量の確認や、ホコリの除去、古いテーブルタップの交換等の対策をお願いします」だったので，実はコンセントではなくタップが燃えたのかもしれない．よくわからん．