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

Aug

2

余帰納法で無限リストを攻略する in Isabelle

Organizing : PRINCIPIA Limited

Hashtag :#PRINCIPIA
Registration info

一般

Free

FCFS
5/10

Description

余帰納法で無限リストを攻略する in Isabelle

「余帰納法で無限リストを攻略する」セミナーで扱った内容を定理証明支援ツール Isabelle 上で形式化する方法を解説します.

Media View all Media

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

Group

PRINCIPIA

Number of events 82

Members 226

Ended

2020/08/02(Sun)

16:00
17:00

Registration Period
2020/08/02(Sun) 00:00 〜
15:30

Location

Zoom

オンライン

Zoom

Organizer

Attendees(5)

Kuniwak

Kuniwak

余帰納法で無限リストを攻略する in Isabelleに参加を申し込みました!

blue271828

blue271828

余帰納法で無限リストを攻略する in Isabelle に参加を申し込みました!

y_inoue

y_inoue

余帰納法で無限リストを攻略する in Isabelle に参加を申し込みました!

niszet

niszet

余帰納法で無限リストを攻略する in Isabelle に参加を申し込みました!

TiOiT

TiOiT

余帰納法で無限リストを攻略する in Isabelleに参加を申し込みました!

Attendees (5)