fuzzy sphereの話の理解が多少進んだ。この周辺の文献読んでると、似て非なる構造がいくつか現れるのだけど、物理の文献は、このへんをなかなか明確に区別してくれないので、非常に混乱する。 言い訳。以下では有限次元Lie環や有限次元代数の極限とかを考え…

全保存量を保つコマの離散化 http://www.riam.kyushu-u.ac.jp/fluid/meeting/16ME-S1/papers/Article_No_27.pdfStackel系の全ての保存量を保つ離散化 http://ci.nii.ac.jp/naid/110000167002離散Kepler 運動の時間補正 http://www.riam.kyushu-u.ac.jp/fluid…

ラムダ計算体系で自然数をエンコードする方法としては、Church数が有名だけど、Barendregt numeralという方法もあるらしい。方法は、Church数の時と同様に、pair/false/0を = λx.((xM)N) false = λxy.y 0 = λx.x のように定義して、 n+1= で再帰的に定義する…

ホームズくん史上最強の難問 http://homes-cp.jp/nanmon/index.html今週は、これに大分無駄な時間を費やした。自力で解くのは2日目くらいで諦めて、ネット上にある解答を全て淡々と送りつける戦略に転向し、ありえそうな解答は一通り採点されたはずだけど、…