Takeshi Imai

It is no use crying over split TTY driver.

Agile 開発を日本に広めたい！

定年再雇用プログラマ DICOM, HL7 チョットワカル

雑文やプログラムや企画書を書いて、糊口を凌いでます。

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と統合が好き

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

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

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

Rubyのパパ

Qiita公式アカウントです。Qiitaに関するお問い合わせに反応したり、お知らせなどを発信しています。