(English Translation available at: http://d.hatena.ne.jp/squeaker/20131109#p1) SPLASHという名の下にいくつかのワークショップが開かれているのですが、その中の一つに、FOOL (Foundations of Object-Oriented Languages: http://fool2013.cs.brown.edu…