まとめ 圏論の本についてのFAQ+α+β 圏論に入門したいという人からよくされる質問についてまとめました。 私（@piano2683）の見方はいくぶん偏っていると思いますが、一つの意見として捉えてください。 お品書き： ・登場するテキストについて ・ユーザー向けの圏論入門 ・トポス理論について ・ガチ勢向けの圏論入門 ・圏論とロジック ・圏論とモナド・普遍代数 ・その他 37370 pv 67 7 users 1 共立出版 アリがと蟻 @1738310 しばらくシリーズの「数学のかんどころ」の新刊を出せておりませんでしたが、年内中に3冊は出したいと思っております。タイトルは『圏論入門』（前原和寿 著）と『正則関数』＆『有理型関数』（ともに新井仁之 著）です。ご注目のほど、何卒よろしくお願い申し上げます。

インフラチームの @catatsuy です． 去年非エンジニアの新卒にプログラミング研修というのをやりました． 非エンジニアの新卒にプログラミング研修を行いました - pixiv inside [archive] 縁あってこの研修の内容を書籍化しました． pixivエンジニアが教えるプログラミング入門 (星海社新書) 作者:金子 達哉星海社Amazon Amazon では 2015/03/26 に発売されるそうです． 非エンジニア向けということで手軽に手に取れるように技術書ではなく新書として星海社さんから発売されます．内容は実際にやったプログラミング研修を同じく実際に Mac 上で動く画像投稿掲示板を作ってもらうという内容です．実際に作る画像投稿掲示板のコードは以下に公開しています． catatsuy/sinatra_keijiban 以下の様な読者が対象読者であることを本書の『はじめに』

ブラウザゲーム「刀剣乱舞」の人気を受けて、河出書房新社が「日本刀 妖しい魅力にハマる本」の帯を新しく作りました。そこに並んでいるフレーズは「審神者（さにわ）様、必携！」「加州清光、骨喰藤四郎、岩融、三日月宗近、歌仙兼定…刀剣の過去エピ満載！」……す、清々しいほど刀剣乱舞に便乗しているーっ！ 「日本刀 妖しい魅力にハマる本」は、2014年8月に出版された本。「刀剣乱舞」の影響で急激に売り上げが伸び、増刷が決まったのだそう。紹介されている刀剣の過去エピソードは「骨喰を誘拐した犯人」「骨喰の身代金の額」「加賀清光の父の不器用さ」などなど。うーん、気になります！ ちなみに「審神者」を前面に押し出した帯に、河出書房新社の別部署のTwitter担当者は動揺しています。 審神者様、この帯が目印です （青柳美帆子） advertisement 関連記事 「刀剣乱舞」のジャンルは「ゲーム（恋愛）」　コミケ準

是非手に取ってみて下さい．よろしくおねがいします． 関数プログラミング実践入門 ──簡潔で、正しいコードを書くために (WEB+DB PRESS plus) 作者: 大川徳之出版社/メーカー: 技術評論社発売日: 2014/11/14メディア: 単行本（ソフトカバー）この商品を含むブログ (1件) を見る AgdaとかHaskell Golfの本ではない．いいね？ どのような本？ これまで何らかの命令型言語に触れてきた人が「なにかと耳にするし，そろそろ関数プログラミングでも」と思いたったとき，その基本的な部分を押さえるための本です．関数型言語としてはHaskellをとりあげ，またHaskellを使っていくための説明を進めていきます．関数プログラミングからプログラミングに入る人はプログラミングに対する先入観が無いのでともかくとして，既に命令型言語の経験がある人の場合，関数プログラミングの考え

コンパイルの「魔導物語」シリーズがWindowsで復刻される。題して「魔導物語 きゅ〜きょく大全 1-2-3＆A・R・S」、収録タイトルは「魔導物語1-2-3」(MSX2版・PC-9801版)、「魔導物語A・R・S」(PC-9801版)、「魔導物語 EPISODE II CARBUNCLE」(MSX2版・ディスクステーション収録)。 「魔導物語」は、パズルゲーム「ぷよぷよ」の元になったRPG。アルルやシェゾ、ルルーやサタンは、もともと「魔導物語」に登場していたキャラクターだ。 「魔導物語」シリーズは、1989年のゲーム「魔導物語 EPISODE II CARBUNCLE」から始まる。企画・監督・脚本は当時コンパイルに勤めていた米光一成だ。地下牢にとらわれた魔術師の女の子が、銀髪の魔導師や「サタン」と名乗る謎の魔族を倒して迷宮を脱出するRPG。 この作品をベースに作られたのが、1990年のM

