お知らせ【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。

5月

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

主催 : PRINCIPIA Limited

ハッシュタグ：#形式手法

募集内容	一般無料先着順 31/35人
申込者	申込者一覧を見る
開催日時	2020/05/29(金) 19:30 ～ 21:30 Googleカレンダー icsファイル
募集期間	2020/05/28(木) 00:00 〜 2020/05/29(金) 18:00まで
会場	Zoom オンライン

イベントの説明

形式手法の紹介

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

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

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

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

資料資料をもっと見る／編集する

資料が投稿されると、最新の3件が表示されます。

フィード

hatsugai さんが形式手法の紹介を公開しました。

2020/05/28 15:47

グループ

イベント数 112回

メンバー数 251人

終了

2020/05/29(金)

19:30 〜 21:30

Googleカレンダー icsファイル

募集期間
2020/05/28(木) 00:00 〜
2020/05/29(金) 18:00

イベントへのお問い合わせ

会場

Zoom

オンライン

Zoom

管理者

hatsugai

参加者（31人）

(退会ユーザー)

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

I joined 形式手法の紹介!

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

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

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

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

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

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

minekoa (みねこあ)

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

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

参加者一覧（31人）

キャンセルした人（1人）