ポン酢形式

主に解析数論周辺/言語などを書くブログです。PCからの閲覧を推奨します。