Mapのリファレンスには "The implementation uses balanced binary trees." とある．ソースのbalを読む限り，どうもAVL木の変種のようだ．普通のAVL木と違って，左右の部分木の高さの差が2まではOKとしている．なお部分木の高さを内部ノード毎にキャッシュす…

そう，あれは駒場にいた頃... 確かまだ1年生の頃．「選択科目のギリシア語の講義の後にでもギリシア語の先生を捕まえて『本場の』ギリシア文字の読み方を教わろう．本郷に進んで学科が分化しちゃうとやり辛くなるから今のうちに」と思ったんだった．しかし結…