Based on knowledge obtained in this department, students choose a research topic, receive guidance by an adviser to write
a graduation thesis. Through this process, students can obtain skills of research, paper writing, and oral presentation.
The minimum requirements for credit unit are as follows.
・10 hours or more of research activity per week
・More than 15 weeks of research activities
・Over 150 hours of research activities in the previous term
Participants must have acquired credit unit of Graduation study 1.
The minimum requirements for credit unit are as follows.
・10 hours or more of research activity per week
・More than 15 weeks of research activities
・Over 150 hours of research activities in the previous term
Participants must have acquired credit unit of Graduation study 1.
By solving research problems, students can obtain comprehensive ability that is needed when they go into the world of work.
- To obtain ability to choose a research problem and solve it
- To understand contents of technical documents, and to write technical documents
- To participate in research discussions, and to obtain skills for presenting research results
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, referring to variable declarations, completing syntax, renaming identifiers, 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 supporting type class in Haskell
+ Identifier completion supporting polymorphic variant in OCaml
+ Identifier completion for incomplete program text based on Yacc error recovery
+ Identifier completion supporting Generics in Java
+ Extracting macros for C
+ Everything else about programming support
- 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 pointers in C programs with supporting storage durations and scopes
+ Everything else about programming learning support
- Sudoku (puzzle filling numbers, also called Number place)
+ Estimating the difficulty of Sudoku problems
+ Generating Sudoku problems supporting designation of initial placement
- Fusion of recursive functions
- Derivation of graph algorithms
[Research topics]
(1) Theory and implementation of programming support
- Identifier completion, referring to variable declarations, completing syntax, renaming identifiers, 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 supporting type class in Haskell
+ Identifier completion supporting polymorphic variant in OCaml
+ Identifier completion for incomplete program text based on Yacc error recovery
+ Identifier completion supporting Generics in Java
+ Extracting macros for C
+ Everything else about programming support
- 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 pointers in C programs with supporting storage durations and scopes
+ Everything else about programming learning support
- Sudoku (puzzle filling numbers, also called Number place)
+ Estimating the difficulty of Sudoku problems
+ Generating Sudoku problems supporting designation of initial placement
- Fusion of recursive functions
- Derivation of graph algorithms
| comprehensive ability | Total. | |
|---|---|---|
| 1. | 40% | 40% |
| 2. | 30% | 30% |
| 3. | 30% | 30% |
| Total. | 100% | - |
Daily study attitude (60%), and graduation thesis evaluation (40%)
Criteria for credit unit are as follows:
(1) Submission of graduation thesis summary
(2) Submission of graduation thesis
(3) Presentation of graduation thesis
Criteria for credit unit are as follows:
(1) Submission of graduation thesis summary
(2) Submission of graduation thesis
(3) Presentation of graduation thesis
- Course that cultivates a basic problem-solving skills
- Course that cultivates an ability for utilizing knowledge
Last modified : Wed Oct 17 08:53:29 JST 2018