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

May

19

等式論理と関数7個で作る証明検査器

Organizing : PRINCIPIA Limited

Hashtag :#形式手法
Registration info

一般

500 (Pre-pay)

FCFS
3/10

About Prepayment

About Prepayment Contact Info:

(Only shown to attendees.)

Cancel/Refund Policy:

お申込み後のキャンセルはできません。セミナーについての説明をよくお読みいただき、十分ご検討の上お申し込みください。

Print receipt data:

発行しない (詳しくはこちら)

Description

等式論理と関数7個で作る証明検査器

等式論理

はじめに等式論理の解説をします.練習問題があるので計算用紙と筆記用具を用意してください.

等式論理を使って論証ができと,プログラムの仕様を分析したり,プログラムの正しさを証明したりするときにとても役に立ちます.

命題論理を知っている人にとっても,あまり見慣れない定理が出てくるので楽しいと思います.

証明検査器

次に等式論理に基づいて作ったかんたんな証明検査器の話をします.

証明検査器は関数たった7個でできてます.プログラミング言語は Scheme です.

どれも簡単な関数なので,好きな言語で実装して楽しめると思います. 自分で実装して使ってみると理解が深まります.

配布資料と Zoom Meeting

申し込み締め切り後に,スライド資料と Zoom Meeting の URL を CONNPASS のメッセージでお知らせします.

注意事項

  • 配布スライド資料の公開は禁止です.
  • 不測の事態が生じセミナーを開催または完遂できなかった場合は、日を改めて再開催することで対処させていただきます.
  • 都合により申し込み後に参加できなくなった場合は,同等のセミナーを再演する際にご参加いただけるよう配慮しますのでご連絡ください.

参考書

Media View all Media

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

Group

PRINCIPIA

Number of events 96

Members 245

Ended

2021/05/19(Wed)

19:30
21:30

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

Location

Zoom

オンライン

Zoom

Organizer

Attendees(3)

Kuniwak

Kuniwak

等式論理と関数7個で作る証明検査器に参加を申し込みました!

totomaru

totomaru

等式論理と関数7個で作る証明検査器 に参加を申し込みました!

TakeshiHori

TakeshiHori

すみません。セミナには出席できないのですが、資料だけでも……と思い申し込みました。

Attendees (3)