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

Hiroki Takakura @hiroki_takakura

相変わらず濃いなぁ http://t.co/ufBbyGBHXP

クリスカ @math_nakagawa

@math_neko http://t.co/KGygt21SA5 これですか。

けん🐍🦀 @ken_zookie

「圏論によるプログラミングと論理 (PDF)」を読みたいけど俺のスマフォが DL してくれない。 http://t.co/4TytMwEv6m

おおたお | Cloudbase PdM @0MeO

灘高校のパソコン部にまじで興味があるんだが。どうやって人材を育成しているのかとか

schunske @schunske

素朴な質問；圏論プログラミングのテキスト、NPCAの子達はみんな読んでるのだろうか

でじねる@アプリ×Web×仕事術 @dejineru

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

牛 @usi_kro

灘高パソコン部の圏論の論文，大学の講義資料レベルで草生える http://t.co/Ov5rDlDEtu

品禰意魚 @newworldorder22

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

Hajime Hoshi @hajimehoshi

これ本当に高校の部誌なんだろうか…: http://t.co/0nBDWqUOTb

pdfhack @pdfhack

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

RtestR @RtestR

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

Yusuke Matsushita @shiatsumat

〈注意〉『圏論によるプログラミングと論理』は圏論の群論などへの応用については触れていません。圏論全般の入門書としては『圏論の基礎』をお勧めします。

Yusuke Matsushita @shiatsumat

とにかく、『圏論によるプログラミングと論理』を多くの人に読んでもらえて非常に嬉しく思っております。

Yusuke Matsushita @shiatsumat

ちなみに『圏論によるプログラミングと論理』は高校1年の3学期を丸々かけて執筆しました。

hinata @hinasssan

灘高いいな http://t.co/WKgCVJgReY

Yusuke Matsushita @shiatsumat

「え、この部誌、索引ないんですか？」はびっくりした。#npca

hideo54 @hideo54

【部誌】圏論の記事が話題になっていますが、僕は「ぱそこんのなかをのぞいてみよう」という記事を書かせていただきました。初心者を対象にした記事ですが、ぜひご覧ください！ #npca

monad @monad_san

高校生でもここまで圏論について語れるのか…

hideo54 @hideo54

【パーツ展示】部が展示に用いている教室の外の廊下でも、展示物があります。PCパーツを、詳しい解説を載せたポスターと共に展示しています。ポスターはすべて今の中2だけで作成したものです。明日はそちらの方もぜひご覧ください！ #npca

hideo54 @hideo54

【ゲーム】教室内で、部員が作成を担当したゲーム4つをプレイすることができます。僕は「空からりんごが降ってきた！」というゲームを作成しました。文字通り、空から降ってくるApple製品を拾い集めるゲームです。とても面白いのでぜひ一度プレイしてみてください！ #npca

Yusuke Matsushita @shiatsumat

Googleサジェストで『圏論によるプログラミングと論理』が出てきて驚いている

中西講義 @naka_lec

某高校の文化祭はすごいね。私の教えている「データ構造とアルゴリズム」の内容を超えている。→ http://t.co/FDhKngcC5j　の「木のはなし」#oit_dsa

おだんぽよ @poke_odan

NPCAの部誌公開されてるじゃーん

中西講義 @naka_lec

同じサイトで、「圏論によるプログラミングと論理」も少し見てみた。そもそも圏（カテゴリ）は、ふつう習わないだろう。阪大の大学院レベルもしくはそれを超えているよ。きっとほかの記事もそうだろう。恐ろしい。

Muddy Dixon @muddydixon

141ページってもう教科書・・・ / “灘校パソコン研究部 文化祭2013” http://t.co/laHJHwJaq0