14/10/01 06:02:07.09 0+f79Okt.net
>>401
VDM 書いたものが実装にならない
集合論プログラミング 書いたものが実装になる
と思い込んでたからな。
どっちも書いたものが実装にならないならあんまり俺の趣味じゃないなぁ。
集合論プログラムは書いたものが実装になってもよさそうなほど
論理を詰めていたように見えたが気のせいだったか。
14/10/01 06:02:07.09 0+f79Okt.net
>>401
VDM 書いたものが実装にならない
集合論プログラミング 書いたものが実装になる
と思い込んでたからな。
どっちも書いたものが実装にならないならあんまり俺の趣味じゃないなぁ。
集合論プログラムは書いたものが実装になってもよさそうなほど
論理を詰めていたように見えたが気のせいだったか。