ネットワークプログラマビリティ勉強会 #5 #npstudy まとめ

ネットワークプログラマビリティ勉強会 #5 - connpass http://network-programmability.connpass.com/event/15788/
2
前へ 1 2 ・・ 6 次へ
にゃる(鳴海) @fjkatu

prologって大学の授業でやった気がする。すごい昔だな。全然覚えてない。 #npstudy

2015-07-03 19:21:39
×ね @kusune

さっき数人いたProlog経験者のうち「学生時代に授業でやったけど忘れた」の人の割合について #npstudy

2015-07-03 19:24:38
やぬすさん / TAKAGI Kensuke @janus_wel

これ Prolog 知らないとちょっとツライ #npstudy

2015-07-03 19:25:11
×ね @kusune

述語論理も忘れかかってるから理解がかなり怪しい #npstudy

2015-07-03 19:27:37
Koshiro @koshiro1979

ここまではややこしい ここからも私にはややこしいです(笑 #npstudy

2015-07-03 19:29:35
にゃる(鳴海) @fjkatu

あー、こんなんやったなぁ、思い出してきた。 #npstudy

2015-07-03 19:29:59
ステ猫 @stereocat

prologなんぞみたのは高専の授業以来じゃのう #npstudy こんなところで出てくるのか…

2015-07-03 19:30:39
やぬすさん / TAKAGI Kensuke @janus_wel

father(X, Y) :- parent(X, Y), male(Y). だいたいりかいした ( 震え声 #npstudy

2015-07-03 19:30:55
localhost @qb0C80aE

昔の課題がまさにPrologのキラーアプリケーションだった。katsuoの父がnamihei。 #npstudy

2015-07-03 19:31:35
高専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
Hiroshi Ota @otahi

用途: Monitoring, Enforcement, Auditing #npstudy

2015-07-03 19:35:14
やぬすさん / TAKAGI Kensuke @janus_wel

Prolog の _ っていう無名変数 Perl の $_ ってここから ? #npstudy

2015-07-03 19:39:14
やぬすさん / TAKAGI Kensuke @janus_wel

error というポリシーを構成する条件を書いていく #npstudy

2015-07-03 19:40:30
やぬすさん / TAKAGI Kensuke @janus_wel

これ、 Openstack 構築時のユニットテストにも使えるってことかな 先に Congress で仕様書いていってそれに合致するように構築していくとか #npstudy

2015-07-03 19:42:33
やぬすさん / TAKAGI Kensuke @janus_wel

それとも Enforcement がメインなんかな… ? #npstudy

2015-07-03 19:43:40
Yuichi Ito @yuichi110

Congress (Prolog の亜種) の複雑な式の計算コストがすごい高そう。ただ、計算を並列にできそうなのでマルチコア向けかも。 #npstudy

2015-07-03 19:44:21
もっこす @moccos

条件を置いとくと自然に発火するの、Reactive Programmingな感じ? #npstudy

2015-07-03 19:46:30
やぬすさん / TAKAGI Kensuke @janus_wel

パフォーマンスどうなの ? -> ちょっと前まではものすごい遅かった、現在は非常に高速 #npstudy

2015-07-03 19:46:43
やぬすさん / TAKAGI Kensuke @janus_wel

@moccos reactive というよりルールマッチングなんじゃないですかね。人間が決めたポリシーを破ったらこうしたい、を宣言的に書ける、みたいな #npstudy

2015-07-03 19:49:26
やぬすさん / TAKAGI Kensuke @janus_wel

これ、パフォーマンス大丈夫なら設計楽になりそうなんだけど #npstudy

2015-07-03 19:50:17
Hiroshi Ota @otahi

クラウドを活用したシステム構築における、ネットワークのInfrastructure as Code by qb0C80aE さん #npstudy

2015-07-03 19:50:47
ステ猫 @stereocat

なんか補助ツールみたいなのがないと、これを巣で書くのはつらい気がする #npstudy

2015-07-03 19:50:51
前へ 1 2 ・・ 6 次へ