2013年文化祭一日目灘校パソコン研究部まとめ

集会の自由 @oskimura

「圏論によるプログラミングと論理」だけほかのとくらべても明らかに異質。ページ数的にも

Takashi Miyamoto @tmiya_

灘高の本、なんか非常に良い圏論の入門書のような気がするんだが。。。

山本和彦 @kazu_yamamoto

酒井さんと灘高の関係やいかに？

ゆずえもん @yuzuemon

連休中に読もう / 灘校パソコン研究部 文化祭2013 http://t.co/zPYfNigeRd

na2hiro 💿 93連休終わった @na2hiro

灘の文化祭で圏論とかぱにゃーっす

集会の自由 @oskimura

圏論によるプログラミングと論理、limit,colimitや米田埋め込みおそのってないがCSで使う圏論の基礎はだいたい載ってるので、プログラマで圏論知りたい人はよんどくといいとおもう。

ruichi @ruicc

[pdf]「圏論によるプログラミングと論理」 / “灘校パソコン研究部 文化祭2013” http://t.co/KRPHZPQswO

みょん @myuon_myon

灘高校パソコン研究部 「圏論によるプログラミングと論理」 http://t.co/0mrcNtZ0JH なんか突っ込みたいところもあったけど高校生でここまでかけるのはすごいと思いました(KONAMI感)

Sosuke MORIGUCHI @chiguri

部誌、他もなんかいろいろすごいんだが・・・　http://t.co/y7XtUsVqd5

nishio hirokazu @nishio

「圏論によるプログラミングと論理」ガタッ / “灘校パソコン研究部 文化祭2013” http://t.co/OCBQnVwN1v

Yuta Kashino @yutakashino

灘高生が書いた圏論入門 http://t.co/II5fflthlU に出てきたcpl https://t.co/nEbF00lFXz これ難しい…。

schunske @schunske

NPCAの蛇口の奴はわけ分かんなくて面白かったな

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

文化祭の作品で「圏論によるプログラミングと理論」と題する300ページ超の本を作る高校があるようだ… あとで読もう。

圏論のあか☆ねこ@数学系Vtuber @math_neko

「圏論によるプログラミングと論理」ですって !?

ruichi @ruicc

灘校パソコン研究部皆アクセスし過ぎでは...pdf落とせない

MATSUMOTO Yutaka @yutakama

あいかわらず灘高すげー http://t.co/hkWgrjw73r

fifth @fifthP

灘高パソコン研究部の『圏論によるプログラミングと論理』 140頁(312頁中)もあるのか…。【読めたら読む…。】見てる: 灘校パソコン研究部 文化祭2013 http://t.co/lqjIvacPos

SE転職 @SEtenshoku

灘校パソコン研究部 文化祭2013 http://t.co/TiIcZJAmRB

ノーコさんニュース @NooKo3_News

灘校パソコン研究部 文化祭2013（はてぶ - IT）http://t.co/PFAByx0CtS

チェックなう @CheckNAU

灘校パソコン研究部 文化祭2013 http://t.co/EuLAWP1XQ7

気になるニュース @_newsrss

はてな: 灘校パソコン研究部 文化祭2013 http://t.co/efeVXu8Iq1

WEBデザイナー、クリエイターの情報源 @design_manabu

灘校パソコン研究部 文化祭2013 http://t.co/PPxrI82FmF

PCツールニュース @pctoolnews

☑ 灘校パソコン研究部 文化祭2013 http://t.co/AXPuFe35ND #pctool

エリンギと香辛料 @neovenezia

灘校パソコン研究部 文化祭2013 http://t.co/46q4YXz1Ol

E.Tachikawa @taetae109

灘校パソコン研究部 文化祭2013 http://t.co/jvtk7qvhFz