2021.12 実践TLA+もくもく会

イベント内容

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

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

スケジュール

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

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

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

おすすめ

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

注意事項

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