ネットワークプログラマビリティ勉強会 #5 #npstudy まとめ
ネットワークプログラマビリティ勉強会 #5 - connpass http://network-programmability.connpass.com/event/15788/
やぬすさん / TAKAGI Kensuke
@janus_wel
father(X, Y) :- parent(X, Y), male(Y). だいたいりかいした ( 震え声 #npstudy
2015-07-03 19:30:55
高専BOTter
@kosen_BOTter
stereocat:prologなんぞみたのは高専の授業以来じゃのう #npstudy こんなところで出てくるのか… twitter.com/stereocat/stat…
2015-07-03 19:32:12
やぬすさん / TAKAGI Kensuke
@janus_wel
reachable(X, Y) :- adjacent(X, Y). reachable(X, Y) :- adjacent(X, Z), reachable(Z, Y). これ、逆のほうが実行時のコスト少ないんじゃないの ? それとも書く順番関係ないのかな #npstudy
2015-07-03 19:33:54
やぬすさん / TAKAGI Kensuke
@janus_wel
Prolog の _ っていう無名変数 Perl の $_ ってここから ? #npstudy
2015-07-03 19:39:14
やぬすさん / TAKAGI Kensuke
@janus_wel
これ、 Openstack 構築時のユニットテストにも使えるってことかな 先に Congress で仕様書いていってそれに合致するように構築していくとか #npstudy
2015-07-03 19:42:33
Yuichi Ito
@yuichi110
Congress (Prolog の亜種) の複雑な式の計算コストがすごい高そう。ただ、計算を並列にできそうなのでマルチコア向けかも。 #npstudy
2015-07-03 19:44:21
やぬすさん / TAKAGI Kensuke
@janus_wel
パフォーマンスどうなの ? -> ちょっと前まではものすごい遅かった、現在は非常に高速 #npstudy
2015-07-03 19:46:43
やぬすさん / TAKAGI Kensuke
@janus_wel
@moccos reactive というよりルールマッチングなんじゃないですかね。人間が決めたポリシーを破ったらこうしたい、を宣言的に書ける、みたいな #npstudy
2015-07-03 19:49:26
Hiroshi Ota
@otahi
クラウドを活用したシステム構築における、ネットワークのInfrastructure as Code by qb0C80aE さん #npstudy
2015-07-03 19:50:47