分散システム、本当に「正しく」開発できますか？ #JTF2018 / July Tech Festa 2018

2018/07/29 169 users jtf2018 分散システム 特定 https 検証

July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びます。 イベント概要：https://2018.techf... 続きを読む

海外の音楽誌が選ぶ『2008年ベスト･アルバム』まとめ。 - 想像力はベッドルームと路上から

2008/12/20 250 users 路上 ベッドルーム 音楽誌 想像力 海外

2008年もあと2週間。様々な『年間ランキング』が発表される季節です。海外の音楽雑誌でも『2008年ベスト･アルバム』が次々と発表されています。ということで、海外の主要音楽誌(NME、Q、Mojo、UNCUT、Rolling Stone、Spin)が選ぶ“2008年ベスト･アルバム”をまとめてみました。ただ羅列するだけでは面白くないので、F1グランプリと同じように各誌の順位毎にポイントを付与、その... 続きを読む