๐Ÿš€ go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.cognitive
Article #80

Re: Dijkstra approach to programming

#80
From: kazuhiro TAKAHASHI
Date: Tue, 12 Feb 2002 22:39
88 lines
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-mail
References: <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