超一様分布列/準乱数/Low-discrepancy sequence(LDS)というものを最近知った。low discrepancy sequenceよりもhigh uniformity sequenceとかいう名前のほうがいいと思うけど 金融工学の数値シミュレーションとかで使われてるらしいけど、動機としては経路積…

CPL/CHARITYでは、CoListとunfoldが定義できるはずなので、無限リストを生成するとかすると、停止しない計算が書けてしまうんじゃなかろうかという気がするhttp://d.hatena.ne.jp/m-a-o/20091101#p2 から続き。 その1。CPLの原論文でCartesian Closed Catego…

拡散方程式は相対論を破っていて、相対論的拡散方程式を作ろうという試みが色々あるというような話を、少し前に聞いた。で、Maxwell-Boltzmann分布も、光速を超える速度を持つ粒子が一定割合で存在するので、これを相対論化すると、どうなるんだろうか、と5…

近所の自販機が、777が出るともう一本的なアレなんだけど、下二桁は必ず77で、最後だけ7にならない。最上位の桁が、0~9まで等確率で出るなら、そろそろアタリが出てもいいはずなので、やっぱりあれは罠なんだろうか。下二桁が必ず77なのは、自販機にリピータ…