Article View: fj.sci.cognitive
Article #83Re: Dijkstra approach to programming
From: Narita Takaoki
Date: Mon, 18 Feb 2002 07:59
Date: Mon, 18 Feb 2002 07:59
78 lines
4608 bytes
4608 bytes
ๆ็ฐใงใใ
<1013553590$68700$ktaka@queen.heart.ne.jp>ใฎ่จไบใซใใใฆ
ktaka@heart.ne.jpใใใฏๆธใใพใใใ
> ktakaใwrote: <1013353881$90507$ktaka@queen.heart.ne.jp>
:
> > > ่ฌใ ใใใใใใใๆใใๆนใฏ่ชๅใ็ตใฆ
> > > ใใ้็จใฎไธญใงใ็ก้งใ ใจๆใใ้จๅใๅใ่ฝใจใใฆ่ฟฝไฝ้จใใใฆใใ
> > > ใใใใใๅบๆฅใชใใฎใใ---ๆๅ็็ถๆฟใงใใญ (^^;ใ
> >
> > ใใผใใๅ็่ชไฝใฏๅฎใฏๆๆ่
ใซใ่ชๆใงใชใใ่จ่ชๅไธๅฏ่ฝใฃใฆใใจใ
> > ใใใใพใใใญใ
ใใใฏใใใใใใงใใใใญใ
> > ้ใซใ่จ่ชๅใงใใใใจใ ใใๆฌ่ณช็ใชๅ็ใชใฎใใฉใใใฏ
> > ใใใใชใใใ ใใใใใฎๆๅณใงใฏใ่ฟฝไฝ้จใฏๆญฃใใโฆใ
ในใใผใใชใใฆใใใใใงใใ๏ผ
ใชใชใณใใใฏใฌใใซใฎไบบ้ฃใใฆใใฆใ่ชๅใฎๅใใไบบใซ่งฃ่ชฌใใฆไผใใฆ
ใใใใใจใใใฃใฆใๆๅพใฎๅพฎๅฆใชใจใใใซใชใใจใใฃใจใฟใใช้ทๅณถ่
็ทๆฐ็ใซใใใใใฅใใจๆฅใใจใใซใใใใจโฆใ(^^;)ใจใใชใฃใกใใใ
ใงใฏใชใใใใใจใ
่ชๅใฎไธญใงใฏ็ขบๅบใจใใฆๅญๅจใใฆใใใใใฉใ่จ่ชๅไธ่ฝโฆใจใใใใ
ใฏใๆ่ฟใ ใจ่บซไฝ่จ่ชใจใใ่จ่ใใใใใใ่กจ็พไธ่ฝใชใจใใๆนใๆญฃ
ใใใใใใใ
> > ๏ผ ๆๅณๅๅฎนๅญฆ็ฟๅฏพไฝ้จๅญฆ็ฟ๏ผ็บ่ฆๅญฆ็ฟ๏ผใใฎใใใช่ฉฑใซใชใฃใจใใพใใญใ
>
> ๆๆ่
ๅดใๆฌ่ณช็ใซ้่ฆใชใใจใ่จ่ชๅใงใใใใใๅญฆ็ฟ่
ใซ็ขบๅฎใซไผ้ใใ
> ใใจใๆๅพ
ใงใใใฎใชใใฐใๅญฆ็ฟ่
ใฏๆๅณๅๅฎนๅญฆ็ฟ๏ผ็ฅ่ญไผ้ๅใฎๆ่ฒ๏ผใ
> ใใใฐๅญฆ็ฟ็ฎๆจใ้ๆใงใใใ
>
> ไธๆนใๆๆ่
ใ่จ่ชๅใงใใชใใใชใใใฏใ่จ่ช็ใชไผ้ใๅฐ้ฃใชใใฐใ
> ไฝ้จๅญฆ็ฟ๏ผ็บ่ฆๅญฆ็ฟ๏ผใซ้ ผใในใใงใใใใฏใๅบๆฌ็ใซใฏ่ฟฝไฝ้จใใใใใจใซ
> ใใใใ๏ผ็นใซใๆฌ่ณช็ใชใใจใใใใใใใใชใใจใใซใฏใๅๆงใฎ่ฟฝไฝ้จใ
> ใใฆ่ฒฐใใใใชใใ๏ผ
็ตๅฑๆ่ฆใฎไผ้ใซใใใใใชๆฐใใใฆใใพใใใๅต้ ๆงใฎ็บๆฎใฃใฆใ็ต
ๆงๆ่ฆ็ใชๆฐใใใใใ
่ฟฝไฝ้จใใฆใใใฃใฆใไธๆใใใจๆ่ฆใ่ฒใคใฎใๆๅพ
ใใใใๆฏๅฉใๅฐฝ
ใใใฆ่จใไผใใใใไธกๆนใใใฎใใใกใใ่ฏใๆฐใฏใใใ
> ใคใพใโฆ
> ๅญฆๆ กใฏใๅฎ่ทตใฎๆๅใจใฏๅฅใฎๆๅใฎๅ ดใจใชใฃใฆใใพใฃใใฎใงใใใ
> โฆใจใใใใจใชใใใงใใ
>
> โฆใใใงใใใใใๅญฆๆ กใใ้ๅฃๆ่ฒใๆ่ฒใซ็นๅใใใใซใๅบๆฌ็ใซๆๅณ
> ๅๅฎนๅญฆ็ฟใชใใใฏ็ฅ่ญไผ้ๅใฎๅญฆ็ฟใฎๅ ดใจใฟใชใใใจใใซใใใใใใพใ
> ๆฉ่ฝใใชใๅๅ ใฏใใจ่ใใใจใไปฅไธโใฎๅๅ ใ่ใใใใใ
>
> > ๆฌ่ณช็ใชใใจใฎใในใฆใ่จ่ชๅใงใใชใใฃใฆใใจใจใ่จ่ชๅใใ
> > ใใจใใใฎ้ใใซไผใใใชใใฃใฆใใจใจใใใใใใไฝ่จใชใใจ
> > ๏ผๆ่ฒๅ ด้ขใงใดใใซในๆ๏ผใพใงไผๅพใใใกใพใใฃใฆใใจใใ ใใใชใ
่ฟไปฃ็ๅญฆๆ กใงใฏใไธๅฏพไธใฎๆใปใฉใใใปใจใใฉ็กใใฃใฆใฎใ็ตๆงใใใฎ
ใงใฏ็กใใงใใใใใ้ๅฃใงใฟใใชไธๆงใซๆใใใใฃใฆใฎใๆขใซ็ก็ใช
ใฏใใชไธใซใไธๅฏพไธใงใใใๅ
็ใจ็ๅพใฎ่จ่ชๆ่ฆใฎ้ใใจใใงใใใก
ใใใ่ตทใใใฎใไบใใซๆขใๅใใๆฆใๅใใใใใฆใๆ
้ใซ็ขบ่ชใใช
ใใใใใชใใจไผใใใชใใใจใใใใฏใใชใฎใงใ
# ใพใใใใ่จใฃใกใใฃใใ็พ่กใฎๅญฆๆ กๆ่ฒใรใฃใฆไบใซใชใฃใกใใใ
# ใ่ง็ซใกใพใใใใ(^^;
ๆ่ฉฎๅน็่ฏใ้ๅฃๆๆใงใฃใฆใฎใใใใ่ฏใใใใฎใ๏ผ
# ใจใใใใใๆฐไบบ็ ไฟฎใฏใๅๅ้ใงๆฑบๆญใใ็ญใ็็ฑใๆทปใใใใใ
# ้ฃ็บใใฆๅใๆใใใใชใใใใใใ(^^;;;
# ใใใใซใใๅ็ญใ้่ฆใ ใ
--
ๆ็ฐ ้่ ๏ผ ใจใผใปใขใคใปใฝใใๆ ชๅผไผ็คพใฝใชใฅใผใทใฅใณ้็บ้จ
E-mail takaoki@aisoft.co.jp
ใๅๅ้ใงๆฑบๆญใใ็ญใ็็ฑใๆทปใใใใ
Technical Details
Message-ID:
<a4qc8v$2gpk$1@nwall2.odn.ne.jp>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!xmission!news-out.spamkiller.net!propagator-maxim!news-in.spamkiller.net!feed.newsfeeds.com!newshub2.rdc1.sfba.home.com!news.home.com!newsfeed.mesh.ad.jp!t-newsgw1.odn.ne.jp!nwall.odn.ne.jp!naritaReferences:
<1011384408$52016$ktaka@queen.heart.ne.jp> <a35tpj$2i65$1@nwall1.odn.ne.jp> <1013353881$90507$ktaka@queen.heart.ne.jp> <1013553590$68700$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-18 00:00:25 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!xmission!news-out.spamkiller.net!propagator-maxim!news-in.spamkiller.net!feed.newsfeeds.com!newshub2.rdc1.sfba.home.com!news.home.com!newsfeed.mesh.ad.jp!t-newsgw1.odn.ne.jp!nwall.odn.ne.jp!narita From: takaoki@aisoft.co.jp (Narita Takaoki) Newsgroups: fj.sci.cognitive Subject: Re: Dijkstra approach to programming Date: Mon, 18 Feb 2002 07:59:27 +0000 (UTC) Organization: odn.ne.jp Lines: 78 Message-ID: <a4qc8v$2gpk$1@nwall2.odn.ne.jp> References: <1011384408$52016$ktaka@queen.heart.ne.jp> <a35tpj$2i65$1@nwall1.odn.ne.jp> <1013353881$90507$ktaka@queen.heart.ne.jp> <1013553590$68700$ktaka@queen.heart.ne.jp> NNTP-Posting-Host: epsonfw3.epson.co.jp Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-2022-JP X-Trace: nwall2.odn.ne.jp 1014019167 82740 210.169.132.115 (18 Feb 2002 07:59:27 GMT) X-Complaints-To: news@odn.ad.jp NNTP-Posting-Date: Mon, 18 Feb 2002 07:59:27 +0000 (UTC) X-Newsreader: mnews [version 1.22] 1999-12/19(Sun) X-Forwarded: by - (DeleGate/7.3.5)