Masahiro Sakai

強く型づけされた static おじさん。Statically typed なプログラミング言語が好き。

iOS Developer

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

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.

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

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

音楽 https://goo.gl/abY3NE : 開発 http://github.com/shiatsumat : 雑記 http://shiatsumat.hatenablog.com

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

定理証明系や論理プログラミングに興味をもっています。

自然言語処理とか機械学習とか競技プログラミングとか