思うだけで学ばない日記 2.0

思うだけで学ばない日記から移転しました☆!よろしくお願いします。

2010-10-01から1ヶ月間の記事一覧

n=3のケース

【主題】 次の関係式を満たす正の整数x,y,zは存在しない z^3 = x^3 + y^3 以下証明を企てる。 【トライ1】 xとyのG.G.M.をgとおくと、互いに素な正の整数p, qが存在して x = g*p y = g*q と書ける。すると x^3 + y^3 = (g^3) * (p^3 + q^3) = (g^3) * (p + q…

フェルマーの最終定理のnの下限が3だったのかどうか忘れたときの思い出し方

z^2 = x^2 + y^2を満足する正の整数z,x,yは無数にあるわけじゃん? 両辺にzを掛けるじゃん? z^3 = z*(x^2) + z*(y^2)になるわけじゃん? でもz≠xだしz≠yでもあるので、z*(x^2)もz*(y^2)も、素因数分解の一意性より、全ての素因数を3の倍数個含むことはあり…

オイラーの公式の左辺を忘れたときの思い出し方

cosθ+i*sinθをθで微分すると-sinθ+i*cosθ = -i*(cosθ+i*sinθ)じゃん? 微分したとき-i*f(θ)となるf(θ)ってe^(-iθ)ぐらいしか思いつかないじゃん? 少なくとも、f’(x)=f(x)であるf(x)はe^xしかないわけだしー。 だからe^(-iθ)が答え。

追記

>でもz≠xだしz≠yでもあるので、z*(x^2)もz*(y^2)も、素因数分解の一意性より、全ての素因数を3の倍数個含むことはあり得ないわけ。 いやちょっと待った、 z≠xというだけでは整数の積z*x^2の立方根が整数にならないと言う根拠にはならない。 なぜなら、zとxの…

【真実】 将棋 局面数 計算方法 【本当】

AI

いったい合法な将棋の局面は本当は正確にいくつあるのかいくつあるのか気になって気になって眠れないorz 局面は羊のかわりにならない 完全解決するべく、改めて基本に立ち返ってみれり 基本手順 数え上げ対象の集合をΩとしたときに、重複も漏れもない数え上…

将棋 局面数 計算方法

AI

エデンの園配置の除外とか考えずに、単純に可能な駒の配置を重複無く数え上げるには、次のように考えれば良い*1 【追記】コソーリ直させていただきましたorz そして補足が有ります(末尾の追記参照)。 【追記2】置駒の配置の数え上げの式がまちガッチョルorz修正範…

探索木の再帰性のひみつ

AI

今日わ絶好の探索日和ので局面を評価する手段について述べるのに適当な気のする、 ただ本当にそうしたときに局面の評価手段を「評価関数」という言葉で代表すると「局面を評価因子に分解して、ほにゃららして、足し合わせる」その他といった計算メカニズムの…

C#でマルチスレッド[補足およびおおよそ解決編]

いや上の問題(別のスレッドにデータを渡す)について世間的に行われている方法について基本的なのを2点忘れてた; 5. スレッド生成時にパラメータを渡すインターフェースが通常あるからそれを使ってXを渡す 6. スレッドに渡す直前にオブジェクトXを生成して…

C#でマルチスレッド

C#において、参照形の代入は、参照のコピーのみ行われ、それが指すオブジェクト実体のコピーを伴わない。このことは、マルチスレッドプログラミングの際めんどくさい問題を引き起こす。スレッドA内の変数aがあるオブジェクトXへの参照であるとして、aをスレ…

メモリバリアまとめ

Xbox 360 と Microsoft Windows でのロックレス プログラミングの考慮事項 Volatile 変数と順序変更 (中略) Visual C++ 2005 には、volatile 変数へのアクセスに関して、標準の C++ を補うために、マルチスレッドを想定したセマンティクスが定義されています…

例外問題まとめ(?)

だいたいわかった(本当カヨ;まず基本的想定として、オブジェクトの解体担当は、当のオブジェクトに限定して良い*1。 この前提は、オブジェクトをコレクションに登録してコレクションから解体トリガを与えるコレクションで管理する、と言う場合でも一般性を失…

C++コンストラクタの正しい書き方

【追記:中程に訂正箇所があります】 コンストラクタと例外に関して世間一般に流布する誤解(というものがあるとして)とは無関係に、次の2点は全くの真実だ。 C++のメリットを享受しようと思えば、コンストラクタ内で例外が発生する危険性をとうてい0にはで…

ostringstreamめっちゃ便利よ(1)

C言語プログラムでの文字列の扱いは悩ましいところだが、ある関数でちょっと動的にメッセージを生成して呼び出し元に戻したい、というとき、呼び出し元の方で明示的にバッファを用意するのが一般的だ そうでない次のような書き方は違法だ #include <stdio.h> static c</stdio.h>…