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

「型の理論」と証明支援システム -- COQの世界

テクノロジー カテゴリーの変更を依頼 記事元:www.slideshare.net/maruyama097
適切な情報に変更
14 usersがブックマーク コメント2



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



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

    0 / 0

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



    よく使うタグ









    ﹁型の理論﹂と証明支援システム -- COQの世界  


    14 users   www.slideshare.net/maruyama097  

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

    0 / 0

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



    よく使うタグ










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


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







    記事へのコメント2件





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









    zyzy
    zyzy  一からしっかりやってくれてるのに、ところどころ下が切れてて読みにくいのが……  

    ●勉強
    ●Coq
      

    2014/06/10   リンク  





    その他


    ●    
    ●    
    ●
      








    Nyoho
    Nyoho  Voevodsky Homotopy Type Theory  

    ●Coq
      

    2014/06/07   リンク  





    その他


    ●    
    ●    
    ●
      









     





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

     

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


     

    リンクを埋め込む


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





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

    規約違反を報告  

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

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

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








    関連記事






    usersに達しました！


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





    ●Coq
    ●development
    ●*あとで
    ●プログラミング
      

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



    ● taketo10242017/02/15   taketo1024

    ● KatagiriSo2016/07/05   KatagiriSo

    ● u_wot_m82014/07/05   u_wot_m8

    ● nisemono_san2014/06/12   nisemono_san

    ● mukaken2014/06/12   mukaken

    ● nanakoso2014/06/11   nanakoso

    ● zyzy2014/06/10   zyzy

    ● matatabity2014/06/08   matatabity

    ● sin_132014/06/08   sin_13

    ● komlow2014/06/08   komlow

    ● Nyoho2014/06/07   Nyoho

    ● lEDfm4UE2014/06/07   lEDfm4UE


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


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

















    同じサイトの新着





    大規模分散システムの現在 -- Twitter


    571 userswww.slideshare.net/maruyama097
      




    Facebook Parseの世界


    13 userswww.slideshare.net/maruyama097
      




    maruyama097


    2 userswww.slideshare.net/maruyama097
      




    Cyber-Physical Systems とは何か？


    3 userswww.slideshare.net/maruyama097
      



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

    いま人気の記事





    ︽フジ、日テレの新居報道騒動が新展開︾大谷翔平、ロスの﹁12億円豪邸﹂を売却の意向﹁もうあそこには住めない﹂と怒りの決断か


    323 userswww.news-postseven.com
      




    ︻証拠写真入手︼旭川殺人事件被告と警察官らの醜態｜警視ら13人カラオケ店で飲食 – HUNTER︵ハンター︶


    176 usersnews-hunter.org
      




    3大スーパーで購入できる美味しい納豆


    399 usersanond.hatelabo.jp
      




    石丸伸二氏、開票速報の対応﹁内心、おちょくってました﹂テレ朝単独インタビューで吐露︵デイリースポーツ︶ - Yahoo!ニュース


    337 usersnews.yahoo.co.jp
      



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

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





    古市憲寿さんが石丸伸二さんと話した所感を語った話…﹁出来の悪いAIみたいな話しぶり﹂﹁答えない戦略はあっていいが選挙特番にでないほうがいい﹂など


    294 userstogetter.com
      




    安野たかひろさんの支持者は高所得者が多いという見解について｜ゆい


    131 usersnote.com/rink__ui
      




    ITエンジニア勉強会に﹁無料フード目的﹂の部外者出没　アンケートで半数が﹁遭遇﹂と回答、注意すれば誹謗中傷や恫喝も - 弁護士ドットコムニュース


    166 userswww.bengo4.com
      




    CSSのclass名やJavaScriptの関数名を付けるときに役立つ単語リストのまとめ -Classnames


    96 userscoliss.com
      



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

    新着記事 - テクノロジー





    安野たかひろさんの支持者は高所得者が多いという見解について｜ゆい


    130 usersnote.com/rink__ui
      




    1年間で悪質なトラフィックを“240億回”拒絶、AWSが最優先する内部でのセキュリティ対策 (1/2)


    17 usersascii.jp
      




    マイクロソフトがOpenAIの取締役会から撤退、独禁法調査を警戒 | Forbes JAPAN 公式サイト︵フォーブス ジャパン︶


    14 usersforbesjapan.com
      




    Twitterの“X化”から間もなく1年　﹁利用者数は前年から増加中﹂と公式がアピール


    20 userswww.itmedia.co.jp
      



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



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





    ﹃品川駅からタクシー﹄


    1 userameblo.jp/salon-map
      











     



    はてなブックマーク




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

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

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

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


    公式Twitter




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


    はてなのサービス



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





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


    Copyright © 2005-2024 Hatena. All Rights Reserved.
      




    設定を変更しましたx