• Twitterでシェア
  • Facebookでシェア

TypeScriptの代数的部分型模型

テクノロジー カテゴリーの変更を依頼 記事元:zenn.dev/estra
適切な情報に変更
120 usersがブックマーク コメント3



    ゲスト
    コメントするにはログインが必要です  ブックマークを追加  
    ブックマークを追加  



    ガイドラインをご確認の上、良識あるコメントにご協力ください

    0 / 0

    おすすめタグタグについて



    よく使うタグ









    TypeScriptの代数的部分型模型  


    120 users   zenn.dev/estra  

    ガイドラインをご確認の上、良識あるコメントにご協力ください

    0 / 0

    おすすめタグタグについて



    よく使うタグ










    はてなブックマークで
    関心をシェアしよう


    みんなの興味と感想が集まることで
    新しい発見や、深堀りがもっと楽しく
      ユーザー登録  
    アカウントをお持ちの方はログインページへ
      







    記事へのコメント3件





    ●注目コメント
    ●新着コメント
      





    shunkeen
    shunkeen  数学的構造をメンタルモデルに使うのが良き。何が証明できるか︵応用志向︶よりも、いかに脳に楽をさせて推論できるか︵理解志向︶を意識していそうで素晴らしい。楽をするために数理的解釈を選び取ればいい。  



    2024/02/27   リンク  





    その他


    ●    
    ●    
    ●
      












    murashit
    murashit  適切な図をつかうとわかりやすいことの好例だ  

    ●p


    2024/02/28   リンク  





    その他


    ●    
    ●    
    ●
      








    hase0510
    hase0510  派生型を部分集合だと考えると基底型の方ができることが多そうな気がするけど実際には逆で、でも基底型がunion型の場合はその通りな気がしたりして、混乱する。  



    2024/02/27   リンク  





    その他


    ●    
    ●    
    ●
      








    shunkeen
    shunkeen  数学的構造をメンタルモデルに使うのが良き。何が証明できるか︵応用志向︶よりも、いかに脳に楽をさせて推論できるか︵理解志向︶を意識していそうで素晴らしい。楽をするために数理的解釈を選び取ればいい。  



    2024/02/27   リンク  





    その他


    ●    
    ●    
    ●
      









     





    ゲスト
    コメントするにはログインが必要です  ログインしてコメント  

     

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の﹁建設的コメント順位付けモデルAPI﹂を使用しています
      


     

    リンクを埋め込む


    以下のコードをコピーしてサイトに埋め込むことができます
      
    プレビュー





    はてなブックマークボタンを作成して埋め込むこともできます
      
    閉じる

    規約違反を報告  

    アプリのスクリーンショット

    いまの話題をアプリでチェック！  

    ●バナー広告なし
    ●ミュート機能あり
    ●ダークモード搭載
      
     アプリをダウンロード  








    関連記事






    usersに達しました！


    さんが1番目にブックマークした記事﹁TypeScriptの代数...﹂が注目されています。
    気持ちをシェアしよう
              





    ●TypeScript
    ●あとで読む
    ●数学
    ●programming
    ●型
    ●JavaScript
      

    ブックマークしたユーザー



    ● isdh2024/06/28   isdh

    ● techtech05212024/06/26   techtech0521

    ● hitotakuchan2024/04/30   hitotakuchan

    ● r-west2024/03/15   r-west

    ● karuakun2024/03/05   karuakun

    ● kat212024/03/01   kat21

    ● BlueSkyDetector2024/02/29   BlueSkyDetector

    ● h885k43f2024/02/29   h885k43f

    ● obaratch2024/02/28   obaratch

    ● coppieee2024/02/28   coppieee

    ● murashit2024/02/28   murashit

    ● hush_in2024/02/28   hush_in

    ● febc_yamamoto2024/02/28   febc_yamamoto

    ● aravow2024/02/28   aravow

    ● tyosuke20112024/02/28   tyosuke2011

    ● shima-hokke2024/02/28   shima-hokke

    ● crexist2024/02/28   crexist

    ● piayo2024/02/28   piayo


     すべてのユーザーの
    詳細を表示します  


    ブックマークしたすべてのユーザー

















    同じサイトの新着





    ゼロから始めるObsidianプラグイン開発-02


    1 userzenn.dev/estra
      




    await 式の配置による制御｜イベントループとプロミスチェーンで学ぶJavaScriptの非同期処理


    1 userzenn.dev/estra
      




    Promise の静的メソッドと並列化｜イベントループとプロミスチェーンで学ぶJavaScriptの非同期処理


    1 userzenn.dev/estra
      




    resolve 関数と reject 関数の使い方｜イベントループとプロミスチェーンで学ぶJavaScriptの非同期処理


    3 userszenn.dev/estra
      



    同じサイトの新着をもっと読む  

    いま人気の記事





    ﹁トーマス・ロックリーによって﹃黒人奴隷は日本発祥﹄というデマが広がっている﹂というデマ - 電脳塵芥


    566 usersnou-yunyun.hatenablog.com
      




    中年が人生に輝きを取り戻す、唯一のコツ


    254 usersblog.tinect.jp
      




    2024年版のDockerfileの考え方＆書き方 | フューチャー技術ブログ


    260 usersfuture-architect.github.io
      




    ﹁サードパーティークッキーの廃止の撤回﹂ってどういうこと？ | IIJ Engineers Blog


    404 userseng-blog.iij.ad.jp
      



    いま人気の記事をもっと読む  

    いま人気の記事 - テクノロジー





    2024年版のDockerfileの考え方＆書き方 | フューチャー技術ブログ


    260 usersfuture-architect.github.io
      




    ﹁サードパーティークッキーの廃止の撤回﹂ってどういうこと？ | IIJ Engineers Blog


    405 userseng-blog.iij.ad.jp
      




    日本はもはや﹁イノベーションの国﹂ではなく、AIの﹁巨大市場﹂なのだろうか | 米IT大手が続々と日本に出資するわけ


    115 userscourrier.jp
      




    動画生成AI競争激化、グーグルは﹁Veo﹂投入、注目LumaAI﹁Dream Machine﹂の衝撃


    56 userswww.sbbit.jp
      



    いま人気の記事 - テクノロジーをもっと読む  

    新着記事 - テクノロジー





    AzureでElasticsearch(Elastic Cloud)を使う時のポイント 2024年版︵運用編1︶ - Taste of Tech Topics


    6 usersacro-engineer.hatenablog.com
      




    レガシーな社内向け機能を作り直した話 - RAKUS Developers Blog | ラクス エンジニアブログ


    5 userstech-blog.rakus.co.jp
      




    ZIO Lambdaを用いてScalaネイティブバイナリをAWS Lambdaで動かしてみた - エムスリーテックブログ


    6 userswww.m3tech.blog
      




    更新可能なデータレイクを構築するテーブルフォーマットApache Hudiについて - Repro Tech Blog


    8 userstech.repro.io
      



    新着記事 - テクノロジーをもっと読む  



    同時期にブックマークされた記事





    レシップ、モバイルチケットシステム　観光市場向けに提供へ


    1 userwww.chukei-news.co.jp
      




    エミータ689／車の妖精にコーヒーを貰ったよ〜 - sutekidaneの日記


    2 userssutekidane.hatenablog.com
      




    遮断機が下りないトラブル 昨年度までの5年間で少なくとも48件 | NHK


    18 userswww3.nhk.or.jp
      




    河村勇輝選手の実家・両親は教師！兄弟は姉が2人で優秀！実家家族のエピソードが素敵｜マイベストフォーユー


    1 useraistageup777.com
      




    8　戦国の鬼 森武蔵　鈴木 輝一郎︵2007︶　 - 小説を 勝手にくくって20選！


    4 usersnmukkun.hatenablog.com
      











     



    はてなブックマーク




    ●総合
    ●一般
    ●世の中
    ●政治と経済
    ●暮らし
    ●学び
      

    ●テクノロジー
    ●エンタメ
    ●アニメとゲーム
    ●おもしろ
      

    ●アプリ・拡張機能
    ●開発ブログ
    ●ヘルプ
    ●お問い合わせ
    ●ガイドライン
    ●利用規約
    ●プライバシーポリシー
    ●利用者情報の外部送信について
      

    ●ガイドライン
    ●利用規約
    ●プライバシーポリシー
    ●利用者情報の外部送信について
      


    公式Twitter




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


    はてなのサービス



    ●はてなブログ
    ●はてなブログPro
    ●人力検索はてな
    ●はてなブログ タグ
    ●はてなニュース
    ●ソレドコ
      





    App Storeからダウンロード
    Google Playで手に入れよう


    Copyright © 2005-2024 Hatena. All Rights Reserved.
      




    設定を変更しましたx