[B! è«–ç†] nanakosoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

nanakoso id:nanakoso

è«–ç†ã«é–¢ã™ã‚‹nanakosoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (7)

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

æ•°å¦çš„åŸºç¤Žã‚’å¾¹åº•è§£èª¬ï¼ â€•â€•è¿‘åˆŠã€Žã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã‚µã‚¤ã‚¨ãƒ³ã‚¹ã«ãŠã‘ã‚‹æ§˜ç›¸è«–ç†ã€ã¾ãˆãŒãå…¬é–‹ï½œæ£®åŒ—å‡ºç‰ˆ
2022å¹´1æœˆä¸‹æ—¬ç™ºè¡Œäºˆå®šã®æ–°åˆŠæ›¸ç±ã€ã€Žã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã‚µã‚¤ã‚¨ãƒ³ã‚¹ã«ãŠã‘ã‚‹æ§˜ç›¸è«–ç†ã€ã®ã”ç´¹ä»‹ã§ã™ã€‚ åŒæ›¸ã®ã€Œã¾ãˆãŒãã€ã®ä¸€éƒ¨ã‚’ã€ç™ºè¡Œã«å…ˆé§†ã‘ã¦å…¬é–‹ã—ã¾ã™ã€‚ ï¼Šï¼Šï¼Š ã€ˆ æœ¬æ›¸ã®ç›®çš„ ã€‰ æ§˜ç›¸è«–ç†ã¨ã¯ã€ãŸã¨ãˆã°ã€ŒçœŸã®å¯èƒ½æ€§ãŒã‚ã‚‹ã€ã€Œå°†æ¥ã«ã‚ãŸã£ã¦ãšã£ã¨å½ã€ã€Œãã‚ŒãŒçœŸã§ã‚ã‚‹ã“ã¨ã‚’èŠ±åã¯çŸ¥ã£ã¦ã„ã‚‹ã€ã®ã‚ˆã†ã«ã€å˜ã«çœŸã‹å½ã‹ã ã‘ã§ãªãçŠ¶æ³ã«ä¾å˜ã—ãŸçœŸå½ã‚„è¤‡é›‘åŒ–ã•ã‚ŒãŸçœŸå½æ¦‚å¿µã‚’è¡¨ç¾ã§ãã‚‹è«–ç†ã§ã™ã€‚ã•ã¾ã–ã¾ãªå‹•æ©Ÿã‹ã‚‰ç”Ÿã¾ã‚ŒãŸã•ã¾ã–ã¾ãªæ§˜ç›¸è«–ç†ãŒã‚ã‚Šã¾ã™ãŒã€ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã‚µã‚¤ã‚¨ãƒ³ã‚¹ã«ãŠã„ã¦ã¯CTL(computation tree logic)ã€æ§˜ç›¸ãƒŸãƒ¥ãƒ¼è¨ˆç®—(modal Î¼-calculus)ã€PDL(propositional dynamic logic)ã¨ã„ã£ãŸæ§˜ç›¸è«–ç†ãŒã‚ˆãç ”ç©¶ã•ã‚Œã¦ã„ã¾ã™ã€‚CTLã¯ã€ãŸã¨ãˆã°ã€ŒAãŒèµ·ã“ã‚Œã°ãã®å¾Œã„ã¤ã‹ã¯BãŒèµ·ã“ã‚‹ã€ã®ã‚ˆã†ãªã€æ™‚é–“ã¨ã¨ã‚‚ã«å¤‰åŒ–ã™ã‚‹çœŸå½ã‚’ç´°ã‹ãè¨˜è¿°ã§ãã‚‹ã®ã§ã€
nanakoso 2022/01/20
æ•°å¦

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

æœ¬

è«–ç†

ç‰©æ¬²

