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

oanus id:oanus

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

${{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}}

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

formal.*
ãƒªãƒ³ã‚¯
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.*
ãƒªãƒ³ã‚¯
BNFã€EBNFã€ABNFã€ã¾ãƒ¼æ£è¦è¡¨ç¾ã ãª - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜
BNFã¨ã‹æ£è¦è¡¨ç¾ã®è©±ã‚’ã€‚ ãƒŸãƒ‹ãƒžãƒ ãªBNFã¨æ£è¦è¡¨ç¾ BNFï¼ˆãƒãƒƒã‚«ã‚¹ï¼ãƒŠã‚¦ã‚¢è¨˜æ³•ï¼‰ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®æ§‹æ–‡è¨˜è¿°ã«ã‚ˆãä½¿ã‚ã‚Œã‚‹ãƒ¡ã‚¿æ§‹æ–‡ã§ã™ã€‚ã‚‚ã¨ã‚‚ã¨ã¯ã€ã€Œ?ã€ï¼ˆçœç•¥å¯èƒ½ï¼‰ã‚„ã€Œ*ã€ï¼ˆä»»æ„å›žã®ç¹°ã‚Šè¿”ã—ï¼‰ã®ã‚ˆã†ãªè¨˜å·ã¯ä½¿ã‚ãªã‹ã£ãŸã‚ˆã†ã§ã™ã€‚ç¾åœ¨ã®æ£è¦è¡¨ç¾ã§æ¨™æº–çš„ã«ä½¿ã‚ã‚Œã‚‹ã€Œ?ã€ã€Œ*ã€ã€Œ+ã€ã¯ã€ãªãã¦ã‚‚æ¬¡ã®ã‚ˆã†ã«å®šç¾©å¯èƒ½ãªã®ã§ã™ã€‚ï¼ˆä»¥ä¸‹ã§ã€EMPTYã¯ãã“ã«ä½•ã‚‚ãªã„ã“ã¨ã§ã™ã€‚ã»ã‚“ã¨ã«ä½•ã‚‚ç„¡ã„ã¨åˆ†ã‹ã‚Šã«ãã„ã®ã§ç›®å°ã«EMPTYã‚’ä½¿ã„ã¾ã™ã€‚ï¼‰ // X ã¯ A? X ::= EMPTY | A // Y ã¯ A* Y ::= EMPTY | A Y // Z ã¯ A+ Z ::= A | A Z ã€Œ|ã€ãŒã‚ã‚Œã°ã€Œ?ã€ã€Œ*ã€ã€Œ+ã€ã‚’å®šç¾©ã§ãã¾ã™ãŒã€ãã®ä»£ã‚ã‚Šã«å†å¸°çš„ãªå®šç¾©ã«ãªã‚Šã¾ã™ã€‚ ã€Œ::=ã€ã®å·¦ã«åŒã˜è¨˜å·ãŒè¤‡æ•°å›žç™»å ´ã™ã‚‹ã®ã‚’è¨±ã™ã¨ã€ã€Œ|ã€ã•ãˆã‚‚ä¸è¦ã«ãªã‚Šã¾ã™ã€‚ // X ã¯ A? X ::=
oanus 2010/02/02
formal.*
ãƒªãƒ³ã‚¯
ç§‘å¦ãƒ©ã‚¤ã‚¿ãƒ¼ã®ãŠé‡‘ã®è©±ï¼’ - æ¾æ°¸å’Œç´€blog
åŒ—æ‘é›„ä¸€ã•ã‚“ã®è©±ã ã‘æ›¸ã„ã¦è‡ªåˆ†ã®ã“ã¨ã‚’æ›¸ã‹ãªã„ã®ã¯ã€ãªã‚“ã ã‹å‘æ€¯ãªæ°—ãŒã™ã‚‹ã€‚ãã‚Œã«ã€ã€Œå›½å®¶å®˜åƒšãŒã‚µã‚¤ã‚¨ãƒ³ã‚¹ãƒ©ã‚¤ã‚¿ãƒ¼ã«ãªã‚Œã°ã„ã„ã€ã§æ€ã„å‡ºã—ãŸã“ã¨ãŒã‚ã£ãŸã®ã§ã€ã¡ã‚‡ã£ã¨æ›¸ã„ã¦ã¿ã‚‹ã€‚ ç§ã®åŽå…¥ãŒæ–°èžè¨˜è€…æ™‚ä»£ã®å¹´åŽã‚’åˆã‚ã¦è¶…ãˆãŸã®ã¯ã€ãƒ•ãƒªãƒ¼ãƒ©ã‚¤ã‚¿ãƒ¼ã«ãªã£ã¦ï¼™å¹´ç›®ã®æ˜¨å¹´ã ã€‚ã¨ã„ã†ã“ã¨ã¯ã€åŒæœŸã§æ–°èžè¨˜è€…ã«ãªã£ã¦ã„ã‚‹äººãŸã¡ï¼ˆå¤šããŒãƒ‡ã‚¹ã‚¯ã«ãªã£ã¦ã„ã‚‹ï¼‰ã¨ç¾æ™‚ç‚¹ã§æ¯”è¼ƒã™ã‚‹ã¨ã€ã‚„ã£ã±ã‚ŠåŽå…¥ã¯å¤§å¹…ã«å°‘ãªã„ã€‚ å¿µã®ãŸã‚è¨€ã£ã¦ãŠãã¾ã™ãŒã€ç§ã¯å®‰çµ¦æ–™ã§æœ‰åãªæ¯Žæ—¥æ–°èžã®å‡ºèº«ã€‚æœæ—¥æ–°èžã®è¨˜è€…ã¨æ¯”ã¹ãŸã‚‰ã€ã†ãƒ¼ã‚“ã€æƒ¨ã‚ã™ãŽã‚‹ã€‚ ã§ã‚‚ã€åŒ—æ‘ã•ã‚“ã‚ˆã‚Šã¯æ¥½ã ã€‚å¾—æ„åˆ†é‡ŽãŒã€Œé£Ÿã€ãªã®ã§ã€åŽŸç¨¿ã‚„è¬›æ¼”ä¾é ¼ãŒå¤šã„ã€‚ä¸–ã®ä¸ã¯ã€Œé£Ÿã®å®‰å…¨ã€ãƒãƒ–ãƒ«ã ã£ãŸã®ã§ã€ãƒ©ã‚¤ã‚¿ãƒ¼ã‚‚å°‘ã—æ©æµã«ã‚ãšã‹ã‚ŒãŸã€‚ã¡ãªã¿ã«ã€ä»Šå¹´ã®å¹´åŽã¯ãŠãã‚‰ãæ˜¨å¹´ã‚ˆã‚Šã‚‚ä¸‹ãŒã‚‹ã€‚é£Ÿã®å®‰å…¨ãƒãƒ–ãƒ«ã‚‚ã¯ã˜ã‘ãŸã‚ˆã†ã ã€‚ ã§ã€ç§ã‚‚ã€Œå›½å®¶å®˜åƒšãŒã‚µã‚¤ã‚¨ãƒ³ã‚¹ãƒ©ã‚¤ã‚¿ãƒ¼ã«ãªã£ã¦ç§‘å¦ã‚³ãƒŸãƒ¥ãƒ‹ã‚±ãƒ¼ã‚·ãƒ§ãƒ³ã‚‚ã‚„ã‚Œã°
oanus 2009/05/24
> åŒã˜å…¬ã§ã‚‚ (ç•¥) å‘¼ã‚“ã§ãã‚ŒãŸã‚Šã€Œäºˆç®—ãŒãªã„ã®ã§ã€ä»Šå›žã¯è¦‹é€ã‚Šã¾ã™ã€ã¨ãªã£ãŸã‚Š / å…¬æ£ã ã‘ã©ä¸å½“ãªä½Žè³ƒé‡‘ã§æ¸ˆã¾ã•ã‚Œã¡ã‚ƒã†ã®ã‚‚å•é¡Œã ã‘ã©ï¼Œå ´å½“ãŸã‚Šçš„ãªå¯¾å‡¦ã ã‘ã§æ¸ˆã¾ã›ã¡ã‚ƒã†ã®ã‚‚è¡Œæ”¿ã¨ã—ã¦å•é¡Œã®ã‚ˆãƒ¼ãªï¼Ž

