プログラミング
私の数学的退行
My Mathematical Regression (blog.dahl.dev)
要約
筆者は10年前のProject Eulerの解答リポジトリを偶然発見し、Problem 15の解法に驚きを覚えました。当時の自分は、現代の自分が動的計画法などを考えるであろう問題を、離散数学の知識を用いて非常に簡潔に解決していました。この経験を通して、筆者は過去の自身の数学的洞察力に感銘を受けつつ、現在の思考の変化について複雑な感情を抱いています。
全文翻訳
私の数学的退行 2026-06-19 :: アレックス・ダール私は10年前のProject Eulerの解答リポジトリを偶然見つけました。(注意!これ以降はProject Eulerのネタバレを含みます)。\n当然ながら、それはPythonファイルでいっぱいでした。しかし、あるファイルが目を引きました。それはただproblem15.txtと名付けられていました。私はその問題を開いてみました。\nこれを仕事で任されたと想像しました。おそらくPythonに手を伸ばし、まずは素朴なブルートフォースから始めるでしょう。たくさんのループを組み合わせてみる。それでも解決できなければ、メモ化に頼るでしょう。動的計画法、行こう!(これは単なる私の空想です。仕事ではAIに任せて一日を続けるでしょうが)\nそして、私がまだ工学部の学生だった頃にどう解決したか見てみましょう。problem15.txt⌗ この問題はプログラミングすら必要ない2x2のグリッドには6つの解がある1x1のグリッドには2つの解がある3x3のグリッドには20の解があるこれは(2n) choose n のパターンに従うしたがって (2*20) choose 20 = 137846528820(離散数学に詳しくない方は、記法については二項係数をご覧ください)\n過去の自分に感銘を受けました!そして現在の私は悲しくなりました。まるでアシモフの小説で、主人公が古代人によって体系化された過去の知識を見つけるような感覚です。でもそれは、ただの学生時代の私なんです。この状況を乗り越えるために、この画像をリミックスしました。他の記事を読む:人間の利点としての簡潔さ →