ç§‘å¦
ãƒªãƒ³ã‚¯
è«–ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžLogicaã§ãƒ‡ãƒ¼ã‚¿ã‚µã‚¤ã‚¨ãƒ³ã‚¹100æœ¬ãƒŽãƒƒã‚¯
GoogleãŒç™ºè¡¨ã—ãŸOSSãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã§ã‚ã‚‹è«–ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžLogicaã‚’ä½¿ã£ã¦ã€ãƒ‡ãƒ¼ã‚¿ã‚µã‚¤ã‚¨ãƒ³ã‚¹100æœ¬ãƒŽãƒƒã‚¯(æ§‹é€ åŒ–ãƒ‡ãƒ¼ã‚¿åŠ å·¥ç·¨)ã®è¨å•ã‚’è§£ããªãŒã‚‰ã©ã®ã‚ˆã†ãªè¨€èªžã‹ã‚’ç¢ºèªã—ã¦ã„ãã€‚ (BigQueryã®ã‚¯ã‚¨ãƒªã¨ã—ã¦å®Ÿè¡Œã—ã¦ã„ã) æœ€åˆã«ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžLogicaã®ç‰¹å¾´ã‚’çºã‚ã¦ãŠãã€‚ è«–ç†åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž: ã“ã®ã‚«ãƒ†ã‚´ãƒªã§ã¯PrologãŒæœ‰å SQLã«ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«ã•ã‚Œã‚‹: ç¾çŠ¶BigQueryã¨PostgreSQLã«å¯¾å¿œ ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«æ©Ÿæ§‹ãŒã‚ã‚‹: SQLã¨æ¯”è¼ƒã—ãŸå¼·ã¿ ã‚³ãƒ³ãƒ‘ã‚¤ãƒ©ã¯Pythonã§æ›¸ã‹ã‚Œã¦ã„ã‚‹: Jupyter Notebookã‚„Google Colabã§ã™ãå§‹ã‚ã‚‰ã‚Œã‚‹ Colabã§ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ãŒç”¨æ„ã•ã‚Œã¦ã„ã‚‹ã®ã§ã€ã¾ãšã“ã¡ã‚‰ã‹ã‚‰ã‚„ã‚‹ã¨è‰¯ã„ã¨æ€ã†ã€‚ ã‚³ãƒ¼ãƒ‰ã®è¦‹ãŸç›®ã¯é–¢ä¿‚è«–ç†ã®è¨˜è¿°ã«ä¼¼ã¦ã„ã‚‹ã€‚ äº‹å‰ã«ã€ãƒ‡ãƒ¼ã‚¿ã‚µã‚¤ã‚¨ãƒ³ã‚¹100æœ¬ãƒŽãƒƒã‚¯ã®ãƒ†ãƒ¼ãƒ–ãƒ«ãƒ‡ãƒ¼ã‚¿ã‚’BigQu
nanakoso 2021/06/26
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

è«–ç†

è¨€èªž

SQL

æ•°å¦
ãƒªãƒ³ã‚¯
ãƒˆãƒ¬ãƒ¼ã‚¹ä»˜ãå¯¾ç§°ãƒ¢ãƒŽã‚¤ãƒ‰åœã¨ã¯ã“ã‚“ãªãƒ¢ãƒŽ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
ã€Œçµµç®—ã§è¦‹ã‚‹ã€Œã‚«ã‚¶ãƒã‚¹ã‚¯ï¼ã‚¹ãƒ†ãƒ•ã‚¡ãƒã‚¹ã‚¯ï¼ãƒã‚¤ãƒ©ãƒ³ãƒ‰ï¼é•·è°·å·ã®å®šç†ã€ã€ã«ã¦ï¼š ãƒˆãƒ¬ãƒ¼ã‚¹ã«ã¤ã„ã¦ä»Šã¯èª¬æ˜Žã—ã¾ã›ã‚“ãŒã€æ¬¡ã®ã‚ˆã†ãªå…¬ç†ã§ç‰¹å¾´ä»˜ã‘ã‚‰ã‚Œã¾ã™ã€‚ ãƒãƒ‹ãƒƒã‚·ãƒ³ã‚°ï¼ˆã‚¢ã‚¯ã‚·ãƒ§ãƒ³æ€§ï¼‰ ã‚¿ã‚¤ãƒˆãƒ‹ãƒ³ã‚°ï¼ˆè‡ªç„¶æ€§ï¼‰ ã‚¹ãƒ©ã‚¤ãƒ‡ã‚£ãƒ³ã‚° ã‚¹ãƒ¼ãƒ‘ãƒ¼ãƒãƒ¼ã‚¸ãƒ³ã‚°ï¼ˆå¼·åº¦æ€§*1ï¼‰ ãƒ¤ãƒ³ã‚ãƒ³ã‚° ãŸã¾ãŸã¾æ¬¡ã®è«–æ–‡ã§ã€ãƒˆãƒ¬ãƒ¼ã‚¹ä»˜ãå¯¾ç§°ãƒ¢ãƒŽã‚¤ãƒ‰åœã®çµµã‚’è¦‹ã¤ã‘ãŸã®ã§ã€å°‘ã—èª¬æ˜Žã—ã¾ã™ã€‚ Title: Diagrammatic Representations in Domain Specific Languages (2001) Author: Konstantinos Tourlas URL: httpâ€‹://www.lfcs.inf.ed.ac.uk/reports/02/ECS-LFCS-02-426/ECS-LFCS-02-426.ps pages: 158 åƒ•ãŒå¸¸ã€…é¢ç™½ãŒã£ã¦ã„ã‚‹è©±é¡Œã®å‰²ã«ã¯è¨€åŠãŒå°‘ãªã„ãªï¼žãƒˆãƒ¬ãƒ¼ã‚¹ä»˜ãåœ
nanakoso 2010/10/22
è«–ç†

