たれぱんのびぼーろく

わたしの備忘録、生物学とプログラミングが多いかも

プログラムの正当性を保証する方式

安全性に関する指針みたいなもの