大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。
Nagoya and/or Gifu
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followers
- @Janos
Data Engineer, Master of Science (Mathematics)
- 令掛 ベイン@vain0x
プログラミング言語処理系が好き。古い記事にもコメントなど大歓迎です
- @htsign
Qiita記事に書き込むコメントの9割は知ったかぶりで構成されています。
Kaiko@kaiko_mathHaskellとAgdaを学び始めた大学院生
- 伊藤 由貴@YoshikiIto
元テスト自動化エヴァンジェリスト、めざせQAプロモーター。アウトプッター、テストエンジニアのSlackコミュニティTestingCommunityJPオーナー。 Qiitaをはじめネット上での発言は個人のもので、会社や所属団体の見解ではありません。
- Mikio Fujita@benevolent0505
EmacsとScalaが好き。 仕事ではPerlを書いています。
- @lotz
凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます
- @gyaneman
ｱﾋﾞｬｰ
- @jTakasuRyuji
ネタ投稿たのしいです
- Dr. Kiyoshi Ogawa@kaizen_nagoya
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.
- @vh5150
自社運営のサービス開発、運用責任者。 副業でフリーランスやってます。PythonとAWSが得意。たまにFlutterも。
- Yuji YAMAMOTO@igrep
HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。
- Renya Mizuno@merotan
ふろんとえんどとかるびぃとかをやってる CSSは悪い文明! 粉砕する!
- Yuji Ueki@unhappychoice
Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer
- Kei Hibino@khibino
http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record
- t hash@hash
機能が向上し, 問題が修正されています
