ハクソク

世界を動かす技術を、日本語で。

フーリエ変換の非合理的な効果

98日前原文(joshuawise.com)

概要

Joshua WiseによるTeardown 2025講演の主なリソースと参考資料一覧。
YouTubeで講演録画が視聴可能。
スライドPDFやJupyterノートブックなどの実用的なリンク集。
OFDM関連特許や数理科学に関する名著への言及。
連絡先やSNS情報も掲載。

Joshua Wise Teardown 2025講演・リソースまとめ

  • YouTubeチャンネルにて講演録画を公開
  • 下記リソースは講演内容を補足・参照目的で提供
    • スライドPDF：詳細な内容参照用
    • Jupyterノートブック：多数のグラフ作成に利用したコード
      • コードの品質保証はなし
  • OFDM特許：US3488445A（1966年出願、1987年失効）
  • Eugene Wignerによる論考「The Unreasonable Effectiveness of Mathematics in the Natural Sciences」紹介
    • 関連する優れた後続論文も多数存在
  • 搬送波オフセットと時間オフセットの同時推定手法に関する論文リンク
    • アルゴリズムを実装したが、詳細を理解・解説できる方を募集中
  • DVB-Tデコーダの自作コード公開
    • 正しい方法とは限らないが、一つの手法として紹介
  • Fast Fourier Transformアルゴリズムの実装解説動画を推薦
    • 定期的に視聴するほどの良質な内容

フィードバック・連絡先

  • ご意見・感想は大歓迎
    • 講演や資料へのフィードバック受付中
  • Joshua Wise連絡先
    • 個人: joshua@joshuawise.com / https://joshuawise.com/
    • 仕事: joshua@accelerated.tech / https://accelerated.tech
    • Fediverse: @joshua@social.emarhavil.com

Hackerたちの意見

