๐Ÿš€ go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.cognitive
Article #84

Re: Dijkstra approach to programming

#84
From: Narita Takaoki
Date: Tue, 19 Feb 2002 06:42
112 lines
6404 bytes
ๆˆ็”ฐใงใ™ใ€‚

<1013353881$90507$ktaka@queen.heart.ne.jp>ใฎ่จ˜ไบ‹ใซใŠใ„ใฆ
ktaka@heart.ne.jpใ•ใ‚“ใฏๆ›ธใใพใ—ใŸใ€‚

> Soarใฃใฆ่ช็Ÿฅใƒขใƒ‡ใƒซ็”จใƒ—ใƒญใƒ€ใ‚ฏใ‚ทใƒงใƒณใ‚ทใ‚นใƒ†ใƒ ใŒใ€็ซถๅˆ่งฃๆถˆใพใ‚ใ‚Šใ‚’
> ใฉใ‚“ใฉใ‚“่ค‡้›‘ๅŒ–ใ•ใ›ใฆใ„ใ‚‹ใฎใฃใฆใ€ๅฎŸใฏใ“ใฎ่พบใŒ็‹™ใ„ใ ใฃใŸใฎใ‹ใ๏ผŸ
> ใฃใฆๆฐ—ใŒใ—ใฆใ„ใพใ™ใ€‚๏ผˆใใ‚Œใงใ‚‚ใ€ๅ‰ต้€ ็š„ใชๆ€่€ƒใฃใฝใ„ๆ–นๅ‘ใ‚’ๅ–ใ‚Šๆ‰ฑใ†
> ใซใฏใพใ ๅผฑใ„ใฃใฆๆฐ—ใŒใ™ใ‚‹ใ‚“ใงใ™ใ‘ใฉใญใ€‚๏ผ‰

SOAR ใซ้–ขใ—ใฆใฏใ€ไปฅๅ‰ S.Russell ใจ R.Norvig ใฎ "Artificial
Inteligence -- A Modern Approach" ใซ่ผ‰ใฃใฆใ„ใŸใ‚ˆใ†ใชโ€ฆโ€ฆใจใ„ใ†ใ“
ใจใง่ชญใฟ็›ดใ—ใฆใฟใพใ—ใŸใŒใ€ๅ‰ต้€ ็š„ๆ€่€ƒใ‚’็‹™ใ†ใฃใฆใฎใ‚ˆใ‚Šใฏใ‚„ใฃใฑใ‚Š็ซถ
ๅˆ่งฃๆถˆใพใ‚ใ‚Šใ‚’ใฉใ‚“ใฉใ‚“ๅญฆ็ฟ’ใ—ใฆ่กŒใ‘ใฐใ€ๆฌกใซๅŒใ˜ๅ•้กŒใใ‚‰ใฃใฆใ‚‚้€Ÿใ„
ใ—ๆญฃใ—ใ„ใžใƒผใฃใฆใฎใ‚Šใฎใ‚ˆใ†ใชๆฐ—ใ‚‚ใ™ใ‚‹ใฎใงใ™ใŒใ€‚

# ใ‚“ใงใ€ใฉใ‚“ใฉใ‚“ๅญฆ็ฟ’ใ—ใฆใใจใฉใ‚“ใฉใ‚“ๅญฆ็ฟ’็ตๆžœใŒๆบœใพใฃใฆ้€ŸๅบฆใŒๆฐ—ใซ
# ใชใฃใฆใใฆ Robo-SOAR ใงใ‚ณใƒณใƒ‘ใ‚คใƒซใ—ใฆใฟใŸใจใ‹ใ€‚

