最新のコーディングエージェントによる、古くて新しいアプリ

私の研究や解説論文の最新情報、未解決問題の議論、その他の数学関連トピック。 テレンス・タオ著 ホーム キャリアアドバイス 執筆について 書籍 Mastodon+ アプレット フィードを購読 最新のコーディングエージェントによる、古くて新しいアプリ 2026年7月11日 広告 | タグ: AI, アレン・クヌートソン, アプレット, ギルブレス予想 | 著: テレンス・タオ 私は1999年以来、数学の実行と教育を支援する機械について関心を持ってきました。当時、私は複素解析と線形代数のコースのために、興味のある様々な数学的対象（ハニカムやベシコビッチ集合など）を視覚化するJava 1.0のアプレットをいくつかコーディングしました。これはある程度成功しましたが、アプレットのプログラミングには時間がかかり、最終的にはウェブページの標準がこのバージョンのJavaをサポートしなくなり、アプレットは機能しなくなりました。 しかし、ここ数日、私は最新のAI支援を使用して、古いウェブページやブログのデータをより保守しやすいリポジトリに移行するプロセスを開始しました。実験として、エージェントに古いアプレットを最新のサポートされている言語（JavaScriptに決定）に移植するように依頼したところ、数時間でそれが完了し、私の古いアプレットはすべて再び機能するようになりました。さらに、いくつかのグラフィカルなアップグレード（例えば、ベシコビッチ集合アプレットは、元のモノクロバージョンとは対照的に、カラー化されました）も行われました。 特に、1999年にアレン・クヌートソンと私が書いたハニカムアプレットが復活したことを嬉しく思います。これは手作業でコーディングするのが特に難しいものでした。LLMベースのコーディングエージェントは、コードに様々な明白または微妙なバグを作成する可能性があることはよく知られていますが、これら約2ダースのアプレットの移植において、私は1つの軽微なバグしか見つけられませんでした（複素解析アプレットの1つでのドラッグイベントの処理が、メインボックスの外でドラッグしたときに予期しない動作をしました）。実際、エージェントは私が気づいていなかった元のコードの2つのバグを特定したので、コードの品質に関しては結果的に相殺されました。いずれにせよ、これらのアプレットは数学的議論の重要なコンポーネントというよりは補助的な視覚補助として意図されているため、そのようなバグのダウンサイドリスクは比較的低いです。 プロセスは十分に簡単だったので、古いものを移植するだけでなく、新しいアプリのコーディングも試してみることにしました。1999年に、特殊相対性理論の可視化ツールのための野心的なアイデアがありました。これはInkscapeというソフトウェアツールのリリース前でしたが、私が思い描いていたアイデアは基本的に「ミンコフスキー空間でのInkscape」でした。このアプリのJavaコードを書き始めていましたが、コードの複雑さが私には手に余るものとなり、プロジェクトは断念しました。しかし、AIエージェントとの「バイブコーディング」を数時間行った後、1999年に私が持っていたビジョンに一致するアプレットをようやく生成することができ、それは現在ここで見ることができます。エージェントとのコード生成に関する会話の要約は、こちらで見ることができます（多くの退屈な技術的実装レポートを削除するために編集されています）。このアプレットの「アルファ」バージョンについては、ある程度プレイテストしましたが、さらなるフィードバックを歓迎します。特にLLM生成コードであることを考えると、まだいくつかのバグや粗削りな部分があることは間違いありません。 今日のギルブレス予想に関する論文のブログ記事を書いた後、論文とブログ記事に付随するギルブレス予想の可視化ツールをエージェントにコーディングするように依頼できることに気づきました。さらに数時間の会話の後、これは完了しました。可視化はここで試すことができます。ここでも、手順は非常に簡単でした（プロセスのトランスクリプトはこちらを参照）。将来の論文の補足として、このようなインタラクティブな可視化を追加するかもしれません。そのような補足は論文の核心部分にとってミッションクリティカルではないため、LLMエージェントとのガイド付き対話を使用してそのような可視化を生成することのダウンサイドリスクは許容できると考えています。 共有: 印刷（新規ウィンドウで開きます） 印刷 友達にリンクをメール（新規ウィンドウで開きます） メール もっと Xで共有（新規ウィンドウで開きます） X Facebookで共有（新規ウィンドウで開きます） Facebook Redditで共有（新規ウィンドウで開きます） Reddit Pinterestで共有（新規ウィンドウで開きます） Pinterest いいね 読み込み中... 最近のコメント Old and new apps, vi… on Upgrading old Java applet… Terence Tao on 245A, prologue: The problem of… Terence Tao on 254B, Notes 1: Equidistributio… Terence Tao on 245B, notes 1: Signed measures… Anonymous on A digestion of unit distance… JEFF GARZA on A Bayesian probability wo… Anonymous on 245B, notes 1: Signed measures… Anonymous on 245A, prologue: The problem of… Anonymous on 254B, Notes 1: Equidistributio… Terence Tao on 245A, prologue: The problem of… Terence Tao on Analysis II Anonymous on Books Anonymous on 245A, prologue: The problem of… Anonymous on Nonlinear dispersive equations… Anonymous on Analysis II トップ投稿 Old and new apps, via modern coding agents Gilbreath's conjecture: a Cramér random model and a deterministic analysis A digestion of unit distance constructions Career advice On writing 245A, prologue: The problem of measure About Work hard Does one have to be a genius to do maths? Applets アーカイブ 2026年7月 (3) 2026年6月 (3) 2026年5月 (1) 2026年3月 (4) 2026年2月 (3) 2026年1月 (4) 2025年12月 (5) 2025年11月 (5) 2025年9月 (1) 2025年8月 (3) 2025年7月 (1) 2025年6月 (2) 2025年5月 (5) 2025年4月 (2) 2025年3月 (1) 2025年2月 (3) 2025年1月 (1) 2024年12月 (3) 2024年11月 (4) 2024年10月 (1) 2024年9月 (4) 2024年8月 (3) 2024年7月 (3) 2024年6月 (1) 2024年5月 (1) 2024年4月 (5) 2024年3月 (1) 2023年12月 (2) 2023年11月 (2) 2023年10月 (1) 2023年9月 (3) 2023年8月 (3) 2023年6月 (8) 2023年5月 (1) 2023年4月 (1) 2023年3月 (2) 2023年2月 (1) 2023年1月 (2) 2022年12月 (3) 2022年11月 (3) 2022年10月 (3) 2022年9月 (1) 2022年7月 (3) 2022年6月 (1) 2022年5月 (2) 2022年4月 (2) 2022年3月 (5) 2022年2月 (3) 2022年1月 (1) 2021年12月 (2) 2021年11月 (2) 2021年10月 (1) 2021年9月 (2) 2021年8月 (1) 2021年7月 (3) 2021年6月 (1) 2021年5月 (2) 2021年2月 (6) 2021年1月 (2) 2020年12月 (4) 2020年11月 (2) 2020年10月 (4) 2020年9月 (5) 2020年8月 (2) 2020年7月 (2) 2020年6月 (1) 2020年5月 (2) 2020年4月 (3) 2020年3月 (9) 2020年2月 (1) 2020年1月 (3) 2019年12月 (4) 2019年11月 (2) 2019年9月 (2) 2019年8月 (3) 2019年7月 (2) 2019年6月 (4) 2019年5月 (6) 2019年4月 (4) 2019年3月 (2) 2019年2月 (5) 2019年1月 (1) 2018年12月 (6) 2018年11月 (2) 2018年10月 (2) 2018年9月 (5) 2018年8月 (3) 2018年7月 (3) 2018年6月 (1) 2018年5月 (4) 2018年4月 (4) 2018年3月 (5) 2018年2月 (4) 2018年1月 (5) 2017年12月 (5) 2017年11月 (3) 2017年10月 (4) 2017年9月 (4) 2017年8月 (5) 2017年7月 (5) 2017年6月 (1) 2017年5月 (3) 2017年4月 (2) 2017年3月 (3) 2017年2月 (1) 2017年1月 (2) 2016年12月 (2) 2016年11月 (2) 2016年10月 (5) 2016年9月 (4) 2016年8月 (4) 2016年7月 (1) 2016年6月 (3) 2016年5月 (5) 2016年4月 (2) 2016年3月 (6) 2016年2月 (2) 2016年1月 (1) 2015年12月 (4) 2015年11月 (6) 2015年10月 (5) 2015年9月 (5) 2015年8月 (4) 2015年7月 (7) 2015年6月 (1) 2015年5月 (5) 2015年4月 (4) 2015年3月 (3) 2015年2月 (4) 2015年1月 (4) 2014年12月 (6) 2014年11月 (5) 2014年10月 (4) 2014年9月 (3) 2014年8月 (4) 2014年7月 (5) 2014年6月 (5) 2014年5月 (5) 2014年4月 (2) 2014年3月 (4) 2014年2月 (5) 2014年1月 (4) 2013年12月 (4) 2013年11月 (5) 2013年10月 (4) 2013年9月 (5) 2013年8月 (1) 2013年7月 (7) 2013年6月 (12) 2013年5月 (4) 2013年4月 (2) 2013年3月 (2) 2013年2月 (6) 2013年1月 (1) 2012年12月 (4) 2012年11月 (7) 2012年10月 (6) 2012年9月 (4) 2012年8月 (3) 2012年7月 (4) 2012年6月 (3) 2012年5月 (3) 2012年4月 (4) 2012年3月 (5) 2012年2月 (5) 2012年1月 (4) 2011年12月 (8) 2011年11月 (8) 2011年10月 (7) 2011年9月 (6) 2011年8月 (8) 2011年7月 (9)