yjszk
(yjszk)

Usage start date: 10/23/2018

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

Your Groups

2022

01/29

（Sat）

10:00〜

Attending

Tech Book Talk：技術書なんでもLT（20220129＠OSC大阪） Ended

Tech Book Talk

Tech Book Talk：技術書なんでもLT（20220129＠OSC大阪）

Ko Kazaana Ko Kazaana

オンライン（YouTube Live）

7/54

2021

07/03

（Sat）

13:00〜

Attending

定理証明支援系 Coq チュートリアル Ended

PRINCIPIA

定理証明支援系 Coq チュートリアル

hatsugai hatsugai

オンライン

9/10

2018

11/20

（Tue）

18:00〜

Attending

TEEを中心とするCPUセキュリティ機能の動向 (RISC-V, ARM, etc) Ended

iijlabセミナー

TEEを中心とするCPUセキュリティ機能の動向 (RISC-V, ARM, etc)

Keiichi SHIMA Keiichi SHIMA 他

東京都千代田区富士見2-10-2

62/40