お知らせ 「ESET INTERNET SECURITY」利用環境下での 不具合修正のお知らせ

このエントリーをはてなブックマークに追加

May

5

プログラム検証と最弱事前条件のはなし

Registration info

一般

Free

FCFS
1/10

Description

イベントの内容

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

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

数式が出てきます。

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

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

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

資料は公開しません。

補足

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

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

hatsugai

hatsugai published プログラム検証と最弱事前条件のはなし.

05/05/2021 16:11

プログラム検証と最弱事前条件のはなし を公開しました!

Group

PRINCIPIA

Number of events 96

Members 244

Ended

2021/05/05(Wed)

20:00
21:00

Registration Period
2021/05/05(Wed) 16:00 〜
19:30

Location

Zoom

オンライン

Zoom

Organizer

Attendees(1)

szskr

szskr

I joined プログラム検証と最弱事前条件のはなし!

Attendees (1)

Canceled (1)