どうも、久しぶりの近況ノート更新である大瀧です。
最近は、異世界転生ものを執筆しており、そのうえでとある公式を証明せざるを得ない状況に陥ったので、仕方なく、「やるかあ」と思い、フェルマーの最終定理を望月教授が提唱された「強いABC予想」に基づき証明しました。
Ａ≧Ｂ≧Ｃ≧＝Ｚⁿ は、比例代数に基づくフェルマーの定理であり、これに素数を代入することにより、フェルマーが提唱した自然数＝3以上の解が存在しない、ということが証明されたし。
要約 それらを証明するうえでモンテ・カルロ法を用いたいと思う。
期待値のモンテカルロ計算
（Ｓ（Ｘ）＝∑∫ｘ（Ｘ）Ｐ（Ｘ）（Ｘ）
状態変数Ｘ 連続変数だった場合を表す。
つまるところ、比例代数における自然数（素数の場合は比例しないものとする）のとき、上記のモンテカルロ法や変数やsum(runif(s <- 100000)^2 + runif(s)^2 <= 1) * 4 / sの代入式を用いて、自然数が存在されたし。
途中、モンテカルロ計算式がありましたが、それはエネルギー理論や、状態変数、連続変数を代入せざるを得なかったのです。
ふぅ、これを作中でどうやって登場させよう。骨が折れる……。