タグ

2015年10月27日のブックマーク (2件)

  • 2015-03-09

    1.合コン 2.邪推 3.あみだくじ 4.小学生に戻って足し算 5.最大公約数の構造 6.最小公倍数の構造 7.仲間を求めて 8.二項演算子とカリー化 9.モノイドと二項演算子 10.カリー化と指数対象 11.集合間の写像 12.集合内の写像(Endomap) 13.グラフ 14.基点付集合 15.集合の圏のまとめ 16.積のまとめ 17.和(余積)のまとめ 18.写像のまとめ 1.HaskellドリルⅠ 独自の新しい型を定義しよう 2.HaskellドリルⅡ 再帰的なデータ型を作成する 3.HaskellドリルⅢ 型クラスとは 4.HaskellドリルⅣ 型クラスとしてのファンクタ 5.HaskellドリルⅤ モナドの理論的な背景 6.HaskellドリルⅥ モナドのdo記法 7.HaskellドリルⅦ IOモナド

    2015-03-09
  • Let's Encrypt

    A nonprofit Certificate Authority providing TLS certificates to 363 million websites. Read all about our nonprofit work this year in our 2023 Annual Report. From our blog Jun 24, 2024 More Memory Safety for Let’s Encrypt: Deploying ntpd-rs NTP is critical to how TLS works, and now it’s memory safe at Let’s Encrypt. Read more May 30, 2024 Let’s Encrypt Continues Partnership with Princeton to Bolste

    mono-hate
    mono-hate 2015/10/27