Scraps

記事というほどではない雑多なメモたちです。

• 📖CouchDBとObsidian Self-hosted Live Syncを使ってみる
• 📖Haskellを理解する
• 📖ｽﾀｯｸﾁｬﾝを作る
• 📝プログラマーのための圏論
• 🧠DSAを完全に理解する
• 🧠そもそも普遍性って何が嬉しいの？
• bit
• CouchDB
• Digital Signature Algorithm
• ElGamal署名
• MVCC
• nonce
• NoSQLデータベース
• PlatformIO IDE
• TypeApplications@Haskell
• グラフ準同型
• ゲーテルの完全性定理
• コーシーの定理
• デジタル署名
• パイプ@Linux
• プログラム意味論
• ホーアトリプル
• ホーア論理
• マイクロコントローラ
• モノイド
• ラグランジュの定理
• リレーショナルデータベース
• 暗号
• 位数
• 一階述語論理
• 一階述語論理の意味論
• 関手@圏論
• 空圏
• 群
• 型@Haskell
• 型クラス@Haskell
• 型シグネチャ@Haskell
• 型変数@Haskell
• 公開鍵暗号
• 自由圏
• 自由圏の普遍性
• 射@圏論
• 集合
• 巡回群
• 順序集合
• 推論規則
• 前順序集合
• 素数
• 対象@圏論
• 代入原理
• 単集合
• 半順序集合
• 普遍性@圏論
• 部分群
• 命題論理
• 有限群
• 離散対数問題