twbae

twbae

(twbae)
Usage start date: 03/15/2020

装置製造会社のソフト部隊で制御関連ソフト作ったり、直したり。内勤から最近は出張ることも。

Your Groups

2020

/

04/11

(Sat)12:10〜

Bookmarked

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

PRINCIPIA

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

hatsugai hatsugai

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

9/9

twbae