iOS Developer

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.

個人 blog も書いてます。 https://tearoom6.hateblo.jp/

Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ

仕事で分からん事の調査メモ その時に動いただけなので今はどうかわかりません LGTMとかハードル上がるんで辛い、いいね！で良かったのに

フリーランス - スタートアップエンジニアリングアドバイザー - iOS技術顧問 - プロトタイプ開発

CyberAgentでサイネージ向け配信プロダクトのPdMやってますー

iPhone & Android開発者。

Himotoki/ReactiveCocoa/Carthageのコミッター。京都でフリーランスのiOSアプリ/Androidアプリのエンジニアやってます。