- Students can make proposals for technical solutions based on social needs
- Students can take the initiative in setting and solving technical issues and continue to study to do so.
- Students can design, implement and evaluate systems and programs
- Students can create high-quality technical materials for research content
- Students can make oral presentations and discussions about their research
Our research aims at developing program development system utilizing techniques in programming languages such as type systems
and program transformations. Up to now practical systems like Eclipse provide basic refactoring functionalities such as renaming
identifiers. Our goal is to develop systems that provide various useful features such as context-sensitive completion of identifiers,
expressions, keywords, patterns for syntax, and various refactoring functionalities such as renaming variables and extracting
functions, by reusing compiler code as much as possible.
[Research topics]
(1) Theory and implementation of programming support
- Identifier completion, completing syntax, keyword completion, detecting and eliminating code clones, etc. for functional langauges
+ Identifier completion for functional programs that do not have any type or syntax error up to cursor potision
+ Identifier completion for incomplete program text based on Yacc error recovery
+ Completing expressions in Java
+ Code minimization or code obfuscation
+ Everything else about programming support
(2) Theory and implementation of programming learning support
+ Visualization of overwriting the function return addresses for C programs
+ Elimination of goto statements for C (replacing with, e.g., while, break, and continue statements)
+ A tool for visualizing multithread C programs
+ Everything else about programming learning support
(3) Other topics each student considers
[Research topics]
(1) Theory and implementation of programming support
- Identifier completion, completing syntax, keyword completion, detecting and eliminating code clones, etc. for functional langauges
+ Identifier completion for functional programs that do not have any type or syntax error up to cursor potision
+ Identifier completion for incomplete program text based on Yacc error recovery
+ Completing expressions in Java
+ Code minimization or code obfuscation
+ Everything else about programming support
(2) Theory and implementation of programming learning support
+ Visualization of overwriting the function return addresses for C programs
+ Elimination of goto statements for C (replacing with, e.g., while, break, and continue statements)
+ A tool for visualizing multithread C programs
+ Everything else about programming learning support
(3) Other topics each student considers
| Summary report | Presentation | Seminar activity | Total. | |
|---|---|---|---|---|
| 1. | 5% | 5% | ||
| 2. | 10% | 10% | ||
| 3. | 10% | 10% | ||
| 4. | 30% | 10% | 40% | |
| 5. | 30% | 5% | 35% | |
| Total. | 30% | 40% | 30% | - |
A passing score of 60 is equivalent to participation in seminar activities (60% or more), submission of a research outline
that meets its quality criteria, and making a presentation on it.
| Work experience | Work experience and relevance to the course content if applicable |
|---|---|
| N/A | N/A |
- 4.QUALITY EDUCATION
- 9.INDUSTRY, INNOVATION AND INFRASTRUCTURE
- 12.RESPONSIBLE CONSUMPTION & PRODUCTION
Last modified : Sun Mar 21 16:21:52 JST 2021