はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化

はてなブックマークの持つデータには多岐にわたるアクセス制御のための属性があり、一貫した権限確認のしくみが必要となる。できる限り効率的にデータを取得するにはクエリ段階でアクセス制御に基づくフィルタリングが必要となるが、たとえばMySQLで取得した場合とElasticsearchで取得した場合など、複数パスでの整合性も求められる。本発表では、半環構造を用いることで整合性を担保するしくみと、一貫性を保つためのScalaでの実装上の工夫を紹介する。 WebDB Forum 2015 C-4: 技術報告セッション http://db-event.jpn.org/webdbf2015/

[fuba]

これをメンテできる人を採用しアサインし続ける自信がある会社というのはなかなかすごい

[itotto]

内容はすごくおもしろかったし参考になったけどScalaで作り直すという話が一番びっくりした。Perlはもう止めるんだ。

[atsushifx]

はてブのようなアクセス制御は集合論と数理論理学と相性がよい。しかもScalaは、それを素直に実装できる。最高じゃないか

[taketo957]

大学の授業は無駄ではない！

[fashi]

思ったほどたいした話じゃなかった（理解出来てないだけか…）のとスライドの書き換え方が読み辛い

[T-miura]

どの辺の前提知識があると、これは賢いと納得できるのか・・？

[Songmu]

いつもながら、学術的な知見と実務のプログラム実装を結び付けられるのがすごい。説明も分かりやすい。

[Untouchable]

数学が社会に出て役に立つ例だ／構造を数学の言葉に写し取れるとそちらの知識も利用できるんだよなあ。自分にはできないところですが

[a2ikm]

綺麗だ

[tinsep19]

関数型言語の優位点は数理モデル作れるやつが効率いいってところだな。このスライドみてよくわかった。

[tamakoron]

はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化

[yuhi_as]

アクセス制御、性能確保しつつうまくモデル化したいなーと思いながら実装戦略だけ流し読んだ

[nhayato]

面白い

[odap]

これってスラスラ理解できるものなのか。数学者ってのは理解しがたいことをサラッと実装するなぁ。

[hamasyou_bot]

メモ

[kimutansk]

数学的な抽象化をコードでそのまま表現できるメソッドに落とし込むと。この構成美しいですね。

[y-kawaz]

日本語でOK

[sifue]

これは綺麗なScalaの書き方だなぁ。勉強になります。こういうドメインロジック表現良い。

[ene0kcal]

集合操作でできるんだー、だったらSQLでもできるのかな？と思ったら紹介してた。。しゅごい！

[hirose504]

これを分かるようになるには一体どうすれば…

[zyzy]

これはサンプル用として、実際はScalazとか猫とか使ってるのかな？　と思ったんだけどどうなんだろう。あの辺未だに把握しきれてないので本当に書き易くなるかはわからないけど、理想的な使用例該当案件ぽいしなぁ。

[kusigahama]

数学の知識がなくてもわかるように噛み砕いたエントリ書いたらブクマ稼げそう

[kura-2]

なるほど。わからん

[taki0313]

面白い

[dkcytc]

なるほど

[KoshianX]

scala で書きなおすんだ。p allows q なんて書き方 scala だとできるのかな。

[yarukimedesu]

もはや、魔法のレベル。なんのこっちゃか、うっすらもわからん。

[joker1007]

なるほど。こういう設計自体は割とイメージできそうだが、数学的な正しさを示しつつ形にするの凄いな。

[koba789]

賢い

[michael26]

素晴らしいアプローチ

[mano-junki]

モデリング　アクセス制御　集合論

[uronketa]

数学やり直そ