Wakahara Masato

PeerCast実況用プレイヤー「PeerstPlayer」を開発しています。

だるだるしい

Qiitaにはあまり書かず、はてなブログに書いてます。 http://yumulog.hatenablog.com/

Flutter/Androidエンジニア，最近は機械学習，データ分析など

Windowsストアアプリとか、iPhoneアプリとかやってます。

( ﾟρﾟ )ｱｩｰ

1973年生まれ、埼玉県出身。FA装置メーカー、Web制作のベンチャーを経て、2006年にGMOペパボ株式会社入社。2007年から「モバツイ」の開発・運営。2014年8月からBASE株式会社 取締役CTOに就任。2019年7月から同社取締役EVP of DevelopmentおよびPAY株式会社取締役に就任。2018年1月に慶應義塾大学大学院において博士（メディアデザイン学）取得

こんにちはこんにちは！！

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