[B! ãƒ—ãƒã‚°ãƒ©ãƒ ] materia-x64ã®ãƒ

materia-x64 id:materia-x64

ãƒ—ãƒã‚°ãƒ©ãƒ ã«é–¢ã™ã‚‹materia-x64ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (6)

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

ãƒ—ãƒã‚°ãƒ©ãƒ ã«è¨¼æ˜ŽãŒä»˜ãæ—¥ | RANDMAX
ã“ã®è¨˜äº‹ã¯ã€ŒTheorem Prover Advent Calendar 2013ã€6æ—¥ç›®ã®è¨˜äº‹ã§ã™ã€‚ http://qiita.com/advent-calendar/2013/theorem_prover ç¥žç”°ã€Œé‡Žã‚‰ã¼ãƒ¼ã€ã«ã¦ã€åœ°ä¸‹ã®è–„æš—ã„åº—å†…ã§â€¦ ã€Œãã†è¨€ãˆã°ã“ãªã„ã éš£ã§èµ·ã“ã£ã¦ãŸãƒã‚¤ãƒ³ã‚¿ã‚ªãƒ¼ãƒãƒ¼ãƒ©ãƒ³ã€å¯¾å¿œå¤§å¤‰ãã†ã ã£ãŸã§ã™ã‘ã©ã¡ã‚ƒã‚“ã¨å®¶ã«å¸°ã‚Œã¦ãŸã‚“ã§ã—ã‚‡ã†ã‹ãã€æ–°å©šãªã®ã«â€¦ã€ ã€ŒãƒŒãƒ«ãƒã¨ã‹ãƒã‚¤ãƒ³ã‚¿ã‚ªãƒ¼ãƒãƒ¼ãƒ©ãƒ³ã¨ã‹ã€ã©ã†ã—ã¦ç„¡ããªã‚‰ãªã„ã‚“ã ã‚ã†ãã€‚ãã®æ™‚ã¯ã¿ã‚“ãªæ‰‹ã‚’æŠœã„ã¦ã‚‹ã¤ã‚‚ã‚Šãªã‚“ã¦æ¯›é ãªãã¦ã€ä¸€ç”Ÿæ‡¸å‘½è€ƒãˆã¦å¤§ä¸ˆå¤«ã ã¨æ€ã£ã¦ã‚‹ã¯ãšãªã‚“ã ã‘ã©ãã€‚ãƒ¬ãƒ“ãƒ¥ãƒ¼ã‚‚ã—ã¦ã€ãã‚Œã§ã‚‚èµ·ã“ã£ãŸå¾Œã§ã¿ã‚“ãªã§ã‚½ãƒ¼ã‚¹è¦‹ã¦ã¿ã‚‹ã¨ã€ãªã‚“ã§æ°—ã¥ã‹ãªã‹ã£ãŸã‚“ã ã‚ˆï¼ã£ã¦ã“ã¨ã«ãªã‚‹ã€‚ã€ ã€Œäººé–“ã£ã¦ã€ãã†ã„ã†ã®è‹¦æ‰‹ãªã‚“ã§ã—ã‚‡ã†ããã£ã¨ã€‚ã»ã‚‰ã€ã€Žä½•ã‹ã»ã‹ã«ã‚ã‚Šã¾ã›ã‚“ã‹ã€ã£ã¦èžã‹ã‚Œã¦ã‚‚å‡ºã¦ã“ãªã„ã˜ã‚ƒãªã„ã§ã™ã‹ã€‚é™çš„ãªè§£æžã£
materia-x64 2013/12/06
é›»è»Šã®ä¸ã ã¨é ã«å…¥ã‚‰ã‚“ãƒ»ãƒ»ãƒ»ã‚ã¨ã§èªã¿è¿”ãã†

ãƒ—ãƒã‚°ãƒ©ãƒ

