No Such Blog or Diary

これは抗議していい気がする．酷すぎる．酷すぎた．

某365の暗号化メッセージが ML に投げられてきて，メンバーがそれを読むためにワンタイムパスワードの取得をするもんだから……　大量の「メッセージを表示するためのワンタイム パスコード」というメールが ML に投げられてきた．色々とヒドイ．

まあ，小さな親切大きなお世話系機能が働いた結果だろうけど，某365 の暗号化メッセージを ML に投げるのは避けたいところ．

1ヶ月経つし 100km も越えてたので自転車を初期点検にもってった．車とかは 1000km だけど自転車は 1/10 なのね．

とりあえず特に問題なし．前のスプロケからチェーンが外れるのはそういうものらしい．テンション弱いと外れやすいかもとのことで，テンションかかる方向に少し調整してもらった程度．

さて，点検も終わったし，そろそろ遠くに出かけてみるか．

天気予報曰く今朝の最低気温 27℃ で朝後5時半の室温 28.9℃．サーキュレーター回してるだけだと暑い．暑くて起きた．

夜もエアコンつけっぱなしが正しいな．

そういえばそうだった．せっかくなのでと先週と同じキッチンカーが来てたから「カレーライス 全部のせ」を注文してみたらちょっと多すぎた……　飯少なめにするのが正解．

ラズパイ3,4 をエアコンのリモコンにしようということで試行錯誤した結果，「pigpio + irrp.py + ちょっと改良」でやったらどうにかなった．ちょっとまえに gpio-ir を使ってみたらエアコンのコードが長すぎて 500ms 制限に引っかかって泣いてたののリベンジ（dkms でパッチあてたモジュールに差し替えて……　とかも試してたけどうまくできなかったので gpio-ir は諦めた）．

「ちょっと改良」の部分は，やっぱりエアコンのリモコン波形データが長すぎてそのままだと pigpiod が 'chain is too long' の文句を言ってくるというのへの対処．irrp.py の使ってる pigpio パッケージのドキュメントによると使える限界は "roughly 600 entries and 20 loop counters" とかいう程度らしい．でも家に付いてる日立のエアコンだと wave chain の長さが 850程度なので怒られる．なんでこんなに長いのか．

具体的な対処としては，pigpio の波形データは何故かループが使えるというリッチな仕様なので，ループを使って波形データを圧縮するというのをやってみた．めんどいので O(n^3) で愚直に波形データ全体をなめて圧縮可能な繰り返し部分を全列挙して最も効果的な部分をループで潰すという程度．これで 5種類程度のリモコン信号を圧縮してみたら，どれも 850 程度の長さだったのがループをネストしつつ 450 程度にまで縮まってくれたので，まあ実用的に問題ないっぽい．流石に愚直過ぎて遅いから送信時処理ではなく信号記録時に圧縮しとく感じで組み込んだ（もとの波形データは正整数値のみなのでループ部分は 0以下の値で記録しとける）．

さて，これでハードウェアに近い部分の準備は整った．少なくとも固定のパターンを叩き込むのは OK．次は温度設定とかから波形データを生成する方法の解析かな．とりあえずビット列を眺めて考えよう．