business_model

è¡Œæ”¿

formal.*

journalism
ãƒªãƒ³ã‚¯
è‡ªç„¶ç§‘å¦ã¨å‘ªè¡“ã®ã‚¤ãƒãƒãƒ³å¤§åˆ‡ãªé•ã„ - åœ°ä¸‹ç”Ÿæ´»è€…ã®æ‰‹éŠã³
ï¼¡ï¼‰åƒ•ãŸã¡ã¯ã‚ã‚Šã‚‚ã—ãªã„ã‚‚ã®ã‚’è¦‹ã‚‹ ã€å‘ªè¡“ã¯å…¨é¢çš„ãªå› æžœæ€§ã‚’ãã®å…¬æº–ã¨ã™ã‚‹ã€‘ãƒã‚¿ã®ç¶šãã¨ã„ã†ã‹è£œè¶³ã¨ã„ã†ã‹ã€‚ åƒ•ãŸã¡ã¯ãƒ©ãƒ³ãƒ€ãƒ ãªãƒ‘ã‚¿ãƒ¼ãƒ³ã®ä¸ã«ä½•ã‚‰ã‹ã®æ„å‘³ã‚’è¦‹å‡ºã™ã‚ˆã†ãªå¿ƒæ€§ã‚’ç”Ÿã¾ã‚Œã¤ãæŒã£ã¦ã„ã‚‹ã‚ˆã†ã§ã™ã«ã‚ƒã€‚ã‚¤ãƒ³ãƒã‚ã‚„ãƒ—ãƒªãƒ³ãƒˆãƒŸã‚¹ã§ãªã„å¿ƒéœŠå†™çœŸã¨ã„ã†ã®ã¯ã€ã ã„ãŸã„ãƒ©ãƒ³ãƒ€ãƒ ãªãƒ‘ã‚¿ãƒ¼ãƒ³ã«é¡”ã‚’ç™ºè¦‹ã—ã¦ã—ã¾ã†ã‚‚ã®ã§ã™ã‚ˆã«ã‚ƒã€‚ã€å¾Œã‹ã‚‰ã€‘æ„å‘³ã‚’è¦‹å‡ºã™ã¨ã„ã†ã“ã¨ã«ã‚ƒã‚“ãã€‚ å¿ƒéœŠå†™çœŸã®ã»ã‹ã«ã€å…¸åž‹çš„ãªã®ãŒä¾‹ãˆã°ã“ã‚Œ ç¬¬2æ¬¡ä¸–ç•Œå¤§æˆ¦ã§ç©ºè¥²ã‚’å—ã‘ãŸã¨ãã®ãƒãƒ³ãƒ‰ãƒ³å¸‚æ°‘ã®åå¿œãªã©æ´å²äº‹ä¾‹ã«ã‚‚ã€ã“ã®å‚¾å‘ã¯è¦‹ã‚‰ã‚Œã‚‹ã€‚æˆ¦å¾Œã®çµ±è¨ˆè§£æžã§ã¯ç©ºè¥²ã¯éƒ½å¸‚å…¨ä½“ã«ãƒ©ãƒ³ãƒ€ãƒ ã«è¡Œã‚ã‚ŒãŸã“ã¨ãŒæ˜Žç¢ºã«ç¤ºã•ã‚Œã¦ã„ã‚‹ãŒã€äººã€…ã¯éƒ½å¸‚ã®ç‰¹å®šã®å ´æ‰€ãŒç‹™ã‚ã‚Œã€åˆ¥ã®å ´æ‰€ã¯ç‹™ã‚ã‚Œã¦ã„ãªã„ã¨ç¢ºä¿¡ã—ã¦ã„ãŸã€‚ç‹™ã‚ã‚Œã¦ã„ãªã„å ´æ‰€ã«ä½ã‚€äººã€…ã¯ã€ãƒŠãƒã®ã‚·ãƒ³ãƒ‘ã ã¨ç–‘ã‚ã‚Œã€ç”Ÿæ´»ã‚„å®‰å…¨ã‚’è„…ã‹ã•ã‚ŒãŸã€‚ãã—ã¦ã€ç‹™ã‚ã‚Œã¦ã„ã‚‹ã¨æ€ã‚ã‚Œã‚‹åœ°åŒºã‹ã‚‰äººã€…ã¯ã€å®Ÿéš›ã«ç³»çµ±çš„ç©ºè¥²ã§ã¯ãªã„ã®ã«
oanus 2009/05/02
ç§‘å¦ã£ã¦ãªã‚“ã ã‚ãƒ¼

