Qiita Teams that are logged in
You are not logged in to any team

Log in to Qiita Team
Community
OrganizationAdvent CalendarQiitadon (β)
Service
Qiita JobsQiita ZineQiita Blog
Issue report
Help us understand the problem. What is going on with this user?
Keigo Imai
@keigoi
大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士(情報科学)。

Nagoya and/or Gifu

Following tags

Following tags are none

$ analyze @keigoi
posted articles
  • OCaml:29%
  • Java:10%
  • AWS:6%
  • Eclipse:6%
  • dns:6%
LGTMed articles
  • 関数型言語:7%
  • Java:6%
  • Python:6%
  • IoT:6%
  • JavaScript:6%
answered questions
    No data