Builderscon Tokyo 2019 の発表資料です。
builderscon tokyo 2019 で「Web API に秩序を与える Protocol Buffers」というタイトルで発表した資料です。 Protocol Buffers を利用して Web API の Schema 管理をするという観点で、豊富な実例とともにその手法やメリット・デメリットについて話しました。 cf. https://builderscon.io 追記: 61ページ目で Protocol Buffers を利用する際の注意点として後方互換性が壊れるケースの話をしましたが、自分たちが経験したのは gRPC + grpc-gateway 構成特有のケースだったので記述を修正しました。
builderscon tokyo 2019 で使用したスライドです。 本セッションでは、形式手法 (formal methods) を用いた分散アルゴリズムの検証について解説しました。形式手法は、数学的な表現を用いて対象となるシステムを定式化することにより、システムの挙動の「正しさ」を厳密に保証するための方法論です。 なお解説として取り上げたのは、AWS による事例論文でも有名なモデル検査器 TLA+ です。講演前半で形式手法の一般論に触れたのち、後半では分散トランザクションを実現するための TCC (Try-Confirm/Cancel) Pattern のモデリングと検証を行いました。 講演概要:https://builderscon.io/tokyo/2019/session/fa356ee3-6be9-4850-ac9e-037bd34aabaa 録画:https://www.y
Kiite(キイテ)で知らなかった好みの楽曲に出会って・まとめて・みんなに聴いてもらおう ニコニコ動画に投稿された膨大なボカロ楽曲をRadarインタフェースで高速ザッピングして、 好みの楽曲を見つけたらお気に入り登録、それをプレイリストにまとめて皆に発信しよう! このサイトについて
夏の甲子園は履正社高が星稜高を下して優勝した。 今大会を見ていて気づいたのは、選手が試合中に水分を摂り過ぎることと、スタミナ不足である。 【連続写真】奥川恭伸の投球フォーム「下半身の使い方が素晴らしい」 ラグビーやサッカーのようにノンストップで走りっぱなしの競技なら、休憩時間に水分を補給するのも分かる。しかし、野球は「間」のあるスポーツだ。そこでガブガブと必要以上の水分を摂ったらどうなるか。集中力がなくなるのだ。野球経験のある人ならうなずけるだろう。 暑さの中、ユニフォームが汗でグッショリ濡れるほど練習をやった上で、新しいユニフォームに着替えて、水分を摂ってからまたグラウンドに戻っていく。それが正規の考えだ。経験のない人間に限って、体にいいからと言って水分補給を奨励する。その結果、集中力を欠くどころかスタミナがなくなってしまう。実際に、今夏は試合中に足がつった選手を何人か見た。ということは
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く