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

建設業

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

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

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

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

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

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

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