自動更新

並べ替え:新着順

メニューを開く

「帰納的構成法の微分積分」は「Calculus of Inductive Constructions」です。 #Coq翻訳あるある #CoqTokyo #Coq

Yoshihiro Imai@yoshihiro503

メニューを開く

#OCaml + #Coq, #Haskell + #Isabel/#HOL#前者 には #CompCert#後者 には #seL4 という #キラーソフトウェア があるが、他はぱっとしないよなあ。 #SELinux 級の #MAC #ファイルシステム とか、(#ディスクドライブ最適化 その他 #ドライバ を伴わない)#RDBMS とかで良い感じのが欲しいところ x.com/kmizu/status/1…

kmizu@kmizu

返信先:@fjs_kyousosamaなるほど。ちなみに、実際のプロジェクトは想定していませんでしたが、ミスの許容度が低くて、バッチ処理で完結するようなケースではHaskellで型をガチガチに固めるのは実際に有利に働きそうな気はします。

家鴨のジョナサン@JonathanTheDuck

メニューを開く
chen sir❤️Coq inu🐓💛chikn🔺@cqc1100

你们发现了吗,官推的粉丝数量一直稳定在7.5万之间,今天看到突然增加了一万多8.8万了。这是发生了什么!!🎉🎉 @CoqInuAvax @coqbook @realDonaldTrump @TraderJoe_xyz @avax @justinsuntron @heyibinance @cz_binance @binance @binancezh pic.x.com/u5mtttdbpv

dofo❤️COQ INU 💛CHIKN@dofo926

メニューを開く

型を見るEmacs コマンドは? * Coqの人: C-c C-a C-c または C-c C-a C-b * OCamlの人: C-c C-t 定義を参照するのは? * Coq: C-c C-a C-p * OCaml: C-c C-l #Coq #ProofGeneral #Merlin #ocaml #emacs

Yoshihiro Imai@yoshihiro503

トレンド11:55更新

  1. 1

    マリオパーティ

    • CO2
  2. 2

    日本人4人

    • マリナーズ
    • ヤンキース
    • ドジャース
    • 2007年
    • スタメン
    • CO2
  3. 3

    ニンテンドーミュージアム

    • ポケふた
    • ポケモン 赤
    • ニンテンドー
  4. 4

    アニメ・ゲーム

    PlayStation®5 Pro

    • GPU
    • レイトレーシング
    • PlayStation
    • 史上最高の
    • PlayStation 5 Pro
    • PlayStation5
    • Pro
    • AI
  5. 5

    エンタメ

    GONG

    • アクマゲーム
    • 2024年
    • SixTONES
  6. 6

    発売日は11月7日で価格は11万9980円

    • PS5 Pro
    • PS5
    • ゲームブースト
    • ディスクドライブ
    • 11万9980円
    • Pro
  7. 7

    Greatさん

    • オクトー
    • 日本のドラマ
    • 出演決定
    • キャラクター
  8. 8

    アニメ・ゲーム

    スクリプトエラー

    • スクリプト
    • FF14
  9. 9

    イロゴトシ

    • 屈腱炎
    • トウカイテイオー
    • 9ヶ月
    • 復活して
  10. 10

    補助金と寄付はセットだった

    • 兵庫・斎藤知事らの補助金キックバック疑惑
    • 金融機関
    • 補助金キックバック
    • 優勝パレード
    • AERA
    • 公益通報保護法違反
20位まで見る

人気ポスト

よく使う路線を登録すると遅延情報をお知らせ Yahoo!リアルタイム検索アプリ
Yahoo!リアルタイム検索アプリ