yharaã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ / 2017å¹´10æœˆ31æ—¥ - ã¯ã¦ãªãƒ

ãƒ”ã‚¢ãƒŽã‚¤ãƒ³ã‚¹ãƒˆãƒ–ãƒ¼ãƒ ã®ç«ç¨®ã¯ã©ã“ï¼Ÿ fox capture planÃ—ADAM at | CINRA

2017.01.24 Tue Sponsored by fox capture planã€ŽFRAGILEã€ã€ADAM atã€ŽEcho Nightã€ by é‡‘ååŽšæ¦ æ’®å½±ï¼šé–¢å£ä½³ä»£ã€€ç·¨é›†ï¼šçŸ¢å³¶ç”±ä½³åã€€å–æå”åŠ›ï¼š<a href="http://www.billboard-live.com/pg/shop/index.php?mode=top&shop=1" target="_blank">ãƒ“ãƒ«ãƒœãƒ¼ãƒ‰ãƒ©ã‚¤ãƒ–æ±äº¬</a> ã‚¸ãƒ£ã‚ºãƒãƒƒã‚¯ã®æ–°ãŸãªåœ°å¹³ã‚’é–‹æ‹“ã—ç¶šã‘ã‚‹fox capture planã¨ã€è¸Šã‚Œã¦æš´ã‚Œã‚‰ã‚Œã¦ç¬‘é¡”ã«ãªã‚Œã‚‹ãƒ•ã‚£ã‚¸ã‚«ãƒ«ãªã‚¹ãƒ†ãƒ¼ã‚¸ã‚’å±•é–‹ã™ã‚‹ADAM atãŒã€åŒæ—¥ã«ãƒ‹ãƒ¥ãƒ¼ã‚¢ãƒ«ãƒãƒ ã‚’ç™ºè¡¨ã™ã‚‹ã€‚è¿‘å¹´å¯¾ãƒãƒ³ã®æ©Ÿä¼šãŒå¢—ãˆã¦ã„ã‚‹ä¸¡è€…ã ãŒã€ã€Œã‚¤ãƒ³ã‚¹ãƒˆã€ã‚„ã€Œã‚¸ãƒ£ã‚ºã€ã¨ã„ã£ãŸå…±é€šç‚¹ãŒã‚ã‚Šã¤ã¤ã€å®Ÿéš›ã®éŸ³æ¥½æ€§ã¯ã‹ãªã‚Šç•°ãªã‚‹ã€‚ã—ã‹ã—ã€ãã‚“ãª2çµ„ãŒã€Œãƒ”ã‚¢ãƒŽã‚¤ãƒ³ã‚¹ãƒˆã€ã¨ã„ã†å¤§ããªæž çµ„ã¿ã®ä¸ã§æ··ã–ã‚Šåˆã£ã¦ã„ã‚‹ã“ã¨ãŒ

yhara 2017/10/31

music

ãƒªãƒ³ã‚¯

curry_howard

è‡ªå‹•è¨¼æ˜Ž auto è¨¼æ˜Žé …ã‚’ç›´æŽ¥æŒ‡å®šã™ã‚‹ exact refine é–¢æ•°æŠ½è±¡ã‚’æ§‹ç¯‰ã™ã‚‹ intro move=> (SSReflect) Section é–¢æ•°é©ç”¨ã¨ãã®å¼•æ•°éƒ¨åˆ†ã‚’æ§‹ç¯‰ã™ã‚‹ revert generalize move: (SSReflect) é–¢æ•°é©ç”¨ã¨ãã®é–¢æ•°éƒ¨åˆ†ã‚’æ§‹ç¯‰ã™ã‚‹ apply let å¼ã‚’æ§‹ç¯‰ã™ã‚‹ pose, set specialize have @var (SSReflect) eq_refl ã§ç‰å¼ã‚’è¨¼æ˜Žã™ã‚‹ reflexivity eq_ind_r ã§ç‰å¼ã«ã‚ˆã‚‹æ›¸ãæ›ãˆã‚’è¡Œã† rewrite rewrite (SSReflect) match å¼ã‚’æ§‹ç¯‰ã™ã‚‹ destruct case (SSReflect) simpl change unfold fold pattern clear rename move_after æ•°å¦çš„å¸°ç´æ³•ã‚’é©ç”¨ã™ã‚‹ induc

yhara 2017/10/31

coq

ãƒªãƒ³ã‚¯

æƒ…å ±201 è«–æ–‡ã€Œè¦å¤·ã®é¦–é•·ã‚¢ãƒ†ãƒ«ã‚¤ã¨æžšæ–¹å¸‚ã€

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

yhara 2017/10/31

ã¸ãƒ¼

ãƒªãƒ³ã‚¯

Parsecã®ã‚½ãƒ¼ã‚¹ã¡ã‚‰è¦‹ - Qiita

æ•™ç§‘æ›¸çš„ãªãƒ‘ãƒ¼ã‚µãƒ¼ã¨è¨€ãˆã°StateT s []ãƒ¢ãƒŠãƒ‰ã‚’ã‚ˆãè¦‹ã‚‹ã‘ã©ã€ä»Šã®Parsecã£ã¦å…¨ç„¶ãã‚“ãªé›°å›²æ°—ãªã„ã‚“ã ãªã‚ã€‚ https://twitter.com/hiratara/status/297541496217927683 ãƒ¢ãƒŠãƒ‰æœ¬ä½“ã¯ç¶™ç¶šãƒ¢ãƒŠãƒ‰Ã—4çš„ãªæ§‹é€ ã‚’ã—ã¦ã„ã‚‹ã€‚ç¶™ç¶šã¨ãªã‚‹é–¢æ•°ã‚’4æœ¬æ¸¡ã›ã°ã€çµæžœã‚’å¾—ã‚‹ã“ã¨ãŒã§ãã‚‹ã€‚ newtype ParsecT s u m a = ParsecT {unParser :: forall b . State s u -> (a -> State s u -> ParseError -> m b) -- consumed ok -> (ParseError -> m b) -- consumed err -> (a -> State s u -> ParseError -> m b) -- empty ok -> (ParseError ->

yhara 2017/10/31

Haskell

ãƒªãƒ³ã‚¯

Presets gone

yhara 2017/10/31

op-1

ãƒªãƒ³ã‚¯

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

ã‚¿ã‚°

2017å¹´10æœˆ31æ—¥ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (5ä»¶)