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

こんにちは、シニアアプリケーションエンジニアのid:taraoです。この記事ははてなデベロッパーアドベントカレンダー2015の10日目です。昨日はid:tapir320によるはてなの組織開発についてでした。 先月開催されたWebDB Forum 2015で、「はてなブックマークにおけるアクセス制御: 半環構造に基づくモデル化」というタイトルの発表をしました。 はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 from Lintaro Ina 発表資料には多くの方に興味をもっていただけたようですが、わかりにくい点も多かったのではないでしょうか。スポンサー企業としての技術報告セッションとはいえ学術会議での発表なので理論面と独自の工夫点にフォーカスした内容であったり、口頭での発表のしかたに大きく依存したスライドの遷移方法になっているので、この資料だけで細かいところまで理解しよ

[OKIIZO]

煽るような内容も数学的根拠があるに違いない

[t-wada]

"正しさを数学的に示すことで、チームの技術的選択に自信を持つことができる" "そのような人材を揃えられなければどのみち基礎のぐらついた開発を強いられるという危機感を持った方がよい" つよい

[ruicc]

メンテ問題、具体的なテストレベルでは誰でも理解出来るだろうし対して問題ないと思うんだよな。数学的モデルに落とすとテストは非常に書きやすいし。問題はモデルの拡張が必要になった時くらいか

[houyhnhm]

解脱に見えた。／わりと毛の壁受け入れられる余地はあるのだなあと思った。／そのうち別の月光蝶が出てくるんだろうなあと思うと感慨深い。

[hitode909]

“そのような人材を揃えられなければどのみち基礎のぐらついた開発を強いられるという危機感を持った方がよいのではないでしょうか。 ”

[non_117]

証明のレビュワーもセットでいるんだろうか

[nagayama]

おもしろい

[mizdra]

良い

[voidsatisfaction]

素晴らしい

[halfrack]

アクセス制御の数理モデル・確かにあんまり見かけない

[efcl]

アクセス制御の数学モデル

[nishidy]

半分理解した

[atsushifx]

技術リーダーである以上、サービス、技術の理論的背景を抑えておくべきということ。ソフトウェア工学を大学以上の高等教育でならえば計算量や譲歩理論は基礎教養だし。あとはCoqやAlloyを知っておけってくらい？

[honeybe]

「そのような人材を揃えられなければどのみち基礎のぐらついた開発を強いられるという危機感を持った方がよい」つよい(コナミ感

[kusigahama]

"確信が持てなくてもかまわない、バグってても知らない、という人はこれ以降は読まなくてよいでしょう。おつかれさまでした。" 煽るなぁ。

[rjge]

"技術をリードして決断する立場にある人間にとっては、理論的な背景を理解している方が技術的な判断の役に立つ"

[kuchitama]

うっ> そのような人材を揃えられなければどのみち基礎のぐらついた開発を強いられるという危機感を持った方がよいのではないでしょうか。

[ainame]

強い

[pckatsuyou]

読み物として面白かった。なんか、アクティブディレクトリを思い出した。

[Dryad]

モデルを構築する所までは大変だったと思うけど、使う分には非常にシンプルに仕上がってるのがすごい。

[hakobe932]

根拠が確かなところにあって安心

[fuba]

はい！

[minonet]

(解説) はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 こんにちは、シニアアプリケーションエンジニアのid:taraoです。この記事ははてなデベロッパーアドベントカレンダー2015の10日目です。昨日は…

[Nyoho]

なるほどちょうど半環構造になっているね。

[petitviolet]

アツい

[daiksy]

“正しさを数学的に示すことで、チームの技術的選択に自信を持つことができ、後になって大きな過ちが露呈するということを防げます”

[minesweeper96]

「ベストプラクティスが確立されていないと感じる場面で独自の方法でやっていくには勇気がいりますが、数学的な正しさを拠り所にすることで自信がもてます」