> ใƒ’ใƒฅใƒผใƒชใ‚นใƒ†ใ‚ฃใƒƒใ‚ฏใฃใฆใ‚ณใƒˆใƒใฏใ“ใฎ่พบใ‚’ใ†ใพใๆŽดใพใˆใ‚ˆใ†ใจใ—ใฆ
> ใงใใŸใฏใšใชใ‚“ใงใ™ใŒใ€ใ€Œ่ฆใ™ใ‚‹ใซ่ฉ•ไพก้–ขๆ•ฐใญใ€ใฃใฆใ“ใจใซใชใฃใŸๆ™‚ใซใ€
> ใชใ‚“ใ‹ๅคงใใชๆฌ ่ฝใ‚’่ƒŒ่ฒ ใฃใŸใ‚“ใงใฏใชใ„ใ‹ใ€‚

ใŠใใ‚‰ใใ€่ฉ•ไพก้–ขๆ•ฐใจใ„ใ†ใฎใฏ้–“้•ใ„ใฏ็„กใ„ใฎใงใฏใชใ„ใ‹ใจใ€‚ใŸใ ใ€ใ
ใฎ้–ขๆ•ฐใŒๅฎŸ้š›ใซๆง‹ๆˆใงใใ‚‹ใ‹ใ€ใ‚‚ใ—ใใฏ่ฟ‘ไผผใงใใ‚‹ใ‹ใ€่ฟ‘ไผผๅ‡บๆฅใ‚‹ใจใ—
ใŸใ‚‰ใใฎๆ–นๆณ•ใฏใฉใ†ใ„ใ†ใ‚‚ใฎใ‹ใ€ใใ—ใฆใฉใ‚Œใ ใ‘่ฟ‘ไผผใงใใ‚‹ใ‹ใ€ใใฎๆ™‚
ใฎใ‚ณใ‚นใƒˆใฏใ€็ญ‰ใ€…ใฏใพใŸๅˆฅใฎ่ฉฑใงใ€ใใฎ่พบใฎๅ•้กŒใ‚’ใ‚ใฃใ•ใ‚Š่ฉ•ไพก้–ขๆ•ฐใจ
ใ„ใ†่จ€่‘‰ใงๅˆ†ใ‹ใฃใŸๆฐ—ใซใชใฃใฆ็‰‡ใฅใ‘ใกใ‚ƒใ†ใฎใ‚’ใฟใ‚‹ใจใ€ใ€Œใชใ‚“ใ‹ๅคงใ
ใชๆฌ ่ฝใ‚’่ƒŒ่ฒ ใฃใŸใ€ๆฐ—ๅˆ†ใซใชใ‚‹ใฎใงใฏใ€‚