formal.*

logic

statistics

umwelt
ãƒªãƒ³ã‚¯
ã€Œè¨ˆç®—ç§‘å¦ï¼ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢å·¥å¦ã€ ã‚¤ãƒ³ãƒ‡ãƒƒã‚¯ã‚¹
æ›´æ–°çŠ¶æ³ãªã©ã¯ã€ã“ã¡ã‚‰ ï¼ˆHatena::Diary ã€Œæªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ã€ï¼‰ã§ã”ç¢ºèªãã ã•ã„ã€‚ ã€Œã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ã€ã®RSSã¯ http://d.hatena.ne.jp/m-hiyama/rss ã‹ã‚‰å–å¾— ã§ãã¾ã™ã€‚ ã“ã®ã‚¤ãƒ³ãƒ‡ãƒƒã‚¯ã‚¹ã®ä¸¦ã³é †ã¯ã€ã‚¢ãƒƒãƒ—ãƒãƒ¼ãƒ‰ã•ã‚ŒãŸæ™‚é–“ã®é †ã§ã™ã€‚æ–°ã—ã„è¨˜ äº‹ã¯æœ€å¾Œã«è¿½åŠ ã•ã‚Œã¾ã™ã€‚ ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢å·¥å¦ã«ã¤ã„ã¦æ€ã†ã“ã¨ ï¼ˆä»–ã‚µã‚¤ãƒˆï¼‰ ETBãƒ€ã‚¤ã‚¢ã‚°ãƒ©ãƒ Janusï¼ˆãƒ¤ãƒŒã‚¹ï¼‰ã®ç´¹ä»‹ -- stdin/stdoutã‹ã‚‰ã®å…¥é–€ åŒé¢ç¥žJanus é«˜æ¬¡å…ƒã®ãƒ‘ã‚¤ãƒ”ãƒ³ã‚° ãƒ‘ã‚¤ãƒ—ï¼†ãƒ•ã‚£ãƒ«ã‚¿ãƒ¼ã®æ€ã„å‡º ãƒ¡ã‚½ãƒƒãƒ‰å‘¼ã³å‡ºã—ä¸€å…ƒè«– Janusï¼ˆãƒ¤ãƒŒã‚¹ï¼‰ã®ç´¹ä»‹ 2 -- ãƒ•ã‚£ãƒ«ã‚¿ãƒ¼ã‹ã‚‰ã‚³ãƒ³ãƒãƒãƒ³ãƒˆã¸ Janusã«ã¤ã„ã¦é›‘å¤šãªã“ã¨ Janusã®ãªã‹ã®è¨ˆç®—ç³» å‹•çš„ç™ºå±• Janusãƒ‘ã‚¤ãƒ—ãƒ©ã‚¤ãƒ³ã®ä¾‹ åˆºæ¿€åå¿œç³» é·ç§»ç³»ã¨é·ç§»ç¿»è¨³ç³» ã‚¢ã‚¯ã‚»ãƒƒã‚µã«ã¤ã„ã¦ ãã®2 ï¼ˆä»–ã‚µã‚¤ãƒˆï¼‰ ã€Œå½¢å¼çš„ã€ã¨ã¯
oanus 2009/03/14
computing

