Article View: fj.sci.cognitive
Article #80Re: Dijkstra approach to programming
From: kazuhiro TAKAHASHI
Date: Tue, 12 Feb 2002 22:39
Date: Tue, 12 Feb 2002 22:39
88 lines
5422 bytes
5422 bytes
๏ผ ่ฆ็ดใใฆใฟใใไฝ่จใฃใฆใใ ใใใใใใใชใใฃใใญใใใจใใใใจใงใ ๏ผ ่ฃ่ถณใใใงใใ ktakaใwrote: <1013353881$90507$ktaka@queen.heart.ne.jp> > > ใจใใใใไบบ้ใฎๅต้ ๆงใ้ใใๆนๅใงใฎใใๆนใงใฏใชใใจใใใใ [snip] > ใพ๏ฝใใใใใๅต้ ๆงใจใฏ่จใฃใฆใใใญใฐใฉใใณใฐใฎ็ฏๅฒใงใฃใฆใใจใฏ > ใใใใฆใใใๆนใใใๆฐใฏใใฆใใพใใ ใใใใใญใฐใฉใใณใฐใใใกใฆใฆใใๆธใใใใใงใฏใใใพใใใงใ ๅฅใซใใฅใผใชในใใฃใใฏ๏ผๆ่ในใญใซ๏ผใฎไธ่ฌๅ้ๅฑคใฃใฆใใจใ ๆธใใพใใใ๏ผไธ่ฌๆงใฎ้ซใๆ่ในใญใซใฏใ่ซธไบใฎใๅบ็คใใงใใใใพใใญ๏ผใ ไธ่ฌๆงใฎ้ซใๆ่ในใญใซใปใฉๆๆๅฐ้ฃใจๆใใใพใใฆ๏ผ็็ฑใฏใใใพใใพใช ๅ ด้ขใง้ฉ็จๅฏ่ฝใงใใใ ใใซใใใๅฑ้ขใซใคใใฆๆใใฆใๆใใใใจใซ ใชใใชใใใชใฉ๏ผใไธ่ฌๆงใฎ้ซ้ใใใจใใใใใขใใญใผใใใฆใๅผใใใใชใใ ๅบๆใฎๅ้กใซ็นๅใใ็ฏๅฒใงๆฑใใใใจใชใใชใในใใใใซ็ใใใใจใใ ๆนๅใงๅฏพๅฆใใๆนใใใใใใใใ ใจๆใใฆใฏใใใใใใงใใ ๏ผ ๅฐ้ฃใงใไธ่ฌๆงใฎ้ซใใจใใใใใฌใใณใจใใฃใฆใฟใใใใใใใฃใฆใฎใ ๏ผ ไธๆนใงใฏใใฃใใใใพใใฆใใใใคใซๆๆฆใใใใใใใใ ใฃใใใใใ ๏ผ ใฎใงใใใใชใผใฝใใใฏในใชๆๆณใจใฏๆใใชใใ ใงใใใฟใผใฒใใใฏใใญใฐใฉใใณใฐ๏ผใใใณใใฎๅจ่พบ๏ผใใ ใใฎ็ฏๅฒใซใคใใฆ็นๅใใใๆ่ในใญใซใ่บซใซใคใใฐใใ๏ผใจใใใใจใฏใ ๆ่ญใใฆใใใๆนใๆๅฉใใใใจใใๆฐใใใฆใใใใใงใใ > > ่ฌใ ใใใใใใใๆใใๆนใฏ่ชๅใ็ตใฆ > > ใใ้็จใฎไธญใงใ็ก้งใ ใจๆใใ้จๅใๅใ่ฝใจใใฆ่ฟฝไฝ้จใใใฆใใ > > ใใใใใๅบๆฅใชใใฎใใ---ๆๅ็็ถๆฟใงใใญ (^^;ใ > > ใใผใใๅ็่ชไฝใฏๅฎใฏๆๆ่ ใซใ่ชๆใงใชใใ่จ่ชๅไธๅฏ่ฝใฃใฆใใจใ > ใใใใพใใใญใ > > ้ใซใ่จ่ชๅใงใใใใจใ ใใๆฌ่ณช็ใชๅ็ใชใฎใใฉใใใฏ > ใใใใชใใใ ใใใใใฎๆๅณใงใฏใ่ฟฝไฝ้จใฏๆญฃใใโฆใ > > ๏ผ ๆๅณๅๅฎนๅญฆ็ฟๅฏพไฝ้จๅญฆ็ฟ๏ผ็บ่ฆๅญฆ็ฟ๏ผใใฎใใใช่ฉฑใซใชใฃใจใใพใใญใ ๆๆ่ ๅดใๆฌ่ณช็ใซ้่ฆใชใใจใ่จ่ชๅใงใใใใใๅญฆ็ฟ่ ใซ็ขบๅฎใซไผ้ใใ ใใจใๆๅพ ใงใใใฎใชใใฐใๅญฆ็ฟ่ ใฏๆๅณๅๅฎนๅญฆ็ฟ๏ผ็ฅ่ญไผ้ๅใฎๆ่ฒ๏ผใ ใใใฐๅญฆ็ฟ็ฎๆจใ้ๆใงใใใ ไธๆนใๆๆ่ ใ่จ่ชๅใงใใชใใใชใใใฏใ่จ่ช็ใชไผ้ใๅฐ้ฃใชใใฐใ ไฝ้จๅญฆ็ฟ๏ผ็บ่ฆๅญฆ็ฟ๏ผใซ้ ผใในใใงใใใใฏใๅบๆฌ็ใซใฏ่ฟฝไฝ้จใใใใใจใซ ใใใใ๏ผ็นใซใๆฌ่ณช็ใชใใจใใใใใใใใชใใจใใซใฏใๅๆงใฎ่ฟฝไฝ้จใ ใใฆ่ฒฐใใใใชใใ๏ผ ใงใๆๅณๅๅฎนๅญฆ็ฟใจไฝ้จๅญฆ็ฟใป็บ่ฆๅญฆ็ฟใจใฉใฃใกใใใในใ๏ผๆๅนใช๏ผๆ่ฒ ใชใใ ๏ผใฃใฆใฎใฏใ๏ผๆญดๅฒใ้กใฃใๆนใฏใใ็ฅใใชใใใฉใๆ่ฒ้ข้ฃๆฅญ็ใงใฏ ๅฐใชใใจใ๏ผ40ๅนดใฐใใใซใใใฃใฆ่ญฐ่ซใใใฆใใใใฟโฆใ > > ่ธ้ใฎ็บ้ใๆๆใๅผๅธใฎ้็จใ่ฆใใใใชโฆโฆ > > > > ่ป้ๆ็ทด็้ๅฃๅญฆ็ฟใงใฏไฝฟใใชใใงใใใใใใฉใๅไบบๆๆใซใใใๆ > > ๆณใจใใใใชใใจใใใใใใใใๅ ด้ขใงใฏไผ็ตฑ่ธ่ฝใฎๆๆไฝ็ณปใฃใฆ็ต > > ๆงๅ่ใซใชใใใงใฏใชใใใใ๏ผใจๆใใๆใฃใฆใใใฎใงใใใ > > ใใใฏใๅฎใฏใ80ๅนดไปฃๆซไปฅ้๏ผๆ่ฒ้ข้ฃ่ช็ฅ็งๅญฆใงใฏ็นใซ๏ผใกใใฃใจใใ > ๆต่กใชใใงใใใๅฎ่ทตใฎๆๅใๆ่ฒใฎๆๅใจใใใใพใใฆใ ๏ผใใๅท้ใซใชใฃใฆใฟใใจใๆ็ฐใใใฎใใฃใใใๅไบบๆๆใชใ่ธ้ใชใใ ๆฌๅฝใซใใใๅใใใใฎใงใใใใใใใไธใงๆธใใใใจใฏโฆ๏ผ ๅฎ่ทต๏ผใไปไบใ็็ฃใใใณใใณใใใฎ้ๅฃใๆฌๆฅ็ฎ็ใจใใๆดปๅ๏ผใฎๅ ดใจๆ่ฒใฎ ๅ ดใๅ้ขใใใฆใใชใใจใใใใๅฎ่ทตใฎไธญใซๆ่ฒใๅซใพใใฆใใใจใใใฎใ ไผ็ตฑ็ใช็คพไผใซๆฎ้ใซ่ฆใใใใใฎใงใใฃใใๅญฆๆ กใจใใ้ๅฃๆ่ฒใฎใทในใใ ใฏใ ๆ่ฒๆดปๅใฎใฟใซ็นๅใใใใฎใงใใใใใฎ็คพไผๆง้ ใๅฃใใฆไฝใใใใใฎใงใใใ โฆใจใใๆฅใพใใฆใไปฅไธใซใคใชใใใพใใ > ๆ่ฒใจๅฎ่ทต๏ผๅฎๅใป็พๅฎ๏ผใจใฎไน้ขใใพใใใฎๆบใฃใฆใช็บๆณใ ใคใพใโฆ ๅญฆๆ กใฏใๅฎ่ทตใฎๆๅใจใฏๅฅใฎๆๅใฎๅ ดใจใชใฃใฆใใพใฃใใฎใงใใใ โฆใจใใใใจใชใใใงใใ โฆใใใงใใใใใๅญฆๆ กใใ้ๅฃๆ่ฒใๆ่ฒใซ็นๅใใใใซใๅบๆฌ็ใซๆๅณ ๅๅฎนๅญฆ็ฟใชใใใฏ็ฅ่ญไผ้ๅใฎๅญฆ็ฟใฎๅ ดใจใฟใชใใใจใใซใใใใใใพใ ๆฉ่ฝใใชใๅๅ ใฏใใจ่ใใใจใไปฅไธโใฎๅๅ ใ่ใใใใใ > ๆฌ่ณช็ใชใใจใฎใในใฆใ่จ่ชๅใงใใชใใฃใฆใใจใจใ่จ่ชๅใใ > ใใจใใใฎ้ใใซไผใใใชใใฃใฆใใจใจใใใใใใไฝ่จใชใใจ > ๏ผๆ่ฒๅ ด้ขใงใดใใซในๆ๏ผใพใงไผๅพใใใกใพใใฃใฆใใจใใ ใใใชใ โฆใจใใใใจใๆธใใฆใใใคใใใงใใใ -- ใใใฏใใ๏ผๆฐใซใๅบใใจไปใๆฐใซใชใฃใฆใใพใใใใใใชใใใงใ ใใใใใใใใใใใใชใใจใใใซใคใใฆใฏใใใใใใใญใผใใ ใใใใใใใจใไผใใใ ใใใ๏ผ
Technical Details
Message-ID:
<1013553590$68700$ktaka@queen.heart.ne.jp>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!newsfeed.media.kyoto-u.ac.jp!onodera-news!news-gate.jaist!tengusa.numata.aomori.aomori.jp!queen.heart.ne.jp!not-for-mailReferences:
<1011384408$52016$ktaka@queen.heart.ne.jp> <a35tpj$2i65$1@nwall1.odn.ne.jp> <1013353881$90507$ktaka@queen.heart.ne.jp>Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: 1089d9,898d9a7c80e9ddf X-Google-Attributes: gid1089d9,public X-Google-ArrivalTime: 2002-02-12 14:45:01 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!newsfeed.media.kyoto-u.ac.jp!onodera-news!news-gate.jaist!tengusa.numata.aomori.aomori.jp!queen.heart.ne.jp!not-for-mail From: kazuhiro TAKAHASHI <ktaka@heart.ne.jp> Newsgroups: fj.sci.cognitive Subject: Re: Dijkstra approach to programming Date: 13 Feb 2002 07:39:56 +0900 Organization: Heart Internet Lines: 89 Message-ID: <1013553590$68700$ktaka@queen.heart.ne.jp> References: <1011384408$52016$ktaka@queen.heart.ne.jp> <a35tpj$2i65$1@nwall1.odn.ne.jp> <1013353881$90507$ktaka@queen.heart.ne.jp> NNTP-Posting-Host: localhost Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-2022-jp X-Trace: queen.heart.ne.jp 1013553596 68705 127.0.0.1 (12 Feb 2002 22:39:56 GMT) X-Complaints-To: usenet@queen.heart.ne.jp NNTP-Posting-Date: 12 Feb 2002 22:39:56 GMT