  |
はてなキーワード: レーマンとは
気まぐれにchat gptに「円周率を計算するプログラムを書け」と指示した。
級数の和nを入力するとそこで計算を打ち切って近似値を計算するプログラムということらしい。
なるほど、いかにもありそうな感じだ。
試しにいくつかのnでchat gptに計算させてみるとたしかに近似してるっぽい数値になっている。
そこで、chat gptの主張する公式（「レーマンの公式」とか言っていた）をググってみると、
ははーん、なるほどこれはいつものchat gpt君の虚言癖だなと、
手元のphython環境でそのコードを実行してみると、案の定、chat gptと計算と違う結果になった。
これだからaiは信頼できないと、chat gptに嘘つきとチャットする。
どうせデタラメだろうとphython環境でそのコードを実行してみると、今度はピタリと一致した。
nを増やして繰り返してみると、確かに真の円周率(3.141592653589793..)に収束しているように見える。
存在しない名前の、既知の公式に一致しない数式から書かれたプログラムが、
なんかこわい。
補遺1.
このプログラムでは、レーマンの公式を使用して円周率（π）の近似値を計算しています。レーマンの公式は、以下の無限級数を用いて円周率を近似します。
補遺2.
n=4000での円周率の近似値は 3.141568780556039 なので収束率はかなりわるい。
補遺3.
訂正
数式自体は正しいようだ。
https://www.reman-online.com/view/category/ct11
差し入れに持っていた人みんな虜にして「また食べたい！」と言ってもらえてる。
食感としてはソフトクッキーなのだがほろっとした口当たりと濃厚なチョコレート味があとひく美味さなのである。
デパ地下で売られているラインなのだが、自宅用の簡易包装だと9枚で648円だから1枚70円とワンコイン以下だ。
しかも毎月行っているガレージセール（和光と軽井沢）だと更にお安い上に何故かおまけまでつけてくれることがある。太っ腹が過ぎる。
例えば麦チョコ。日本で最初に売り出したらしいが、これもまた美味い。スプーンで掬って食べろ。
ルーブリアンも好きだ。夏だと溶けてしまうので秋以降に買うことをオススメしたいが、何本でもいけてしまうし、「もうないの……」となること請け合いだ。
あと缶に入った商品はこの缶自体がまた素敵なのだ。西洋画とまわりの装飾が美しい。シガールにも負けず劣らずの転生率になること間違いなし。
