[B! formal.*][design] oanusã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

oanus id:oanus

formal.*ã¨designã«é–¢ã™ã‚‹oanusã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

Wikiå‡¦ç†ç³»ã‚’ä½œã‚‹å‰ã«çŸ¥ã‚‹ã¹ãã“ã¨ï¼è€ƒãˆã‚‹ã¹ãã“ã¨ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
Wikiæ§‹æ–‡ï¼ˆWikiè¨˜æ³•ã®ãƒ«ãƒ¼ãƒ«ï¼‰ã¯å±±ã«ã‚ˆã†ã«ã‚¤ãƒƒãƒ‘ã‚¤ã‚ã‚Šã¾ã™ã€‚ ã€Œæ–°ãŸã«ã‚‚ã†1ã¤æ§‹æ–‡ã‚’ä»˜ã‘åŠ ãˆã¦ã‚‚åˆ¥ã«ã„ã„ã ã‚ã†ã€ã¨è€ƒãˆã‚‹ã‹ã€ã€Œã“ã‚Œä»¥ä¸Šæ–°ã—ã„æ§‹æ–‡ã‚’å¢—ã‚„ã—ã¦ã¯ã„ã‘ãªã„ã€ã¨è€ƒãˆã‚‹ã‹ã¯äººã«ã‚ˆã‚‹ã§ã—ã‚‡ã†ã€‚åƒ•ã¯ã€ã€Œé›†ç´„ãƒ»çµ±åˆã—ã¦Wikiæ§‹æ–‡ã‚’æ¸›ã‚‰ã™ã¹ãã ã€ã¨è€ƒãˆã¦ã„ã¾ã™ã€‚ãã‚Œã§ã€æ¨™æº–çš„ãªWikiæ§‹æ–‡ã¨ã—ã¦WikiCreole 1.0ã‚’æŽ¡ç”¨ã—ã€Kuwataã•ã‚“ãŒCreoleãƒ‘ãƒ¼ã‚¶ãƒ¼ã‚’å®Ÿè£…ã—ã¦ã„ã¾ã™ã€‚ ã¨ã“ã‚ãŒã€WikiCreoleã®æ§‹æ–‡è¨˜è¿°ãŒæ›–æ˜§éŽãŽã¦ã‚µãƒƒãƒ‘ãƒªã‚ã‹ã‚‰ã‚“ã®ã§ã™ã€‚Kuwataã•ã‚“ã‚‚ã‚¤ãƒ©ã‚¤ãƒ©ã—ã¦ã„ã‚‹æ§˜åã€‚ã“ã®ã‚ˆã†ãªçŠ¶æ³ã¯WikiCreoleã«é™ã‚Šã¾ã›ã‚“ã€‚ãŸã„ã¦ã„ã®Wikiæ§‹æ–‡ã®è¨˜è¿°ã¯ã‚¤ã‚¤ã‚«ã‚²ãƒ³ã§ã™ -- ã„ã‚„ã£ã€ä»•æ§˜æ›¸ãŒã‚ã‚‹ã ã‘ã§ãƒžã‚·ãªã®ã§ã™ã€‚ã‚¤ã‚¤ã‚«ã‚²ãƒ³ãªä»•æ§˜ã«é©åˆã—ãŸï¼ˆconformantãªï¼‰å‡¦ç†ç³»ã‚’ä½œã‚Œã¨è¨€ã‚ã‚Œã¦ã‚‚ãã‚Šã‚ƒå›°ã‚Šã¾ã™ã‚ãªã€‚ WikiCreoleä»•æ§˜ã®æ›–æ˜§ã•ã¯ä»¥å‰ã«ã‚‚è©±é¡Œ
oanus 2010/09/26
wiki

design

formal.*
ãƒªãƒ³ã‚¯
ã•ã‚‰ã«åˆ†ã‹ã£ã¦ãŠããŸã„ãƒˆãƒ©ãƒ³ã‚¸ã‚¹ã‚¿ã®ç¨®é¡ž âˆ’ ï¼ IT MONOist
çµ„ã¿è¾¼ã¿ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ï¼ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢é–‹ç™ºã«ãŠã‘ã‚‹æŠ€è¡“åŠ›ã®å‘ä¸Šã€æ”¹å–„ãƒ»æœ€é©åŒ–ãªã©ã‚’å¹…åºƒãæ”¯æ´ã™ã‚‹â€œçµ„ã¿è¾¼ã¿é–‹ç™ºã‚¨ã‚ã‚¹ãƒ‘ãƒ¼ãƒˆâ€ã®ãŸã‚ã®æƒ…å ±ãƒ•ã‚©ãƒ¼ãƒ©ãƒ
oanus 2009/01/25
formal.*

