@sunflat

Following Users1

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.

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

きつね

I wanna be a iOS/Mac developer.

PSNID:marukun700 ▼零細開発会社の社長兼、インディーズゲームプログラマ/ディレクターな、MZ700WINの人です。スマートフォンでゲームプログラム組んだりするかも。

Software Developer

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