2011-10-12から1日間の記事一覧
まずは,各*proveの違いを確認します.proveは,a,b,cを prove(a+b>=c); The inequality holds. のように1つの3角形の3辺の長さと見な做します.xproveでは xprove(a+b>=c); output a counter-example [1/4, 1/2, 1] The inequality does not hold. xprov…
まずは,各*proveの違いを確認します.proveは,a,b,cを prove(a+b>=c); The inequality holds. のように1つの3角形の3辺の長さと見な做します.xproveでは xprove(a+b>=c); output a counter-example [1/4, 1/2, 1] The inequality does not hold. xprov…