チェシャ猫の消滅定理

数学にプログラミング、素敵なもの何もかも。

2015-12-13から1日間の記事一覧

NGK2015B で AWS + Alloy について話してきました

先日、毎年恒例のなごや LT 大会 NGK2015B / 名古屋合同懇親会 2015 忘年会 で発表してきました。 AWS は形式手法の夢を見るか? - モデル検査器 Alloy によるインフラ設計 from y_taka_23 www.slideshare.net 当日の動画は [3] NGK2015B(名古屋合同懇親会 …