2022.6 実践TLA+もくもく会

2022/07/02(土)13:00 〜 16:00 開催
ブックマーク
#Eclipse, #もくもく会, #アルゴリズム

イベント内容

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

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

スケジュール

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

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

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

おすすめ

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

注意事項

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

新規会員登録

このイベントに申し込むには会員登録が必要です。
アカウント登録済みの方はログインしてください。

※ ソーシャルアカウントで登録するとログインが簡単に行えます。

※ 連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。

関連するイベント