Article View: fj.sci.cognitive
Article #84Re: Dijkstra approach to programming
From: Narita Takaoki
Date: Tue, 19 Feb 2002 06:42
Date: Tue, 19 Feb 2002 06:42
112 lines
6404 bytes
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!naritaReferences:
<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)