• 人気のコメント(8)
  • 全てのコメント
voidsatisfaction voidsatisfaction 素晴らしい

2018/07/20 リスト

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

2017/08/28 リスト

mizdra mizdra 良い

2017/05/11 リスト

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

2015/12/24 リスト

nishidy nishidy 半分理解した

2015/12/13 リスト

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

2015/12/12 リスト

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

2015/12/11 リスト

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

2015/12/11 リスト

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

2015/12/11 リスト

nagayama nagayama おもしろい

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

ainame ainame 強い

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

fuba fuba はい!

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

petitviolet petitviolet アツい

2015/12/10 リスト

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

2015/12/10 リスト

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

2015/12/10 リスト

関連記事

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

こんにちはシニアアプリケーションエンジニアid:taraoです。この記事はてなデベロッパーアドベン...

ブックマークしたユーザー

  • tjmtmmnk2019/05/28 tjmtmmnk
  • voidsatisfaction2018/07/20 voidsatisfaction
  • IzumiSy2018/06/28 IzumiSy
  • halfrack2017/08/28 halfrack
  • masawada2017/08/28 masawada
  • mizdra2017/05/11 mizdra
  • miki_bene2017/05/11 miki_bene
  • dhrname2017/03/08 dhrname
  • hanaikemabura2016/12/08 hanaikemabura
  • tanishiking242016/09/19 tanishiking24
  • imo_jo_chu2016/09/18 imo_jo_chu
  • y_r2016/08/05 y_r
  • narinari-t2016/05/12 narinari-t
  • FScoward2016/04/27 FScoward
  • rindenlab2016/04/27 rindenlab
  • haya14busa2016/03/14 haya14busa
  • ackintosh2016/03/06 ackintosh
  • escape_artist2016/02/10 escape_artist
すべてのユーザーの
詳細を表示します

いま人気の記事

いま人気の記事 - テクノロジー

新着記事 - テクノロジー

同じサイトの新着

はてなブログAndroidアプリ開発の舞台裏 - Hatena Developer Blog

227 users https://developer.hatenastaff.com/

Let's Encrypt 証明書の自動更新システムを作る - Hatena Developer Blog

143 users https://developer.hatenastaff.com/