イベントの内容

プログラムの検証と最弱事前条件について話します。

プログラムを机上で検証する方法を知りたい人と，「最弱事前条件って何？」という人向けです。

数式が出てきます。

クイズがあるので考えてみたい人は計算用紙を用意してください。参加しない人は待つことになるのでたいくつします。

飲み物とお菓子でも用意して気軽に聞いてください。

参加申し込み締め切り後に Zoom meeting の URL を connpass のメッセージでお知らせします。

資料は公開しません。

補足

先日，「テストケース自動生成器をつくる」 という文書を公開しました。その中で「条件をプログラムの前の方に向かって変換する」と書いたのですが，具体的な方法を解説しなかったのでそのあたりを補うものです。

尚，参加するのに文書は読んでおく必要はありません。