@nebutalab

分子生物学的の研究者から、製薬向けソフトウェア会社の社員にクラスチェンジ。研究試薬に従事する傍らデータの取り扱いを勉強しています。元々はR使いですが、最近はPythonも併用。

Developer Advocate, Cloud Platform

React、TypeScript、Rust、Dart、Elm、Haskell、ES2020、Groovyが好き。

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

画像処理の事ばかり考えてます。ImageMagick ウォッチングが趣味です。

https://github.com/nobeans

お気楽な開発者でございまっす。所属する組織とは無関係で、あくまで個人の書き込みでございますー。

実はVTuberです

Coqなどによるプログラムの正しさの検証・証明に興味があります。

Work on Ruby, Python, etc. Haskell Lover Cuber Father

好きなもの…Haskell, Scheme, Ruby

エンジニア／ディレクター。 「ナタリー」「ゼゼヒヒ」「ポリタス」カタカナ４文字のモノばかり作ってきました。 いまは『カラクリ合戦伝』http://karakurikassenden.com/ 作ってます。 Node.js, React, Rails, Unityなどなどお仕事の依頼は info@pigbo.co までお気軽にどうぞ

Developer Advocate at Google

Haskellプログラマです。