ホセヲーヂャAuto好きさんのイラストまとめ
@yjszkFollow @yjszkさんをフォローする
サイバーセキュリティのコンサルタント。
いわゆる組込システム関係の仕事…だったが、最近はサイバーセキュリティ周りが中心になり、いろんな制約から仕事関係で呟けることが無いのだス。
数理論理学、定理証明支援系Coqを使った証明駆動アプローチ、などが最近の興味の中心。あとは以前からの経済学系でMMTとか。
いわゆる組込システム関係の仕事…だったが、最近はサイバーセキュリティ周りが中心になり、いろんな制約から仕事関係で呟けることが無いのだス。
数理論理学、定理証明支援系Coqを使った証明駆動アプローチ、などが最近の興味の中心。あとは以前からの経済学系でMMTとか。
フォロー数：154 フォロワー数：1158
1 件中 1〜1件を表示
『ハルロック』４巻にも似たセリフがありました。「友よ 学問と好奇心はつねに 君の行く先を照らすだろう」です。自らの老いと共に、これは本当にそうだなぁと、感じる日々です。 QT @hottaqu 心強い相棒…
14
11