@eagletmt

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.

京都に帰りました。

言語処理→画像認識→音声認識の道を歩んでるエンジニア。早稲田の山名研出身。北京MSRAで３ヶ月インターン、Googleで新卒として１年２ヶ月、Wantedlyで4人目として7年半の時を過ごし、上場も経験。 現在は自ら起業し、AI議事録サービスを作る副業・リモートばかりの会社Rimoを運営。 副業で働きたいエンジニア募集してます！Twitterでお声掛けを。本業年収700万以上の人が多いかな？

LOVE 🍣 🍵 🌶️ 🍎 🍟 🥖 🧀 LANG 🇯🇵 🇺🇸 TECH C++ C# Software | IoT Hardware | Civil Engineering

1989年生まれ。ニコニコ動画、Tumblr、Webブラウザー、ブラウザー拡張、Gecko、WebKit、Blink、User Script、JavaScript/ECMAScript、Node.js、Web標準などに興味があります。現在Feedly、Slackを中心に利用しています。

楽したい。

ブログ移行しました。 「人と一緒に働くロボット」のUI/UXをつくっています。

2013年に株式会社Azitを共同創業してから、幅広くプロダクト開発を担当しています。 2021年からはCTOになり、サーバーサイドの開発、技術戦略の立案ならびに実行、エンジニア採用等を担当しています。 普段は散歩や植物観察、写真が好きで長時間散歩をしたり、植物園に行って花の写真を撮ったりしています。

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。