2012-02-14から1日間の記事一覧
付録A 練習問題続きます。A.3 の古典的パズル続きです。 A.3.4 Halmos の握手問題 カップルが集まったパーティで Alice 以外の全員が握手した回数がばらばらの時に、Alice のパートナーの Bob が握手した回数は何回か? この問題は Alloy でモデリングしてて…
付録A 練習問題続きます。A.3 の古典的パズル続きです。 A.3.4 Halmos の握手問題 カップルが集まったパーティで Alice 以外の全員が握手した回数がばらばらの時に、Alice のパートナーの Bob が握手した回数は何回か? この問題は Alloy でモデリングしてて…