バグのないプログラムは存在しない

バグのないプログラムは存在しない at TECH

43:デフォルトの名無しさん
05/11/27 15:04:16
>>36
それでもいいが、推論規則と公理は
　推論規則：「マジで」式├ 式
　公理：　　　「>>25は馬鹿」
こうした方がもっとそれっぽい。