自動更新

並べ替え:新着順

メニューを開く

ssreflectによるgallina拡張によって、 Definition f (_ : T) :=... みたいな方だけに興味ある引数を Definition f of T := ... とかけるぞ #Coq #Coq豆知識 coq.inria.fr/doc/V8.19.2/re…

Yoshihiro Imai@yoshihiro503

メニューを開く

今天有超精彩的$COQ足球联注!🏆 在coqbook.com上浏览投注活动,简直是享受时光的好方式!🎉 #COQ #投注乐趣 #美好时光 @anndylian @btc690000 @okx @okxchinese @binancezh @DrcDAO @lingboweibu319 @realDonaldTrump pic.x.com/nw3zfpni3g

chen sir❤️Coq inu🐓💛chikn🔺@cqc1100

メニューを開く

「帰納的構成法の微分積分」は「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

トレンド17:55更新

  1. 1

    アニメ・ゲーム

    ぴゅあくる刀剣男士

    • ぴゅあくる
    • ぴゅあだん
    • 五月雨江
    • チケット先行
    • 刀剣男士
    • 刀剣乱舞
    • ご確認ください
    • 新プロジェクト
    • アイドル
    • ホームページ
  2. 2

    アニメ・ゲーム

    クロススカウト

    • 25%
  3. 3

    持続ダメージ

    • レイジョ
  4. 4

    エンタメ

    声優新幹線

    • 車内放送
    • 久保田未夢
    • 東海道新幹線
    • 60周年
  5. 5

    ニュース

    はねられた人

    • 衝突した
    • はねられた人はどこに
    • 東海テレビ
  6. 6

    エンタメ

    三遊亭王楽

    • 三遊亭円楽
    • 七代目円楽
    • 円楽さん
    • 王楽
    • 最後の弟子
    • 円楽
    • 好楽
    • 三遊亭好楽
    • 3回忌
    • 圓楽
  7. 7

    アニメ・ゲーム

    佐藤利奈

    • とある科学の超電磁砲
    • 白猫プロジェクト
    • 超電磁砲
  8. 8

    スタートを飾るのは

    • 五月雨江
  9. 9

    ナスカの地上絵

    • 儀礼活動
    • 山形大学
    • ナスカの地上絵 目的
    • 山形放送
    • ナスカ
    • YBC
    • 16倍
    • IBM
    • AI
  10. 10

    エド強化

    • キャミィ
    • 据え置き
20位まで見る

人気ポスト

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