æ•°å¦
ãƒªãƒ³ã‚¯
ãƒ’ãƒ¥ãƒ¼ãƒ ã®æ³•å‰‡ï¼š ã€Œã§ã‚ã‚‹ã€ã‹ã‚‰ã€Œã¹ãã€ã¯å°Žã‘ãªã„ - ãƒ¢ã‚¸ãƒã‚°
18ä¸–ç´€ã‚¤ã‚®ãƒªã‚¹ã®å“²å¦è€…ãƒ‡ã‚¤ãƒ´ã‚£ãƒƒãƒ‰ãƒ»ãƒ’ãƒ¥ãƒ¼ãƒ ã¯ã€ã€Œã§ã‚ã‚‹ã€ã‹ã‚‰ã€Œã¹ãã€ã¯å°Žã‘ãªã„ã€ã¨è¿°ã¹ãŸãã†ã ã€‚ ã“ã‚Œã‚’ã€Œãƒ’ãƒ¥ãƒ¼ãƒ ã®æ³•å‰‡ã€ã¨ã„ã†ã‚‰ã—ã„ã€‚ Wikipedia - Hume's Law http://en.wikipedia.org/wiki/Hume%27s_Law ï¼œIn meta-ethics, Hume's Law says that normative statements cannot be deduced exclusively from descriptive statements. This was proposed by David Hume in his work A Treatise of Human Nature (III, i. Â§1)ï¼ž. ï¼ˆå¤§æ„ï¼šãƒ¡ã‚¿å€«ç†å¦ã«ãŠã„ã¦ã€ãƒ’ãƒ¥ãƒ¼ãƒ ã®æ³•å‰‡ã¨ã¯ã€è¨˜è¿°çš„è¨€æ˜Žï¼ˆã€Œï½žã§ã‚ã‚‹ã€ï¼‰ã ã‘ã‹ã‚‰ã€è¦ç¯„çš„è¨€æ˜Žï¼ˆã€Œï½žã¹ãã€ï¼‰ã¯å°Žã‘ãªã„ã€
nanakoso 2008/05/16
å“²å¦

è«–ç†

æ•°å¦

èªã¿ç‰©
ãƒªãƒ³ã‚¯
è«–ç†ã¨ã¯ãªã«ã‹ï¼Ÿ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
ãŸã¾ãŸã¾ã€"What is a logic, and what is a proof?" (April 8, 2005) by Lutz Strassburgerã¨ã„ã†è«–æ–‡ã‚’è¦‹ã¤ã‘ã¦ã€èªã‚“ã§ã¿ã¾ã—ãŸã€‚æ¯”è¼ƒçš„çŸã„ï¼ˆå°åˆ·ã—ã¦12Pï¼‰è§£èª¬çš„ãªè«–æ–‡ã§ã™ã€‚è¡¨é¡Œã®ã¨ãŠã‚Šã€ è«–ç†ã¨ã¯ãªã«ã‹ï¼Ÿ è¨¼æ˜Žã¨ã¯ãªã«ã‹ï¼Ÿ ã¨ã„ã†2ã¤ã®ãƒ†ãƒ¼ãƒžã‚’æ‰±ã£ã¦ã¾ã™ã€‚å¾ŒåŠ1/3ç¨‹ã‚’ã—ã‚ã‚‹ã€Œè¨¼æ˜Žã¨ã¯ãªã«ã‹ï¼Ÿã€ãŒåƒ•ã¯ã‚ˆãã‚ã‹ã‚‰ã‚“ã‹ã£ãŸã®ã ã‘ã©ã€å‰åŠã¯ã€ã€Œè«–ç†ï¼ˆa logicï¼‰ã¯åœã ã‚ˆã€ã¨ã„ã†ä¸»å¼µã‚’ã¨ã¦ã‚‚ä¸Šæ‰‹ã«èª¬æ˜Žã—ã¦ã„ã¾ã™ã€‚ã§ã€ã¾ãƒ¼ã€ã“ã®å‰åŠéƒ¨åˆ†ã‚’ç´¹ä»‹ã—ã‚ˆã†ã‹ã¨ã€‚ ãŸã ã—ã€ä»¥å‰ã«æ›¸ã„ãŸã‚¨ãƒ³ãƒˆãƒªãƒ¼ã‚’å‚ç…§ã—ãªãŒã‚‰ç§è¦‹ã‚’äº¤ãˆã‚‹ï¼ˆç§è¦‹ã®ã»ã†ãŒå¤šã„ã‹ãªï¼‰ã®ã§ã€ä¸Šè¨˜è«–æ–‡ã®å¿ å®Ÿãªç´¹ä»‹ã«ã¯ãªã£ã¦ã¾ã›ã‚“ã€‚æ°—ã«ãªã‚‹æ–¹ã¯åŽŸæ–‡ã‚’èªã‚“ã§ãã ã•ã„ãã€‚ ç¬¬1å›žï¼ˆã“ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ï¼‰ ç¬¬2å›ž ç¬¬3å›ž ç¬¬4å›ž(å®Œ) ä»Šå›žã®å†…å®¹ï¼š ãƒ—ãƒ¬é †åºé›†åˆ è«–ç†ã¨ã¯ãƒ—ãƒ¬é †åºé›†åˆãªã‚Š
nanakoso 2007/12/16
ã‚ã¨ã§è¦‹ã‚‹

