2007-05-31

30分プログラム、その43。id:Gemmaさん出題によるラグランジェの4平方定理。id:zyxwv:20070531に対抗してみる。 ある自然数nが与えられた場合、 という等式を満す非負の整数a,b,c,dをすべて求める問題。(微妙にオリジナルと変えました) まず、callccで非決定計算を行なえるようにしてから、その上で問題を解いている。 class Amb def initialize @paths = [] end def choice(*choices) if choices.empty? self.fail else callcc do|cc| @paths.push(*choices.map do|choice| lambda{ cc.call choice } end) self.fail end end end def fail if @paths.empty? then

[hengsu]

非決定計算のやり方[ruby][programming][callcc]