じゃあ僕は円周率を13進数で唱えます