参加してきたのでいつものメモです。例によって、機器ながらメモってるので不正確になってるところとかちゃんと記録取り切れていないところとかもありますがその辺はご容赦くだされ。初参加の人が減ってきた?経緯SDNとかNFVとか。NWEにもソフトウェア開発とかOSSの素養が必要になってきたよね。いう勉強会ってなかったよね。1年前から始めて参加者増えつつ5回目になりました。いろんな業界の人から参加してもらうの歓迎。単なるセミナにしないで、有志で話題の提供、意見交換を。ネットワークプログラマビリティといって直接はまるイベントはないのでは。幅広く、ちょっとでもかすればよいかな。発表ネタ、最近は提供増えてきたけど、ネタは随時募集している。懇親会の時にでも、今やってる取組、いつかやれるかも暗いのがあれば教えてください。企画・運営のボランティア募集中いろんな人に入ってきてほしい会場、前回はGMOさんで同じ会場でやって変に色がつくと嫌だな。しゃべってもらう人へのインセンティブ過去発表者枠を用意してます。#npstudy運営者がタイムリーに必ずしも見れているわけではないですが。キャンセルは早めにお願いします。直前キャンセルドミノになる。プログラミングの話に触発されて。?ポリシーが作られるところは議会だよね。一般的なポリシエンジン。一部でなければ、というわけでもない。opstにはたくさんのコンポーネントがあって、いろんなしがらみ、ポリシーが必要。いろんな情報をポリシエンジンにデータソースを提供してくれる土壌がある。ポリシーを順守させる。いろんな角度で定義されるポリシを汎用的に記述するための言語(ポリシ言語)が必要DatalogDatalogたくさん亜種・派生がある一階述語論理に基づいた宣言的プログラミング言語DSLとして使われるもので汎用的なプログラミング言語ではない。1980年代、第5世代コンピュータとかで盛り上がったころ。見かけ似ているけどいくつか違いがある。シンプルな記述しかできない。停止することが保証されている。書き方間違えると停止しない)節の定義の順序に依存しない。いう順序で定義してもよい。順序によって効率に違いがあるかもしれないけど、必ず停止する。リストの概念がないカット、フェイル、というオペレータはない。operationみたいなもの。定義域がわかってないとうまく計算できない。定義域のnotとると定義域が無限になって扱えなくなったりする。ないと表現力が足りない。あるためのおやくそくを満たさないといけない。database家系図問題。非常にクラシックな例。Prologのキラーアプリケーションとか言われたりする。あったと仮定して、という考え方。これを使うとどんなことができるか?いろいろな制約条件をポリシとして記述することができるようになる。いうコンテキストでは現在のクラウドの状態が、定義されたポリシとあっているかどうか、とか。