design
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒ ä»•æ§˜è¨˜è¿°è«–
æœ€çµ‚æ›´æ–°æ—¥ï¼š2005/04/08 â– æœ¬ã‚µã‚¤ãƒˆã«ã¤ã„ã¦ æ›´æ–°æƒ…å ± æœ¬ã‚µã‚¤ãƒˆã®èª¬æ˜Ž ã‚µã‚¤ãƒˆãƒžãƒƒãƒ— ãŠå•åˆã› â– ã‚³ãƒ³ãƒ†ãƒ³ãƒ„ ç›®æ¬¡ä¸€è¦§ â– è³ªå•ãƒ»æ„è¦‹ æŽ²ç¤ºæ¿ â– è³‡æ–™ VDM-SLãƒ•ã‚¡ã‚¤ãƒ« æ•™ç§‘æ›¸ä¸å›³ â– ãƒªãƒ³ã‚¯é›† é–¢é€£ãƒ›ãƒ¼ãƒ ãƒšãƒ¼ã‚¸ ãƒ„ãƒ¼ãƒ« â– ãã®ä»– èª¤æ¤è¨‚æ£ ã‚¢ãƒ³ã‚±ãƒ¼ãƒˆ [email protected] CopyrightÂ© 2002-2005 webmaster Xiaojing Zhang All Rights Reserved.
oanus 2009/01/25
formal.*

design
ãƒªãƒ³ã‚¯
ãƒ‡ãƒ¥ã‚¢ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã‚¨ã‚¯ã‚½ã‚·ã‚¹ãƒˆã‚²ãƒ¼ãƒ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
ã“ã“ä½•å¹´ã‹è€ƒãˆã¦ã„ã‚‹ãƒ†ãƒ¼ãƒžã®ã²ã¨ã¤ãŒã€Œã‚«ã‚¸ãƒ¥ã‚¢ãƒ«ãªãƒ•ã‚©ãƒ¼ãƒžãƒ«ãƒ¡ã‚½ãƒƒãƒ‰ï¼ˆèªžç¾©çŸ›ç›¾ã¯æ‰¿çŸ¥ï¼‰ã€ãªã‚“ã§ã™ã‚ˆã€‚ä¸€é€£ã®{ãƒ†ã‚¹ãƒˆ(Test), ä»•æ§˜(Specification), æŒ¯ã‚‹èˆžã„(Behaviour/Behavior)}é§†å‹•é–‹ç™ºãªã‚“ã¦å‹•ãã¯ã€ã‚«ã‚¸ãƒ¥ã‚¢ãƒ«ãªãƒ•ã‚©ãƒ¼ãƒžãƒ«ãƒ¡ã‚½ãƒƒãƒ‰ãªã‚“ã ã¨åƒ•ã¯æ‰ãˆã¦ã„ã‚‹ã‚ã‘ã§ã™ãŒã€ã‚‚ã†ä¸€æ©è¸ã¿è¾¼ã‚“ã§æ¬²ã—ã„æ„Ÿã˜ã€éš”é´æŽ»ç—’ã®ä¸æº€ã‚‚ã‚ã‚Šã¾ã™ã€‚ ãã“ã§ãƒ¡ã‚¤ãƒ¤ãƒ¼ã«æˆ»ã£ã¦ã€Œå¥‘ç´„é§†å‹•ã€ã¨ã‹ã€ã‚ã‚‹ã„ã¯ã€Œæ¤œè¨¼é§†å‹•ã€ãªã‚“ã¦è¨€è‘‰ã‚‚ä½¿ã£ã¦ã¿ãŸã‘ã©ã€ãƒŠãƒ³ãƒˆã‚«é§†å‹•ã«ã¯é£Ÿå‚·æ°—å‘³ã€‚"Offencive Programming"ã¯ã€ã€Œæ”»æ’ƒçš„ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã¨è¨³ã•ã‚Œã‚‹ã¨çœŸæ„ãŒã¾ã£ãŸãä¼ã‚ã‚‰ãªã„ã—ã€ã€ã€ ç´†ä½™æ›²æŠ˜ã®æœ«ã€ã€Œãƒ‡ãƒ¥ã‚¢ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã£ã¦è¨€è‘‰ã‚’ä½¿ã†ã“ã¨ã«ï¼ˆæš«å®šçš„ã ã‘ã©ï¼‰æ±ºã‚ã¾ã—ãŸã€‚ãã—ã¦ã‚¨ã‚¯ã‚½ã‚·ã‚¹ãƒˆã‚²ãƒ¼ãƒ ã¯ã€ãƒ‡ãƒ¥ã‚¢ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’èª¬æ˜Žã™ã‚‹ãŸã‚ã«æ¡ˆå‡ºã—ãŸâ€œæ¥µç«¯åŒ–ã—ãŸæ¯”å–©â€ã§ã™ã€‚ å†…å®¹ï¼š è¨è¨ˆï¼ˆä»•
oanus 2009/01/25
constraint.*

