http://www.nue.riec.tohoku.ac.jp/ppl2008/program.html より http://www.nue.riec.tohoku.ac.jp/ppl2008/proceedings/1-09.pdf 「漸進的型付け」というのはgradual typingのこと。Top Type(意味的には、全オブジェクトの具体クラスとして成り立つ型とでも…