(解説) はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 - Hatena Developer Blog
こんにちは、シニアアプリケーションエンジニアのid:taraoです。この記事ははてなデベロッパーアドベントカレンダー2015の10日目です。昨日はid:tapir320によるはてなの組織開発についてでした。 先月開催されたWebDB Forum 2015で、「はてなブックマークにおけるアクセス制御: 半環構造に基づくモデル化」というタイトルの発表をしました。 はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 from Lintaro Ina 発表資料には多くの方に興味をもっていただけたようですが、わかりにくい点も多かったのではないでしょうか。スポンサー企業としての技術報告セッションとはいえ学術会議での発表なので理論面と独自の工夫点にフォーカスした内容であったり、口頭での発表のしかたに大きく依存したスライドの遷移方法になっているので、この資料だけで細かいところまで理解しよ
GoのChannelを使いこなせるようになるための手引 - Qiita
Go使いたくなる理由の一つに、マルチスレッドプログラミング的なものを高速な言語で安全に実装したいというのがある。Goにおいてそれを支えるのが、自前で実装した軽量スレッドといえるgoルーチンと、mutexなどのロックの代わりに使えるChannelという概念だ。 実際に実装するときに、Goルーチンは難しくないが、Channelを使うのは割と知識と経験が必要なのでここでは、Channelについてすこし詳しく書いてみる。 Message Passing まずは理論から。 Goのチャネルなどのロックを使わない方法の並行処理はMessage Passingと呼ばれている。 以下の英語版Wikipediaにあるように数学的な理論にもなっているしっかりした枠組み。 ErlangのActor Modelなどもこの仲間。GoのチャネルとActor Modelは、実は、同等の概念で表現方法が違うだけらしい。 (
不揮発性メモリが主役になる次世代マシン「The Machine」、エミュレータをオープンソースで公開。米ヒューレット・パッカード・エンタープライズ
不揮発性メモリが主役になる次世代マシン「The Machine」、エミュレータをオープンソースで公開。米ヒューレット・パッカード・エンタープライズ 米ヒューレット・パッカード・エンタープライズ（HPE）は、従来のコンピュータのアーキテクチャを一新した次世代マシン「The Machine」を開発中です。2020年には製品としてリリースするとしています。 従来のコンピュータは、プロセッサ、メモリ、ストレージを基本的なコンポーネントとしています。コンピュータの心臓部としてプロセッサが必要なのは当然として、メモリとストレージが必要なのは、現在メモリとして使われているDRAMは電源が切れるとその内容を失ってしまうため、電源が切れてもデータやプログラムを保存できる記憶装置としてストレージが必要になるためです。 「The Machine」では高速かつ大容量の次世代不揮発性メモリによりメモリとストレージを
Scalaにおける最適なDependency Injectionの方法を考察する 〜なぜドワンゴアカウントシステムの生産性は高いのか〜 - Qiita
DIを使わない状態ではUserRepositoryというインターフェースが定義されているのにもかかわらず、UserServiceはUserRepositoryImplの参照も持っていました。 これではせっかくインターフェースを分離した意味がありません。 UserServiceがUserRepositoryインターフェースだけを参照(依存)するようにすれば、具体的な実装であるUserRepositoryImplの変更に影響されることはありません。 この問題を解決するのがDIの目的です。 それではDIのインジェクタを加えて、上記のクラス図を修正しましょう。 謎のインジェクタの登場によりUserServiceからUserRepositoryImplへの参照がなくなりました。 おそらくインジェクタは何らかの手段でサービスであるUserRepositoryImpl(Dependency)をクライアン
よくある業務開発の自動化事情 #jjug_ccc #ccc_cd3
JJUG CCC 2015 Fall 2015-11-28T15:00-15:50 の発表資料です。 話せなかった分は切りましたが、言いたいことは言い切っています。
プログラミングにおける〈式〉についての考察 - Ryusei’s Notes (a.k.a. M59のブログ)
「プログラムとは何か」という質問に対する、最も素朴な回答は「プログラムとは、機械に与える命令文の並びのことです」というものだ。命令文を解釈する機械が、プログラムに記された命令に従って、装置を制御し、計算処理を実行する。このようなことは、情報科学の基礎として学校で教えていると思う。 一方で、今日の高水準言語によるプログラミングでは、〈式〉という概念を理解していることがとても重要だ。特に、関数型プログラミングが注目されるようになった今日では、もはや単なる数式としての理解では十分でない。 しかし、プログラミング言語における〈式〉は〈サブルーチン〉や〈関数〉のような概念に比べると自明であるように思われているためか、あまり精緻な説明がなされないようだ。実際、Wikipediaにおける式 (プログラミング) - Wikipediaの記述の短さを見て欲しい。英語版であれば少しだけ記述が長いが、それでも十
re:僕にとってMaybe / Nullable / Optional が、どうしてもしっくりこないわけ。 - ぐるぐる～
元ネタ: 僕にとってMaybe / Nullable / Optional が、どうしてもしっくりこないわけ。 - 亀岡的プログラマ日記 OOPの文脈で見ると、元の記事が言っていることもわからなくはないのですが、対象が広すぎていろいろと不正確になってしまっているので、ちょっとまとめてみます。 元の記事が対象にしているのは、Maybe / Optional / Nullableの3つです。 対応する型を持つ言語を見てみると、下記のようになります。 Maybe(Haskell) Optional(Swift/Java) Nullable(C#) これらは、「値がないこと」を表すもの、という見方では同じですが、それぞれ異なる価値観の元に作られています。 Maybe/OptionalとNullable これらはすべて型パラメータを取ります*1。 しかし、この中でNullableだけは型パラメータに
実践イカパケット解析
実践イカパケット解析！！！ 巷で話題のあのイカパケットを解析してみた話 a.k.a. Packetoon
Webサービスを常時SSL化しようとして諦めた話
弊社の新規事業でWebサービスを作っていて、セキュリティトレンドの常時SSLってやつをやってみようと思った。 世のWebサービスを見てみるとやっている所が何故かほとんどなく、mixiやニコニコなどの大手もやってないようだ。ニコニコのURLを試しにhttpsにしてみたら繋がらず、mixiはhttpにリダイレクトされる。 うちは新規だから最初からhttps化することで特にデメリットはないと判断、安いSSL証明書を買ってhttpをhttpsにリダイレクトするようにした。技術的な難所はまったくないので問題なく実装完了し、これで安心度がちょっと上がったと思っていたのだが…。 つづく。 続き。 弊サービスではユーザーがYouTubeなどの動画を貼り付ける機能が重要なのだが、テストしてみるとニコニコ動画の埋め込みが動作しなくなっていた。調べてみるとニコ動の埋め込みコードがhttpなせいで、さらに最近のブ
The End of Dynamic Languages - Elben Shira
For the past several months, I’ve been programming almost exclusively in Scala (for work) and Haskell (for pleasure). But this week, I was also saturated in Ruby (for work) and Clojure (for pleasure). Ruby frustrated me at once. Working in Ruby is fine if you’re just adding a feature on top of the pile of features. All you have to do is add some unit tests, make sure the old ones pass, and run awa
ネットの3巨人、村井純氏、ティム・バーナーズ＝リー氏、ヴィントン・サーフ氏が札幌で討論。W3CとIETFの協調を模索するべきではないか？ W3C TPAC 2015
［ゲストブロガー：矢倉眞隆氏 執筆］ W3Cの年次イベント「W3C Technical Plenary / Advisory Committee Meeting Week」、通称「TPAC（ティーパック）」が2015年10月26日から10月30日まで、北海道札幌市で開催されました。 TPACは、毎年秋に一週間かけて行われる、W3Cの「技術総会」（Technical Plenary）と「諮問委員会」（Advisory Committee）の会合、そして仕様を策定する各ワーキンググループのミーティングを同時に行う、W3C最大のイベントです。通常はどのミーティングも各々が必要に応じて行うので、それらが同時に行われるTPACは、様々な観点から価値を共有できる貴重な機会です。 さて、諮問委員会の会合はW3Cの運営を、ワーキンググループのミーティングは仕様の策定をそれぞれ扱うと説明できますが、技術総会
そろそろITで何かをしている企業のことをIT企業と呼ぶのはやめたほうが良いのではないだろうか - Nothing ventured, nothing gained.
タイトルの通りだ。 テレビなどでIT企業と紹介されているので、調べてみたら、単にネットを使って小売業を営んでいる企業だったり、不動産サービスを提供している企業だったということが良くある。 まともな経済誌だったりすると、さすがにそういう企業をネット企業とかIT企業とかのような、ふわっとした紹介の仕方をすることは少ないように思うが、ゴシッピーなワイドショーや週刊誌などでは、そのように紹介されることもままある。嘲笑や悪意を込めた形になっていることも多い。 だが、本来はそのような企業は小売業者だったり、不動産業者であり、たまたまその手段としてITやネットを使っているにすぎない。 例えば、じゃらんや楽天トラベル、一休をIT企業と認識している人がどれくらいいるかわからないが、彼らは旅行代理店だ。従来型と異なるので、旅行代理店と言うことに抵抗がある人もいるかもしれないが、旅行に関わる情報を提供し、予約を
僕にとってMaybe / Nullable / Optional が、どうしてもしっくりこないわけ。 - 亀岡的プログラマ日記
はい、ポエムです。自分が正しかろうとは欠片も考えていません。異論や示唆は歓迎ですが、そう考えろと言っているわけではないので、そこはご容赦を。 前置き終わり。 さて、Nullは50億ドルの過ちだそうですね。 null参照の考案は10億ドル単位の過ち？ | スラド デベロッパー そして、それを回避するため、Maybe / Nullable / Optional などの言語機能が生まれ、各言語に埋め込まれています。 それは、大変喜ばしいこと、だと思います。 なんですが、どうもどうも、僕はどうしてもしっくりこないのです。これら全てに対して。Nullと同じように。 Nullは何がダメなんだっけ？ Nullがダメな理由、ってなんなんでしょう。よく言われる批判として、以下があるのかなぁと思っています。 ①Nullは型ではない Nullと言っていますが、こいつはNullポインタ、でございます。 からの「何
Webフロントエンドの人達(?)が次々と微妙なツールを導入して「流れが早過ぎる」とつぶやいているのを横目で見て感じている事 - latest log
自分の会社に「新ツール導入の際はCTOの許可が必要」というルールを生やして居心地を悪化させたり、後輩のやる気を削りたくなかったら、ツールの将来性を考えて行動したほうが… SI等のアレな現場にその手のルールが存在するのは何故なのか?という事と、自分達もその歴史の一節にならないように— コラーゲンたっぷりさん (@uupaa) November 20, 2015 必要な物は生まれる(創れば良い)ので、どんな問題がありどのような解決方法があり、状況の変化にどう対応するかなど、大人はツール導入前に織り込んでおくし、”勉強会の人が流行ってるって言ってたし”ですぐ廃れるツールを導入するなんて事を繰り返してると、あっという間にデストピアな職場に。な— コラーゲンたっぷりさん (@uupaa) November 20, 2015 “ツール導入で劇的に効率や抱えている問題が改善される”なら導入すればいいし、
技術トレンドを追わないという勇気
技術トレンドを追わないという勇気 昨日、「第19回 HTML5+JS 勉強会 【オレオレフロントエンド開発環境 ～際限なき修正を攻略せよ！～/甦れFlasher「swf2js」でswfをリアルタイムでcanvasに出力】」というイベントに参加してきました。 そこで講師の沖さん(@448jp)が、�「技術は目的を達成する手段なので、あまり新しい技術に振り回されてはいけない。」的なことをおしゃっていて、それはそうだなと思いながら私が最近感じている事をすこし書き留めておこうと思います。 技術トレンド圧力 フロントエンド界隈ではJavaScript/node.jsの盛況もあって毎日のように新しいライブラリ/フレームワークやツールがリリースされています。そして、それらの技術に対してアーリーアダプター的なフロントエンダーが試してはブログやQiitaでレビュー内容を記事にしたり、TwitterやFace
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
mizchi の Redux 考
はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化
男の異業種転職ウェブメディア-OREPICA-
TechCrunch | Startup and Technology News
GitHub - docker/dockercraft: Docker + Minecraft = Dockercraft
