LAB LOGA page on LabLog, a review site (not the lab's official page)
Morihata Lab
Machine-translated · View original
A programming lab that explores how to transform programs and how to build them automatically.
AboutAbout the lab
Programming, made more automatic.
The Morihata Lab studies the fundamental theory of programming and its applications.
The lab believes that even now, as automatic programming with large language models (LLMs) becomes widespread, gaps remain, such as lightweight automation and program verification.
The lab's strength is program transformation: radically rewriting programs to make them faster, or producing complex programs from simple ones.
Its research is grounded in program calculation, an approach that builds programs step by step, much as one solves an equation by manipulating expressions.
Key terms
- Program transformation
- A technique for rewriting a program while preserving its meaning, in order to make it faster or convert it into a different form
- Parallelization
- Reworking processing that is carried out one step at a time so that it can be shared among multiple cores or CPUs and run simultaneously
- Dynamic programming
- A method for solving a large problem efficiently by dividing it into smaller problems and recording and reusing intermediate answers
- Automatic program synthesis
- Automatically producing a program that meets given conditions from information that is less detailed than the program itself, such as input-output examples
ResearchResearch themes
The lab studies the fundamental theory of programming and its applications. With program transformation and automatic program synthesis as its areas of strength, and drawing on declarative programming and program calculation techniques as background, it works on automating program construction.
*Illustrative imageAutomatic Parallelization of Programs
The lab studies parallelization: converting programs written without regard to parallelism into parallel programs that run on multicore and multi-CPU systems. Its work ranges from theory that characterizes programs that are easy to parallelize to the development of systems that parallelize programs automatically.
*Illustrative imageAutomatically Deriving Algorithmic Paradigms
Based on program transformation, the lab studies techniques for automatically introducing standard algorithmic paradigms, such as dynamic programming, into very simple programs.
*Illustrative imageAutomatic Synthesis, Verification, and Language Design
To make the most of program transformation, the lab works broadly on program synthesis, which obtains program fragments that do not exist before transformation; program verification, which checks the assumptions a transformation relies on; and the design of programming languages suited to both.
*Illustrative imageProgram Calculation
A technique for constructing programs by repeatedly applying program transformation and synthesis, much as one solves an equation by manipulating expressions. The lab's research is grounded in this approach, which offers a general-purpose method for programming.
MembersFaculty
- Associate ProfessorAkimasa MorihataPublications ↗
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to Morihata Lab
Ueda LabFaculty of Arts and Sciences, Department of Interdisciplinary SciencesCognitive science, intelligent informatics, decision science…
Fukunaga LabFaculty of Arts and Sciences, Department of Interdisciplinary SciencesComputer science (artificial intelligence) / search algorith…
Kaneko LabFaculty of Arts and Sciences, Department of Interdisciplinary SciencesGame programming and artificial intelligence; reinforcement …
Hiraki LabFaculty of Arts and Sciences, Department of Interdisciplinary SciencesCognitive informatics (developmental cognitive science); inf…The information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “CSS code on a screen (Unsplash)” Sai Kiran Anagani _imkiran / CC0 (cropped)
- Automatic Parallelization of Programs: “AMD Phenom II X4 840 (HDX840WFK42GM) CPU-top oblique PNr°0373” D-Kuru / CC BY-SA 3.0 at (cropped)
- Automatically Deriving Algorithmic Paradigms: “Coder screen shot” Wikideas1 / CC0 (cropped)
- Automatic Synthesis, Verification, and Language Design: “Haskell code written on a sticky note” deavmi / CC BY-SA 4.0 (cropped)
- Program Calculation: “Formulas on an old blackboard (Unsplash)” Roman Mager / CC0 (cropped)
- Related lab (Ueda Lab): “Japan Foundation student trying Bunraku puppet” Leonardo Boiko / CC BY 2.0 (cropped)
- Related lab (Fukunaga Lab): “Schachfiguren” Dietmar Rabich / CC BY-SA 4.0 (cropped)
- Related lab (Kaneko Lab): “Go (13×” Dietmar Rabich / CC BY-SA 4.0 (cropped)
- Related lab (Hiraki Lab): “Babies with soft books” https://pixabay.com/en/users/ / / CC0 (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.