はてなブックマークアプリ

サクサク読めて、
アプリ限定の機能も多数!

アプリで開く

はてなブックマーク

  • はてなブックマークって?
  • アプリ・拡張の紹介
  • ユーザー登録
  • ログイン
  • Hatena

はてなブックマーク

トップへ戻る

  • 総合
    • 人気
    • 新着
    • IT
    • 最新ガジェット
    • 自然科学
    • 経済・金融
    • おもしろ
    • マンガ
    • ゲーム
    • はてなブログ(総合)
  • 一般
    • 人気
    • 新着
    • 社会ニュース
    • 地域
    • 国際
    • 天気
    • グルメ
    • 映画・音楽
    • スポーツ
    • はてな匿名ダイアリー
    • はてなブログ(一般)
  • 世の中
    • 人気
    • 新着
    • 新型コロナウイルス
    • 働き方
    • 生き方
    • 地域
    • 医療・ヘルス
    • 教育
    • はてな匿名ダイアリー
    • はてなブログ(世の中)
  • 政治と経済
    • 人気
    • 新着
    • 政治
    • 経済・金融
    • 企業
    • 仕事・就職
    • マーケット
    • 国際
    • はてなブログ(政治と経済)
  • 暮らし
    • 人気
    • 新着
    • カルチャー・ライフスタイル
    • ファッション
    • 運動・エクササイズ
    • 結婚・子育て
    • 住まい
    • グルメ
    • 相続
    • はてなブログ(暮らし)
    • 掃除・整理整頓
    • 雑貨
    • 買ってよかったもの
    • 旅行
    • アウトドア
    • 趣味
  • 学び
    • 人気
    • 新着
    • 人文科学
    • 社会科学
    • 自然科学
    • 語学
    • ビジネス・経営学
    • デザイン
    • 法律
    • 本・書評
    • 将棋・囲碁
    • はてなブログ(学び)
  • テクノロジー
    • 人気
    • 新着
    • IT
    • セキュリティ技術
    • はてなブログ(テクノロジー)
    • AI・機械学習
    • プログラミング
    • エンジニア
  • おもしろ
    • 人気
    • 新着
    • まとめ
    • ネタ
    • おもしろ
    • これはすごい
    • かわいい
    • 雑学
    • 癒やし
    • はてなブログ(おもしろ)
  • エンタメ
    • 人気
    • 新着
    • スポーツ
    • 映画
    • 音楽
    • アイドル
    • 芸能
    • お笑い
    • サッカー
    • 話題の動画
    • はてなブログ(エンタメ)
  • アニメとゲーム
    • 人気
    • 新着
    • マンガ
    • Webマンガ
    • ゲーム
    • 任天堂
    • PlayStation
    • アニメ
    • バーチャルYouTuber
    • オタクカルチャー
    • はてなブログ(アニメとゲーム)
    • はてなブログ(ゲーム)
  • おすすめ

    Google I/O

