自動更新

並べ替え:新着順

メニューを開く

関数 f : T -> bool に対して濃度数 #|f| が計算できる。 これは関数を集合と解釈できるのか?または逆に集合が関数になるんだろうか? #Coq #CoqTokyo

Yoshihiro Imai@yoshihiro503

メニューを開く

台集合 T を固定して、そのいろんな部分集合を考えたいときがある。 そのいろんな部分集合同士の要素を気軽に比較したかったりする。 そういうときは、finTypeそのままじゃなくて有限集合型 A : {set T} がある。 #Coqtokyo #Coq #mathcomp_book #有限集合 hackmd.io/u5nWBVJwRmiVkB…

Yoshihiro Imai@yoshihiro503

トレンド21:02更新

  1. 1

    エンタメ

    イッテQ

    • 手越くん
    • イェーーイ
    • 宮川さん
    • 手越復活
    • もらい泣き
    • 手越祐也
    • イッテQ!
    • 最高視聴率
    • 宮川大輔
    • 4年ぶり
    • イッテQ 手越
    • リアタイ
    • 宮川
  2. 2

    エンタメ

    顔出し!

    • ルーレット
    • ヤバすぎ
    • とんでもないこと
    • 大変なことに
    • るぅとくん
    • ゲーム実況
    • 顔出しNG
  3. 3

    ニュース

    惟規

    • 為時
    • 敦康
    • 赤い束帯
    • 光る君へ
    • 宣孝
    • 辞世の句
    • 藤原惟規
    • いとさん
    • 伊周
    • 賢子
    • まひろ
    • 彰子
    • まひろの弟
  4. 4

    ヘルメットおじさん

    • ウッチャン
    • ヘルメット
  5. 5

    ネタバレ解禁

    • モナ・リザの横顔
    • 終わり
  6. 6

    音声が切れません!

    • 音声が切れません
  7. 7

    エンタメ

    のぶのり

    • いとさん
    • 次の東宮
    • 越後国府
    • まひろの弟
    • 人を呪わば穴二つ
  8. 8

    アニメ・ゲーム

    ウタウタの実

    • バルトロメオ
    • ONE PIECE FILM RED
    • サニー号
    • ウタウタ
    • ベポ
  9. 9

    アニメ・ゲーム

    トットムジカ

    • ムジカ
  10. 10

    エンタメ

    ステイシー

    • STAYC
    • うっちゃん
20位まで見る
よく使う路線を登録すると遅延情報をお知らせ Yahoo!リアルタイム検索アプリ
Yahoo!リアルタイム検索アプリ