yjszk
(yjszk)

Usage start date: 10/23/2018

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

2022

01/29

(Sat)

10:00〜

Attending

2021

07/03

(Sat)

13:00〜

Attending

2018

11/20

(Tue)