yjszk
(yjszk)

Usage start date: 10/23/2018

いわゆる組込システム関係の仕事…だったが、最近はセキュリティ周りにも広がっているため、もはや仕事関係で呟けることが無いのだス。
数理論理学、定理証明支援系Coqを使った証明駆動アプローチ、などが最近の興味の中心。あとは以前からの経済学系でMMTとか。

2023

/

07/29

(Sat)14:00〜

Attending

2022

/

01/29

(Sat)10:00〜

Attending

2021

/

07/03

(Sat)13:00〜

Attending

2018

/

11/20

(Tue)18:00〜

Attending

yjszk

yjszk's followees 0

No followers.