さて、誰が「非合理的な効果」の話を書くの？
└
同意！こういうタイトルってほんとバカみたい。フーリエ変換は実際にはすごく合理的で、概念的にも実践的にも理解しやすいんだよね。リンクにある別のタイトルも同じくらいアホらしいよ。「ユージン・ウィグナーの元の議論、『自然科学における数学の非合理的な効果』」ってさ。マジで？数学は科学の言語だし、科学は数学なしでは成り立たないし、説明もできないし、モデル化もできないよ。数学が非常に効果的であることは明らかだし、その理由も納得できるから、非合理的な効果なんて言えないよ。それに、スライドは基本的な内容ばっかりで、どの入門コースでも見かけるやつだし。
└
これは1960年の有名なエッセイ「自然科学における数学の非合理的な効果」をもじったものだね。75年も経つとさすがに古くなってきたと思う。特に、宣言的な主張（「フーリエ変換は非合理的に効果的だ」）を、間違っている可能性のある名詞句（「フーリエ変換の非合理的な効果」）に隠すのはちょっとずるい感じがする。
└
「非合理的な効果」というタイトルは有害だと考えたらどう？
└
LLMの非合理的な効果。皮肉なことに、非常に関連性があって正確なタイトルだね。
└
非合理的な効果が全てだよ。
└
不合理な効果の逆。
セバスチャン・ラグの最新の動画を心からおすすめするよ。すごくわかりやすくこのテーマを扱ってるから： https://www.youtube.com/watch?v=08mmKNLQVHU
フーリエ変換に関する僕のお気に入りの話は、カール・フリードリッヒ・ガウスがコーリーとタキーの1965年の出版の100年以上前にファストフーリエアルゴリズムのアルゴリズムを発見したってことだね（これ自体がデジタル信号処理を革命的に変えた）。彼はどうやら小惑星パラスとジュノーの動きを研究していて、そのアルゴリズムをノートに書き留めたけど、結局公に知られることはなかったみたい。
└
ガウスのノートや余白には、彼が発表しなかった証明がたくさんあって、ほんとに自由すぎる人だったみたい。真偽は不明だけど、彼は息子に数学をやらせないようにしたらしい。父親の影に隠れるだけだって、彼の数学の才能を超えるのは絶対不可能だと思ってたみたいだね。:'D
└
ガウスについての言い伝えがあるんだけど、他の数学者が新しい結果を見せに来たとき、ガウスは「それ、もうやったよ」と言って、机の引き出しを開けて同じテーマの論文の束を取り出したんだって。
└
ガウスは6人の子供がいて、どうやってそんなに生産的だったんだろう？
└
ガウスはガウスだね。
フーリエ変換、あんまり好きじゃない。無限だから粗くて、どこにでも広がっちゃう感じがする。
└
現実世界でフーリエ変換を使う人は、ウィンドウデータに対して動作する高速フーリエ変換を使ってるよ。これで無限のサポートや無限の周波数解像度が排除されるんだ。
└
こことは違うね。
└
これは、オブリーク・トゥームレイダーの参照なのか、数学のメタファーなのか、ちょっとわからないな。
周波数領域で世界を見るようになると、いろんな面白いトリックが簡単に見えてくるよ。ウェブカメラの映像にフーリエ変換を使って、顔から心拍数を読み取るデモコードもあるんだ。要は、どの周波数がピークエネルギーを持ってるかを探してるって感じ。
└
これは現代のロスのある圧縮アルゴリズムの基盤になってる。JPEGやh264、mp3などのコーデックの基礎にあるDCTは、実際には修正されたFFTに過ぎないんだ。
└
血流による脈動した肌は、ウェブカメラからは見えないと思うけど。
さらに、「線形で直交的な基底変換の不合理な効果」についても。
信号は時間と周波数帯域の両方で制限されることはないんだよね。何年も前に、大学で学んだこの事実が不確定性原理と同じだと知ったときは驚いた！ それはさておき、妻と私はいつも食器洗い機の使い方で言い争うんだ。彼女はゆっくり丁寧にやるけど、私は早くやっちゃう。お互いに時間と頻度の最適化をしてるんだなって気づいたよ。つまり、私は時間を最小限に抑えて、彼女は洗浄回数を減らそうとしてるってことね（笑）。
└
自動で食器を入れてくれる食器洗い機は、車のナビゲーションシステム以来の結婚を救う発明になるだろうね。
└
> 時間を最小限に抑えてたから、彼女は洗濯回数を減らしてたんだと思うけど、俺は多分遅いから、よくわからない。早くやったから、全部きちんと掃除するためにもう一回回さなきゃいけなかったってこと？まだ見てないなら、食洗機についてのテクノロジーコネクションシリーズを見たほうがいいよ。 https://www.youtube.com/watch?v=jHP942Livy0
└
まさにハイゼンベルクの不確定性原理が、信号処理に応用されてるって感じ。
└
信号は、周波数と時間の両方でおおよそ制限されることができるから、絶対値が任意のεを超える値の集合は、両方のドメインでコンパクトなんだ。ガウス関数がその一例だね。
└
食洗機の詰め方の問題で、夫婦が離婚するって噂もあるらしいよ！
MLやデータサイエンスの世界にいるなら、FFTを理解するのに役立ったアナロジーは主成分分析を使った特徴量のサイズ削減だね。どちらの場合も、データを新しい「より良い」座標系に投影して（「時間から周波数領域へ」）、分散が低い基底ベクトルをフィルタリングして（「高周波数の波を無視する」）、その切り詰めた次元からデータを実空間に戻す（「Ifft: 時間領域への逆変換」）。もちろん、いくつかの違いはあるけどね（例えば、FFTでは基底ベクトルが固定されてるけど、PCAではそうじゃない）。
信号とシステムの授業でフーリエ変換について学ぶのは目から鱗だった。どんな周期的な関数も正弦関数で表現できるなんて、全く思いつかなかったし、無理だと言ってたと思う。
└
自転車以外の機能もあるよ（例えば、ガウス関数とか）。
このトークは、クラウドサプライの2025年テアダウンコンベンションで行われたんだけど、去年初めて行ってみたら、ハードウェア開発に興味がある人にはめっちゃおすすめ！すごくクールな人たちにたくさん会えたし、もらった無料の開発ボードのおかげでチケット代を4倍に戻せた（笑）。