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.

精度保証付き数値計算の研究を行っている大学院生です。研究テーマは、「単位円盤上における半線形楕円型偏微分方程式の解の精度保証付き数値計算」です。暇な時は、ランニングに行ったり、本をよく読んだりしています。最近印象に残った本は姜尚中さんが書いた「悩む力」です。また、いろんな人と交流するのが好きで、国内外問わず余裕があれば旅行に行きます。

言葉は、不要か・・・