形式手法による分散システムの検証 - builderscon tokyo 2019
Abstract 本セッションでは、形式手法 (formal methods) を用いた分散システムの設計および実装について解説します。形式手法は、数学的な表現を用いて対象となるシステムを定式化することにより、システムの挙動の「正しさ」を厳密に保証するための方法論です。受講対象は予備知識を持たない初心者を想定しており、具体例を通して形式手法の基本的なアイデアを知ることを目標とします。 分散システムのメリットとデメリット 近年、複数のコンポーネントが非同期的に連携して動作する分散システムは決して珍しいものではなくなりました。正しく設計された分散システムは、集中システムとは比較にならないフレキシビリティとスケーラビリティを発揮します。人気 OSS の中にも分散型の設計を取るものは多数見られ、一昔前のように一部の専門家だけに任せておくだけでなく、すべてのエンジニアにとって一種の基礎教養になってい
Haskellを使おう - builderscon tokyo 2017
Abstract 本セッションでは、純粋関数型言語Haskellでアプリケーションを書くコツを紹介します。 昨今の関数型言語ブームでHaskellに興味を持つ人は増えているように思えますが、実際にアプリケーションを作成するに至る人はまだまだ少ないように思えます。入門書を読めば文法やREPLの使い方を知ることはできますが、ビルドツールを適切に使ったり、必要なライブラリを見繕って利用したりするにはそれだけの知識ではあと少し届かないのが実情でしょう。 セッションではHaskellの文法を知っていてREPLは扱えるという初学者に対して、実際にHaskellでアプリケーションを書くために必要なノウハウを紹介します。 純粋関数型言語でのアプリケーション開発のコツ 副作用 ループ (グローバル)変数 ビルドツール stack のエコシステム ドキュメントの見方 ライブラリの探し方(+ 便利なライブラリの
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
