ASAI Kenichi


Position

Professor

Affiliation

Faculty of Core Research Natural Sciences Division

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

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

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

Faculty

Information Sciences

Education Organization (Master's Program)

Computer Science

Education Organization (Doctoral Program)

Department of Computer Science

URL

写真a

To the head of this page.▲

Research Keywords 【 display / non-display 】

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

To the head of this page.▲

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.

To the head of this page.▲

Educational Pursuits 【 display / non-display 】

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

To the head of this page.▲

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.

To the head of this page.▲

Degree 【 display / non-display 】

  • Doctor (Science), University of Tokyo, 1994.08

To the head of this page.▲

Campus Career 【 display / non-display 】

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

  • Faculty of Core Research Natural Sciences Division, Associate Professor, 2015.04 - 2022.03

  • Faculty of Core Research Natural Sciences Division, Professor, 2022.04 -

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

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

display all >>

To the head of this page.▲
 

Books 【 display / non-display 】

  • コンピュータを操る

    サイエンス社2020.02, 浅井 健一, General book, introductory book for general audience

  • Trends in Functional Programming

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

  • プログラミングの基礎

    サイエンス社2007.02, 浅井 健一, Textbook, survey, introduction

To the head of this page.▲

Papers 【 display / non-display 】

  • OCaml Blockly

    Journal of Functional Programming, Cambridge University Press, , vol.35(e12)(p.1 - 28), 2025.04, Kenichi Asai, Original, Research paper (scientific journal), Single Author

  • Algebraic Stepper for Simple Modules

    Workshop on Partial Evaluation and Program Manipulation, Association for Computing Machinery, (p.13 - 29), 2025.01, Kenichi Asai, Hinano Akiyama, Original, Research paper (international conference proceedings), Capital Author

  • 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

display all >>

To the head of this page.▲

Presentations 【 display / non-display 】

  • parametricityを用いたcontrol/promptのCPS変換の正当性の証明

    浦中 花菜、浅井健一, Domestic, Poster presentation, 2025.03, 2025/03/052025/03/07, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, Not Invited, Coauthor

  • shift/resetを含む関数の篩型を使った内部検証

    窪田 唯花、浅井健一, Domestic, Poster presentation, 2025.03, 2025/03/052025/03/07, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, Not Invited, Coauthor

  • control/prompt を含む体系における多相な型システムに向けて

    朱 光漪、浅井健一, Domestic, Poster presentation, 2025.03, 2025/03/052025/03/07, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, Not Invited, Coauthor

  • OCaml Blockly を使った中学生向けの１次関数の学習教材

    大石美緒、窪田唯花、柴田真琴、茅根珠来、横関茉衣、浅井健一, Domestic, Poster presentation, 2024.03, 2024/03/052024/03/07, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, Not Invited, Main Speaker

  • UniverseJsライブラリを用いたゲームプログラミングのデバッグ環境の改善

    茅根珠来、浅井健一, Domestic, Poster presentation, 2024.03, 2024/03/052024/03/07, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, Not Invited, Coauthor

display all >>

To the head of this page.▲

Prize for Research Activities 【 display / non-display 】

  • Best Paper Award

    ACM, Chiaki Ishio, Kenichi Asai, Type System for Four Delimited Control Operators, 2022.12, International

  • 論文賞

    第２１回プログラミングおよびプログラミング言語ワークショップ プログラム委員会, 松本 晴香、浅井 健一, Blockly をベースにした OCaml ビジュアルプログラミングエディタ, 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回研究論文賞

    日本ソフトウェア科学会, 対馬 かなえ、浅井 健一, 重み付き型エラースライスの提案, 2016.09, Domestic

  • Peter Landin Prize

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

display all >>

To the head of this page.▲

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, 600,000Thousand yen

  • Grant-in-Aid for Scientific Research(B)2021, 300,000Thousand yen

  • Grant-in-Aid for Scientific Research(B)2020, 300,000Thousand yen

  • Grant-in-Aid for Scientific Research(C)2017, 1,100,000Thousand yen

  • Grant-in-Aid for Scientific Research(C)2016, 1,200,000Thousand yen

display all >>

To the head of this page.▲
 

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

To the head of this page.▲

Open lectures; lectures, courses, and seminars; guest lectures; etc. 【 display / non-display 】

  • ＳＳＨ女子校・研究交流会「情報科学 入門講座」入門！ゲームプログラミング

    2024.08, 理学部

  • プレゼミナール「入門！ ゲームプログラミング」

    2022.09

  • 徽音祭模擬授業「プログラミングを通して学ぶ情報科学的なものの考え方」

    2019.11

  • ＳＳＨ女子校・研究交流会「情報科学 入門講座」入門！ゲームプログラミング

    2019.08, 理学部

  • プレゼミナール「ゲームを通して考える情報科学」

    2017.09

display all >>

To the head of this page.▲