@m0h1can

Following Users3

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  〃)ノ゙ドン☆

プログラマ

主な使用言語はHaskellです。計算代数のプログラムを書いたり書かなかったりしている。しかし最近は数学先攻なので専ら LaTeX ばかり書いている。

定理証明系や論理プログラミングに興味をもっています。