数学の形式化を研究している数学愛好家。 とりあえず考えていることを全部吐き出してから、記事を見直そうと考えています。しばらく見栄えが雑な記事を出していきます。考えていることを文字・文章にしていく過程で、考えが足りない部分を発見できたりして、これは利用しがいがあると思いました。