D言語で作ってみる定理証明支援系(1) 型を作るlikers
- Dr. Kiyoshi Ogawa@kaizen_nagoya
I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.
- @ryunryunryun
気が向いた時に気が向いたことを投稿します。12月に気が向くことが多いです。
- @nak2yoshi
D言語勉強中/ネコが好き