ちょっと気になったので... wikipedia http://hblo.bblog.jp/entry/212294/ http://plaza.umin.ac.jp/~kodama/ethics/wordbook/arrow.html Prologによる２×３のケースの不可能性定理の自動証明 http://www.h6.dion.ne.jp/~tanaka42/seido.html まいいや。あ…