タグ

semiringとabstract-algebraに関するnabinnoのブックマーク (2)

  • 半環 - Wikipedia

    抽象代数学において、半環(はんかん、英: semi-ring)とは環に類似した代数的構造で、環の公理から加法的逆元の存在を除いたものである。負元 (negative) の無い環 (ring) ということから rig という用語もしばしば用いられる。 半環は、以下の性質を満たす二つの二項演算、即ち加法(和)"+" と乗法(積)"·" とを備えた集合 R を言う[1]: (R, +) は単位元 0 を持つ可換モノイドを成す: (a + b) + c = a + (b + c), 0 + a = a + 0 = a, a + b = b + a. (R, ·) は単位元 1 を持つモノイドを成す: (a · b)· c = a ·(b · c), 1 · a = a · 1 = a. 乗法は加法の上に分配的である: a ·(b + c) = (a · b) + (a · c), (a + b)·

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

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

  • 1