ちなみに、現地はこんな感じ。画像では字が読みにくいですが、左手が清潔ルート、右側が不潔ルートです。 https://t.co/HBvFNsTH4M
![はしもとがく(橋本岳) on Twitter: "ちなみに、現地はこんな感じ。画像では字が読みにくいですが、左手が清潔ルート、右側が不潔ルートです。 https://t.co/HBvFNsTH4M"](https://cdn-ak-scissors.b.st-hatena.com/image/square/45dbcd8fa9de34d7bd44a67f64ff5b81fabd8d29/height=288;version=1;width=512/https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FERL3qi-UwAE-MSE.jpg)
GMOの一斉在宅勤務が話題である(であった) すでに一斉在宅勤務体制では無くなっているが、在宅勤務を経験したものとして所感を残しておきたい。 日本でもっと在宅勤務が当たり前になると嬉しい。 まず、私は社員である。役職などは別に無い。 そのため、熊谷社長が何を考えているか、というところまではキャッチできないし、そこには遠く及ばない。 熊谷社長は我々からすれば天上人のような人で、グループ全体会などの際に見かけるだけである。 また、現在は在宅勤務はほとんど解かれている状況と言っていい。 おそらく世の中的にはGMOはもうずっと在宅、みたいなイメージだと思うがそんなことはない、ほぼ通常営業である。 公式には在宅勤務中であるが、結局、各企業の上司に一任されているので、上司が「来い」と言えば行かなくてはならない。 上司にとって大事なのは、「数字」である。そのため、出社させて数字を上げさせなくてはならない
こんにちは、SWETの鈴木穂高(@hoddy3190)です。 私はこちらの記事に記載の通り、形式手法の可能性を模索しています。 現在はツールやゲームの仕様を形式的に記述すること(形式仕様記述)で、仕様の欠陥をなるべく早く見つける取り組みにチャレンジしています。 今回は仕様記述をするにあたりよく使う重要な記述テクニックである「Promotion」を紹介します。 形式仕様記述とAlloyというツールを知っている人を対象にしています。 もし形式仕様記述やAlloyをご存じない方は、以前私がbuilderscon tokyo 2019で発表したときに使った資料をご覧ください。 Promotionとは 一般にソフトウェアシステムは複数のコンポーネントから構成されます。 システム全体としての状態(以下、システム状態)は各コンポーネントの状態の組み合わせからなります。 たとえどんなに奥深くのどんなに小さ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く