実践 TLA+著者:Hillel Wayne/株式会社クイープ出版社:翔泳社出版日:2021年09月15日頃ISBN:9784798169163総合623位1 件の言及中級者向けTLA+形式的検証仕様設計分散システムモデルチェック並列処理アルゴリズムデータ構造ソフトウェアエンジニアリング理論的背景Amazon で見る楽天ブックスで見る言及 Qiita 記事 (1 件)TLA+を用いて社内システムの仕様検証をしました2023/12/1♡ 2形式手法, GitHubActions, TLA+形式手法(1)GitHubActions(1)TLA+(1)Amazon で見る楽天ブックスで見るこの本に興味がある方におすすめアジャイルサムライジョナサン・ラスマセン/西村直人2011年07月アジャイルソフトウェア開発の奥義第2版ロバート・C．マーティン/ジェームス・ニューカーク2008年07月ピープルウエア第3版トム・デマルコ/ティモシ・リスター2013年12月ハッカーと画家ポール・グレアム/川合史朗2005年01月アジャイルな見積りと計画づくりMike Cohn/安井 力/角谷 信太郎2009年01月01日頃レガシーコードからの脱却David Scott Bernstein/吉羽龍太郎/永瀬美穂/原田騎郎/有野雅士2019年09月19日頃実践Data Scienceシリーズ PythonではじめるKaggleスタートブック石原 祥太郎/村田 秀樹2020年03月19日頃見て試してわかる機械学習アルゴリズムの仕組み 機械学習図鑑秋庭 伸也/杉山 阿聖/寺田 学/加藤 公一2019年04月17日頃データ指向アプリケーションデザインMartin Kleppmann/斉藤 太郎/玉川 竜司2019年07月18日頃機械学習のエッセンス加藤 公一2018年09月22日頃この本に関連世界で闘うプログラミング力を鍛える本Gayle Laakmann McDowell2016年09月28日頃コーディングを支える技術 〜成り立ちから学ぶプログラミング作法西尾泰和2013年05月プログラミングコンテストチャレンジブック第2版秋葉拓哉/岩田陽一2012年01月問題解決力を鍛える！アルゴリズムとデータ構造大槻 兼資/秋葉 拓哉2020年10月02日頃アルゴリズムイントロダクション（第2巻）第3版トマス・H．コルメン/チャールズ・E．ライザーソン2012年12月プログラミングコンテスト攻略のためのアルゴリズムとデータ構造渡部有隆2015年01月競技プログラミングの鉄則米田優峻2022年09月16日頃問題解決のための「アルゴリズム×数学」が基礎からしっかり身につく本米田優峻2021年12月25日頃定本Cプログラマのためのアルゴリズムとデータ構造近藤嘉雪1998年03月エンジニアリング組織論への招待廣木大地2018年03月関連記事技術書の速読術 - 必要な情報を素早く見つける読み方技術書の速読は「文字を速く読む」ことではなく「読まなくていい部分を見極めて飛ばす」こと。目的別の読み方と速読の 5 ステップを紹介します。速読読書術技術書の中古本・古本の賢い買い方 - 安く手に入れて賢く学ぶ技術書を中古で買うときの判断基準と注意点を解説します。中古で買っていい本と新品で買うべき本の見分け方、状態チェックのポイントを紹介。技術書選書技術書の情報が古くなったときの対処法技術書の内容が古くなったときの対処法を紹介。古くなる部分と古くならない部分の見分け方、購入前の鮮度チェック方法を解説します。鮮度読書術関連用語腐敗防止層レガシーシステムと新システムの間に変換層を設け、新システムの設計を汚染から守るパターンシステムコールユーザー空間のプログラムが OS カーネルの機能を呼び出すインターフェースStrangler Fig パターンレガシーシステムを段階的に新システムへ移行する設計パターンJWK暗号鍵を JSON 形式で表現する標準仕様で、JWT の署名検証に使用されるカオスエンジニアリング本番環境で意図的に障害を注入し、システムの耐障害性を検証する実践手法デザインシステムUI コンポーネント、デザイントークン、ガイドラインを体系化し、一貫した UI を実現する仕組み共有:XはてブURL コピー
