競技プログラミング(C++, AtCoder:茶) 使用言語：LaTeX, C++ など

RustとHaskellとAndroidとCLIツールと処理系好き。いつかRustかAndroidアプリ開発で仕事をしてみたい万年初心者。 Twitter（自称X）は@ogtkzkです。

lisp golfer

人生はアレ。☃は非アレ。