2021.12 実践TLA+もくもく会
2021/12/18(土)13:00
〜
16:00
開催
ブックマーク
イベント内容
実践TLA+に関する活動をするためのタイムボックスです。
- 読む
- 分からないところを調べる
- 実行環境を整備する
- 実行してみる
スケジュール
特にスケジュールはありません。
- サーバーログイン時に今日やることを共有しましょう(任意)
- 終了時刻になったら(残ってたら)、今日やったことや達成したことを共有しましょう(任意)
参加登録すると、イベントページに Discord サーバーの招待リンクが表示されるので、アクセスしてください。
おすすめ
- Eclipse に抵抗のない人:書籍でも使い方を説明している TLA+ Toolbox(Eclipse ベースの IDE) を使用する
- Eclipse に抵抗のある人:Visual Studio Code の拡張機能 TLA+ を使用する
- tlaplus/Examples でいろいろなアルゴリズムの実装例を読んでみる
- devcontainers の設定ファイルが入ってるので Visual Studio Code が推奨
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ(connpass)へ
新規会員登録
このイベントに申し込むには会員登録が必要です。
アカウント登録済みの方はログインしてください。
※ ソーシャルアカウントで登録するとログインが簡単に行えます。
※ 連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。