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 が推奨
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。