浅井 健一

ASAI Kenichi

職名

准教授

所属

基幹研究院 自然科学系

人間文化創成科学研究科 博士後期課程 理学専攻

人間文化創成科学研究科 博士前期課程 理学専攻

理学部 情報科学科

主担当学科

理学部情報科学科

担当大学院(博士前期課程)

人間文化創成科学研究科理学専攻情報科学コース

担当大学院(博士後期課程)

人間文化創成科学研究科理学専攻情報科学領域

URL

写真a

研究キーワード 【 表示 / 非表示

  • 部分継続、部分評価、自己反映言語、プログラミング教育

研究内容 【 表示 / 非表示

  • これまで、OCaml など型のついた関数型言語のプログラミング教育を助けるツールとして型デバッガやスライさなどを作成してきたが、依然として初心者は構文エラーでつまづいている。そこで、構文エラーを起こすことのないブロックを使ったインタフェースを作成した。これにより、初心者は種々のエラーに悩まされることなく、ブロックを組み立てるだけでプログラムを作成できるようになり、それを通してプログラミングの本質を学ぶことができるようになると期待される。

教育内容 【 表示 / 非表示

  • 「データ構造とアルゴリズム」でデータ構造の初歩を、「関数型言語」でプログラムの基本的な考え方を、「言語理論とオートマトン」で言語処理系の基礎を、「コンパイラ構成論」でコンパイラの中身について学ぶ。

将来の研究計画・研究の展望・共同研究の可能性 【 表示 / 非表示

  • 作成したツールを実際に授業で使用しその効果をみる。

受験生等へのメッセージ 【 表示 / 非表示

  • 情報科学の基礎理論の分野で確かな一歩を一緒に踏み出しましょう。

学位 【 表示 / 非表示

  • 博士(理学), 1994年08月

学内職務経歴 【 表示 / 非表示

  • 人間文化創成科学研究科 研究院【基幹部門】 自然・応用科学系,准教授

  • 基幹研究院 自然科学系,准教授

  • 人間文化創成科学研究科 教育院【博士後期課程】 理学専攻,准教授

  • 人間文化創成科学研究科 博士後期課程 理学専攻,准教授

  • 人間文化創成科学研究科 教育院【博士前期課程】 理学専攻,准教授

全件表示 >>

 

学術著書・訳書 【 表示 / 非表示

  • プログラミングの基礎

    サイエンス社, 2007年02月, 浅井 健一, 教科書

  • Trends in Functional Programming

    Logical Relations for Call-by-value Delimited Continuations, Intellect, 2007年07月, Asai, K., Marko van Eekelen, 研究書, 63-78

論文 【 表示 / 非表示

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

    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation(頁61 - 67), 2019年01月, ASAI Kenichi, 原著, 研究論文(国際会議プロシーディングス), 単著

  • Certifying CPS Transformation of Let-polymorphic Calculus Using PHOAS

    16th Asian Symposium on Programming Languages and Systems (APLAS 2018)(頁375 - 393), 2018年12月, Yamada, U., and K. Asai, 原著, 研究論文(国際会議プロシーディングス), 共著者

  • Handling Delimited Continuations with Dependent Types

    Proceedings of the ACM on Programming Languages, 2巻ICFP号(頁1 - 31), 2018年09月, Cong, Y., and K. Asai, 原著, 研究論文(国際会議プロシーディングス), 共著者

  • Selective CPS Transformation for Shift and Reset

    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation(頁40 - 52), 2018年01月, ASAI Kenichi, UEHARA Chihiro, 原著, 研究論文(国際会議プロシーディングス), 第一著者相当

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

    Electronic Proceedings in Theoretical Computer Science, 170巻(頁1 - 18), 2014年12月, Ishii, Y., and K. Asai, 原著, 研究論文(学術雑誌), 共著者

全件表示 >>

研究発表 【 表示 / 非表示

  • Incremental な OCaml ステッパの開発

    古川つきの、浅井健一, 国内, 2019年03月, 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, 一般発表, 共著者

  • 実用的な型エラースライサーの評価およびデータ活用に向けた取り組み

    脇川奈穂、浅井健一、対馬かなえ, 国内, 2019年03月, 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, 一般発表, 共著者

  • OCaml Blocklyデモ

    松本晴香、浅井健一, 国内, 2019年03月, 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, 一般発表, 共著者

  • OCaml 初学者の syntax error 調査

    北川舞、浅井健一, 国内, 2019年03月, 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, 一般発表, 共著者

  • OCaml ステッパの機能拡張

    古川つきの、浅井健一, 国内, 2018年03月, 第20回プログラミングおよびプログラミング言語ワークショップ, 鳥取県米子市, 日本ソフトウェア科学会, 一般発表, 共著者

全件表示 >>

研究活動に対する受賞 【 表示 / 非表示

  • 論文賞

    第21回プログラミングおよびプログラミング言語ワークショップ プログラム委員会, 松本 晴香、浅井 健一, Blockly をベースにした OCaml ビジュアルプログラミングエディタ, 2019年03月, 国内

  • 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月, 国外

  • 第20回研究論文賞

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

  • Peter Landin Prize

    Implementation and Application of Functional Languages, IFL, Kanae Tsushima, Kenichi Asai, An Embedded Type Debugger, 2013年03月, 国外

  • 論文賞

    第12回プログラミングおよびプログラミング言語ワークショップ プログラム委員会, 木谷 有沙、浅井 健一, プログラム変換によるインタプリタからのコンパイラの導出, 2010年03月, 国内

外部資金等受入(教育・社会貢献の外部資金を含む) 【 表示 / 非表示

  • プログラム意味論に基づく先進的なプログラミング環境の構築

    基盤研究(C), 浅井 健一, 2017年度, 1,100千円

  • プログラム意味論に基づく先進的なプログラミング環境の構築

    基盤研究(C), 浅井 健一, 2016年度, 1,200千円

  • プログラム意味論に基づく先進的なプログラミング環境の構築

    基盤研究(C), 浅井 健一, 2015年度, 1,300千円

  • 自己反映言語の効率的実装とそれを支える基盤技術

    基盤研究(C), 2014年度, 600千円

  • 自己反映言語の効率的実装とそれを支える基盤技術

    基盤研究(C), 2013年度, 800千円

全件表示 >>

 

学術団体の役員、委員等としての貢献 【 表示 / 非表示

  • Higher-Order and Symbolic Computation (Springer), 委員,2012年09月 - 現在, 1388-3690, 国外

  • Journal of Functional Programming (Cambridge University Press), 委員,2012年09月 - 2013年10月, 0956-7968, 国外