Ikuo Kobori (小堀 育男)

• 1.0.0 Education
• 1.1.0 Certification
• 2.0.0 Publications
• in Japanese

Profile

Affiliation

A past master program student at
Programming Logic Group, Depertment of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba.

E-mail: ikuologic.cs.tsukuba.ac.jp

Education

• Apr. 2014 - Mar. 2016: Master's program at Depertment of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba.
• Apr. 2012 - Mar. 2014: Bachelor's program at College of Information Science , School of Informatics, University of Tsukuba.
• Apr. 2007 - Mar. 2012: Associate's program at Deptertment of Information and Computer Engineering, National Institute of Technology, Gunma College.
  • Mechatronics Laboratory
  • Thesis (in Japanese): A Study on the GPS Navigation of Shipments (Joint with Atsushi Asami)

Certification

• 2009: Passed Applied Information Technology Engineer Examination: AP
• First-Class Technical Radio Operator for On-the-Ground Services
• Amateur First-Class Radio Operator
  • Callsign: JH1LGL
  • A member of JR1ZTT

Publications

1. Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov. Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators. In: Proceedings of the Workshop on Continuations (WoC 2015), Electronic Proceedings in Theoretical Computer Science 212, pp. 36–52. [link]
   (Pre-proceedings version: ATM without Tears: Prompt-Passing Style Transformation for Typed Delimited-Control Operators. In 2015 Workshop on Continuations: pre-proceedings. [link])