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

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

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

1月

29
2022.1 実践TLA+もくもく会

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

イベントの説明

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

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

スケジュール

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

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

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

おすすめ

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

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

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

フィード

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

2021/12/18 15:36

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

終了

2022/01/29(土)

13:00 〜 16:00

Googleカレンダー icsファイル

募集期間
2021/12/18(土) 15:36 〜
2022/01/29(土) 16:00

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

会場

(場所未定)

管理者

yujiorama

参加者（2人）

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

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

参加者一覧（2人）