『gist.github.com』

  • 人気
  • 新着
  • すべて
  • マイグレーションしないRDBMS

    177 users

    gist.github.com/qnighy

    README.md マイグレーションしないRDBMSが欲しい! 課題 PostgreSQLなどの既存のRDBMSはスキーマを持つ。スキーマがあることは良いことだが、このスキーマのライフサイクルはアプリケーションコードのライフサイクルと乖離しがちで、結果として以下のような問題が発生する。 特に自動化をしない場合はマイグレーションをデプロイとは別に行う必要が発生する。これにより、 シンプルに作業が面倒。 承認フローが追加で必要になる。または、デプロイはレビューの管理下に置かれているのにマイグレーション側が適切に管理されないなどのミスマッチが起きる。 マイグレーション忘れ、マイグレーションのリバート忘れのリスクがある。 異なるバージョンのアプリケーションは同時に存在できるがスキーマは同時に存在できない。これにより、 ある種のスキーマ変更はローリングデプロイ環境下では実質的に実行できない。 (テー

    • テクノロジー
    • 2022/07/30 00:49
    • DB
    • あとで読む
    • postgresql
    • 技術
    • rdb
    • データベース
    • アイデア
    • 並置による関数適用に関する所感

      7 users

      gist.github.com/qnighy

      juxtaposition-application.md 並置による関数適用 並置による関数適用の善し悪しについて盛り上っているので、自分の意見を表明しておく。以下の2本立て。 純粋に構文論的な議論 (構文拡張の余地を残す) 意味論との関係での議論 (副作用の表示) 先に結論だけ書くと、私はどちらかといえば括弧による関数適用のほうが好みです。 そもそも並置による関数適用とは 以下のように特定のデリミタによらず、2つの式を並べるだけで関数適用できることを本稿では並置による関数適用 (application by juxtaposing) と呼ぶことにします。 result = f x y 理論面ではλ計算の標準的な記法で、また実用例としてはHaskellやOCamlなど広義のML系でよく見られる形式です。 並置による関数適用以外に以下のような関数適用構文が存在します。 括弧による関数適用 f

      • テクノロジー
      • 2022/02/22 22:53
      • Rustのパターンっぽいやつメモ

        157 users

        gist.github.com/qnighy

        You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

        • テクノロジー
        • 2018/06/19 19:15
        • rust
        • あとで読む
        • github
        • 雑多
        • programming
        • pattern
        • プログラミング
        • tech
        • 考察
        • いろいろな標準形

          3 users

          gist.github.com/qnighy

          You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

          • 世の中
          • 2018/03/02 22:57
          • satysfi-grammar.md

            3 users

            gist.github.com/qnighy

            プログラムモードの字句は以下の通り(\sは[ \t\n\r]): /\s+/ 空白(無視) /%.*$/ コメント /@\w+:.*$/ ヘッダ指令 /\(\)/ ユニット /\(/ .. /\)/ 括弧 /\(\|/ .. /\|\)/ レコード /\[/ .. /\]/ リスト /;/ リスト区切り /\{/ .. /\}/ 水平モード /'</ .. />/ 垂直モード /\$\{/ .. /\}/ 数式モード /<\[/ .. /\]>/ パスのための括弧 /\.\./ パス曲線オペレータ /--/ パス直線オペレータ /`+/ リテラル (同じ数の /`/ で閉じる) /\\[a-zA-Z][-a-zA-Z0-9]*/ 水平コマンド名 /\+[a-zA-Z][-a-zA-Z0-9]*/ 垂直コマンド名 /\#/ メンバオペレータ /->/ 矢印 /<-/ セルの書き換えオペレータ

            • テクノロジー
            • 2018/02/23 17:47
            • SATySFi
            • あとで読む
            • HoTT/Coq 覚書

              6 users

              gist.github.com/qnighy

              You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

              • テクノロジー
              • 2014/08/25 11:36
              • HoTT
              • coq

              このページはまだ
              ブックマークされていません

              このページを最初にブックマークしてみませんか?

              『gist.github.com』の新着エントリーを見る

              キーボードショートカット一覧

              j次のブックマーク

              k前のブックマーク

              lあとで読む

              eコメント一覧を開く

              oページを開く

              はてなブックマーク

              • 総合
              • 一般
              • 世の中
              • 政治と経済
              • 暮らし
              • 学び
              • テクノロジー
              • エンタメ
              • アニメとゲーム
              • おもしろ
              • アプリ・拡張機能
              • 開発ブログ
              • ヘルプ
              • お問い合わせ
              • ガイドライン
              • 利用規約
              • プライバシーポリシー
              • 利用者情報の外部送信について
              • ガイドライン
              • 利用規約
              • プライバシーポリシー
              • 利用者情報の外部送信について

              公式Twitter

              • 公式アカウント
              • ホットエントリー

              はてなのサービス

              • はてなブログ
              • はてなブログPro
              • 人力検索はてな
              • はてなブログ タグ
              • はてなニュース
              • ソレドコ
              • App Storeからダウンロード
              • Google Playで手に入れよう
              Copyright © 2005-2025 Hatena. All Rights Reserved.
              設定を変更しましたx