機能改善 イベント編集時の「重複参加の許可」をデフォルトで「許可しない」から「許可する」に変更しました。詳しくは こちら をご確認ください

お知らせ connpassアカウントのパスワードを設定することで、ソーシャル認証に依存しないログインも可能となります。詳しくは以下のヘルプをご確認ください。
- パスワードの設定
- ソーシャル認証ログインが出来なくなった場合の操作
イベント管理者様・グループ管理者様も上記ヘルプを 一括メッセージ機能 にて参加者・グループメンバーへ案内して、連絡がつかなくならないようご注意ください。

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

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

Group

PRINCIPIA

Number of events 99

Members 247

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)

(退会ユーザー)

(退会ユーザー)

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

kubota_junshi

kubota_junshi

I joined 形式手法の紹介!

okue

okue

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

sasuseso

sasuseso

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

niszet

niszet

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

dif_engine

dif_engine

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

po3rin

po3rin

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

asya-kawai

asya-kawai

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

minekoa (みねこあ)

minekoa (みねこあ)

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

elkel53930

elkel53930

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

Attendees (31)

Canceled (1)