- Computer Science (5)
- Algorithm Analysis and Problem Complexity (4)
- Logics and Meanings of Programs (4)
- Mathematical Logic and Formal Languages (3)
- Mathematical Logic and Foundations (3)
- Computation by Abstract Devices (2)
- Processor Architectures (2)
- Software Engineering (2)
- Special Purpose and Application-Based Systems (2)
- Artificial Intelligence (incl. Robotics) (1)
- Programming Techniques (1)
- 情報理論 (1)