![](https://s.togetter.com/static/web/img/placeholder.gif)
ホセヲ・俺はゲルググで…えっ無いの?
@yjszk
いわゆる組込システム関係の仕事…だったが、最近はセキュリティ周りにも広がっているため、もはや仕事関係で呟けることが無いのだス。 数理論理学、定理証明支援系Coqを使った証明駆動アプローチ、などが最近の興味の中心。あとは以前からの経済学系でMMTとか。
-
2012年~2016年における、その年の書籍ベスト3
744pv 2
-
学生時代に読んでおきたかったのぉ…な本をツラツラ紹介。
2559pv 12 4 users 1