No Such Blog or Diary

天気予報曰く今朝の最低気温 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．次は温度設定とかから波形データを生成する方法の解析かな．とりあえずビット列を眺めて考えよう．

最近買ったデジラチェの差込角が 9.5mm なのに手元に 9.5mm のソケットが無いので Ko-ken のソケットセットをポチった．普通のソケットとヘックスビットとを，せっかくなのでコンパクトな Z-EAL で．

だがしかし，面倒なのでセットで買うけどセット内の全てのサイズを使うわけでもないのよね……　しかもバラ売りのほうが安いという（希望小売価格の段階で，ヘックス 8本がバラ買いだと 10,040円でセットは 11,700円，普通のソケット12個がバラ買いだと 10,640円でセットが 12,600円）．仕舞っとくのに便利だけどレール代が約2000円（ソケット 2つ分）ってのはちと高い気もする．

冷蔵庫に入れていたヨーグルトを食べようと思ったら凍ってた．普段はジャムを投入して食べてるので単体で凍ったヨーグルトは悩ましい．どう食べたものか．解凍しても美味しいのだろうか？

とりあえず，変に解凍されてもあれなので冷凍庫の方に突っ込んどいて食べ方を悩むことにした．レアチーズケーキにでも使うか？

今回の GW の旅で 5000ポイント超えたので 5000円分の還元額をゲット．5000ポイントまで貯まったのはだいぶ久々な気がする．

そして履歴を見てみたら去年の春くらいに 2000ポイントほど失効してた．還元してれば 500円分（5000まで貯めないと還元率が悪い）．ちょっともったいなかった．