VDMというのを知る。ここにある例題を見ながら、「宣言的に定義する様子が関数型言語みたい」と思った、ので、書いてみました。 swap swapは普通に。 swap (x, y) = (y, x) max・その1 集合や列の代わりにリストを使って。 max_value (n:ns) = max_value' n …