2022.4 実践TLA+もくもく会 - connpass

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

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

4月

23
2022.4 実践TLA+もくもく会

募集内容	参加枠1 無料参加者数 3人
申込者	申込者一覧を見る
開催日時	2022/04/23(土) 13:00 ～ 16:00 Googleカレンダー icsファイル
募集期間	2022/03/19(土) 15:50 〜 2022/04/23(土) 16:00まで
会場	(場所未定)
参加者への情報	(参加者と発表者のみに公開されます)

イベントの説明

実践TLA+に関する活動をするためのタイムボックスです。

読む
分からないところを調べる
実行環境を整備する
実行してみる

スケジュール

特にスケジュールはありません。

サーバーログイン時に今日やることを共有しましょう（任意）
終了時刻になったら（残ってたら）、今日やったことや達成したことを共有しましょう（任意）

参加登録すると、イベントページに Discord サーバーの招待リンクが表示されるので、アクセスしてください。

おすすめ

Eclipse に抵抗のない人：書籍でも使い方を説明している TLA+ Toolbox（Eclipse ベースの IDE）を使用する
Eclipse に抵抗のある人：Visual Studio Code の拡張機能 TLA+ を使用する
tlaplus/Examples でいろいろなアルゴリズムの実装例を読んでみる
- devcontainers の設定ファイルが入ってるので Visual Studio Code が推奨

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

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

フィード

yujiorama さんが 2022.4 実践TLA+もくもく会を公開しました。

2022/03/19 15:50

2022.4 実践TLA+もくもく会を公開しました！

終了

2022/04/23(土)

13:00 〜 16:00

Googleカレンダー icsファイル

募集期間
2022/03/19(土) 15:50 〜
2022/04/23(土) 16:00

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

会場

(場所未定)

管理者

yujiorama

参加者（3人）

2022.4 実践TLA+もくもく会に参加を申し込みました！

2022.4 実践TLA+もくもく会に参加を申し込みました！

2022.4 実践TLA+もくもく会に参加を申し込みました！

参加者一覧（3人）