programming

interface-oriented

formal.*

design
ãƒªãƒ³ã‚¯
1

ãŠçŸ¥ã‚‰ã›

ã‚‚ã£ã¨èªã‚€

å…¬å¼Twitter

@hatebu
æœ€æ–°ã®äººæ°—ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®é…ä¿¡

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

jæ¬¡ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kå‰ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

lã‚ã¨ã§èªã‚€

eã‚³ãƒ¡ãƒ³ãƒˆä¸€è¦§ã‚’é–‹ã

oãƒšãƒ¼ã‚¸ã‚’é–‹ã

è¨å®šã‚’å¤‰æ›´ã—ã¾ã—ãŸx

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (4)

formal.*ã¨designã«é–¢ã™ã‚‹oanusã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

ãŠçŸ¥ã‚‰ã›

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´2æœˆï¼‰

æ—§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®Chromeæ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã®ãŠçŸ¥ã‚‰ã›ã¨æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã”åˆ©ç”¨ã®ãŠé¡˜ã„

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´3æœˆç¬¬1é€±ï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (4)

formal.*ã¨designã«é–¢ã™ã‚‹oanusã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

Wikiå‡¦ç†ç³»ã‚’ä½œã‚‹å‰ã«çŸ¥ã‚‹ã¹ãã“ã¨ï¼è€ƒãˆã‚‹ã¹ãã“ã¨ - æªœå±±æ­£å¹¸ã®ã‚­ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)

ã•ã‚‰ã«åˆ†ã‹ã£ã¦ãŠããŸã„ãƒˆãƒ©ãƒ³ã‚¸ã‚¹ã‚¿ã®ç¨®é¡ž âˆ’ ï¼ IT MONOist

ãƒ—ãƒ­ã‚°ãƒ©ãƒ ä»•æ§˜è¨˜è¿°è«–

ãƒ‡ãƒ¥ã‚¢ãƒ«ãƒ—ãƒ­ã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã‚¨ã‚¯ã‚½ã‚·ã‚¹ãƒˆã‚²ãƒ¼ãƒ - æªœå±±æ­£å¹¸ã®ã‚­ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)

ãŠçŸ¥ã‚‰ã›

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2025å¹´2æœˆï¼‰

æ—§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®Chromeæ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã®ãŠçŸ¥ã‚‰ã›ã¨æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã”åˆ©ç”¨ã®ãŠé¡˜ã„

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2025å¹´3æœˆç¬¬1é€±ï¼‰

å…¬å¼Twitter

ã‚­ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (4)

formal.*ã¨designã«é–¢ã™ã‚‹oanusã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

Wikiå‡¦ç†ç³»ã‚’ä½œã‚‹å‰ã«çŸ¥ã‚‹ã¹ãã“ã¨ï¼è€ƒãˆã‚‹ã¹ãã“ã¨ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)

ã•ã‚‰ã«åˆ†ã‹ã£ã¦ãŠããŸã„ãƒˆãƒ©ãƒ³ã‚¸ã‚¹ã‚¿ã®ç¨®é¡ž âˆ’ ï¼ IT MONOist

ãƒ—ãƒã‚°ãƒ©ãƒ ä»•æ§˜è¨˜è¿°è«–

ãƒ‡ãƒ¥ã‚¢ãƒ«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã‚¨ã‚¯ã‚½ã‚·ã‚¹ãƒˆã‚²ãƒ¼ãƒ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)

ãŠçŸ¥ã‚‰ã›

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´2æœˆï¼‰

æ—§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®Chromeæ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã®ãŠçŸ¥ã‚‰ã›ã¨æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã”åˆ©ç”¨ã®ãŠé¡˜ã„

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´3æœˆç¬¬1é€±ï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