愛知のIT企業に所属しています。 基本的に自分用のメモとして、記事を書いております。 所属先の見解とは一切関係ありません。

検索とか自然言語処理とかバックエンドとかを仕事でやっています。趣味で、数理論理学とか理論計算機科学とかかじってます。