新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

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

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.

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)