静的型付けを持ったRubyっぽい言語の設計と実装 (2/3) - 橋本和典