Atsushi4

17 Contribution

/ Following users

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.

未踏/iOS/Android/Ruby/Rails/AWS とあるスタートアップでCTOやってます。著書: http://amzn.to/1Mfphkd

やぁやぁ。sngmrだよ! コネクションワークスの森 真吾だよ! Blogは近況報告なんかに特化させて、技術的なことはこっちに書いていこうと思うよ。 モトクロスとプログラムと粉砕骨折と: http://d.hatena.ne.jp/sngmr コネクションワークス: http://connectionworks.jp

Ruby大好き中年です。七輪と旅行も大好きです。巨石遺跡に古代文明のロマンを感じている今日この頃です。

OpenShift(Docker+Kubernetes+α)をメインに活動しているプリセールスエンジニアです。IoT、エンタープライズ系JavaとG*(Groovy,Gradleなど)およびDevOps系もそれなりに経験ありです。

日本のQA/テストエンジニア。 ウェブとちっさいパソコンとふとんがすき。 +(0゚・∀・) + ワクテカ +

Linux 好きなんですが、業務で Linux を使っていないソフトウェアエンジニア

Haskellプログラマです。

misocaつくってます

Coqなどによるプログラムの正しさの検証・証明に興味があります。

名古屋でWeb制作会社「有限会社アップルップル」の代表をしています。Web制作会社の方にオススメなCMS「a-blog cms」を開発&販売してます。また、「WCAN」という名古屋のWeb制作者のためのセミナーの主催や、コワーキングスペース「ベースキャンプ名古屋」の運営もしています。