Upcoming Events

Public 2020/03/28(Sat) 12:10〜

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

hatsugai hatsugai

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

2/16

Public 2020/04/11(Sat) 12:10〜

プログラムの正しさを数学的に証明する形式検証への招待

hatsugai hatsugai

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

6/16

Finished Events View all events (9)

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 66

Organizer

  • hatsugai

Other Members

  • cook-a-doodle-doo
  • HopPop
  • てるてる
  • RyosukeNakagawa
  • dora-gt
  • Brownie
  • もといけ
  • tatarou1986
  • TomoyukiKobori
  • sakasa
  • ken_sonoda
  • hirofumi
  • Nichika Yoshida
  • ゆで卵
  • yyano
  • ShoyaOhtsu
  • takuhiro matsuyama
  • takasek
  • tkokamo
  • __tai2__

Media(0)

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