Article View: pl.comp.objects
Article #14781Re: Agile people still don't get it....
From: A.L.
Date: Mon, 12 Jun 2006 12:52
Date: Mon, 12 Jun 2006 12:52
24 lines
1766 bytes
1766 bytes
On Mon, 12 Jun 2006 11:21:08 +0200, "Aleksander Galicki" <no@no.com> wrote: >>> Pan uwaznie to czytal...? >> >>W miare uwaznie. >>Co w tym takiego dziwnego ? >>Malo to nawet samych algorytmow bywalo delikatnie mowiac >>"nie dzialajacych zgodnei z zalozeniami" ? >> > >Mnostwo pewnie. Ale ten przyklad jest jednak dosc spektakularny. W znanej >niemal wsztstkim ksiazce znany spec rozwazal szczegolowo dosc prosty algorytm. >Udowodnil poprawnosc tego algorytmu. Nastepnie napisal implementacje w C. Na >jakies _20 liniek_. Ta implementacja to nei byla implementacja tego programu dla ktorego przeprowadzono dowod. Nie jest to zadne odkrycie jako takie. Zaskakujace jest to ze to kogos zaskakuje. Metoda "cut from textbook and paste" prowadzi wlasnei do takich niespodzianek. A.L.
Technical Details
Message-ID:
<onoq829bvic84hmt4gft9ighjcfrsb3qod@4ax.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!newsfeed.gamma.ru!Gamma.RU!sn-xt-sjc-03!sn-xt-sjc-01!sn-post-sjc-01!supernews.com!corp.supernews.com!not-for-mailReferences:
<06060804173458@polnews.pl> <e6grok$r3b$1@kujawiak.man.lodz.pl> <06061203523546@polnews.pl> <brlp829ovg258639nh034mbgo9q87tkkjv@4ax.com> <06061205435287@polnews.pl> <e6j6d4$e78$1@inews.gazeta.pl> <e6j7e5$iod$1@inews.gazeta.pl> <e6j8ne$oca$1@inews.gazeta.pl> <06061211210879@polnews.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!newsfeed.gamma.ru!Gamma.RU!sn-xt-sjc-03!sn-xt-sjc-01!sn-post-sjc-01!supernews.com!corp.supernews.com!not-for-mail From: A.L. <alewando@fala2005.com> Newsgroups: pl.comp.objects Subject: Re: Agile people still don't get it.... Date: Mon, 12 Jun 2006 07:52:35 -0500 Organization: Posted via Supernews, http://www.supernews.com Message-ID: <onoq829bvic84hmt4gft9ighjcfrsb3qod@4ax.com> References: <06060804173458@polnews.pl> <e6grok$r3b$1@kujawiak.man.lodz.pl> <06061203523546@polnews.pl> <brlp829ovg258639nh034mbgo9q87tkkjv@4ax.com> <06061205435287@polnews.pl> <e6j6d4$e78$1@inews.gazeta.pl> <e6j7e5$iod$1@inews.gazeta.pl> <e6j8ne$oca$1@inews.gazeta.pl> <06061211210879@polnews.pl> X-Newsreader: Forte Agent 3.1/32.783 MIME-Version: 1.0 X-Complaints-To: abuse@supernews.com Lines: 24 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit