spamSubmit7Items128Contribution17Followersvain0xプログラミング言語処理系(コンパイラ/デバッガ/LSP)を作る人です。競プロ参戦記を連載中。15504.eldeshpiacerex福岡のスタートアップ企業でマーケティングプロダクト&ビッグデータ分析アーキテクト中。Elixir/Kerasをよく使う。XPer歴17年/デジタルマーケッター/技術顧問/システムトレーダー。bestsuharahiromichi定理証明系や論理プログラミングに興味をもっています。