Upcoming Events

Public 2020/04/25(Sat) 12:00〜

並行システムの設計検証入門セミナー

hatsugai hatsugai

オンライン

2/10

Finished Events View all events (22)

Ended 2020/03/29(Sun) 15:00〜

形式手法の紹介

hatsugai hatsugai

オンライン

31/35

Ended 2020/02/29(Sat) 12:15〜

トレース比較器を作って学ぶマルチスレッドプログラミング

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

12/16

Ended 2020/02/01(Sat) 12:15〜

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

6/16

Ended 2020/01/25(Sat) 12:15〜

モデル検査器を作って学ぶマルチスレッドプログラミング

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

9/16

Ended 2019/12/07(Sat) 12:15〜

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

4/16

Ended 2019/11/30(Sat) 12:15〜

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

11/16

Ended 2019/10/19(Sat) 12:30〜

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

15/16

Ended 2018/12/01(Sat) 10:30〜

並行プロセスの理論と設計検証入門セミナー

hatsugai hatsugai

東京都千代田区神田神保町2-13-1

6/6

Members 91

Organizer

  • hatsugai

Other Members

  • yaza_ta
  • ktkoba2020
  • morichan3
  • YukoMatsuda
  • Siena.
  • tomocy
  • philomagi
  • ZUoq5sGz0bENbN4
  • なびの
  • 1_hoc
  • himrock922
  • meow
  • ぴくすふぁんく
  • stmtk
  • dairin007
  • matsud224
  • tkob
  • kahirokunn
  • dev_supisula
  • po3rin

Media(0)

    If you add media to group events the most recent 10 media items are shown.