Welcome to the IPL Home Page!

Information Processing Laboratory (Takeichi Lab.),
Department of Mathematical Engineering and Information Physics,
Faculty of Engineering, University of Tokyo, JAPAN.

Japanese version

• Location
• Research Area
  • Functional Programming
  • Constructive Algorithmics
  • Implementation of Programming Languages
  • Natural Languages
• Papers
• Lecture Note: Programming Language (In Japanese, u-tokyo only)
• Seminar: Categorical Aspects of Constructive Algorithmics
• Members (Advisers, Students, Staffs, Guests)
• Internet Services
  • FTP Server (including papers, UtiLisp, Wada-Lab Fonts etc.)
  • Finger Interface
• Internet Access
  • The University of Tokyo Home Page
  • Department of Mathematical Engineering and Information Physics Home Page
  • Department of Information Engineering Home Page
  • Information Servers in the University of Tokyo
  • Links to other Internet resources
• IPL Local Service (local access only)