その FROM php:8 、 2025 年 4 月から動かなくなるかも?
こんにちは。やまゆです。 Docker 公式から下記のような記事が投稿されました。 Revisiting Docker Hub Policies: Prioritizing Developer Experience 要約…
仕様の定義の難しさ 複雑な動作条件や、多様な環境要因を予測して、仕様を書くのは難しい。 => 仕様の誤りを見つけて、それを修正しよう 誤りの例 ドアの仕様例 【重要】この仕様が実現不能である 形式化してみると 式の…