formal.*

functional.*
ãƒªãƒ³ã‚¯
å…¬æ–‡æ›¸ã‚’èªã‚€ - æ¾æµ¦æ™‹ä¹Ÿã®L/D
å®‡å®™é–‹ç™ºã¨ãƒ“ã‚¸ãƒã‚¹ã¨æ°‘ä¸»ä¸»ç¾©(moderntimes) å®‡å®™é–‹ç™ºã¨ç¤¾ä¼šã¨ã®é–¢ä¿‚ã‚’åˆ†æžã€‚ æ¾æµ¦æ™‹ä¹Ÿã¨é¹¿é‡Ž å¸ã®â€œèªæ›¸ãƒŽãƒ¼ãƒˆâ€(è£³è¯æˆ¿) è£³è¯æˆ¿ãƒ¡ãƒ¼ãƒ«ãƒžã‚¬ã‚¸ãƒ³ã§ã®æ›¸è©•é€£è¼‰ã€‚ æ—¥çµŒã‚¯ãƒã‚¹ãƒ†ãƒƒã‚¯è‘—è€…æ¤œç´¢ã€€æ¾æµ¦æ™‹ä¹Ÿ æ—¥çµŒBPã®åª’ä½“ã«æ›¸ã„ãŸ2003å¹´ä»¥é™ã«æ›¸ã„ãŸæŠ€è¡“çš„è¨˜äº‹ãŒèªã‚ã¾ã™ã€‚å…¨éƒ¨ã§ã¯ã‚ã‚Šã¾ã›ã‚“ã€‚ä¸€éƒ¨ã¯åŒç¤¾ã®ã‚¦ã‚§ãƒ–åª’ä½“ãƒªãƒ‹ãƒ¥ãƒ¼ã‚¢ãƒ«ã§æ¶ˆãˆãŸã¾ã¾ã«ãªã£ã¦ã„ã¾ã™ã€‚ æ—¥çµŒãƒ“ã‚¸ãƒã‚¹é›»åç‰ˆãƒ»è‘—è€…ãƒšãƒ¼ã‚¸ 2015å¹´ä»¥é™ã«æ—¥çµŒãƒ“ã‚¸ãƒã‚¹é›»åç‰ˆã«æ›¸ã„ãŸè¨˜äº‹ã¯ã€ã“ã“ã‹ã‚‰èªã‚€ã“ã¨ãŒã§ãã¾ã™ã€‚ ä»‹è·ç”Ÿæ´»æ•—æˆ¦è¨˜ 2017å¹´ã«é€£è¼‰ã—ãŸã€èªçŸ¥ç—‡ã‚’ç™ºç—‡ã—ãŸæ¯80æ³ã‚’è‡ªå®…ä»‹è·ã—ãŸè¨˜éŒ²ã§ã™ã€‚ç¾åœ¨é€£è¼‰ã¯ã€NPOæ³•äººã€Œã¨ãªã‚Šã®ã‹ã„ã”ã€ä»£è¡¨ã®å·å†…æ½¤ã•ã‚“ãŒå—ã‘ç¶™ã„ã§ã„ã¾ã™ã€‚ã“ã“ã‹ã‚‰è‘—æ›¸ã€Œæ¯ã•ã‚“ã€ã”ã‚ã‚“ã€‚ã€ãŒç”Ÿã¾ã‚Œã¾ã—ãŸã€‚ æ¾æµ¦æ™‹ä¹Ÿã®ã€Œãƒ¢ãƒ“ãƒªãƒ†ã‚£ãƒ“ã‚¸ãƒ§ãƒ³ã€ 2008å¹´ã‹ã‚‰2011å¹´ã«ã‹ã‘ã¦ã€ŒWireless Wireã€ã§è¡Œã£ãŸä¹—ã‚Šç‰©ã«é–¢ã™ã‚‹é€£
oanus 2009/03/10
è¡Œæ”¿

