フリーランスの文系卒エンジニアです。登山好きです。

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

北九州市立大学 准教授 Univ. of Kitakyushu Associate Professor / Computer and software for artificial satellite and space rover / Domain-specific architecture / Elixir

フリーランスエンジニア Fukuoka.exでelixir強力推し 自社販売管理EPRパッケージによる基幹系ソリューションを手掛けてます Delphi / Oracle 案件納入歴 20年 フロントエンド vue.js / vuex / typescript サーバーサイドは Oracle / dot netcore C# / Elixir / Node.js

福岡でプログラマしながらIT商社とIT企業を経営してます。Elixir／Kerasをよく使う。Elixirコミュ#fukuokaex、福岡理学部#FukuokaScienceを主催。プログラマ歴41年／XPer歴22年／デジタルマーケッター／経営者／CTO／技術顧問数社。 シボと重力子放射線射出装置は別腹(^^)