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

Apr

4

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

Organizing : PRINCIPIA Limited

Hashtag :#形式手法
Registration info

一般

Free

FCFS
9/30

Description

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

初谷@PRINCIPIAです.衝動的に等式論理の話がしたくなりました.

はじめに等式論理の話をして,そのあと等式論理に基づいて作ったかんたんな証明検査器の話をします. 練習問題を用意したので,参加する人は計算用紙を用意するといいかもしれません.やらない人はその時間たいくつするので腕立て伏せかスクワットしてください.自分の答えが正しいかどうかは検査器でチェックしてください.

証明検査器は関数たった7個でできてます.プログラミング言語は Scheme です. コードはここに置きました.

Google Hangouts Meet を使います.お菓子と飲み物など用意して気軽に聞いてください.練習問題では気合を入れてください.途中参加・途中退出もご自由にどうぞ.

スライド資料と Hangouts Meet の 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

2020/04/04(Sat)

16:00
18:00

Registration Period
2020/04/04(Sat) 00:00 〜
15:45

Location

Google Hangouts Meet

オンライン

Google Hangouts Meet

Organizer

Attendees(9)

tanimocchi

tanimocchi

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

Ken Sonoda

Ken Sonoda

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

khibino

khibino

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

niszet

niszet

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

dairin007

dairin007

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

cook-a-doodle-doo

cook-a-doodle-doo

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

IKEBE Ryohji

IKEBE Ryohji

『等式論理と関数7個で作る証明検査器』 え? 何? このあとすぐ?! に参加を申し込みました

elkel53930

elkel53930

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

ksmakoto

ksmakoto

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

Attendees (9)

Canceled (1)