2022.6 実践TLA+もくもく会
オンライン
イベント内容
実践TLA+に関する活動をするためのタイムボックスです。
- 読む
- 分からないところを調べる
- 実行環境を整備する
- 実行してみる
スケジュール
特にスケジュールはありません。
- サーバーログイン時に今日やることを共有しましょう（任意）
- 終了時刻になったら（残ってたら）、今日やったことや達成したことを共有しましょう（任意）
参加登録すると、イベントページに Discord サーバーの招待リンクが表示されるので、アクセスしてください。
おすすめ
- Eclipse に抵抗のない人：書籍でも使い方を説明している TLA+ Toolbox（Eclipse ベースの IDE） を使用する
- Eclipse に抵抗のある人：Visual Studio Code の拡張機能 TLA+ を使用する
- tlaplus/Examples でいろいろなアルゴリズムの実装例を読んでみる
- devcontainers の設定ファイルが入ってるので Visual Studio Code が推奨
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
お問い合わせ
関連するイベント
【フリビレもくもく会＆交流会】～初心者歓迎！Webプログラム、Webデザイン、スマホアプリを勉強する会～
2026/04/25(土) 開催
5/30(土) 巣鴨でTableauもくもく& LT会 Vol.9
2026/05/30(土) 開催
[秋葉原] テーマ自由もくもく会 (質問・雑談OK！)
2026/04/25(土) 開催
【オンライン開催】4/28(火) TECH PLAY女子部もくもく＆雑談会 #techplaygirls #mokumoku_girls
2026/04/28(火) 開催