畳ã¿è¾¼ã¿ã®è¦–点ã‹ã‚‰è¦‹ãŸforall(every)ã¨exists(some): 空集åˆã«å¯¾ã™ã‚‹forallã¯å¸¸ã«trueã«ãªã‚‹ - Lambdaカクテルã“ã†ã„ã†ãƒ„イートãŒè©±é¡Œã«ãªã£ã¦ã„ãŸã€‚ 「é…列ã®ã™ã¹ã¦ã®è¦ç´ ãŒæ¡ä»¶ã‚’満ãŸã™ãªã‚‰trueã‚’è¿”ã™ã€é–¢æ•°ã‚’定義ã™ã‚‹ã¨ãã€ç©ºã®é…列を渡ã—ãŸã‚‰falseã‚’è¿”ã™ã‹trueã‚’è¿”ã™ã‹ãŒã€è‰¯ã„プãƒã‚°ãƒ©ãƒžã‹ã©ã†ã‹ã®ä¸€ã¤ã®å¢ƒç›®ã — ãµã¿ (DJ Monad) (@fumieval) 2023å¹´5月29æ—¥ ã¤ã¾ã‚ŠScalaã§è¨€ã†ã¨æ¬¡ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ãŒä½•ã«ãªã‚‹ã‹ã€ã¨ã„ã†ã‚‚ã®ã§ã‚る。 val xs = Seq.empty[Int] xs.forall(_ == 42) çµè«–ã‹ã‚‰è¨€ã†ã¨ã€ã“ã®ã‚ˆã†ãªé–¢æ•°ã¯å¸¸ã«trueã‚’è¿”ã™ã€‚ ãªãœã ã‚ã†ï¼Ÿãã®ç†ç”±ã‚’ã“ã‚Œã‹ã‚‰èª¬æ˜Žã™ã‚‹ã€‚ ã¡ãªã¿ã«ä»–ã«ä»¥ä¸‹ã®ã‚ˆã†ãªæ„見ãŒã‚ã£ãŸ: 仕様ã«ã‚ˆã‚‹ 例外を投ã’ã‚‹ã¹ã ã„ãšã‚Œã‚‚ã¾ãã‚ã‚Šãˆãªãã¯ãªã„ãŒã€ã‚„ã‚ã¦ãŠã„ãŸã»ã†ãŒè‰¯ã„ã¨æ€ã†ã€‚ã‚‚ã—ä»®ã«falseã‚’è¿”ã™ã‚ˆã†ãªä»•æ§˜ãŒã‚ã£ãŸå ´åˆã€ãã‚Œã¯æ•°å¦ã‹ã‚‰ä¹–離ã—ã¦ã„ã‚‹ã®ã§ã„ãšã‚Œä»•æ§˜å†…部ã§çŸ›ç›¾ã™ã‚‹å¯èƒ½æ€§ãŒé«˜ã„ã—*1ã€æœ€çµ‚çš„ã«
ãŠå‰ã¯çµ¶æœ›çš„ã«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«å‘ã„ã¦ãªã„ã‹ã‚‰è«¦ã‚ã¦åˆºèº«ã«ã‚¿ãƒ³ãƒãƒä¹—ã›ã‚‹ä»•äº‹ã§ã‚‚ã‚„ã£ã¦ã‚｜å¤éƒ½ã“ã¨ï½œnote
Linus Torvalds〠GCC 4.9.0ã®ã‚³ãƒ¼ãƒ‰ç”Ÿæˆã«ãƒ–ãƒåˆ‡ã‚Œã‚‹
MOVEã¯æœ›ã¾ã‚Œãªã‹ã£ãŸå - the sea of fertility
MVCã¯æ»ã‚“ã 。MOVEã™ã‚‹ã¨ããŒã㟠- ãã—ã ã®Hatena
モナドã¨ãƒ¢ãƒŠãƒ‰å¤‰æ›åã®ã‚¤ãƒ¡ãƒ¼ã‚¸ã‚’æã„ã¦ã¿ãŸ - melpon日記 - Haskellã‚‚C++ã‚‚ã¾ã¨ã‚‚ã«æ‰±ãˆãªã„ã¸ãŸã‚Œã®ãƒšãƒ¼ã‚¸
Private Presentation
ã™ã”ã„乱数生æˆã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ 「xorshift〠- Pashango’s Blog
{{#tags}}- {{label}}
{{/tags}}