• 人気のコメント(9)
  • 全てのコメント
tinsep19 tinsep19 関数型言語の優位点は数理モデル作れるやつが効率いいってところだな。このスライドみてよくわかった。

2015/12/03 リスト

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

2015/12/03 リスト

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

2015/11/27 リスト

nhayato nhayato 面白い

2015/11/26 リスト

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

2015/11/26 リスト

hamasyou_bot hamasyou_bot メモ

2015/11/26 リスト

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

2015/11/26 リスト

y-kawaz y-kawaz 日本語でOK

2015/11/26 リスト

hirokidaichi hirokidaichi 上手い抽象化。

2015/11/26 リスト

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

2015/11/26 リスト

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

2015/11/26 リスト

a2ikm a2ikm 綺麗だ

2015/11/25 リスト

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

2015/11/25 リスト

taketo957 taketo957 大学の授業は無駄ではない!

2015/11/25 リスト

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

2015/11/25 リスト

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

2015/11/25 リスト

kura-2 kura-2 なるほど。わからん

2015/11/25 リスト

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

2015/11/25 リスト

taki0313 taki0313 面白い

2015/11/25 リスト

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

2015/11/25 リスト

dkcytc dkcytc なるほど

2015/11/25 リスト

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

2015/11/25 リスト

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

2015/11/25 リスト

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

2015/11/25 リスト

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

2015/11/25 リスト

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

2015/11/25 リスト

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

2015/11/25 リスト

koba789 koba789 賢い

2015/11/25 リスト

michael26 michael26 素晴らしいアプローチ

2015/11/25 リスト

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

2015/11/25 リスト

関連記事

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

DOWNLOAD THI5 BOOKS INTO AVAILABLE FORMAT (Unlimited) ..............................................

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

  • hagino_30002016/09/23 hagino_3000
  • anztec2016/06/29 anztec
  • shinya_kitaoka2016/06/06 shinya_kitaoka
  • takuma5102016/03/05 takuma510
  • vainnuts2016/01/24 vainnuts
  • shigiryou2015/12/23 shigiryou
  • TakayukiN6272015/12/17 TakayukiN627
  • craf2015/12/11 craf
  • futsu-92015/12/11 futsu-9
  • ponpoko042015/12/10 ponpoko04
  • hitotakuchan2015/12/04 hitotakuchan
  • seikenn2015/12/04 seikenn
  • tinsep192015/12/03 tinsep19
  • tamakoron2015/12/03 tamakoron
  • sakahara2015/12/01 sakahara
  • komlow2015/11/30 komlow
  • kamemoge2015/11/30 kamemoge
  • daiki_172015/11/30 daiki_17
すべてのユーザーの
詳細を表示します

いま人気の記事

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

新着記事 - テクノロジー

同じサイトの新着

栄養満点 雑穀入りカラフルサラダ by ちゃんあー - 管理栄養士監修のレシピ検索・献立作成:おいしい健康 - 糖尿病

1 user https://oishi-kenko.com/

Putin fury after Turkey downs warplane - BBC News - YouTube

1 user https://www.youtube.com/