่ฟ‘ไผผๆ–นๆณ•ใจใ—ใฆใฏใ€ใƒ‘ใ‚ฟใƒผใƒณใƒžใƒƒใƒใฎ้–ขๆ•ฐใงใ‚‚ใ€ใƒ‹ใƒฅใƒผใƒฉใƒซใƒใƒƒใƒˆใงใ‚‚ใ€
ไป–ไฝ•ใ‚‰ใ‹ใฎๆ•ฐ้‡ๅŒ–ใงใ‚‚ใชใ‚“ใงใ‚‚ใ‚ใ‚Šใชใ‚ใ‘ใงใ€‚ใงใ€ไบบ้–“ใฏใฉใ†ใ‚„ใฃใฆใ„
ใ‚‹ใฎใ‹ใจใ„ใ†ใ“ใจใงใ€ๅง‹ใ‚ใซๆˆปใ‚‹๏ผŸ(^^;

> ไบบใŒ็Šถๆ…‹ใ‚’่จ˜ๆ†ถใ™ใ‚‹๏ผˆใ‚ใ‚‹ใ‚‚ใฎใ‚’ใ‚ใ‚‹ใŒใพใพใซ่ฆšใˆ่พผใ‚€๏ผ‰ใฎใŒไธๅพ—ๆ„ใฃใฆ
> ใ“ใจ่‡ชไฝ“ใฏใ€ใพใš้–“้•ใ„ใฎใชใ„ไบ‹ๅฎŸใจๆ€ใ„ใพใ™ใ€‚
> ๏ผˆ่จ˜ๅท็š„ใซ่ช็Ÿฅใฎใƒขใƒ‡ใƒซๅŒ–ใ‚’ใ‚„ใ‚‹ใฃใฆใจใใฎๆœ€ใ‚‚ๆœฌ่ณช็š„ใช้›ฃ็‚นใฏใ€ใ“ใ‚Œใ‹ใจใ€‚๏ผ‰

ใ“ใ‚Œใ€ๅผท็ƒˆใซใ‚ใ‚Šใพใ™ใญใ‡ใ€‚็Šถๆ…‹ใจใ„ใ†ใ‹ใ€ใ€Œใ‚ใ‚‹ใ‚‚ใฎใ‚’ใ‚ใ‚‹ใŒใพใพใ€
ใฃใฆๆ–นใŒใ€‚

ใพใŸใ€ๆง‹้€ ็‰ฉใ‚’ใใฎใพใพไฟๆŒใ™ใ‚‹ใฎใŒ่‹ฆๆ‰‹ใฆใฎใ‚‚ใ‚ใ‚Šใใ†ใ€‚ไผ้”ใฎใŸใ‚
ใซใ‚‚ใใฎใพใพใ˜ใ‚ƒๅŠน็އๆ‚ชใ„ใ—ใ€‚ใ ใ‹ใ‚‰ใ€ใƒ‘ใ‚ฟใƒผใƒณใ‚’่ฆ‹ใคใ‘ใฆๅไป˜ใ‘ใฆ่จ˜
ๅทๅŒ–ใ™ใ‚‹ใ€‚

ใ ใ‹ใ‚‰ใ€ๅ•้กŒใจใใฎ่งฃๆณ•ใŒ่จ˜ๅทๅŒ–ใ•ใ‚Œใฆใ„ใฆใ€ใใฎ่จ˜ๅทใซๅฝ“ใฆใฏใพใ‚‹ๅ•
้กŒใŒใ‚ใ‚Œใฐ่งฃใ‘ใ‚‹ใ˜ใ‚ƒใชใ„ใ€ใ ใ‹ใ‚‰่จ˜ๅทใ‚’ใŸใ‚่พผใฟๅŒๆ™‚ใซ่จ˜ๅทใฎๅฝ“ใฆใฏ
ใ‚ใ‚‚ไธŠๆ‰‹ใ„ใ“ใจใ‚„ใ‚ใ†ใฃใฆใฎใŒ SOAR ใจใ‹ใฎ็ซ‹ๅ ด๏ผŸ

# ใงใ‚‚ใ€่จ˜ๅทใฎๅฝ“ใฆใฏใ‚ๅ•้กŒใ‚‚็ซถๅˆ่งฃๆถˆใŒๅฟ…่ฆใงโ€ฆโ€ฆๅง‹ใ‚ใซๆˆปใ‚‹๏ผŸ(^^;

> ใจใ“ใ‚ใŒใ€ใƒฌใ‚ทใƒ”้€šใ‚Šใซ้€ฒใ‚ใ‚‹ใฃใฆใฎใ‚‚ไบบใฏๅพ—ๆ„ใ˜ใ‚ƒใชใ„ใ ใ‚ใ€
> ใจใŠใฃใ—ใ‚ƒใ‚ŠใŸใ„ใ‚“ใงใ™ใ‚ˆใญใ€‚

ใ‚‚ใ†ๅฐ‘ใ—้™ๅฎš็š„ใซใ€่จˆ็ฎ—ใ™ใ‚‹ใฎใฏ่จ“็ทดใ—ใชใ„ใจ้›ฃใ—ใ„ใจใงใ‚‚่จ€ใ„ใพใ™ใ‹ใ€‚

> ใใ‚Œใฏใ€ๆกไปถไป˜ใงใใ†ใ€‚ๆ‰‹้ †ๆŒ‡็คบๆ›ธใŒใ‚ใฃใฆใ‚‚ใใฎ้€šใ‚Šใซใ™ใ‚‹ใฎใฏใ€่‹ฆๆ‰‹ใ€‚
> 
> ใŸใ ใ€ๆ…ฃใ‚ŒใŸใ“ใจใซใคใ„ใฆใฏใ€ๅฎนๆ˜“ใซๆ‰‹้ †ใŒไฝœใ‚Œใฆใ—ใพใ†๏ผˆ่€ƒใˆ่พผใพใชใ„ใงใ‚‚
> ใชใ‚“ใจใงใ‚‚ใงใใ‚‹๏ผ‰ใฃใฆใฎใ‚‚ใ€ไบ‹ๅฎŸใ€‚
> ๏ผƒ ใ ใ‹ใ‚‰ใ€ใ€Œ็Ÿฅ่ญ˜ใŒ้ตใ ใ€ใฃใฆ่ฉฑใ ใฃใŸใ‚“ใ ใ‚ˆใชใใ€‚80ๅนดไปฃใฎ่ช็Ÿฅ็ง‘ๅญฆใฏใ€‚
> ๏ผƒ ๅ˜ใซ่ฆšใˆใŸ่จ˜ๆ†ถใงใฏใชใใฆใ€่บซใซใคใ„ใŸ็Ÿฅ่ญ˜ใ€‚

ๆœช่งฃๆฑบใชๅ•้กŒใŒๆ–ฐใŸใซ่งฃใ‘ใŸใจใใฎๆ–น็ญ–ใจใใฎๅ•้กŒใฎ็ต„ใฟใฟใŸใ„ใชใ‚‚ใฎ
ใงใ—ใ‚‡ใ†ใ‹(Robo-SOAR ใ ใจใ‚ณใƒณใƒ‘ใ‚คใƒซใ—ใกใ‚ƒใ†ใจใ€Œๆ…ฃใ‚Œใ€ใ‚‹ใจใ„ใ†ใ‹ ^^;)ใ€‚
 
> ใ€Œใพใšๅž‹ใ‚’ๅญฆใถใ€ใใ‚Œใ‹ใ‚‰ๅž‹ใ‚’็ ดใ‚‹ใ€ใฃใฆใช่ฉฑใ‚’ใ—ใฆใ„ใ‚‹ไบบใ‚‚ๅฑ…ใพใ™ใญใ‡ใ€‚

ใ†๏ฝžใ‚“ใ€ใ‚„ใถใ‚Œใ‚‹ๅž‹ใชใ‚“ใฆๅคงใ—ใŸๅž‹ใ˜ใ‚ƒใชใ„ใจใ„ใ†ๆ„่ฆ‹ใ‚‚ใ‚ใ‚‹ใงใ™ใ€‚

่‰ฏใ„ๅž‹ใฏใปใผๅ…จใฆใ‚’ๅซใ‚“ใงใ„ใ‚‹ใ€‚ไฝ•ใ‚’ใ—ใฆใ‚‚ใใฎๅž‹ใฎไธญใฎ่ฆ็ด ใ‚’็”จใ„ใ‚‹
ใจไธŠๆ‰‹ใ„ไบ‹ใ„ใใ—ใ€ใใ†ๅ‡บๆฅใ‚‹ใ‚ˆใ†ใซใ™ใ‚‹ไฝ•ใ‹ใ‚’ไธŽใˆใ‚‹ใฎใ‚‚ๅž‹ใจ่จ€ใ„ใพ
ใ—ใ‚‡ใ†ใ‹ใ€‚ใ ใ‹ใ‚‰ใ€ๅž‹ใซๆฝœๅœจใ™ใ‚‹ใ‚‚ใฎใ‚’ๅพ—ใ‚‹ใŸใ‚ใซใ‚‚ๅž‹ใ‚’ๅญฆใถใ€‚

# ๅž‹ใ‚’็ ดใฃใŸใจๆ€ใฃใฆใ‚‚ใ€็ตๅฑ€่กจ็พใŒ้•ใฃใŸใ ใ‘ใ ใฃใŸใจใ‹ใ€‚
# ๅ‰ฃ่ก“ใฎไธ€ๅˆ€ๆต็ณป็ตฑใงใฎใ€Œไธ€ๅˆ€ใฏไธ‡ๅˆ€ใจๅŒ–ใ—ใ€ไธ‡ๅˆ€ใฏไธ€ๅˆ€ใซๅธฐใ™ใ€ใฃใฆ
# ่จ€่‘‰ใซใ‚ใŸใ‚‹ใ‚‚ใฎใ‹ใจใ€‚

> ใ€Œใใ‚“ใชๆ‚ ้•ทใชใ€ใฃใฆใชๆฐ—ใ‚‚ใ—ใฆใ„ใ‚‹ใ‚“ใงใ™ใŒใ€‚

ใ‚„ใถใ‚Œใ‚‹ๅž‹ใฐใ‹ใ‚Šใ„ใใคใ‚‚้›†ใ‚ใฆใใฆใ‚„ใฃใฆใ„ใŸใ‚‰ใ€ใŸใ—ใ‹ใซใ€Œใใ‚“ใช
ๆ‚ ้•ทใชใ€ใจใ„ใ†ๆ„Ÿใ˜ใงใ—ใ‚‡ใ†ใญใ€‚

> > ไบบ้–“็š„ใซใฏใ“ใฎ art ใชใจใ“ใ‚ใฎๅŽŸ็†ใŒ่ฆ‹ใˆใชใใฆใ€
> > ใฉใ“ใ‹ใ‚‰ๆฅใ‚‹ใ‚„ใ‚‰่ฌŽใ ใ—โ€ฆโ€ฆ
> 
> ใ“ใ‚Œใฏ้‡่ฆใช่ฉฑใ ใจๆ€ใ†ใ‚“ใงใ™ใ‚ˆใ€‚
> ใ€Œๆ‰‹ๅ“ใ˜ใ‚ƒใ„ใ‘ใชใ„ใ€ใฃใฆ่จ€ใ„ๆ–นใ‚’ใ—ใฆใ„ใพใ—ใŸใ€‚
> ไฝ•ๆ•…ใใ†ใชใฎใ‹ใŒใ‚ใ‹ใ‚‰ใชใ‹ใฃใŸใ‚‰ใ€ใใ“ใงๅญฆ็ฟ’่€…ใŒใงใใ‚‹ๅฏพๅ‡ฆใฏใ€
> ใจใซใ‹ใใ€Œใใ†ใ™ใ‚‹ใ‚‚ใ‚“ใ ใ€ใจ่ฆšใˆใฆใŠใใ ใ‘ใซใชใฃใฆใ—ใพใ†ใ€‚

ใŸใ ใ€ไธ‹ใฎๆ–นใงใ€Œ่จ€่ชžๅŒ–ใ€ใจใ„ใ†ใ‚ญใƒผใƒฏใƒผใƒ‰ใซใ‚ใฃใŸใ‚ˆใ†ใซ(ๅˆ‡ใฃใกใ‚ƒใฃ
ใŸใ‘ใฉ)ใ€่กจ็พๅ‡บๆฅใ‚‹ใ‚‚ใ‚“ใ˜ใ‚ƒใชใ„ๅ ดๅˆๅ›ฐใฃใกใ‚ƒใ†ใงใ™ใ‚ˆใญใ€‚

ๅ‡บๆฅใ‚‹ๅญฆ็ฟ’่€…ใฎๅ ดๅˆใฏใ€ใใ‚Œใงใ‚‚่‡ชๅˆ†ใงใ„ใ‚ใ„ใ‚่€ƒใˆใฆใ€ใชใœใ€Œใใ†ใ™
ใ‚‹ใ‚‚ใ‚“ใ€ใ‹ๆ‚ฉใ‚“ใงใ€ไธŠๆ‰‹ใ„ไบ‹่กŒใ‘ใฐ่กจ็พๅ‡บๆฅใชใ‹ใฃใŸใ‚‚ใฎใ‚’็ฒๅพ—ๅ‡บๆฅใ‚‹
ใ‚“ใ ใ‘ใ‚Œใฉใ€ๅคงๆฆ‚ใฎๅญฆ็ฟ’่€…ใฏ how-to ใงๆ†ถใˆใฆๅพกไป•่ˆžใ„ใซใชใฃใกใ‚ƒใ†ใ€‚

# ๅ‡บๆฅใ‚‹ๅญฆ็ฟ’่€…ใฃใฆใฎใฏใ€ๅฟ…ใšใ—ใ‚‚้ ญใฎๅ›ž่ปขใŒ้€Ÿใ„ใจใ‹ใ˜ใ‚ƒใชใใฆใ€ๆ„
# ๆฌฒใจใ‹ใ€ใ‚ใจ้€†่ชฌ็š„ใ ใ‘ใ‚ŒใฉใŸใใ•ใ‚“ใ‚ใ‚‹ how-to ใชใ‚“ใžๆ†ถใˆใฆใ‚‰ใ‚“
# ใญใƒผใžใฃใฆใ„ใ†ใ‚‚ใฎใใ•ใ ใฃใŸใ‚Š(ๆฅฝใ‚’ใ™ใ‚‹--่จ˜ๆ†ถใ—ใชใ„ใงใ™ใ‚€--ใŸใ‚
# ใซใฏๅŠชๅŠ›--่€ƒใˆใ‚‹--ใ‚’ๆƒœใ—ใพใชใ„ใ‚ฟใ‚คใƒ—ใจใ„ใ†ใ‹ ^^;)ใ™ใ‚‹ใ‚“ใ ใ‘ใ‚Œใฉใ€‚

> ใ‹ใจใ„ใฃใฆใ€่ฉณ็ดฐใซๆ•™ใˆ่พผใ‚€ใฎใŒใ„ใ„ใจใ‚‚้™ใ‚‰ใชใ„ใฃใฆใฎใ‚‚ใ‚ใ‚Šใพใ™ใญใ€‚
> ๏ผˆๆฐ—ๅˆ†ใงๅˆ†ใ‹ใ‚‹ใจใ“ใ‚ใ‚’ใใ‚ŒไปฅไธŠ่ค‡้›‘ใซใ—ใฆใ‚‚ใ‚ใพใ‚Šๆ„ๅ‘ณใŒใชใ„ใ€‚๏ผ‰

ใƒ—ใƒญใ‚ฐใƒฉใƒžใฎๆ‚ชใ„็™–ใ€‚ๅ…จใฆใ‚’ๆ•™ใˆใŸใŒใ‚‹ใ€‚(^^;

--
    ๆˆ็”ฐ ้š†่ˆˆ ๏ผ  ใ‚จใƒผใƒปใ‚ขใ‚คใƒปใ‚ฝใƒ•ใƒˆๆ ชๅผไผš็คพใ‚ฝใƒชใƒฅใƒผใ‚ทใƒฅใƒณ้–‹็™บ้ƒจ
    E-mail takaoki@aisoft.co.jp
    ใ€Žๅๅˆ†้–“ใงๆฑบๆ–ญใ—ใ€็Ÿญใ„็†็”ฑใ‚’ๆทปใˆใ‚ˆใ€‚ใ€
Technical Details
Message-ID: <a4ss5h$31g$1@nwall1.odn.ne.jp>
Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.media.kyoto-u.ac.jp!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>

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 22:45:06 PST
Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.media.kyoto-u.ac.jp!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: Tue, 19 Feb 2002 06:42:57 +0000 (UTC)
Organization: odn.ne.jp
Lines: 112
Message-ID: <a4ss5h$31g$1@nwall1.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>
NNTP-Posting-Host: epsonfw3.epson.co.jp
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-2022-JP
X-Trace: nwall1.odn.ne.jp 1014100977 3120 210.169.132.115 (19 Feb 2002 06:42:57 GMT)
X-Complaints-To: news@odn.ad.jp
NNTP-Posting-Date: Tue, 19 Feb 2002 06:42:57 +0000 (UTC)
X-Newsreader: mnews [version 1.22] 1999-12/19(Sun)
X-Forwarded: by - (DeleGate/7.3.5)