大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士(情報科学)。
Nagoya and/or Gifu
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followers
- Daisuke Shimamoto@diskshima
株式会社プログリットという英語コーチングの会社でソフトウェア・エンジニアをやっています。 好きなエディタは Vim です。
- Yoshihiro Yamazaki@yoya
画像処理の事ばかり考えてます。ImageMagick ウォッチングが趣味です。
- @kencoba
数学愛好家
- @aya_eiya
起業家とエンジニアが多いシェアハウスの管理人 AY合同会社代表・エンジニア 現在個室の空きあり〼( https://aya-eiya.work )
- Tatsuya Kawano@tatsuya6502
Erlang/OTPやRustで分散DBを開発してます。プログラミングは中学生の頃から、30年ほど独学でやってきてます。大学はアメリカ東海岸にある美大でした。現在は上海在住
- masaya nasu@nasum
Golangで仕事をしているWebアプリケーションエンジニア
- よしだ けんじ@xuwei_k
https://github.com/scalaz https://github.com/scalaprops https://github.com/scalikejdbc https://github.com/scalapb-json https://github.com/argonaut-io Scala本体や、Scalaz、その他色々なScalaのライブラリのコミッターやってる
- Akira Nonaka@anonaka
空飛ぶプログラマです
- @nebutalab
科学計算・関数型言語・ウェブデザインなどに興味あり。
- @heignamerican
なんかメモるよ
- 海野 弘成@yaotti
Qiitaを作っているIncrements株式会社の創業者
- @pogin503
EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。