Find Top 10 OCaml Influencers

セキュリティ、FP、いろいろ

formal verification engineer at Ethereum DEV

Occasional OCaml programmer. Host of @signalsthreads. @yminsky@discuss.systems https://www.threads.net/@yaronminsky

Typing is not the bottleneck

東北大情報科学研究科の大学院生→IT企業の新入社員。ラムダ計算やモデル検査の世界→ソフトウェアテストの世界。技術書を買って読まずに積むのが趣味。Beer,Whisky,Web, igo, Book

ウクレレ弾きなプログラマ。趣味は読書とダイビング。読書はもっぱら専門書ばっかり。たまに京極夏彦と司馬遼太郎。形式手法/モデル検査/プロセス代数/Spin/Alloy/CSP/OCaml/Haskell/アジャイル/GTD/マコネル/デマルコなど。発言は個人的見解です、もちろん。

仕事はセキュリティの研究員。専門はプログラミング言語の研究者。心はプログラマ……のつもり。最近趣味のプログラミングしてないなぁ。英語のアカウントは @yoiwa。

id:tarao

小山洋一: 彦根市出身, KUIS&KMC(1991~), kutsuda(1994~), yuasa-lab(1996~), TNT(1999~), 一児の父(2005~), Haskeller, NICT HANA http://www.nict.go.jp/press/2014/06/03-1.html, LLVM/Clang いじり等