2007-05-31から1日間の記事一覧

非決定計算

OnLisp曰く、プログラムに超自然的な力、すなわち未来を見通す力を与える方法。またある人いわく、天使の演算子(angel operator)。でも結局は、裏では全数探索をするのだけれども、プログラマにそれを意図させないだけなんだけどね。 たとえば、[1,2,3,4,5]…

非決定計算

30分プログラム、その43。id:Gemmaさん出題によるラグランジェの4平方定理。id:zyxwv:20070531に対抗してみる。ある自然数nが与えられた場合、 という等式を満す非負の整数a,b,c,dをすべて求める問題。(微妙にオリジナルと変えました)まず、callccで非決定計…