æ•°å¦

è«–ç†
ãƒªãƒ³ã‚¯
éŒ¯èª¤è«–ï¼šè«–ç†çš„/ç§‘å¦çš„ã«æ£ã—ã„æŽ¨è«–/åˆ¤æ–ã‚’å¦¨ã’ã‚‹ã‚‚ã® (2008-05-19)
ã®æ¯”è¼ƒã«ãªã‚‹. äººã¯, å‚˜ã‚’å¿˜ã‚Œã¦é›¨ãŒé™ã£ãŸæ™‚(XY)ã®ã“ã¨ã¨, å‚˜ã‚’ã‚‚ã£ã¦ã“ãªã‹ã£ãŸãŒé›¨ã‚‚é™ã‚‰ ãªã‹ã£ãŸæ™‚ã®ã“ã¨( )ã‚’é‡è¦è¦–ã™ã‚‹å‚¾å‘ãŒã‚ã‚‹. ãã®ãŸã‚, å‚˜ã‚’å¿˜ã‚Œãšé›¨ãŒé™ã£ãŸæ™‚ã®å›žæ•°ã¨å‚˜ã‚’ã‚‚ã£ã¦ã“ãªã‹ã£ãŸãŒé›¨ã‚‚é™ã‚‰ãªã‹ã£ãŸæ™‚ã® å›žæ•°ã‚’æ¯”è¼ƒ( ã¨ ã®æ¯”è¼ƒ)ã¨ã—ã¦, ã€Œå‚˜ã‚’å¿˜ã‚ŒãŸæ—¥ã« é™ã£ã¦é›¨ãŒé™ã‚‹ã€ã¨ã„ã†æŽ¨è«–ã‚’ã—ã¦ã—ã¾ã„ãŒã¡ã§ã‚ã‚‹. ã¾ãŸ, é›¨ãŒé™ã£ã¦å‚˜ã‚’å¿˜ã‚ŒãŸæ™‚ã®ã“ã¨ã¯å°è±¡ã«æ®‹ã‚Šã‚„ã™ã„ãŒ, å‚˜ã‚’ã‚‚ã£ã¦ãã¦é›¨ ã‚‚é™ã£ãŸæ™‚ã®ã“ã¨ã¯å¤±å¿µã—ã‚„ã™ã„ã®ã§ã‚ã‚‹. é€šå¸¸ã®å‡ºæ¥äº‹ã¯æ°—ã«ã¨ã‚ãªã„(å‡ºæ¥ äº‹ã¨ã—ã¦ã™ã‚‰èªè˜ã•ã‚Œãªã„)ãŒ, äºˆæƒ³å¤–ã®å‡ºæ¥äº‹ã‚„é€šå¸¸ã¨ç•°ãªã‚‹å‡ºæ¥äº‹ã¯è¨˜æ†¶ã« æ®‹ã‚Šã‚„ã™ã„,ã¨ã„ã†å‚¾å‘ãŒæŒ‡æ‘˜ã•ã‚Œã¦ã„ã‚‹. ã“ã®äº‹ä¾‹ã§ã¯ï¼Œã‚³ãƒ³ãƒˆãƒãƒ¼ãƒ«ã®å¹»æƒ³(illusion of controlï¼› Langer, 1975)ãŒæŒ‡ æ‘˜ã•ã‚Œã¦ã„ã‚‹ï¼Žã‚³ãƒ³ãƒˆãƒãƒ¼ãƒ«ã®å¹»æƒ³ã¨ã„ã†ã®ã¯ï¼Œè‡ªåˆ†ã®æ„å›³ã‚„èƒ½åŠ›ï¼Œå˜åœ¨ã«ã‚ˆã£ ã¦(æœ¬
nanakoso 2007/10/05
è©å¼ã¨æˆ¦ã†ãŸã‚ã«

è«–ç†

é›‘å¦
ãƒªãƒ³ã‚¯
http://staff.aist.go.jp/t-tsujino/doc/fallacies_euc/fallacies_euc.html
nanakoso 2006/11/02
é›‘å¦

è«–ç†
ãƒªãƒ³ã‚¯
1