Mt. Lambda is located to the east of RIMS, Kyoto Univ..
The name is derived from the letter `Lambda' written on the centre
of the mountain. On every August, a lot of bonfires are placed on
the letter. Around functional programmers, it is believed that
a god of lambda calculus lives there.
This picture is originally
created as the symbol of our
Functional Research Group.
(Photo by Jacques Garrigue, Degitized by Jun P. Furuse)