お知らせ 2024年9月1日よりconnpassサービスサイトへのスクレイピングを禁止とし、利用規約に禁止事項として明記します。
9月1日以降のconnpassの情報取得につきましては イベントサーチAPI の利用をご検討ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、イベントサーチAPIの提供方法の見直しを決定しました。2024年5月23日(木)より 「企業・法人」「コミュニティ及び個人」向けの2プランを提供開始いたします。ご利用にあたっては利用申請及び審査がございます。詳細はヘルプページをご確認ください。

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

Apr

4

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

Organizing : PRINCIPIA Limited

等式論理と関数7個で作る証明検査器
Hashtag :#形式手法
Registration info

一般

Free

FCFS
9/30

Attendees
tanimocchi
Ken Sonoda
khibino
niszet
dairin007
cook-a-doodle-doo
IKEBE Ryohji
elkel53930
ksmakoto
View Attendee List
Start Date
2020/04/04(Sat) 16:00 ~ 18:00
Registration Period

2020/04/04(Sat) 00:00 〜
15:45まで

Location

Google Hangouts Meet

オンライン

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.

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)