tukejonnyさんのプロフィール（申し込みイベント一覧） - connpass

tukejonny

(tukejonny)

X(Twitter)と連携していません

Facebookと連携していません

GitHubを見る

利用開始日: 2015/03/03

かわいいものとミドルウェアが好き

所属グループ

2020

/

07/29

（水）21:00〜

申込済

終了

並行システムの設計検証第5回正当性，トレース集合による安全性検査

オンライン

4/10人

2020

/

07/24

（金）13:00〜

申込済

終了

プログラム検証器を作って学ぶ Hoare 論理

オンライン

5/10人

2020

/

07/21

（火）21:00〜

申込済

終了

並行システムの設計検証第4回内部遷移・隠蔽・非決定性・発散，振る舞いとは何か

オンライン

10/15人

2020

/

07/20

（月）20:30〜

申込済

終了

証明ドリル (1) プログラムの証明練習 in Isabelle

オンライン

7/10人

2020

/

07/16

（木）20:30〜

申込済

終了

プログラミング言語の基礎概念 in Isabelle (1)

オンライン

7/10人

2020

/

07/14

（火）21:00〜

申込済

終了

並行システムの設計検証第3回デッドロック

オンライン

8/10人

2020

/

07/07

（火）21:00〜

申込済

終了

並行システムの設計検証第2回相互作用と並行合成

オンライン

9/15人

2020

/

07/06

（月）21:00〜

申込済

終了

21世紀のC言語勉強会 #1

discord.com

479/32775人

2020

/

06/30

（火）21:00〜

申込済

終了

並行システムの設計検証第1回プロセスのモデル化

オンライン

10/15人

2020

/

06/28

（日）21:00〜

申込済

終了

“あとはゴミ集めだけ” Lisp キット

オンライン

5/10人

<<前へ
1
2
3
4
5
6
7
8
9
次へ>>

tukejonnyさんのフォロー 77

tukejonnyさんのフォロワー 14