自動更新

並べ替え:新着順

メニューを開く

関数型プログラミング言語における「意味論」は圏論につながり、圏論は文学のレトリック認識に通ずるように思う。 宇宙は「なにか」の壮大な比喩である、という世界観を予感してるけど、スウェーデンボルグの「照応」理論とカリー・ハワード対応との関係を考察していきたい。 #圏論 #哲学 pic.twitter.com/Eb1E7g6DvY

メニューを開く

「共変Hom関手は連続である」というこの同型がAとDについて自然であることをようやく確認したぜ。#圏論 pic.twitter.com/z1AFhsOIbl

岡竜之介@agajo

メニューを開く

かわいい女の子とが数学に入門する話 (1/n) 入門編 集合論編 #技術書典 #数学 #せつラボ #圏論 pic.twitter.com/5pAOPuwFLC

あいや🐕@public_ai000ya

メニューを開く

#技術書典 進捗です! #せつラボ #数学 #圏論 #初心者向け この段階になって、新しく構文を作りたくなってしまったので、作っています。 アレーオカシイナー 技術書典当日はよろしくお願いします👌✨ pic.twitter.com/rNzRowlMZ2

あいや🐕@public_ai000ya

メニューを開く

📚買取品の紹介✏️ 「圏論の地平線」西郷 甲矢人 (著)、2022、技術評論社 圏論ってなんだろう?なぜ役に立つのだろう? 情報物理,量子論,AI,生物学,哲学・・・いろんなことに関係あるらしい。N #圏論 #数学 #専門書買取 pic.twitter.com/0Sqd7an9Sz

ノースブックセンター@northbookcenter

メニューを開く

面白そうだったので、買ってみた。どこまで読めるか分からないけど。 #圏論 #トポロジー pic.twitter.com/XrlNRouaS0

threewells@threewells3131

メニューを開く

オンライン書店一部品切していますが,補充対応中です。通常の書店店頭でももちろんお求め頂けます。 数学の「数学」ともいえる #圏論 も注目のトピックス。どうぞ5月号お手にとってご覧ください。 花見も良いけど読書もね(・ω・)っ📗 pic.twitter.com/oxXgLwIkkb

日経サイエンス@NikkeiScience

メニューを開く

『数学セミナー』3月号、本日発売です! ◉ここに注目! 圏論ってどんなことに使えるの? Haskellを勉強してて圏論が気になった… #圏論 に関心のある方必見! 基本から、いくつかの分野への応用などを紹介。 圏論入門/古典物理と量子物理/高次圏論/数理モデル/トポス理論 nippyo.co.jp/shop/magazine/… pic.twitter.com/T2G6GxqSUq

日本評論社@nippyo

メニューを開く

ベシ圏教えてください! 演習6.3.27(b) (前層圏がトポスであることの証明) 2枚目の画像は解答で、(b)の自然変換uの一意性の示し方がわかりません。ヒントだけでも教えていただけると助かります。よろしくお願いします! (T.レンスター 『 #ベーシック圏論 』(丸善出版)) #数学質問 #圏論 pic.twitter.com/CCWHOi8uTV

ことり@komugikotori

メニューを開く

メモ20 関数が誘導する同値関係についてのまとめ (わりと初等的だけど知らなかった) cf. #ベーシック圏論 p.161 演習5.2.24 #小鳥夕景メモ #圏論 #数学 #同値関係 pic.twitter.com/7XurIjxXJv

ことり@komugikotori

メニューを開く

#ベーシック圏論 随伴について、教えてください! 演習問題2.1.16(a)のみです。2枚目は解答です。 知りたいのは、F ┤ Uについてで、 ・忘却関手Uは対象と射をどう移すか ・転置(又は単位、余単位)をどう定めれば随伴になるか ということです。よろしくお願いします🙏 #数学質問 #数学教えて #圏論 pic.twitter.com/yHL5E7MBLr

ことり@komugikotori

トレンド14:24更新

  1. 1

    エンタメ

    豊永利行

    • 豊永さん
    • 狐族
    • 炎虚無
    • 石田彰
    • 胡散臭い
    • 新キャラ
    • 仙舟
    • スターレイル
    • 河西健吾
    • サンポ
  2. 2

    エンタメ

    NEWS大集会

    • JAPANEWS
  3. 3

    オフィスにの本店

    • 受注販売
  4. 4

    エンタメ

    放送文化基金賞

    • 小野花梨
    • 道との遭遇
    • 急遽生放送
    • CBC
    • 2024年1月
    • 風間俊介
    • 宗教2世
  5. 5

    ニュース

    トー横の帝王

    • トー横キッズ
    • 性的暴行疑い
    • 不同意性交
    • 境晋吾
    • 捜査関係者
    • トー横の王
    • 小6
    • 歌舞伎町のホテル
    • 歌舞伎町の女王
    • 家出少女
    • トー横
    • 小学6年生
  6. 6

    グルメ

    ウッウロボ

    • ウッウ
    • サマーフェスティバル
    • アメウッウロボ
    • ポケスリ
    • ポケモンのアメ
  7. 7

    トライブナイン

    • ダンガンロンパ
    • 少年少女
    • RPG
    • アカツキ
    • Steam
    • 正式発表
  8. 8

    ITビジネス

    盛りすぎチャレンジ

    • でからあげクン
    • 47都道府県
    • ローソン
    • ローソンで
  9. 9

    グルメ

    ほうじ茶

    • ほうじ茶クラシックティーラテ
    • スターバックス
    • SNS
    • ブレンド
    • スタバ
  10. 10

    暁の女神

    • サザ
    • ミカヤ
20位まで見る
よく使う路線を登録すると遅延情報をお知らせ Yahoo!リアルタイム検索アプリ
Yahoo!リアルタイム検索アプリ