新機能オンラインイベントが検索できるようになりました。オンラインイベントとして検索できるようにするにはこちらをご確認ください

Mar

29
形式手法の紹介

Organizing : PRINCIPIA Limited

Hashtag ：#形式手法

Registration info	一般 Free FCFS 31/35

Description

形式手法の紹介をします．

初谷@PRINCIPIAです．自粛の要請で週末の予定がなくなってしまった人のために，形式手法の紹介をすることにしました．

Zoom を使います．お菓子と飲み物など用意して気軽に聞いてください．途中参加・途中退出もご自由にどうぞ．質問も受け付けます．

スライド資料と Zoom の URL は CONNPASS のメッセージでお知らせします．

Media View all Media

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

Feed

hatsugai published 形式手法の紹介.

03/28/2020 04:24

形式手法の紹介を公開しました！

Group

PRINCIPIA

Number of events 38

Members 173

Public Isabelleチュートリアル第4回集合の帰納的定義

Ended

2020/03/29(Sun)

15:00 〜 17:00

Google Calendar iCal

Registration Period
2020/03/28(Sat) 00:00 〜
2020/03/29(Sun) 14:30

Event Organizer Contact

Location

Zoom

オンライン

Organizer

hatsugai

Attendees（31）

mumumu_pg

形式手法の紹介に参加を申し込みました！

takuhiro matsuyama

楽しみです。ありがとうございます。形式手法の紹介に参加を申し込みました！

murakami_motokazu_1213

形式手法の紹介に参加を申し込みました！

形式手法の紹介に参加を申し込みました！

形式手法の紹介に参加を申し込みました！

I joined 形式手法の紹介!

形式手法の紹介に参加を申し込みました！

形式手法の紹介に参加を申し込みました！

形式手法の紹介に参加を申し込みました！

形式手法の紹介に参加を申し込みました :)

Attendees (31)

Mar 29 形式手法の紹介

Description

形式手法の紹介をします．

Media View all Media

Feed

Group Join Group

Event Organizer Contact

Location

Organizer

Attendees（31）

Canceled (2)

Mar

29
形式手法の紹介

Group