July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する手法について解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びま…
分散システム、本当に「正しく」開発できますか？ #JTF2018 / July Tech Festa 2018
July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する手法について解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びま…
オブジェクト指向の呪いと、その避け方 - mizchi's blog
このテーマで書く前に、まず、最初に自分に多少の偏りがあることを認めておかなくてはなりません。 オブジェクト指向より、関数指向寄り オブジェクト指向のアプローチは有用だが、ただしそれを実現する手段はクラスと継承ではない。 階層化されたツリー構造(GUI/リレーショナルな参照構造)に埋め込まれる状態はコード品質を悪化させるので、できるだけ出現するべきではない。 ただし、状態は確実に存在する。だからこそ慎重に扱うべきだ、という派閥です アンチパターン: 特に理由もないクラスメソッドへの所属 何かのバリデータを実装したいとします。 その関数がどこに所属するかについて、よく見るこれらの実装は全部アンチパターンといっていいと思います export class Validator { static validate() {...} } export class Validator { validate(
Getter/Setterを避けて役に立つドメインオブジェクトを作る - かとじゅんの技術日誌
Clean Architecture 達人に学ぶソフトウェアの構造と設計を読んでます。モデリングに関しては成分薄めですが、よい本だと思います。はい。 Clean Architecture 達人に学ぶソフトウェアの構造と設計 作者: Robert C.Martin,角征典,高木正弘出版社/メーカー: KADOKAWA発売日: 2018/07/27メディア: 単行本この商品を含むブログを見る 本書の大筋から少し逸れるが、「5章 オブジェクト指向プログラミング」の「カプセル化」が面白かったので、これを切り口にモデリングについて考えてみる。 OO言語のカプセル化はすでに弱体化している オブジェクト指向の三大要素の一つである、カプセル化について、以下のようなことが書いてあります。 「カプセル化」がOOの定義の一部となっているのは、OO言語がデータと関数のカプセル化を簡単かつ効果的なものにしているから
Typetalkは革新的な組織を世界中に創出します！〜Typetalkビジョン・ミッション・バリュー発表〜 | Typetalk ブログ
突然ですが、あなたのサービスにビジョンはありますか？Typetalkブロガーのmiholabです😄 コミュニケーションを楽しくするビジネスディスカッションツールのTypetalkは「雑談を成果に変える」というコンセプトでサービスを開発していましたが、よりユーザー目線でスピーディなサービスづくりを実現するために、この度ビジョン・ミッションを決定しました！🎉 本記事では「ビジョンの言語化」というテーマで、2ヶ月という構想期間をかけて、私たちTypetalkチームがどのような考えのもと、サービスのビジョン・ミッション、バリューを決めたのかをお伝えします。 2ヶ月越しで決まったTypetalkのビジョン・ミッション 最初のビジョン・ミッションの話し合いは、日本各地に散らばるTypetalkチームが福岡の本社に一同に会した、2018年4月19日のヌーラボの社員総会で行われました。それから約2ヶ月
私は Infrastructure as Code をわかっていなかった - メソッド屋のブログ
私はここ１週間ほど、同僚の David の一言で Infrastructure as Code について頭が大混乱状態でした。 それは次の一言です。 Chef や Puppet は大体の部分は Infrastructure as Code じゃないよね。ARM (Azure Resource Manager) はそうだけど。 ただ、Chef-Provisioning は Infrastructure as Code だよね。 もう頭が大混乱です。なんとなく言わんとしていることはわかりますが、私は今まで Chef とか、Puppet とか、Ansible とかで やっているようなことが、Infrastructure as Code と思い込んでいましたが、何か間違っていたのでしょうか？そういえば、 Chef はConfiguration Management Toolと紹介されていたなとか頭
列挙型ではなく列挙型クラスを使用する - .NET
列挙型 (省略形も同じ 列挙型) は、整数型を包む薄い言語ラッパーです。 閉じた値のセットから 1 つの値を格納するときに、列挙型の使用を制限することができます。 サイズ (小、中、大) に基づく分類は良い一例です。 制御フローまたはより堅牢な抽象化のために列挙型を使用すると、コードの臭いになることがあります。 このような用法は、列挙型の値を検査する多くの制御フロー ステートメントでは脆弱なコードにつながります。 代わりに、オブジェクト指向言語の豊富な機能をすべて使用できる列挙型クラスを作成する方法があります。 ただし、これは重要な話題ではなく、多くの場合は、好みに応じてわかりやすくするために通常の列挙型を使用することができます。 列挙型クラスを使用するとビジネス関連の概念に対する関連性が強くなります。 Enumeration 基底クラスを実装する eShopOnContainers 内の
.Net SqlClient Data Provider のコネクションプールを DMV 等で調べてみる at SE の雑記
コネクションプールについて、いろいろと思うところがあり、備忘録として。 開発に携わっている方ですと、トランザクション スコープを使用した暗黙的なトランザクションの実装 と同じように、意識されているのかもしれませんが、DMVの 等で取得できる情報を簡単にまとめておきたいと思います。 ADO.NET の .Net SqlClient Data Provider で、SQL Server に対して接続を行った場合を想定しています。 Clear-Host $constr = New-Object System.Data.SqlClient.SqlConnectionStringBuilder $constr["Data Source"] = "localhost" $constr["Integrated Security"] = $true $constr["Application Name"]
アーキテクチャ大全 (未完) のサンプル
00_architecture_corpus.md アーキテクチャ大全のサンプル これくらいの実例とともにソリューション選択できるようにしていきたい。 01_drilldown_categories.md カテゴリ毎の件数表示 コンテキスト ドリルダウンの検索導線において、カテゴリごとにヒットする検索結果を表示することで、カスタマがそのリンクを押す/押さない動機を 強めることができます。 ソリューション ヒット件数を求めるにはカテゴリごとの検索結果を集計する必要があり、たいていの場合、負荷の高いクエリとなります。 SELECT SR_OUT.name, CASE WHEN cnt IS NULL THEN 0 ELSE cnt END FROM salary_ranges SR_OUT LEFT OUTER JOIN ( SELECT SR.name, COUNT(SR.name) AS
.NET Framework の更新プログラムを手動でインストールする際の注意事項について
こんにちは、Visual Studio サポート チームです。 今回は、.NET Framework の更新プログラムの構成と、更新プログラムを手動でインストールする場合の注意事項についてご案内します。 なお、Windows Update の自動更新や WSUS (Windows Server Update Services) をご利用の場合には、本内容は該当しません。また、Windows 10 や Windows Server 2016 については、.NET Framework の更新プログラムは OS の更新プログラムに含まれる形で提供されているため、本内容は該当しません。 .NET Framework の更新プログラムの構成について こちらのドキュメントで紹介されているように、.NET Framework の更新プログラムは、「セキュリティおよび品質ロールアップ」、「セキュリティのみ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
最高のITエンジニアリングを支える守りと攻めの「設計技術」と「SRE」 - Speaker Deck
JTF2018資料リンク
Spark 3.5.3 JavaDoc
VEGAS138 ^_^ Rajanya Situs Slot Online Gacor 138 Slot Hoki Gampang Maxwin 2024
The First Virtue - Site Home - MSDN Blogs
Toru Makabe on Twitter: "これですよね これを普通にするといろんなしがらみから解放される だからワイもk8sの中にはデータストアは持たない派 "一日一回CIでVPCを削除してゼロから再構築する" / kintone on EKS ― EKS で実現するイン… https://t.co/e7LhtsEvAc"
http://stg-tud.github.io/eise/WS11-EiSE-07-Domain_Modeling.pdf
jue🐧🦈 on Twitter: "Slackを導入、僕のオフィスが混乱した理由 https://t.co/RWebUeF3q6 typetalkなら全部解決してる"
jMatsuzaki🔥 on Twitter: "今日はいつも以上にタスクを徹底的に細分化して処理してみたけど、なかなか良いかも。脱線しづらい。 https://t.co/YckmFRtwmF"