この本の概要 数学最大の難問といわれるリーマン予想を，リーマン予想研究の先駆者黒川信重先生がわかりやすく解説します。オイラー線定理やピタゴラスの定理など有名な数学の美しい定理を紹介しながら，まずはリーマン予想のイメージをつかんでいただきます。リーマン予想の“すべての虚の零点の実部が1/2である”とはこういうことだったのか！と思ってもらえるでしょう。さらに本書では，最新のリーマン予想の捉え方として深リーマン予想，絶対数学，最近話題になったabc予想なども紹介します。 こんな方におすすめ 数学未解決問題に興味がある人 リーマン予想を知りたい人

『ゲームクリエイターが知るべき97のこと』の第二弾。第一弾では、プロのクリエイターが自らの体験を踏まえて、ソフトウェアやエンターテインメント産業の未来を語ってくれました。第二弾の本書では、ゲーム開発者コミュニティ「IGDA」に集う人々の知見に触れます。コンピュータゲームの開発に携わるプロだけでなく、研究者、アナログゲーム関係者、同人ゲーム開発者、メディアほか、利害に関係なく自発的にコミュニティ活動に取り組み、さまざまな立場でゲームを支える方々が、ゲームのさまざまな側面を語ります。ゲームクリエイターのみならず、ゲームを愛するすべての人を勇気づけ、新たな気づきをもたらす一冊です。 はじめに 01　ゲーム開発者コミュニティの重要性 新 清士 02　開発を確実に炎上させる3つのこと 中林 寿文 03　ゲームデザインの向こうを見たくはないか？ 高橋 勝輝 04　学問に終わりなし 山根 信二 05　「

４月ごろから、ＳＮＳやまとめサイトで大きな話題を集めている本がある（Twitter検索結果［※検索結果なので無関係の投稿も含まれている］、Naverまとめ）。アマゾンの電子書籍サイト「キンドルストア」で販売されている電子書籍だ。その名も『架空の歴史ノート1 帝国史 分裂大戦編』（キンドルストアへのリンク）。 この本が、５月中旬には、キンドルストアの「歴史・地理」カテゴリーで１位となり、本稿執筆時点では、総合売り上げランキングでも、５位になっている。 タイトルどおり、市販のよく見かける大学ノートに、なぐり書きのような筆致で、架空の「帝国」が、戦争や革命を経て崩壊する歴史が綴られている（右写真）。中には整った絵もあるが、大部分は、小中学生が授業中の教室などで描きそうなタッチだ。一方、社会制度や法律、歴史などの世界設定は凝りに凝っていて、さながら壮大なゲームの設定資料を読まされているようだ。 絵

ぼくにとっての今年最大の衝撃は、「YUI完結」、になってしまったと思う。もちろん、彼女が来年、どのような形で音楽活動を再開するのか（あるいは、しないのか）にもよるけど、YUI以外の音楽を身体が受け付けなくなって、YUIの音楽だけをエネルギー源として生きてきたぼくは路頭に迷う可能性が大だ。頼むから、一部で報道されているような「事務所への不満」が原因で、それを振り切った形でよりパワフルな音楽活動を繰り広げてくれれば、と願ってやまない。 最近出たベスト盤２枚は、もちろん買った。すべての曲を持っているので、自分でituneで編集すれば同じものが作れてしまうのだが、迷いもなく購入した。それは、おまけの写真集が欲しいからだ。あたりまえだ。そして、あまりにすばらしい写真集だった。これだけに3300円を支払う価値がある。写真集だけがこの価格で販売されても購入しただろう。昔問題になった「おまけが欲しいから、

筒井康隆さんの小説『ビアンカ・オーバースタディ』が、星海社FICTIONSから8月16日（木）に発売されます。いとうのいぢさんがイラストを担当した“ライトノベル”です。作品の特設ページでは現在、第1章とあとがき、担当編集者である太田克史さんのコメントが公開されています。 ▽ ビアンカ・オーバースタディ | 最前線 - フィクション・コミック・Webエンターテイメント ▽ 筒井康隆『ビアンカ・オーバースタディ』第一章 哀しみのスペルマ Illustration／いとうのいぢ | 最前線 『ビアンカ・オーバースタディ』は、『時をかける少女』『日本以外全部沈没』などで知られるSF作家・筒井康隆さんの“ライトノベル”です。講談社の小説雑誌『ファウスト 2008 SUMMER Vol.7』と『ファウスト 2011 SUMMER Vol.8』に、2回に分けて掲載されました。単行本化にあたり、最終回が書

「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録

平素は株式会社ライブドアのサービスを ご利用いただきありがとうございます。 提言型ニュースサイト「BLOGOS」は、 2022年5月31日をもちまして、 サービスの提供を終了いたしました。 一部のオリジナル記事につきましては、 livedoorニュース内の 「BLOGOSの記事一覧」からご覧いただけます。 長らくご利用いただき、ありがとうございました。 サービス終了に関するお問い合わせは、 下記までお願いいたします。 お問い合わせ