機械系エンジニアです. きれいなグラフを描くために R の勉強を始めました. VBA の代わりに PowerAutomate Desktop が理解しやすいなと, 最近, 感じてます.

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

HaskellとAgdaを学び始めた大学院生

お仕事ではC++やPythonを使用しています。 時系列データの予測をしたり、GCPで工事現場用システムを構築したり、ROSで重機を自動運転させたり。 機械学習/深層学習、データ分析に関してnewbieです。 基本はROM専ですが備忘録がてら記事を上げ始めました。 たまにコメントします。

最近jackson-module-kotlinのメンテナになりました。 jackson-module-kotlinに関する実験的プロジェクトもやっています、試用・スターお待ちしています。 https://github.com/ProjectMapK/jackson-module-kogera

主に自分のための備忘録を書きます。

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

メガベンチャーで生成AI系のサービス開発をやってます

RustとHaskellとCLIツールと処理系好き。いつかRustで仕事をしてみたい初心者。 Twitterは@ogtkzkです。

Graduate student