今年も出たぞ！「テスト文字列にうんこ入れるな」研修資料2025年版！【祝・30万View突破】 🔖 48

こんにちは松井です。今は会長職をやっております。 もう結構前になりますが、2021年の新卒研修向けに「テスト文字列に”うんこ”と入れるな」という資料を作成しました。おかげさまで多くの方に読んでいただいたようで、現時点で累…

その FROM php:8 、 2025 年 4 月から動かなくなるかも？

こんにちは。やまゆです。 Docker 公式から下記のような記事が投稿されました。 Revisiting Docker Hub Policies: Prioritizing Developer Experience 要約…

システムの仕様の誤りを形式的に見つけたい

仕様の定義の難しさ 複雑な動作条件や、多様な環境要因を予測して、仕様を書くのは難しい。 => 仕様の誤りを見つけて、それを修正しよう 誤りの例 ドアの仕様例 【重要】この仕様が実現不能である 形式化してみると 式の…