@yue82

Following Users20

機械学習を勉強中です。よく使う言語はC++、C言語。物理、数学、信号処理などが得意。圏論とHaskellに興味がある。あとC#をちゃんと勉強したい。

niconicoの基盤システムであるDMCをCoqで証明しています。

多趣味で不器用な人。 like: C#, Node.js, CTF

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C, STARC RTL Design StyleGuide (Verilog-HDL),HAZOP,ISO/IEC15504(AutomotiveSPICE),ISO26262. I was an editor on ISO/IEC 15504.

宜しくお願いします。

ふろんとえんどえんじにあ

クラウドエンジニア。クラウド環境のサーバを管理するツールやモニタリングシステムを開発している。普段使うのは Python や Golang が多い。

ヾ(  l   _   l  〃)ノ゙ドン☆