ãƒ†ã‚¹ãƒˆ
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç”¨ãƒ•ã‚©ãƒ³ãƒˆ Ricty
ãŠçŸ¥ã‚‰ã› Ricty ãŠã‚ˆã³ Ricty Diminished ã¯ã€2010 å¹´ä»£å‰åŠã«ã¯æ¬§æ–‡ãƒ»å’Œæ–‡åˆæˆãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç”¨ãƒ•ã‚©ãƒ³ãƒˆã¨ã—ã¦å…ˆé§†çš„ã§ã—ãŸãŒã€ç¾åœ¨ã¯å‰æ™‚ä»£çš„ãªå˜åœ¨ã¨ãªã£ã¦ã„ã¾ã™ã€‚ä¸å…·åˆã‚‚ã„ãã¤ã‹ç¢ºèªã•ã‚Œã¦ã„ã¾ã™ã€‚è‰¯è³ªãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç”¨ãƒ•ã‚©ãƒ³ãƒˆãŒæ•°å¤šãç™»å ´ã—ã¦ã„ã¾ã™ã®ã§ã€ãã‚Œã‚‰ã®åˆ©ç”¨ã‚’ãŠã™ã™ã‚ã—ã¾ã™ã€‚ åºæ–‡ Rictyï¼ˆãƒªã‚¯ãƒ†ã‚£ï¼‰ã¯ Linux ç’°å¢ƒã§ã®ç ”ç©¶ãƒ»é–‹ç™ºã‚’æƒ³å®šã—ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç”¨ãƒ•ã‚©ãƒ³ãƒˆã§ã™ã€‚ãƒ†ã‚ã‚¹ãƒˆã‚¨ãƒ‡ã‚£ã‚¿ã‚„ã‚¿ãƒ¼ãƒŸãƒŠãƒ«ã‚¨ãƒŸãƒ¥ãƒ¬ãƒ¼ã‚¿ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚„ãƒžãƒ¼ã‚¯ã‚¢ãƒƒãƒ—è¨€èªžã«å¯¾ã™ã‚‹ä½¿ç”¨ã«é©ã—ã¦ã„ã¾ã™ã€‚Inconsolata ã¨ Migu 1M ã®åˆæˆã€ãŠã‚ˆã³ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç”¨ãƒ•ã‚©ãƒ³ãƒˆã¨ã—ã¦ã®ã„ãã¤ã‹ã®ãƒãƒ¥ãƒ¼ãƒ‹ãƒ³ã‚°ã‚’è¡Œã†ç”Ÿæˆã‚¹ã‚¯ãƒªãƒ—ãƒˆã‚’é…å¸ƒã—ã¦ã„ã¾ã™ã€‚Inconsolata ä½œè€…ã® Raph Levien æ°ã€Migu 1M ä½œè€…ã® itouhiro æ°ã€M+ M Type-1
materia-x64 2013/03/05
ã‚ã¨ã§å°Žå…¥ã—ã‚ˆã†ã€‚

ãƒ—ãƒã‚°ãƒ©ãƒ

ãƒ•ã‚©ãƒ³ãƒˆ

