Research Keywords 【 display / non-display

  • delimited continuation, partial evaluation, reflective language, programming language education

Research Pursuits 【 display / non-display

  • We have been developing various tools to enhance novice programmer experience, such as a type debugger and an algebraic stepper, for the strongly-typed functional language OCaml. However, novice programmers still suffer from syntax errors. To address this problem, we have designed a graphical syntax editor based on block interface. Using this tool, we expect that the novice programmers can easily write programs without encountering tedious errors and can concentrate on the essence of programming.

Educational Pursuits 【 display / non-display

  • "Data structures and algorithms" for data structures, "Functional Language" for the fundamental concepts in programming, "Formal language and automaton" for the basics of language processors, and "Compiler construction" for the internals of compilers.

Future Research Plans, Research Prospects, and Joint Research Potential 【 display / non-display

  • We plan to use the tool we have developed in the class and see how effective it is.

Degree 【 display / non-display

  • Doctor (Science), 1994/08

Campus Career 【 display / non-display

  • Graduate School of Humanities and Sciences, Research Organization, the Core Section The Natural/Applied Sciences Division, Associate Professor

  • Faculty of Core Research Natural Science Division, Associate Professor

  • Graduate School of Humanities and Sciences, Education Organization, Doctral Program Advanced Sciences, Associate Professor

  • Graduate School of Humanities and Sciences, Education Organization, Doctral Program Advanced Sciences, Associate Professor

  • Graduate School of Humanities and Sciences, Education Organization, Master's Program Advanced Sciences, Associate Professor

display all >>

 

Books 【 display / non-display

  • Foundations of Programming

    SAIENSU-SHA Co.,Ltd.2007.02, ASAI Kenichi, Textbook

  • Trends in Functional Programming

    Logical Relations for Call-by-value Delimited Continuations, Intellect, 2007.07, Asai, K., Marko van Eekelen, Research Book, 63-78

Papers 【 display / non-display

  • Extracting a Call-by-Name Partial Evaluator from a Proof of Termination

    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation(p.61 - 67), 2019.01, ASAI Kenichi, Original, Research paper (international conference proceedings), Single Author

  • Certifying CPS Transformation of Let-polymorphic Calculus Using PHOAS

    16th Asian Symposium on Programming Languages and Systems (APLAS 2018)(p.375 - 393), 2018.12, Yamada, U., and K. Asai, Original, Research paper (international conference proceedings), Coauthor

  • Handling Delimited Continuations with Dependent Types

    Proceedings of the ACM on Programming Languages, vol.2(ICFP)(p.1 - 31), 2018.09, Cong, Y., and K. Asai, Original, Research paper (international conference proceedings), Coauthor

  • Selective CPS Transformation for Shift and Reset

    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation(p.40 - 52), 2018.01, ASAI Kenichi, UEHARA Chihiro, Original, Research paper (international conference proceedings), Capital Author

  • Report on a User Test and Extension of a Type Debugger for Novice Programmers

    Electronic Proceedings in Theoretical Computer Science, vol.170(p.1 - 18), 2014.12, Ishii, Y., and K. Asai, Original, Research paper (scientific journal), Coauthor

display all >>

Presentations 【 display / non-display

  • Incremental OCaml Stepper

    Tsukino Furukawa, Kenichi Asai, Domestic, 2019.03, The 21th JSSST Workshop on Programming and Programming Languages, Hanamaki, Iwate, Japan Society for Software Science and Technology, Not Invited, Coauthor

  • Evaluation and application of practical type error slicer

    Naho Wakikawa, Kenichi Asai, Kanae Tsushima, Domestic, 2019.03, The 21th JSSST Workshop on Programming and Programming Languages, Hanamaki, Iwate, Japan Society for Software Science and Technology, Not Invited, Coauthor

  • OCaml Blockly Demo

    Haruka Matsumoto, Kenichi Asai, Domestic, 2019.03, The 21th JSSST Workshop on Programming and Programming Languages, Hanamaki, Iwate, Japan Society for Software Science and Technology, Not Invited, Coauthor

  • Classification of syntax errors for novice OCaml programmer

    Mai Kitagawa, Kenichi Asai, Domestic, 2019.03, The 21th JSSST Workshop on Programming and Programming Languages, Hanamaki, Iwate, Japan Society for Software Science and Technology, Not Invited, Coauthor

  • Extension of OCaml Stepper

    Tsukino Furukawa, Kenichi Asai, Domestic, 2018.03, The 20th JSSST Workshop on Programming and Programming Languages, Yonago, Tottori, Japan Society for Software Science and Technology, Not Invited, Coauthor

display all >>

Prize for Research Activities 【 display / non-display

  • Best paper award

    Haruka Matsumoto, Kenichi Asai, OCaml visual programming editor based on Blockly, 2019.03, Domestic

  • Best Paper Award

    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ASAI Kenichi, UEHARA Chihiro, Selective CPS Transformation for Shift and Reset, 2018.01, International

  • 第20回研究論文賞

    日本ソフトウェア科学会, Kanae Tsushima, Kenichi Asai, 重み付き型エラースライスの提案, 2016.09, Domestic

  • Peter Landin Prize

    Implementation and Application of Functional Languages, IFL, Kanae Tsushima, Kenichi Asai, An Embedded Type Debugger, 2013.03, International

  • Best paper award

    Arisa Kitani, Kenichi Asai, Derivation of a compiler from an interpreter by program transformation, 2010.03, Domestic