No Such Blog or Diary

今日は微妙に体温が安定してない感じ．加湿した暖かい部屋に引きこもる．

先週は副反応，今週は久々の風邪．2週連続で熱でくたばってたという……

いうて今回は 37度前半までだったけど．

ワンストップ特例の手続きがオンラインでできるようになったらしいので試しにやってみようかと思ったら対応してない自治体だった……　このまえ紙でやった別のところは対応してたのでそっちで試せばよかったな．対応してる自治体が思ったより少なかった．残念．

今日もパラパラ降ってるような．昨日の昼間に比べれば大した量でもなく通常の移動範囲は路面に積もらない感じなので寒い以外に問題なし．

そして昨日から英彦山のライブカメラをちらほら見てたら駐車場でくるくるする連中がそこそこ居てるっぽい．まあ，雪降ったら回ってみたくなるよね……　でも，道路にまではみ出してやってるのは如何なものかと．

閑話休題．

流石にこの寒波で暖房のない居室ってのはヤバかったらしい．風邪で喉が死んだ．

英彦山の雪の様子はどうなんだろうと思ってググったら添田町の英彦山ライブカメラが場所を変えて復活してるのを発見．今月頭に復活したっぽい？　場所は R500 と r418 の交わる英彦山交差点のところ．雪の積もり具合の確認に便利．

そして 5時頃に鷹巣原駐車場に行ってみたら 1cm くらいの積雪だった．まあ，あんまりスタッドレスの様子見にはならなかった気もする．R500 の英彦山大権現のカーブあたりから路面にも雪が積もってる感じになってた程度．もうちょい気温が低くなっててくれれば去年くらい積もったりしたのだろうか．

閑話休題．

朝7時で室温11℃．動きっぱなしの PC が暖房になってる？

Terrapin Attack の対処（ChaCha20-Poly1305 の無効化とか）をした辺りから「AES-GCM の実装って実際のところどうなってるんだろう？」と思って調べてたら出てきた．係数が GF(2) な多項式の掛け算をしてくれる命令で，つまりは加算が xor になってるから通常の掛け算のキャリー無視バージョン（carry-less multiplication）であると．

PCLMULQDQ で検索すると Intel の「Intel(R) Carry-Less Multiplication Instruction and its Usage for Computing the GCM Mode」ってドキュメントが出てきて，読んでみたら面白かった．多項式での mod 計算の効率的な実装とかちゃんと把握してなかったので勉強になった．割り算でなく掛け算で処理しちゃうのね（Barrett reduction を GF(2) の多項式に適用している？）．