Ricty
ãƒªãƒ³ã‚¯
ãƒ•ã‚§ã‚¤ã‚¹ãƒ–ãƒƒã‚¯ã€ãƒŸã‚¯ã‚·ã‚£ã€ã‚°ãƒªãƒ¼ã§ä½¿ã‚ã‚Œã¦ã„ã‚‹ OGP (Open Graph Protocol) ã¨ã¯ä½•ã‹ - ITæˆ¦è¨˜
ã¿ãªã•ã‚“ã€ã“ã‚“ã«ã¡ã¯ ãŠå…ƒæ°—ã§ã™ã‹ï¼Ÿåƒ•ã¯å…ƒæ°—ã§ã™ã€‚ ã•ã¦ æœ€è¿‘ã‚ˆãã€ã€Œã„ã„ãï¼ã€ãƒœã‚¿ãƒ³ã‚„ã€ŒãƒŸã‚¯ã‚·ã‚£ãƒã‚§ãƒƒã‚¯ã€ãƒœã‚¿ãƒ³ã«ã‚ˆã£ã¦ã€ã‚¦ã‚§ãƒ–ãƒšãƒ¼ã‚¸ã‚’ç´¹ä»‹ã—åˆã†æ–‡åŒ–ãŒå°‘ã—ãšã¤å®šç€ã—ã¦ããŸãªãƒ¼ã¨æ€ã„ã¾ã™ã€‚ ãã‚“ãªä¸ã§ã€ä»Šå¾Œé‡è¦ã«ãªã£ã¦ãã‚‹ã‚“ã˜ã‚ƒãªã„ã‹ã¨æ€ã‚ã‚Œã‚‹ OGP ï¼ˆOpen Graph Protocolï¼‰ã¨è¨€ã‚ã‚Œã‚‹ä»•æ§˜ãŒã‚ã‚Šã¾ã™ã€‚ä»Šæ—¥ã¯ãã®ã“ã¨ã«ã¤ã„ã¦æ›¸ã„ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ OGP? ãŠãƒ¼ã˜ãƒ¼ã´ãƒ¼ï¼Ÿï¼Ÿã¨ã¯ãªã‚“ã§ã—ã‚‡ã†ã‹ã€‚ OGP ã¨ã¯ ç°¡å˜ã«è¨€ã†ã¨ã€Œã“ã®ã‚¦ã‚§ãƒ–ãƒšãƒ¼ã‚¸ã¯ä½•ã®ã“ã¨ã‚’æ›¸ã„ã¦ã„ã‚‹ã‹ã€ã¨ã„ã†æƒ…å ±ã‚’ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã‹ã‚‰èªã‚ã‚‹å½¢ã§ HTML ã«ä»˜åŠ ã™ã‚‹è¨˜è¿°æ–¹æ³•ã®ã“ã¨ã§ã™ã€‚ ã¾ã‚ã€æ™®é€šã®ã‚¦ã‚§ãƒ–ãƒšãƒ¼ã‚¸ã¯äººé–“ãŒèªã‚ã°ã ã„ãŸã„ä½•ã®ã“ã¨ãŒæ›¸ã„ã¦ã‚ã‚‹ã‹åˆ†ã‹ã‚Šã¾ã™ã‚ˆãã€‚ ã§ã™ãŒã€ãƒ—ãƒã‚°ãƒ©ãƒ ã¯äººé–“ã»ã©é ãŒè‰¯ããªã„ã®ã§ã€ãã®ã‚¦ã‚§ãƒ–ãƒšãƒ¼ã‚¸å†…ã®æ–‡ç« ã ã‘ã§ã¯ãã®ãƒšãƒ¼ã‚¸ãŒä½•ã®ã“ã¨ã«ã¤ã„ã¦æ›¸ã‹ã‚Œã¦ã„ã‚‹ãƒšãƒ¼ã‚¸ãªã®ã‹æ£ç¢ºã«è˜åˆ¥ã™
materia-x64 2013/03/03
ogp

ãƒ—ãƒã‚°ãƒ©ãƒ

ãƒœã‚¿ãƒ³

webåˆ¶ä½œ
ãƒªãƒ³ã‚¯
28æ³ã‹ã‚‰ã®ãƒ—ãƒã‚°ãƒ©ãƒžãƒ¼
2. ã“ã®ç™ºè¡¨ã‚’ãªãœã‚„ã‚‹ã®ï¼Ÿ â— æ£ç›´ã€28æ³ã‹ã‚‰ãƒ—ãƒã‚°ãƒ©ãƒžãƒ¼ã«ãªã‚‹ã¨ã™ã‚‹ã£ã¦ã„ã† äº‹ä¾‹ã¯èª°ã‹è¨€ã£ãŸã‚Šã—ã¦ã„ã‚‹ã®ï¼Ÿ â— æŽ¢ã™â†’è¦‹ã¤ã‹ã‚‰ãªã„ â— ãŸã„ã¦ã„ã¯ã€Œé«˜æ ¡ç”Ÿã€ã¨ã‹ã€Œ20ä»£å‰åŠã€ã¨ã‹ã€ãã† ã„ã†è‹¥ã„äººå‘ã‘ â— ãƒ—ãƒã‚°ãƒ©ãƒžãƒ¼35æ³å®šå¹´èª¬
materia-x64 2012/12/29
ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢

