>>182

出ているよ。今、売っているかどうか知らんが。
数理研の図書室もあるだろ?