259 followers
ProceduralはDeclarativeと比較して読みにくい、比喩:チェスの逆行読み。VerificationにはProceduralが良いとされる。(Proof Style 1998) http://t.co/yo9YQdb6tg CoqはProcedural
ProceduralはDeclarativeと比較して読みにくい、比喩:チェスの逆行読み。VerificationにはProceduralが良いとされる。(Proof Style 1998) http://t.co/yo9YQdb6tg CoqはProcedural