Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ

建設業

機械学習とか。 記述は所属組織と無関係です。

たぶん新規性はありません

FXとプロコンが大好き。 AtCoderは始めたばかりですが、こんな目標↓で頑張っていきます。 2020年8月:灰色 2020年11月:水色 2021年4月:青色 ...

サーバーサイドエンジニア

FlutterやiOS、Androidのアプリ作ったりして生きています

来る日も来る日も囲碁を打ってたら、いつの間にかスマホアプリ開発者になってた。 囲碁はアマチュア八段～九段。プログラミングは2016年7月に勉強し始めました。 2017年6月に囲碁アプリ「詰碁の森」をリリースしました。 AI竜星戦2018に自分の棋風を模した戦闘狂囲碁AI「BSK」で出場してみたところ、独創賞を受賞してしまいました。

主にプログラミング・データサイエンスの勉強をしてます。 わからないことなど、他のも同様の問題を抱えている人がいそうな記事を書いていければなー、と思います。