formal.*
ãƒªãƒ³ã‚¯
The Lambda Calculator
The Lambda Calculator web site has moved to http://www.nyu.edu/projects/champollion/lambda.
oanus 2009/02/18
software

linguistics

functional.*

formal.*

computing
ãƒªãƒ³ã‚¯
ã€Œå½¢å¼è¨€èªžç†è«–ã€ ã‚¤ãƒ³ãƒ‡ãƒƒã‚¯ã‚¹
æ›´æ–°çŠ¶æ³ãªã©ã¯ã€ã“ã¡ã‚‰ ï¼ˆHatena::Diary ã€Œæªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ã€ï¼‰ã§ã”ç¢ºèªãã ã•ã„ã€‚ ã€Œã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ã€ã®RSSã¯ http://d.hatena.ne.jp/m-hiyama/rss ã‹ã‚‰å–å¾— ã§ãã¾ã™ã€‚ ã“ã®ã‚¤ãƒ³ãƒ‡ãƒƒã‚¯ã‚¹ã®ä¸¦ã³é †ã¯ã€ã‚¢ãƒƒãƒ—ãƒãƒ¼ãƒ‰ã•ã‚ŒãŸæ™‚é–“ã®é †ã§ã™ã€‚æ–°ã—ã„è¨˜ äº‹ã¯æœ€å¾Œã«è¿½åŠ ã•ã‚Œã¾ã™ã€‚ å½¢å¼è¨€èªžç†è«–ã¸ã®ç–‘å•ãªã© å†å¸°ä»£å…¥ç³» 1 å†å¸°ä»£å…¥ç³» 2 ã€Œå½¢å¼çš„ã€ã¨ã¯ä½•ã ã‚ã† é †åºè¨€èªž å±žæ€§ã®ãŸã‚ã®æ£è¦è¡¨ç¾ ã€Œæ£è¦ï¼ˆregularï¼‰ã€ã¨ã¯ä½•ãªã‚“ã ã€Œæ£è¦ï¼ˆregularï¼‰ã€ã¨ã¯ä½•ãªã‚“ã 2 æ£è¦æ§‹é€ ã€Œæ£è¦ï¼ˆregularï¼‰ã€ã¨ã¯ä½•ãªã‚“ã 3 è£œè¶³ã€å®Ÿä¾‹ãªã© Kleeneä»£æ•°ã¨ãã®å‘¨è¾º å„ç¨®æ£è¦è¡¨ç¾ã®ï¼ˆä»®ï¼‰è¨˜æ³•
oanus 2009/02/16
formal.*
ãƒªãƒ³ã‚¯
æ£è¦è¡¨ç¾ã«è¦‹åˆ‡ã‚Šã‚’ã¤ã‘ã‚‹ã¨ã
Perl, Rubyãªã©æ‰‹è»½ã«ä½¿ãˆã‚‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«æ…£ã‚Œã¦ãã‚‹ã¨ã€ã‚ã‚‰ã‚†ã‚‹ãƒ†ã‚ã‚¹ãƒˆãƒ‡ãƒ¼ã‚¿ã®å‡¦ç†ã«æ£è¦è¡¨ç¾(regular expression)ã‚’ä½¿ã£ã¦ã—ã¾ã„ãŒã¡ã§ã™ã€‚ ã‘ã‚Œã©å®Ÿã¯ã€æ£è¦è¡¨ç¾ã®å‡¦ç†èƒ½åŠ›ã‚’è¶…ãˆã‚‹ãƒ•ã‚©ãƒ¼ãƒžãƒƒãƒˆã¨ã„ã†ã®ãŒå˜åœ¨ã—ã¾ã™ã€‚ãã®å…¸åž‹çš„ãªä¾‹ãŒã€XMLã‚„JSONã®ã‚ˆã†ã«ã€å…¥ã‚Œåã«ãªã£ãŸãƒ‡ãƒ¼ã‚¿ãƒ•ã‚©ãƒ¼ãƒžãƒƒãƒˆã§ã™ã€‚
oanus 2009/02/16
regexp

