tatarou1986
(tatarou1986)

Usage start date: 04/12/2018

まるはコンピュータサイエンスの全ての領域に精通しているズラw

2020

04/11

(Sat)

12:10〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

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

9/9

2018

04/26

(Thu)

19:00〜

Attending

Plasma  #1 Ended

Plasma Research

Plasma #1

Masa Masa

東京都千代田区麹町1-4-4

91/120