#PI# については、pjs0.1$が正主piを超えようとしているので、piはもう翻身できない干物になってしまったようですね。皆さん、pjsがpiを超えられると思いますか？意見を聞かせてください。