ランキンのノート

QAOA の性能に関する FGG 予想が機械検証された。LLM が Lean 4 とのフィードバックループで証明を構築するという手法で、10年以上未解決だった量子最適化の理論的限界が決着した。

Pico W の I/O シールドを、AIアシスタントと一緒に設計した一連の作業を、実際の成果物をレビューしながら振り返る。効いたのはAIの賢さそのものより、仕事をファイル・表・スクリプト・DRC・レビュー図に落として再現できる形にしたこと、そしてAIを止める場所を先に決めたこと。あわせて、同じことを自分で再現するための設定と、いまのAIツールに何が頼めるのかも書く。

NESのグラフィックチップ（PPU）には通常GNDに落とされている4本のEXTピンがある。2枚目のPPUでこれを駆動すると、2層のグラフィックが合成できる──というプロジェクトが面白い。

窓関数を使わずに時間-周波数を表現する WVD は、1948年に信号処理で提案される16年前、Wigner が量子熱力学のために同じ式を作っていた。負の「確率」とクロスタームの正体。

棚にずらりと並んだ点センサを、少数のスマートなセンサに置き換えられないか。ToF/LiDAR・カメラ・重量・RFID・静電容量を「何が得意で何が苦手か」で並べ直したメモ。透明・遮蔽・個数という正直な落とし穴と、Pico＋ToF でお家で遊ぶ計画まで。

arXiv:2606.00157（ICML 2026 採録）は、全結合DNNの訓練を繰り込み群フローの固定点探しとして定式化した。物理の道具が深層学習の「なぜ」に具体的な数学的答えを与えようとしている。