「圏論」の検索結果

まとめの中から「圏論」の検索結果を表示しています。

  • 圏論の本についてのFAQ+α+β

    圏論の基礎は買わずに図書館で借りて、Awodeyを買ってよむか 圏論の基礎には圏論の基礎の良さがあるみたいだしというわけで,圏論のいろんな使い道のショウケースが,来月出る「圏論の歩き方」なのです. 自分なりの「圏論の歩き方」を見つけるためのガイドブック! #圏論の歩き方「圏論ってなんか便利らしいし勉強しようかな」とか「圏論どこまで深入りすれば... 続きを読む
    29041pv 65 7 users 1 2015年11月22日
  • Coqで圏論の会

    Coq で圏論の会がうらやまなのであとで Agda で圏論の会とかやるしかない…!Coqで圏論の会 2次会 #concat#concat Coqで圏論の会のメモ「Coqで圏論の会」をトゥギャりました。Coq で圏論、のイベントに参加中。#concatRT : #concat Coqで圏論の会のメモさんの「Coqで圏論の会」をお気に入りにしました。【急募】Coqで圏論の会 後に2次会で入ってヨサゲな新宿のお店 #concatCoqで圏論の会... 続きを読む
    3486pv 9 2011年5月5日
  • 『圏論の基礎』が書店から消えた

    筑波大学での圏論セミナー「圏論Ⅰ〜圏論の基礎〜」「圏論の基礎」絶版なのかなー #圏論の基礎『圏論の基礎』をテキストに使って頂いていますね。やっぱり品切れは痛いなあ。 RT : 筑波大学での圏論セミナー「圏論Ⅰ〜圏論の基礎〜」RT : みなさん、圏論知りたければ圏論の基礎の再版をお願いしましょう。圏論の基礎:圏論の基礎ほしいRT : 圏論の基礎欲しい!RT : 圏... 続きを読む
    6502pv 20 1 user 2011年7月25日
  • プログラマのための圏論勉強会 #cat4pg

    うそ、圏論。この後「プログラマのための圏論勉強会」で発表予定の「トポロジーと圏論の夜明け」の発表スライドです😄お楽しみに🤗 #cat4pg初めて圏論勉強会に参加緊張 #cat4pg圏論!開始! 今度こそ、圏論を腹に落としたい・・・ まずは「さのたけと」氏。 - 代数トポロジーの面白さ ・・・「位相不変量」と、具体的な計算。 - ホモロジー群のアルゴリズミックな... 続きを読む
    3435pv 23 2018年10月17日
  • 20160702第14回数学カフェ「圏論!」

    第14回数学カフェ「圏論圏論の歴史 #math_cafe第14回数学カフェ「圏論」 #math_cafeHaskellと圏論の絡み聴けるのは、割と楽しみ7/2の数学カフェは、講師の都合により鰻カフェ・圏論回になるぞい。 (ほんまかいな。)圏論の「け」の字だけでも覚えて帰りたいです。 #math_cafe数学カフェ圏論回、本日です! 直前のご案内で恐縮ですが、初学者の方も多く、基本的な概... 続きを読む
    4492pv 15 1 user 46 2016年7月4日
  • 圏論とかモナドは簡単か

    それもおっしゃる通りだけど、入れちゃうと難しくなっちゃうんだよなぁ「圏論から学術的な厳密さを引いてしまうと圏論ではなくなってしまう」皆さんは圏論の前に scala を覚えるべきだ"圏論とかモナドなんて簡単だからscalaを使って説明してみた"を検証してみた単にモナドの事をscalaを使って説明したいだけなのに、なぜか「圏論とかモナドなんて不要」をオススメ... 続きを読む
    6881pv 14 4 users 2 2013年4月5日
  • すうがくぶんか「圏論の基礎の基礎」

    #圏論の基礎の基礎#今日の圏論 あとで #圏論の基礎の基礎 のハッシュタグ眺めようきた #圏論の基礎の基礎#圏論の基礎の基礎#圏論の基礎の基礎#圏論の基礎の基礎#圏論の基礎の基礎#圏論の基礎の基礎#圏論の基礎の基礎#圏論の基礎の基礎 続きを読む
    9286pv 96 4 users 1 2018年12月16日
  • 2018年圏論ツイート初め

    というわけで圏論の話しますそろそろ今年の新年初圏論ツイートしようかな場所さえ用意してくれれば僕が圏論の話しに行きますが圏論の解説をすると結果としてワヘイヘイ漫画の解説をすることになるという状況笑ってしまうしかし圏論をやっていればご存じの通り「関手の等号」というのは相当強い条件であるので、ここは「関手が同型(自然同型)であればよい」と... 続きを読む
    3702pv 17 2018年1月1日
  • #kenron 圏論勉強会 第4回 まとめ

    圏論勉強会で傘の忘れ物がありました。 濃紺で、柄が木の傘です。 次回の圏論勉強会までお預かりします。 #kenron資料→ ―― 圏論俺が圏論だっ! #kenron圏論勉強会第4回 で配信中です #kenron今日も圏論勉強会へ。#kenron圏論勉強会(再生リスト): #kenron圏論勉強会第4回待機中 #kenron圏論勉強会サテライトデスク #kenron第4回圏論勉強会「射で考える」 #kenron圏論には、集合... 続きを読む
    1784pv 2 2013年6月7日
  • ゆる~くベーシック圏論を読む会(通称ゆる圏↻)

    【拡散希望】最近圏論に興味を持っている方へ:なぜ圏論に興味を持ちましたか?次の数学ガールは圏論ですか◎圏論流行っているようですね◎やはり圏論流行っているのか…ベーシック圏論の例1.3.5です!写真はベーシック圏論の成す位数6の群です◎今日の #φカフェ数学デー ではいつもの圏論勉強会とは別で圏論の話が聞けました!2つのV-豊穣圏の間の関手圏の射と... 続きを読む
    3398pv 25 2019年11月23日
  • #kenron 圏論勉強会 第1回 まとめ

    次回以降、怖くない圏論から怖い圏論へ突入するのか #kenron圏論勉強会なう.圏論とプログラムとの関連への理解を深めて行きたい. #kenron資料 → ―― 圏論圏論勉強会 #kenron圏論の予習 #kenron冷やかし圏論… #kenron圏論勉強会来たー。 #kenron圏論勉強会の参加者が入り始めた #kenron「圏論の基礎」を読んだ高校生… #kenronHaskellのために圏論勉強してる人多いと思うけど、こ... 続きを読む
    9179pv 34 5 users 2 2013年5月17日
  • 圏論圏に住むmathink先生と圏論線上のぱぶり

    そうなのですか、ならば圏論圏論としておこう。 やほー! ありがとうございますっ!!圏論に慣れていない状態で Hask 圏に纏わる議論を圏論の言葉で言い直そうとすると,このようなギャップが混乱を招くのは必至と思われます.(続圏論に於ける関手の定義は掴めていますか ?圏論に於ける関手の定義は掴めていますか ?圏論でされている定義はそれだけなのですね... 続きを読む
    1499pv 9 1 user 2014年6月27日
  • 圏論とSwiftへの応用 @inamiy #iosdc #c

    圏論! #iosdc #cいま話題の圏論だ💣 #iosdc #c#c #iosdc 🤯 圏論頑張りたい、、、、圏論とSwiftへの応用 ききにきた #c #iosdc圏論はプログラミングの究極のゴール #iosdc #c圏論を学べば型システムチョットデキル #c #iosdc圏論を学べば部活も勉強もうまくいく! #iosdc #c圏論はコンパイラによる最適化につながる #iosdc #c圏論を知れば最適化の方法がわかりやすくなる #iosdc #c一度挫... 続きを読む
    1353pv 3 2018年9月2日
  • #kenron 圏論勉強会 第2回 まとめ

    圏論やるのか?!圏論がやりたいかー!!!!! | 圏論勉強会 第2回 - [PARTAKE] #kenron さんから圏論っていうか代数の話をしているように見える #エア圏論 #kenron圏論勉強会圏論もいいけどモチベーション回復効果がとてもいい #kenron#エア圏論 #kenron#エア圏論 #kenron#エア圏論 #kenron#エア圏論 #kenron#エア圏論 #kenron#エア圏論 #kenron#エア圏論 #kenron 続きを読む
    5451pv 19 3 2013年5月24日
  • #kenron 圏論勉強会 第3回 まとめ

    圏論なのに人数減らないのナンデ!?これ講師人気だとしたら、圏論シリーズ終わった後に他のCS科目を企画したらニーズあるかなぁ。 | 圏論勉強会 第3回 - [PARTAKE] #kenron さんから#エア圏論 #kenron今日も圏論じゃ! #kenron教養としての圏論 #kenron圏論勉強会 第3回 の募集を開始しました。今回は本当に圏論(モノイドではなく)をやるようです。なお第2回の動画も既にアップ... 続きを読む
    3639pv 3 2013年5月31日
  • 数学的対象を知らずに圏論を学ぶ事に関するあれこれ

    圏論って、本当に難しい数学が事例に出てくるのでな。まぁ、けど、圏論の理解と数学の理解の相互作用があって、理解していったとすれば、不思議では無いかもしれんがな。圏論の概念のHaskellへの応用はそれなりに理解出来るようになったつもりだけど、圏論そのものを理解しているかというと、難しい数学の概念がどちゃくそいっぱい出てきてびみょい。線形代数... 続きを読む
    4851pv 7 2015年11月18日
  • #kenron 圏論勉強会 第6回 まとめ

    圏論は雨を呼ぶ #kenron圏論はノリと勢い #kenronこれから圏論勉強会第6回。 #kenron圏論勉強会 第6回 - [PARTAKE] #kenron さんから5get 圏論勉強会 第6回 - [PARTAKE] #kenron さんから| 圏論勉強会 第6回 - [PARTAKE] #kenron さんからさんか │ 圏論勉強会 第6回 - [PARTAKE] #kenron via次回からは,前半は圏論,後半は応用としていく #kenron| 圏論勉強会 第6回 - [PARTAKE] #kenron さんから圏論勉強会 第6回... 続きを読む
    1661pv 1 2013年6月21日
  • #kenron 圏論勉強会 第5回 まとめ

    資料→ ―― 圏論今日は圏論 #kenron木曜日は圏論の日 #kenron木曜日は圏論勉強会 #kenron#kenron これは圏論的なアプローチ。| 圏論勉強会 第5回 - [PARTAKE] #kenron さんから第5回圏論勉強会の動画をアップロードしました。 #kenron圏論勉強会の動画をyoutubeに上げました。 #kenronまさか圏論勉強会で選択公理を耳にするとは #kenron圏論勉強会 第5回 - [PARTAKE] #kenron さんから 続きを読む
    1852pv 4 2013年6月14日
  • 第二回圏論勉強会の予習

    という風にして得られたのが直積の圏論的な定義な訳です。関数プログラミング言語の人たちに,Haskellの言葉を使わずに圏論の概念を説明をするのって,制限プレイみたいなものだと思えてしまうなまず、一旦圏論のことを忘れてみます。直積は X, Y から元 a, b を取れば対 (a, b) が決まって、逆に z ∈ X×Y を決めれば fst(z), snd(z) が決まる。これはよいですか?ここでは... 続きを読む
    1455pv 9 3 users 2013年5月23日
  • 2014年末、Hakellや圏論の会話やつぶやき

    そういう感覚はこの半年くらいでようやく掴めるようになりました(´・ω・`)ようやく圏論勉強会の中盤くらいででやった事が身になり始めてる感じですぽよ・・・ただ「自然変換にするといいよ」って言ってもnaturalityをコードに表現できない言語ではあんまり(圏論的によく分かる以上の)意味が無かったりしますよね圏論が教えてくれる「デザインの良さ」というのは... 続きを読む
    1178pv 2 1 user 2015年1月3日
  • 圏論が出てこない数学カフェ圏論会の予習会(数論幾何編)

    ☆[New] 圏論 ここだけ圏論使いましょう #mathcafegory圏論だ! #mathcafegory圏論カフェ向けってことはdual isogenyも何か圏論的翻訳をするのかな?(自明な言い換え以上のことが想像付かない) #mathcafegory圏が出てこない圏論カフェの準備 #mathcafegoryこれどこで圏論使ったんだろ・・ #mathcafegory 続きを読む
    2800pv 13 8 2016年9月22日
  • 【第16回数学カフェ】【圏論2】2016年9月24日(土)

    圏論カフェでは自明に圏論をやらない #mathcafegory☆[New] 圏論 ここだけ圏論使いましょう #mathcafegory今日は「圏論」論をやるので、圏論はやらない #mathcafegory前回の圏論会で、言語としての圏論まで行けなかったのが悔やまれる。 #mathcafegory圏論の言語としての有用性、圏論の代数と幾何などの対象を結ぶなど、ストーリーの骨子が明確だった続ちゃんと圏論かたる人の話... 続きを読む
    2888pv 10 2016年9月25日
  • 圏論、Haskell、あるいは圏論部。

    圏論発言をしてる人を片っ端からフォローしてみる。 圏論圏論?ああ・・・・・圏論ね・・・うん、あれだよね、うん、知らないです圏論TLだ、とは流れてくるのに実際に圏論の話題が流れてこない自分のTL。圏論ってなんですか…圏論部w圏論ってもう「圏論というものがある」だけで萌えるんだけどこれは結局素人だからだろうかねRT : 圏論TLだ、とは流れ... 続きを読む
    17897pv 70 23 users 2 2010年4月7日
  • 前原 和壽著『圏論入門』実況

    圏論の本をレビューしたら本が消滅したの圏論レジスタンスっぽい圏論破門圏論入門校正の人が圏論わかるのは相当厳しいだろう。圏論を任意の専門領域に置き換えても同じだろうな。圏論の入門書が出てみんなで読んで実況してお祭り騒ぎだし日本の圏論界隈も盛り上がってきたな(?)前原圏論入門の和訳本「うすく新しい安価な圏論の和書」という点で価値がありま... 続きを読む
    55452pv 136 38 users 8 2018年8月30日
1 ・・ 25 次へ