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

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

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

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

hatsugai published 形式手法の紹介.

05/28/2020 15:47

Ended

2020/05/29(Fri)

19:30
21:30

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

Location

Zoom

オンライン

Zoom

Organizer

Attendees(31)

altitude3190

altitude3190

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

kubota_junshi

kubota_junshi

I joined 形式手法の紹介!

okue-okue

okue-okue

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

sasuseso

sasuseso

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

niszet

niszet

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

dif_engine

dif_engine

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

po3rin

po3rin

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

asya-kawai

asya-kawai

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

minekoa (みねこあ)

minekoa (みねこあ)

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

elkel53930

elkel53930

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

Attendees (31)

Canceled (1)