ã”迷惑をãŠæŽ›ã‘ã—ã¾ã™ï½œe-Gov
・移動ã¾ãŸã¯å‰Šé™¤ã•ã‚Œã¦ã„ã‚‹å ´åˆãŒã‚ã‚Šã¾ã™ã€‚ ・直å‰ã«é–²è¦§é ‚ã„ã¦ã„ãŸãƒšãƒ¼ã‚¸ã¸ã®ãƒªãƒ³ã‚¯ã«èª¤ã‚ŠãŒã‚ã‚‹å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ã€‚ ・ã”å…¥åŠ›é ‚ã„ãŸURLã«èª¤ã‚ŠãŒã‚ã‚‹å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ã€‚ ・一時的ã«åˆ©ç”¨ã§ããªã„状æ³ã«ã‚ã‚‹å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ã€‚
今日㯠Haskell Day 2019 ã®æ—¥ã§ã™ - Pixel Pedals of Tomakomai
å’³ãŒæ¢ã¾ã‚‰ãªã„状態ã§éžå¸¸ã«åŽ³ã—ã„ã§ã™ãŒã€æ¥ã¦ã„ã¾ã™ã®ã§ã€è‡ªåˆ†ç”¨ã®ãƒ¡ãƒ¢ã‚’残ã—ã¦ãŠãã¾ã™ã€‚ 関数型(function type)を見ã¤ã‚るプãƒã‚°ãƒ©ãƒŸãƒ³ã‚° / 山下ã•ã‚“ 関数ã®åž‹ã€ Haskell ã§ã¯ç¬¬ä¸€ç´š リスト型 a ãŒåž‹ãªã‚‰ [a] ã‚‚åž‹ タプル a b ãŒåž‹ãªã‚‰ (a, b) ã‚‚åž‹ タプル a b ãŒåž‹ãªã‚‰ a -> b ã‚‚åž‹ a ㌠domain 〠b ㌠codomain 高階関数型 domain ãŒé–¢æ•° (a -> b) -> c codomain ãŒé–¢æ•° a -> (b -> c) ã“ã¡ã‚‰ã¯æ„è˜ã•ã‚Œã«ãã„ 2変数関数 (a, b) -> c Haskell 以外ã§ã‚‚よã使ㆠセクション (+) ã¯é«˜éšŽé–¢æ•° a ㌠domain〠b ㌠codomain 逆ã«ã€ codomain ãŒé–¢æ•°ã®é«˜éšŽé–¢æ•°ã¯ 2 é …æ¼”ç®—å f: a -> a -> a `f` curry :: ((a
生活ä¿è·è²»ã¨åŒé¡æ”¯çµ¦ã®ä»£ã‚ã‚Šã«ã€ãƒ—ãƒ©ã‚¤ãƒ™ãƒ¼ãƒˆæƒ…å ±ã‚’å…¨ã¦åŽé›†ãƒ»ãƒžãƒã‚¿ã‚¤ã‚ºã™ã‚‹ç¤¾ä¼šå®Ÿé¨“ExographãŒã‚¹ã‚¿ãƒ¼ãƒˆ
æ ªå¼ä¼šç¤¾Plasma（æ±äº¬éƒ½ç›®é»’区ã€ä»£è¡¨å–ç· å½¹ã€€é 野å®å£ï¼‰ã¯ã€11月1æ—¥ã‹ã‚‰ãƒ‡ãƒ¼ã‚¿çµŒæ¸ˆã¨è³‡æœ¬ä¸»ç¾©ã®æ¬¡ã‚’模索ã™ã‚‹ç¤¾ä¼šå®Ÿé¨“Exographã‚’è¡Œã„ã¾ã™ã€‚ ã“ã®ç¤¾ä¼šå®Ÿé¨“ã§ã¯ã€æ±äº¬éƒ½å†…23区ã®30æ³å‰å¾Œã®äººã€…ã«æ”¯çµ¦ã•ã‚Œã‚‹ç”Ÿæ´»ä¿è·è²»ç”¨132,930円をæä¾›ã™ã‚‹ä»£ã‚ã‚Šã«ã€ãã®ç§ç”Ÿæ´»ãƒ‡ãƒ¼ã‚¿ã‚’å‹•ç”»ã§åŽé›†ã—ã€ãã®è²»ç”¨ã‚’賄ã†ã“ã¨ã«æŒ‘戦ã—ã¾ã™ã€‚ æ ªå¼ä¼šç¤¾Plasma（æ±äº¬éƒ½ç›®é»’区ã€ä»£è¡¨å–ç· å½¹ã€€é 野å®å£ï¼‰ã¯ã€11月1æ—¥ã‹ã‚‰ãƒ—ãƒ©ã‚¤ãƒ™ãƒ¼ãƒˆæƒ…å ±ã‚’å…¨ã¦åŽé›†ãƒ»ãƒžãƒã‚¿ã‚¤ã‚ºã™ã‚‹Exographã®ç¬¬ä¸€å›žç¤¾ä¼šå®Ÿé¨“ã‚’è¡Œã„ã¾ã™ã€‚ ã“ã®ç¤¾ä¼šå®Ÿé¨“ã§ã¯ã€æ±äº¬éƒ½å†…23区ã®30æ³å‰å¾Œã®äººã€…ã«æ”¯çµ¦ã•ã‚Œã‚‹ç”Ÿæ´»ä¿è·è²»ç”¨132,930円をæä¾›ã™ã‚‹ä»£ã‚ã‚Šã«ã€ãã®ç§ç”Ÿæ´»ãƒ‡ãƒ¼ã‚¿ã‚’å‹•ç”»ã§åŽé›†ã—ã€ãã®è²»ç”¨ã‚’賄ã†ã“ã¨ã«æŒ‘戦ã—ã¾ã™ã€‚ プãƒã‚¸ã‚§ã‚¯ãƒˆHP: https://exograph.plasma.inc 経緯: https://note.mu/hirokie/m/
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Megaparsec 8 (翻訳)
{{#tags}}- {{label}}
{{/tags}}