圏論とは何か
数学に圏論という分野が出来てから半世紀ほど経つ事になる．大学の数学科過程で登場する集合位相，複素解析，環論体論などと比べれば，これはかなりの「若手」である．それゆえか，いまだに日本の数学課程で圏論の授業が行われることは（集中講義などを除けば）ほとんどない．（これは海外でも大差ないという話を聞く．）しかし，ひとたび大学院に入ると，幾何学や代数学を扱う人は，勝手に「圏論」の言葉が出てくる事に驚くかもしれない．圏論は現代数学の言葉として当然のように用いられ，その基礎学習は自習に任されるというのが現状である． しかし，このことは大きな問題を生み出している．というのも，少し齧った程度の自称「専門家」が様々な「圏論万能論」といった怪情報をインターネットに発信してしまっている事が多く見受けられる．また，当然のことながら「どの程度勉強するか」というのは，何をどのように専攻しているかに依存する．にも関わらず
「関数型言語をもっと使いこなしたい！」マイクロアドの新卒エンジニアがデータサイエンティストの先輩に圏論の初歩を指導してもらった話 - MicroAd Developers Blog
はじめに こんにちは、19新卒バックエンドエンジニアの飛田です。 弊社では、プロダクトの一部にCatsという関数型プログラミングを行うためのライブラリを導入しており、今後、Catsをより多くのプロダクトに使用していく予定です。 Catsにはモナドやファンクタという概念が登場しますが、これらの概念は圏論に由来しています。圏論を勉強することで、Catsで登場する諸概念をより深く理解することができると考え、今回、圏論の初歩の内容を自分でまとめてみることにしました。 なお、マイクロアドの優秀なデータサイエンティストであり、数学や物理に大変に詳しいT先輩（アイコンがおふとん）にレビューを依頼することにしました。 slackのアイコンがおふとんのT先輩 レビューをしてもらった結果 まとめた内容の初稿をT先輩にレビューをしていただいたところ、以下の通りものすごい量のツッコミを食らってしまいました。 レビ
圏論の入門書（2018年版） | 雑記帳
以前（2014年ごろ）このブログに「圏論の本」という記事を書いたが、あれ以降いろいろな本が出てきたようだ。特に、和書が増えた。 というわけで、この記事では2018年時点で手に入る圏論の本を独断と偏見で紹介する。ここで紹介するのは入門書、和書が中心となり、より専門的な話題に特化した本は省く。 圏論の入門書と一口に言っても、書き方や内容は著者によって様々である。読者にも代数学をやりたい人、プログラミングやロジックをやりたい人、色々いるだろうが、読者のバックグラウンドや興味の方向によって読むべき本は変わる。 読者が適切な本を選択する為に、この記事が（十分なガイドとまではならなくとも）なんらかのヒントを提供できれば幸いである。 適宜、Web上で他の方が書いた書評にリンクを貼る。 入門書、教科書 圏論の歩き方 圏論の歩き方委員会 編 「圏論の歩き方」日本評論社、2015年 [出版社ページ] 「圏論っ
【独自】日本語試験、合格証を偽造…女「数え切れないほど売りさばいた」 : 国内 : ニュース : 読売新聞オンライン
外国人が受験する日本語試験の合格証が偽造され、ＳＮＳを通じて日本国内で大量に販売されていることがわかった。日本語試験を巡っては、ベトナムで留学希望者による替え玉受験が相次いでいるが、偽物の合格証を購入するのは、すでに来日している留学生が多いという。日本での就職などに使われているとみられ、試験団体は対策を検討している。 留学生「就職のため購入」 ■「依頼、月３０件」 業者が偽造、販売したという日本語能力試験の認定書。業者は「今まで偽物とばれたという客はいない」と話した＝画像は一部修整しています 「約５年前から、数え切れないほど売りさばいてきた。月３０件は依頼がある」 フェイスブック（ＦＢ）のベトナム語のページに「広告」を出して注文を受け付けているベトナム人の女が、読売新聞の電話取材に実態を明かした。 偽造されているのは、公益財団法人・日本国際教育支援協会（東京）が国内で実施する「日本語能力試
サントリーの１８年物のウイスキー 工場を２倍にしたら ９年でできる。 こ..
サントリーの１８年物のウイスキー 工場を２倍にしたら ９年でできる。 これを否定してみてください。 プログラムの１８人月 人数を倍にしたら ９ヶ月でできる できるできないはあるけど、こんなに簡単な数式になるでしょうか？
『ゲームキーパーというお仕事』
イギリス貴族のお城では、色々な仕事をする使用人たちが今もいます。 その中の一つに、ゲームキーパーというお仕事をする人がいます。 ゲームキーパーとは狩猟管理。広いお屋敷の敷地では鹿やキジ、キツネ、ウサギなど野生動物もたくさん住んでいますが、どこに何頭、何羽住んでいるかいつも双眼鏡を片手に観察をしていて、一定数を超えると狩りをします。 まだ貴族社会の社交では冬のお楽しみとして狩猟がありますが、その時にはその管理もします。どこの地区でどの種が多いので、何羽までなら狩って大丈夫です、とか報告し、その上で狩猟ゲームをします。 ですからむやみやたらに銃で撃つわけではありません。 そして植物が餌として食べられすぎないよう、調和もはかります。 また狩りの獲物として撃たれた鳥獣は、そのまま屋敷の厨房へ持っていかれ、料理長の手に渡り、ディナーになります。 広大な敷地と城のような邸宅を管理するのは、今の時代では
内閣府、新資料を19年11月に把握 2カ月以上、存在隠す 官邸調査にも示さず | 毎日新聞
首相主催の「桜を見る会」で、内閣府は21日に国会に示した新たな資料の存在を2019年11月の段階で把握していた。毎日新聞の取材に内閣府が認めた。19年秋の臨時国会で桜を見る会の問題が表面化したにもかかわらず、少なくとも2カ月以上、資料の存在を国会に隠していた対応に批判が強まるのは必至だ。 資料は14～19年の招待者について「各界功績者（総理大臣等）」「各界功績者（各省庁）」「各国大公使等」など推薦区分をまとめ、総数を示したもの。内閣府総務課によると、人事課から招待者の情報を受けた総務課が作成し、開催要領や経費関連の決裁などと同じ行政文書ファイルに含まれていた。内閣府の担当者は国会提出後、野党側に「『招待者数の総数の根拠となる資料』の有無を聞かれなかったため、これまでは出さなかった」と釈明したが、野…
「桜を見る会」 第2次安倍政権で「政治家枠」膨張、国際貢献功労者など減少 「コネ」重視浮き彫り | 毎日新聞
首相主催の「桜を見る会」を巡り内閣府が21日に国会に示した新資料を読み解くと、招待者や支出の増加ぶりが克明に浮かび上がる。特に第2次安倍政権となってから「政治家枠」が膨張し、「功労」よりも「政治家とのコネ」が重視されていることが読み取れる。 小泉政権時と比較 国際貢献などの功労者224人減 「政治家枠」の膨張は、小泉政権時と比べると明らかだ。2019年12月に国立公文書館が公開した小泉政権時（05年度）の招待者の内訳を見ると、「総理大臣、自民党、公明党、正副官房長官」の合計は2744人。新資料で判明した19年度分の「各界功績者（総理大臣等）」は8894人で、「政治家枠」は約3・24倍に増えた。全体では計8737人から計1万5420人に増え、増加分の約92％を「政治家枠」が占めた。 著名な芸能人やスポーツ選手を含む「芸術・文化・スポーツ」も05年度の201人から19年度は260人に増加。ピー
音の速さを見てみよう－ダイジェスト／大科学実験 | NHK for School
音の速さを調べてみましょう。音が聞こえたら、同じタイミングで旗をあげる練習をしています。音が伝わる様子を目に見えるようにし、観察するためです。会場の長さは１．７キロメートル。ここに、８６人に２０メートルおきに一列に並んでもらいました。最初は楽器のシンバルで調べてみましょう。（シンバルの音）９８０メートル届きました。かかった時間は、、、２．８９秒。音が届いた距離をかかった時間で割ると、音の速さは毎秒３３９メートルです。次は人の声です。届いた距離は１１８０メートル。
伊方原発、ほぼ全ての電源が数秒間喪失 ｜ 共同通信
黒枠のラベルは、コンテンツホルダー自身が付与したものです。グレー枠のラベルは本文解析で自動付与されたものです。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
西郷南海子🎗Minako Saigo on Twitter: "ひぇーー！！ 今日の京都新聞6面です。 こんなデマ広告ってありなんですか？？ この広告に、自民党・公明党だけでなく、国民民主党・立憲民主党・社民党も名を連ねています。 #京都市長選 #かどかわ大作 https://t.co/hTs3M3Oznv"
インバウンドいきなり虫の息、中国ほぼ逆鎖国へ : 市況かぶ全力２階建
圏論とプログラミング / Category Theory and Programming