こむろ＠札幌です。 今年も社内の人から「それ何の役に立つの？」「それXXで良くない？」と言われ、大体において理解されないニッチな分野で生きていきたいと思います。よろしくお願いします。 はじめに 仕様変更や改修によってプログラムにちょっとしたパラメータやフラグを追加したことはないでしょうか。僕はあります。そしてそれを追加するにあたって そのパラメータはどのような状態を持ち、状態を追加することで機能に影響はあるのか 追加したパラメータによってシステムの正常な動作が阻害されないか（もしくは破綻しないか） 取りうるパラメータのパターン全てで正しく動作するのか これら全てに明確に問題ないと答えられるでしょうか。（僕は無理です） 設計レビューやテスト等で全てをチェックするのはなかなか大変です。何らかの明確な根拠をもって問題ないと言っている人がどの程度いるでしょうか。 人の手によるチェックは限界がありま
Want to support us?Over several years, ReScript grew as an ML based language for compiling to human readable JavaScript. It comes with the fastest compiler and build system available today. ReScript is an Open Source platform that heavily relies on the support of our industrial users. Interested in supporting the ReScript platform? We'd love to hear from you.
MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or MacOS X, and then compiled into a fully-standalone, specialised unikernel that runs under the Xen hypervisor. Since Xen powers most public cloud computing infrastructure su
AWSがFormal Methodsを使っているというので、見てみる。分散アルゴリズムの検証に、形式手法が有効だったという話である。調べてみると、ACMの記事になる4年も前から、発表されていたらしい。 論文によると How Amazon Web Services Uses Formal Methods | April 2015 | Communications of the ACM AWSでは、2011年からFormal Methodsを使って、重要な分散システムのアルゴリズム設計を行っている。また、外部公開I/Fを単純化して提供することで、大規模な分散システムでサービスを提供できる秘訣となっている。AWSでは、顧客のデータを保護するために、フォールトトレラントな分散アルゴリズムを使っている。また、分散アルゴリズムはたくさんあるが、それらを組み合わせるのは難しい。 TLA+は、プログラマが
esyEasy package management for native Reason, OCaml and more Get Started
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く