๐Ÿš€ go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.cognitive
Article #83

Re: Dijkstra approach to programming

#83
From: Narita Takaoki
Date: Mon, 18 Feb 2002 07:59
78 lines
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!narita
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>

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)