情報オリンピック夏季セミナー(2012) 発表会 その2
情報オリンピック夏季セミナー http://www.ioi-jp.org/seminar/2012/summer-semi.html で高校生・高専生が4日間のゼミで学んだことの発表会の記録
まとめ その1 http://togetter.com/li/363651 『確率と計算 ―乱択アルゴリズムと確率的解析―』
まとめ その2 http://togetter.com/li/363672 『抽象によるソフトウェア設計-Alloyではじめる形式手法』
まとめ その3 http://togetter.com/li/363694 『Introduction to Algorithms』
続きを読む
qnighy -
- いいね！0
@qnighy のゼミ「Alloy」
Alloy (1) @sugspi_c「Alloyについて」