ASAI Kenichi
|
|
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), University of Tokyo, 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
Books 【 display / non-display 】
-
Trends in Functional Programming
Logical Relations for Call-by-value Delimited Continuations, Intellect, 2007.07, Asai, K., Marko van Eekelen, Scholarly book, 63-78
-
Foundations of Programming
SAIENSU-SHA Co.,Ltd.2007.02, ASAI Kenichi, Textbook, survey, introduction
Papers 【 display / non-display 】
-
Understanding Algebraic Effect Handlers via Delimited Control Operators
Lecture Notes in Computer Science, , vol.13401(p.59 - 79), 2023.01, Cong, Y., and K. Asai, Original, Research paper (scientific journal), Coauthor
-
Type System for Four Delimited Control Operators
Generative Programming: Concepts and Experiences (GPCE 2022), , vol.21(p.45 - 58), 2022.12, Chiaki Ishio, Kenichi Asai, Original, Research paper (international conference proceedings), Coauthor
-
A Functional Abstraction of Typed Invocation Contexts
Logical Methods in Computer Science, , vol.18(3)(p.34:1 - 34:31), 2022.09, Cong, Y., C. Ishio, K. Honda, and K. Asai, Original, Research paper (scientific journal), Coauthor
-
Towards Dependently-Typed Control Effects
Workshop on Type-Driven Development (TyDe 2022), , vol.7(p.1 - 5), 2022.09, Cong, Y., and K. Asai, Original, Research paper (international conference proceedings), Coauthor
-
A Functional Abstraction of Typed Invocation Contexts
Formal Structures for Computation and Deduction (FSCD 2021), , vol.195(p.12:1 - 12:18), 2021.07, Cong, Y., C. Ishio, K. Honda, and K. Asai, Original, Research paper (international conference proceedings), Coauthor
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
Prize for Research Activities 【 display / non-display 】
-
ACM, Chiaki Ishio, Kenichi Asai, Type System for Four Delimited Control Operators, 2022.12, International
-
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
Receipt of outside funds (Education, Research, Contribution to Society and industry-academia[government] collaboration) 【 display / non-display 】
-
Grant-in-Aid for Scientific Research(B)2022, 600Thousand yen
-
Grant-in-Aid for Scientific Research(B)2021, 300Thousand yen
-
Grant-in-Aid for Scientific Research(B)2020, 300Thousand yen
-
Grant-in-Aid for Scientific Research(C)2017, 1,100Thousand yen
-
Grant-in-Aid for Scientific Research(C)2016, 1,200Thousand yen
Contributions as an officer, member, etc., of an academic society 【 display / non-display 】
-
2012.09 - 2015.12,Committee Member, 1388-3690, International
-
2012.09 - 2013.10,Committee Member, 0956-7968, International
Open lectures; lectures, courses, and seminars; guest lectures; etc. 【 display / non-display 】
-
プレゼミナール「入門! ゲームプログラミング」
2022.09
-
徽音祭模擬授業「プログラミングを通して学ぶ情報科学的なものの考え方」
2019.11
-
SSH女子校・研究交流会「情報科学 入門講座」入門!ゲームプログラミング
2019.08, 理学部
-
プレゼミナール「ゲームを通して考える情報科学」
2017.09
-
SSH女子校・研究交流会「情報科学 入門講座」入門!ゲームプログラミング
2016.08, 理学部