# 注意事項 + $\rm\TeX$は2019年6月9日現在，AtCoderのジャッジシステムには含まれていません．手元の処理系で動作を確認しています． + ~~11問中 6 8問しか解けていません．今後随時追加の予定．~~ 東大TeX愛好会[@ut_tex_club](https://twitter.com/ut_tex_club)さんからの情報提供により全問解決できました．感謝です． # …

<font color="ghostwhite">競技プロデル，題して競プロ [^1]</font> [^1]: これが言いたかっただけだろ 2019/12/18 更新：#8，#10がコンパイル版で動かなかった件について追記 # まえがき プロデル Advent Calendar 2019 15日目 の記事です． 今回のアドカレで日本語プログラミング言語「プロデル」を知りました． プロデル…

# 自然数 みなさん、自然数ってご存知でしょうか？ そう、0, 1, 2, 3,……というあれです。0は自然数です。いいですね？ （どうしても0が自然数では嫌だと言う方は1から始まる自然数について後半でお話するので我慢してください。） しかし、「……」ってなんだよ、と思いませんか？ 3の次は実は௵かもしれないですよね？ いや、別に3の次の数が௵と書かれていても構わないのですが、どんなものが「……