>>3 (前スレ976-978)
トポスとか算術強制法の専門家がマシンメカニシャンなんジャマイカ
とか言ってみるテスト