ãƒ—ãƒã‚°ãƒ©ãƒ

å‹‰å¼·
ãƒªãƒ³ã‚¯
ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã«é–¢ã™ã‚‹è‹±èªžã§ã‚ˆãã‚ã‚‹ãƒŸã‚¹ | quipped
ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã®ä»•äº‹ã¯ã„ã„ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’æ›¸ãã“ã¨ãªã®ã§ã€åˆ¥ã«è‹±èªžã®ãƒŸã‚¹ãªã‚“ã‹äºŒæ¬¡çš„ãªå•é¡Œãªã®ã ãŒã€Twitterã‚„ãƒ¡ãƒ¼ãƒªãƒ³ã‚°ãƒªã‚¹ãƒˆã§ã€æ—¥æœ¬äººï¼ˆã¨æ€ã‚ã‚Œã‚‹ï¼‰ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãŒã‚ˆãã™ã‚‹ãƒŸã‚¹ã«ã¤ã„ã¦ã€ãƒ¡ãƒ¢ã—ã¦ãŠã“ã†ã¨æ€ã†ã€‚ä½•ã‹ã®å½¹ã«ç«‹ã£ãŸã‚‰å¹¸ã„ã ã€‚åéŸ¿ãŒã‚ã‚Œã°ã€ã‚ã¨ã‹ã‚‰ã“ã“ã«è¶³ã—ã¦ã„ãã‹ã‚‚ã—ã‚Œãªã„ã€‚ software/middleware/hardwareã¯å¸¸ã«å˜æ•°:softwares/middlewares/hardwaresã¨ã¯ã¾ãšè¨€ã‚ãªã„ã€‚ã©ã†ã—ã¦ã‚‚æ•°ãˆãŸã„æ™‚ã¯"a piece/pieces of software"ã¨ã™ã‚‹ã®ãŒå¦¥å½“ã€‚ codeã‚‚åŸºæœ¬çš„ã«æ•°ãˆã‚‰ã‚Œãªã„:"I wrote codes"ã¨ã‹"I can't deploy codes"ã¨ã‹ã„ã†è¡¨ç¾ã‚’æ•£è¦‹ã™ã‚‹ãŒã€ã“ã‚Œã‚‚é–“é•ã„ã€‚ãŸã codeã«é–¢ã—ã¦ã¯ã€æš—å·ã¨ã„ã†æ„å‘³ã‚‚ã‚ã‚Šã€ã“ã¡ã‚‰ã¯æ•°ãˆã‚‰ã‚Œã¾ã™ã€‚"Secret codes"
materia-x64 2012/08/16
è‹±èªžé›£ã—ã„ã€‚

è‹±èªž

