▽ｶﾌｪ･ﾋﾗｶﾜ店主軽薄 - 平川克美の…
●03/14 04:43
3347385

▽haskell - 結城浩のHaskell日記
●03/13 23:13
はてなﾌﾟﾗｲﾊﾞｼｰﾎﾟﾘｼｰの改定についてはてなの日記 (648)

▽Planet Haskell
●03/13 19:34
March 12, 2025Well-Typed.ComThe Haskell Unfolder Episode 40: understanding through a modelToday, 2025-03-12, at 1930 UTC (12:30 pm PST, 3:30 pm EST, 7:30 pm GMT, 20:30 CET, …)we are streaming the 40th episode of the Haskell Unfolder live on YouTube.The Haskell Unfolder Episode 40: understanding through a modelQuickCheck is useful for more than just testing. Comparing the behaviour of a syste

▽檜山正幸のｷﾏｲﾗ飼育記
●03/13 18:04
2025-03-13ﾓﾅﾄﾞの靴を履いたｽﾊﾟﾝとﾌｧﾐﾘｰ､そして二重圏雑記／備忘集合圏のｽﾊﾟﾝの一般化として､ｽﾊﾟﾝの足をﾓﾅﾄﾞ（比喩的に靴）で修飾したものを考えることができます｡ﾊﾞﾝﾄﾞﾙ-ﾌｧﾐﾘｰ対応により､靴を履いたｽﾊﾟﾝをﾌｧﾐﾘｰ化できます｡さらに､ﾌｧﾐﾘｰの値の圏〈ﾀｰｹﾞｯﾄ圏〉を集合圏以外にすると､豊穣…ﾓﾅﾄﾞの靴を履いたｽﾊﾟﾝとﾌｧﾐﾘｰ､そして二重圏

▽L’eclat des jours
●03/13 12:45
_ ﾓｰｶﾞﾝ･ﾌｨｯｼｬｰやっと思い出した｡一風堂ではなくﾓｰｶﾞﾝ･ﾌｨｯｼｬｰだ｡ﾄﾞﾗﾐﾝｸﾞが妙に一風堂に似ているなぁと思ったからごっちゃになっていたらしい｡