2019-01-01から1ヶ月間の記事一覧
某犬のSVGアイコンの人にそそのかされてTLA+をはじめた。 TLA+とは何か 形式言語の一つ。AWSの一部サービスの仕様を記述し、仕様エラーや新たに機能追加する際のチェックに利用してるらしい。 DynamoDBとかS3とか2014年の時点で14のサービスがこの言語によっ…
某犬のSVGアイコンの人にそそのかされてTLA+をはじめた。 TLA+とは何か 形式言語の一つ。AWSの一部サービスの仕様を記述し、仕様エラーや新たに機能追加する際のチェックに利用してるらしい。 DynamoDBとかS3とか2014年の時点で14のサービスがこの言語によっ…