-
- いいね！0
S.ver.1.22474487139
@wtisd17
“@hiromu1996: 灘校パソコン研究部 部誌2013年文化祭号を公開しています。300ページ超というパソ部クオリティの部誌を是非お楽しみください。 http://t.co/dRrPgBn0EQ #npca #灘校文化祭” クオリティが高いな。
2013-05-02 13:34:13
Masayoshi Wada
@masawada
日経「ハッキング」 プログラマ「クラッキングだよクソが混同すんな」 灘高生「ハッキング」 プログラマ 「さすが一般人にもわかりやすい説明」 「ハッキングの歴史を感じる…」 「目が孕む」
2013-05-02 13:34:40
Yuta Kashino
@yutakashino
さっきの灘高生が書いた圏論入門 http://t.co/II5fflthlUだけれど、一番参考にしたのがこれだって。" Lectures on the Curry-Howard Isomorphism" http://t.co/vFDVqu9U4O これぞ真の「グローバル人材」。
2013-05-02 13:59:59
Yuta Kashino
@yutakashino
しかし、ビックリした。いくら灘高の優秀な高校生とはいえ、カリー＝ハワード同型対応のレクチャーノートを英語で読みこなして、初歩的とはいえHaskellでモーフィズムやモナドを試してみる人材がいたとは…。日本も捨てたものじゃないですね！
2013-05-02 14:06:27
mas
@masyos
「圏論によるプログラミングと論理」とかｗ すげーとしか言いようがないね。 Lisper 初心者向けは「マクロのおはなし」読みましょう。＞灘校パソコン研究部 文化祭2013 http://t.co/VYpdHJqxiX
2013-05-02 14:07:26
Yuta Kashino
@yutakashino
お父さん的には、こんな感じが優秀な高校生らしくていいと思うな「競技プログラミングと初等整数論入門」http://t.co/lC89DP6pT1、とかいっているようでは「グローバル人材」として失格なのでしょうか…。
2013-05-02 14:18:54
紀 信邦(Nob Kino)
@Nikoriks
灘高パソコン研究部の生徒による「圏論によるプログラミングと論理 」 すごい．1996年生まれか． http://t.co/hCS9xUZl4h
2013-05-02 14:19:23