No.007 Dependently Typed Programming


Shonan Meeting Seminar 007

Transportation and Local Information

We have set up a simple wiki page where participants may announce their arrival/departure flight and time and arrange to share transportation to/from Shonan together.

The travel info. below are provided by the courtesy of Naoki Kobayashi, originally prepared for the NII Seminar on Automated Techniques for Higher-Order Program Verification.


You can make the reservation online. You will receive an instruction from Shonan Village Center soon. (If you do not receive an instruction until the end of August, please let us know.)

Access to Shonan Village

See Shonan Village Home Page.

There are several routes from Tokyo area or Narita airport. In general, first move by a train to either Zushi (JR) or Shin-Zushi (Keikyu), and then take a bus or a taxi. For foreigners, we would recommend sharing a taxi from Zushi or Shin-Zushi. The train route/schedule can be searched by using the train route finder below.

Train Schedule Search (not for reservation)

  • Jordan Train Route Finder.
    For destination, enter “Zushi” or “Shin-Zushi”. As Tokyo area is served by several companies, you will see several choices. Please pick one that seems most convenient. An optimal route depends on the departure time.
  • Narita Airport Access Planner. You can search a train schedule from/to Narita Airport.

Recommended routes from Tokyo/Airports to Zushi

Note: The following may not be the best route, depending on the time of departure.

  • From Tokyo Narita Airport.
    Take JR Narita Express to go to “Ofuna” or “Yokohama”, and then take JR Yokosuka Line to Zushi.
  • From Tokyo Haneda Airport.
    Take Keikyu Haneda Airport Line. Change at Keikyu Kamata station to Keikyu Line, and then change at Kanazawa-Hakkei to Keikyu Zushi Line and get off at Shin-Zushi terminal.
  • From Tokyo Jimbocho area (where ICFP is held).
    Go to Tokyo station by a taxi (which costs around 1,500 yen) and then take JR Yokosuka Line to Zushi.
    Go to Shibuya station by Tokyo Metro, and then take JR Shonan-Shinjuku Line.

From Zushi or Shin-Zushi to Shonan Village Center

Please take a bus (which leaves once in an hour or half an hour, and takes 30 min from Zushi to Shonan Village Center) or a taxi, which costs 2,500 ? 3,000 yen and takes about 20 min.
As a bus driver is not likely to speak English, we recommend sharing a taxi (or finding a company who speaks Japanese, to take a bus). Here are some Japanese messages to show to a taxi driver.
Bus Time Table
Other Links on Travel Information:

About Earthquake and Radiation

ICFP page summarizes the recent situation around Tokyo after the big earthquake.
In eastern part of Japan, the frequency of small earthquakes is a bit higher than usual (though no devastating one has happened since the big one). You need not worry too much, but if you have never experienced even a small earthquake, you may wish to check this page, just in case (in the same sense that you should know how to evacuate in case of a fire accident even if the chance to encounter the accident is very small).


The banquet will be held in Minemoto, a Japanese tea-ceremony restaurant, in Kamakura, after the excursion.


Top Page of NII Shonan Meetings
Shonan Villlage Center
ICFP 2011

Category: Uncategorized


Comments are closed.