課題図書 今年の仕事納めは 12/20。 去年と違い娘がいるため自分の自由な時間があまり取れないんだけど課題図書くらいは読んでおこうとおもった（積読消化） 課題図書 1 Javaパフォーマンス作者:Scott Oaks出版社/メーカー: オライリージャパン発売日: 2015/…

Kubernetesを利用するにあたって、Containerイメージはどこからか必要になる。現時点で利用したことがあるRegistryは以下。 Docker hub Amazon Elastic Container Registry GoogleもContainer Registryサービスが存在するらしい（そりゃそうだよね）ので、こ…

GCP環境作成 こちら を参考にセットアップしてみた記録。 目標はこの記事と同じく最小限のKubernetes学習環境を整えること！ GCP利用開始までの手順 Googleアカウント作成 GCPコンソール有効化 Cloud SDKのセットアップ Googleアカウント作成 GCP利用のため…

さんまが旬の今の時期、過去類を見ないほどの不漁との報道がされている北海道。 確かに例年よりもさんまが細くて高い。この時期、例年だと７０円前後まで落ちていることが多いさんまが今年は１００円を割っていないように見える。 とはいえ、首都圏よりかは…

干支が3周しました。 そういえば去年の誕生日は北海道の地震だった。 ja.wikipedia.org 北海道全域がブラックアウト、自宅は3日間停電。スマホも充電できず、電波もなく情報からシャットアウト。 幸いにも水道は使える状態だったので生きる上での最低限のラ…

2019/08/23の週末金曜日、「今日は読書会に出て脆弱性指摘されたIssueの修正PRだけ作って帰ろ」と思っていたところ、AWSで大規模な障害が発生に遭遇。 障害から復旧までの経緯や原因については各種ニュースサイト等で報道されている通り。 www.itmedia.co.jp…

冷凍の手羽元が安く大量に手に入ったので甘辛煮。 実家で母親が作っていたんだけど調味料の配分は本人曰く適当とのことで、情報が皆無なのでざっくり調べてから作った。 oceans-nadia.com ゆで卵はないけど、概ねこれを参考に。調味料ぶちこんで煮るだけなの…

2018年の12月に購入後、社内の読書会等々挟んでようやく読み終えた。 Release It! 本番用ソフトウェア製品の設計とデプロイのために作者: Michael T. Nygard,でびあんぐる出版社/メーカー: オーム社発売日: 2009/02/21メディア: 単行本（ソフトカバー）購入:…

サバが一尾まるごと78円だったので、捌いた身を半分鯖味噌に仕立てた。 レシピは以下を参照した。なかなか濃い味で美味しい。 https://www.gnavi.co.jp/dressing/article/21271/

基本的な文法 TLA+は普通のプログラミング言語とは違って、どちらかというと数学に近い。そのため、Operandの意味が異なることが多い。さらにTLA+はすべてを集合と論理演算で表現する。これも会社のブログで書いたのでそのまま転記しとく。 dev.classmethod.…

Introduction まずは一回目のVideo講座。TLA+の目的や形式手法、擬似コード等基本的な内容について触れている。 会社のブログで書いたのでそのまま転記しとく。 dev.classmethod.jp

DebianのBackports Packageが削除された。 gihyo.jp lists.debian.org 海外でもいくつか話題になっている。 unix.stackexchange.com なぜDocker Buildに失敗するのか 今回はまさにこれを踏んだ。 サポート終了コンポーネントのアーカイブ削除に寄せて · Forg…

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