parsec

formal.*
ãƒªãƒ³ã‚¯
å…¬ç†ä¸»ç¾©ï¼Œå½¢å¼ä¸»ç¾©ï¼Œè¨¼æ˜Žè«–ï¼Œæ§‹é€ ä¸»ç¾©
ã“ã®ãƒ‰ãƒ¡ã‚¤ãƒ³ã¯ ãŠåå‰.com ã‹ã‚‰å–å¾—ã•ã‚Œã¾ã—ãŸã€‚ ãŠåå‰.com ã¯ GMOã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã‚°ãƒ«ãƒ¼ãƒ—(æ ª) ãŒé‹å–¶ã™ã‚‹å›½å†…ã‚·ã‚§ã‚¢No.1ã®ãƒ‰ãƒ¡ã‚¤ãƒ³ç™»éŒ²ã‚µãƒ¼ãƒ“ã‚¹ã§ã™ã€‚ â€»è¡¨ç¤ºä¾¡æ ¼ã¯ã€å…¨ã¦ç¨Žè¾¼ã§ã™ã€‚ â€»ã‚µãƒ¼ãƒ“ã‚¹å“è³ªç¶æŒã®ãŸã‚ã€ä¸€æ™‚çš„ã«å¯¾è±¡ã¨ãªã‚‹æ–™é‡‘ã¸ä¸€å®šå‰²åˆã®ã€Œã‚µãƒ¼ãƒ“ã‚¹ç¶æŒèª¿æ•´è²»ã€ã‚’åŠ ç®—ã•ã›ã¦ã„ãŸã ãã¾ã™ã€‚
oanus 2009/01/26
math

axiomatics

formal.*
ãƒªãƒ³ã‚¯
Logical foundations and formal verification
oanus 2009/01/26
logic

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