yjszk
(yjszk)
Usage start date: 10/23/2018
いわゆる組込システム関係の仕事…だったが、最近はセキュリティ周りにも広がっているため、もはや仕事関係で呟けることが無いのだス。
数理論理学、定理証明支援系Coqを使った証明駆動アプローチ、などが最近の興味の中心。あとは以前からの経済学系でMMTとか。
Your Groups
- Attended 3
- Organize 0
- Presenter 0
- Bookmark 0
2022
01/29
(Sat)10:00〜
Attending
2021
07/03
(Sat)13:00〜
Attending
2018
11/20
(Tue)18:00〜
Attending