Blog | 五里霧中

2026.10.08

YubiKeyの仕組みを調べた

YubiKeyのタッチで認証できる原理を調べた。FIDO2の公開鍵と署名、ブラウザによる認証先の確認、PINと指紋の役割、OTPとの違い、電池なしで動く理由、予備キーの登録まで整理する。

2026.10.07

北海道を離れた10月6日の記録。新千歳空港でミクさんに会い、羽田で乗り継いで高松へ。ラウンジでも帰ってからも、小樽への未練が残っています。

2026.10.04

札幌マラソンのハーフを走った一日の記録。朝の会場での世間話、18kmからの失速、走り終わってからの小樽散歩を写真とともに振り返ります。

2026.10.03

札幌マラソン前日は小樽と余市へ。ウイスキーを買い、石と鉄さんで昼食をとり、おたる水族館や神社を巡った10月3日の記録です。

2026.10.02

高松から羽田経由で北海道へ。6月以来の小樽で、SAKEバルMARUMOTOさんとHALF TONEさんを訪ねた一日の記録です。

2026.10.01

TypeSafe AIの判断モデルJevとは何か。LLMを分類や判断に使う際の課題から、Jevの型付き出力、並列評価、RLCD、確率の校正、confidence、判断を保留する設計まで、図と具体例で仕組みと基礎理論を考える。

2026.09.30

Goの関数行数と明示的な純粋性制約を検査するmikotoを作った。値型の境界、ASTと型情報、ジェネリクスの型集合、暗黙のポインタ参照を扱い、5件の不具合修正と検証結果から静的検査の有効範囲と限界を考える。

2026.09.30

OmoikaneのWPTで起きたSIGSEGVを調べると、Rust製JavaScript EngineのBoaのgetterが返した新しいオブジェクトが、VMレジスタへ入る前のinline cache更新で回収されていた。JITの切り分け、Valgrindでの確認、root修正と回帰テストを追う。

2026.09.29

OmoikaneでJavaScript Realmを作るたび、約1.1MBのDOM bootstrapを解析・コンパイルしていた。キャッシュ案からRust製JavaScript EngineのBoaのscope検索と字句解析の改善へ方針を変えた経緯と、test profileでの実測を記録する。

2026.09.29

AIを使った開発で作業量が増える一方、Rust製OmoikaneのCIはPRごとに長い待ち時間があった。文書変更の判定、Rustキャッシュ、WPT準備、連続pushを実測に基づいて見直した記録。