発信内容は個人的な見解であり所属する組織を代表する意見ではありません。

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