| From(投稿者): | kuno@gssm.otsuka.tsukuba.ac.jp |
|---|---|
| Newsgroups(投稿グループ): | fj.comp.lang.c |
| Subject(見出し): | Re: assert() and precondition and invariant |
| Date(投稿日時): | Wed, 15 Sep 2004 02:24:31 GMT |
| Organization(所属): | GSSM, Univ. Tsukuba, Tokyo, Japan |
| References(祖先記事, 一番最後が直親): | (G) <YAS.04Sep11171406@kirk.is.tsukuba.ac.jp> |
| (G) <3990496news.pl@rananim.ie.u-ryukyu.ac.jp> | |
| (G) <YAS.04Sep11201327@kirk.is.tsukuba.ac.jp> | |
| (G) <chv1dm$14lu@utogw.gssm.otsuka.tsukuba.ac.jp> | |
| (G) <chv1ld$151j@utogw.gssm.otsuka.tsukuba.ac.jp> | |
| (G) <YAS.04Sep15033225@kirk.is.tsukuba.ac.jp> | |
| (G) <s7f1xh48p6r.fsf@xxx.kgc.co.jp> | |
| Message-ID(記事識別符号): | (G) <040915112431.M0294558@sma.gssm.otsuka.tsukuba.ac.jp> |
久野です。
candy@xxx.kgc.co.jpさん:
> なるほど!! そうすると今度は C と LISP のプログラムが
> 等価であることを証明するために、5 倍位の労力を要するわけですね!!
証明を考えるより等価の方が易しそうじゃないすか? 久野