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

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

May

29
形式手法の紹介
ソフトウェア開発を工学にする形式手法

Organizing : PRINCIPIA Limited

Hashtag ：#形式手法

Registration info	一般 Free FCFS 31/35

Description

形式手法の紹介

初谷@PRINCIPIAです．形式手法の紹介をします．分野や興味による相性はあると思いますが，よかったらどうぞ．

Zoom を使います．お菓子と飲み物など用意して気軽に聞いてください．

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

※ 2020/3/29 に行った紹介の再演です．

Media View all Media

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

Feed

hatsugai published 形式手法の紹介.

05/28/2020 15:47

Group

PRINCIPIA

Number of events 47

Members 180

Ended

2020/05/29(Fri)

19:30 〜 21:30

Google Calendar iCal

Registration Period
2020/05/28(Thu) 00:00 〜
2020/05/29(Fri) 18:00

Event Organizer Contact

Location

Zoom

オンライン

Organizer

hatsugai

Attendees（31）

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

I joined 形式手法の紹介!

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

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

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

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

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

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

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

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

May 29 形式手法の紹介 ソフトウェア開発を工学にする形式手法

Description

形式手法の紹介

Media View all Media

Feed

Group Join Group

Event Organizer Contact

Location

Organizer

Attendees（31）

Canceled (1)

May

29
形式手法の紹介
ソフトウェア開発を工学にする形式手法

Group