和彦 山本

Haskell

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

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.

人事パッケージベンダーのプロダクトマネージャー兼プログラマー

株式会社プログリットという英語コーチングの会社でソフトウェア・エンジニアをやっています。 好きなエディタは Vim です。

An Orger

飲兵衛放浪プログラマ。大体カメラをぶらさげて飲み屋街をうろついている。 お供はMacBookとRICHO GR / LeicaM3。 新しい物を取りあえず試すのが好き。

空飛ぶプログラマです

http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record

java, javascript, clojure, emacs.

定理証明系や論理プログラミングに興味をもっています。

Infrastructure / ML engineer