ãƒ—ãƒã‚°ãƒ©ãƒ
ãƒªãƒ³ã‚¯
ã‚³ãƒ¼ãƒ‰ãƒ¬ãƒ“ãƒ¥ãƒ¼ã«ã¤ã„ã¦ - camlspotterâ€™s blog
ã“ã®ã¨ã“ã‚ç«‹ã¦ç¶šã‘ã«ã‚³ãƒ¼ãƒ‰ãƒ¬ãƒ“ãƒ¥ãƒ¼ã«ã¤ã„ã¦è©±ã‚’ã™ã‚‹æ©Ÿä¼šãŒã‚ã£ãŸã®ã§ ç§ãŒçµŒé¨“ã—ãŸæœ€é«˜ã®ãƒ¬ãƒ“ãƒ¥ãƒ¼ä½“åˆ¶ã‚’ç°¡å˜ã«ã¾ã¨ã‚ã¦ãŠã“ã†ã¨æ€ã„ã¾ã™ã€‚ åˆ©ç‚¹ ä½•æ•…å¿…è¦ã‹ ä½•ãŒå¬‰ã—ã„ã®ã‹ ã‚³ã‚¹ãƒˆ ã†ã¾ãå›žã™ãŸã‚ã«ã¯ä½•ãŒå¿…è¦ã‹ ç´°ã‹ã„é‹å–¶æ–¹æ³• ã¯ã£ãã‚Šè¨€ã£ã¦å½“ãŸã‚Šå‰ã®äº‹ã—ã‹æ›¸ãã¾ã›ã‚“ã€‚ ç§ã‚‚å½“æ™‚ã¯å½“ãŸã‚Šå‰ã®ã“ã¨ã ã¨æ€ã£ã¦ã„ã¾ã—ãŸã‹ã‚‰ã€ç‰¹ã«æ°—ã«ã‚‚ã—ã¦ã„ãªã‹ã£ãŸã®ã§ã™ã€‚ ãŸã è¦‹èžã™ã‚‹ã¨ã“ã‚ã«ã‚ˆã‚‹ã¨ã€ã“ã‚Œã‚’ã¡ã‚ƒã‚“ã¨ã‚„ã£ã¦ã„ã‚‹ã¨ã“ã‚ã¯ã¨ã¦ã‚‚å°‘ãªã„ã‚ˆã†ã§ã™ã€‚ ã‚¦ã‚©ãƒ¼ãƒ«ã‚¹ãƒˆãƒªãƒ¼ãƒˆç³»ã®ãƒ•ã‚¡ãƒ³ãƒ‰ã§ã‚‚ã‚ãã«ãƒ¬ãƒ“ãƒ¥ãƒ¼ã—ã¦ãªã„ã¨ã‹ã©ã†ã„ã†ã“ã¨ãªã‚“ã§ã—ã‚‡ã†ã€‚ ã ã‹ã‚‰æ™‚ã€…ä¼šç¤¾ãŒå¹ã£é£›ã¶ã‚“ã§ã™ãâ€¦ çµå±€ã¯ã€ã‚ã‚ã ã€ã“ã†ã å„è«–ã‚’è¨€ã£ã¦ã‚‚ã€ã¡ã‚ƒã‚“ã¨ã‚„ã‚Œã‚‹ã®ã‹ã€ãã‚Œä¸€ç‚¹ã«å°½ãã¦ã—ã¾ã†è©±ãªã®ã§ã™ãŒâ€¦ åˆ©ç‚¹ ãƒ¬ãƒ“ãƒ¥ãƒ¼ã‚’ä½•ã®ãŸã‚ã«ã™ã‚‹ã‹ã€ãã‚Œã¯ã¾ãšç¬¬ä¸€ã«è‡ªåˆ†é”ã®æ›¸ã„ã¦ã„ã‚‹ã‚³ãƒ¼ãƒ‰ã«æ½œåœ¨ã™ã‚‹ãƒã‚°ã«ã‚ˆã‚‹æå¤±ã‚’ã§ãã‚‹ã ã‘å°‘ãªãã™ã‚‹ã“ã¨ã§ã—ã‚‡ã†ã€‚ åž‹ã‚·ã‚¹ãƒ†ãƒ ã‚„
materia-x64 2012/08/15
æ°—è»½ã«ãƒ¬ãƒ“ãƒ¥ãƒ¼ã§ãã‚‹ã®ã¯è‰¯ã„ã

ãƒ—ãƒã‚°ãƒ©ãƒ

ãƒ¬ãƒ“ãƒ¥ãƒ¼
ãƒªãƒ³ã‚¯
1