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.

仕事でC++を使用。 プライベートではRubyで簡単なスクリプトがメイン。 OSはWin+Cygwin、たまにUbuntu。 成長しないVimmer。 興味:数値計算/シミュレーション/回路・電磁界解析と実行結果の可視化

Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer

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

横浜好きのPythonistaでありPHPerです。次くらいにObjective-Cが好きです。でも仕事ではJSやJavaも使っています。Windows使いですがLinuxもMacも使っています。エグゼクティブ・フェロー&フルスタックエンジニアを目指しています。今は特にSwift、Bootstrap4、Electron、Grunt、CentOS7、Docker、Vagrantに興味津々です

ちょっとした使い方はすぐ忘れてしまいます. ちょっとじゃ済まない使い方は当然すぐ忘れてしまいます. 煩雑な手順は覚えられません.

A data engineer

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

Languages: Perl, Perl6, C#(WPF), Java, TypeScript / Tools: Emacs, IDEA / Learning: F#