研究員プロフィール（小林健一）

小林健一｜コバヤシケンイチ
株式会社豆蔵 BS事業部コンサルタント

大手証券会社の基幹システムをJavaに移行するプロジェクトに関わったのち、豆蔵にて分析、設計、実装の技術講師を務める。
「技術者とは何か」という疑問から形式手法に興味を持ち、独自に勉強会「Formal Methods Forum」を運営する。
また、プログラミング言語Scalaのユーザ団体「Scala部(スカラベ)」の運営をサポートしている。

主な訳書は「組込みシステムのためのソフトウェアエンジニアリング　基礎編」「Rubyによるデザインパターン」。

情報処理学会、ACM正会員。工学博士。

また、クラシックギターを細井智氏に師事。自然な演奏を追求する。