情報オリンピック夏季セミナー(2013) 発表会 その7 型システム班
情報オリンピック夏季セミナー http://www.ioi-jp.org/seminar/2013/summer-semi.html で高校生・高専生が4日間のゼミで学んだことの発表会の記録
まとめ その1 http://togetter.com/li/556797 『ゲーム開発者のためのAI入門』
まとめ その2 http://togetter.com/li/556805 『グラフ理論』
まとめ その3 http://togetter.com/li/556813 『暗号理論入門 原書第3版 － 暗号アルゴリズム，署名と認証，その数学的基礎』
まとめ その4 http://togetter.com/li/556816 『すごいHaskellたのしく学ぼう！』
続きを読む
-
- いいね！0
型システム(1)「型なしラムダ計算の紹介」@C2H5_O_C2H5
型システム(2)「型つきラムダ計算の実装」@favdragon_rean