@mathink

フォロー中のタグ18
フォロー中のユーザー3

関数型周辺の記事を書きます。

クライアントからサーバーまでやるなんでもやさん デザインにも興味あったり Rubyが好きです Oneteamではエンジニアを募集しています。 https://www.wantedly.com/projects/17314

関数型言語とかCoqとか

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

1981年9月生まれの千葉県市川市在住です。 大学院修士課程(東アジア外交史)⇒ 商社 ⇒ 外資系嗜好品メーカー(政府渉外部/いわゆるロビイング部門)⇒ データサイエンティスト職に職種転換した変わり者 (慶應SFC 2004年卒)

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C, STARCRTLDesignStyleGuide (Verilog-HDL),HAZOP,ISO/IEC15504(AutomotiveSPICE),ISO26262