https://b.hatena.ne.jp/entry/s/leon.epfl.ch/ × Failed to connect The Leon server appears to be unreachable right now. × Failed to connect Leon failed to contact the mothership :( It usually indicates that your firewall blocks traffic on webso... https://b.hatena.ne.jp/mather314/20170227#bookmark-324372403 関数の事前事後条件を宣言し、条件を満たしているか、例外的なケースがないか（あれば反例を挙げる）を検証できるScalaライブラリ。面白そう。 2017-02-27T01:50:14Z Scala https://b.hatena.ne.jp/Hiro_Matsuno/20170226#bookmark-324372403 2017-02-26T10:31:46Z https://b.hatena.ne.jp/k-ya10/20170226#bookmark-324372403 2017-02-26T08:01:21Z https://b.hatena.ne.jp/nabinno/20170226#bookmark-324372403 2017-02-26T05:32:06Z epfl lausanne swiss https://b.hatena.ne.jp/nacika_inscatolare/20170226#bookmark-324372403 2017-02-26T04:41:38Z scala https://b.hatena.ne.jp/nimius/20170226#bookmark-324372403 2017-02-26T04:33:59Z