浅井 健一

ASAI Kenichi

職名

教授

所属

基幹研究院 自然科学系

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

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

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

主担当学科

理学部情報科学科

担当大学院（博士前期課程）

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

担当大学院（博士後期課程）

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

URL

写真a

このページの先頭へ▲

研究キーワード 【 表示 ／ 非表示 】

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

このページの先頭へ▲

研究内容 【 表示 ／ 非表示 】

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

このページの先頭へ▲

教育内容 【 表示 ／ 非表示 】

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

このページの先頭へ▲

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

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

このページの先頭へ▲

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

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

このページの先頭へ▲

学位 【 表示 ／ 非表示 】

  • 博士（理学）, 東京大学, 1994年08月

このページの先頭へ▲

学内職務経歴 【 表示 ／ 非表示 】

  • 人間文化創成科学研究科 研究院【基幹部門】 自然・応用科学系，准教授，2012年04月 - 2015年03月

  • 基幹研究院 自然科学系，准教授，2015年04月 - 2022年03月

  • 基幹研究院 自然科学系，教授，2022年04月 - 継続中

  • 人間文化創成科学研究科 教育院【博士後期課程】 理学専攻，准教授，2012年04月 - 2015年03月

  • 人間文化創成科学研究科　博士後期課程 理学専攻，准教授，2015年04月 - 2022年03月

全件表示 >>

このページの先頭へ▲
 

学術著書・訳書 【 表示 ／ 非表示 】

  • コンピュータを操る

    サイエンス社, 2020年02月, 浅井 健一, 一般書・啓蒙書

  • Trends in Functional Programming

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

  • プログラミングの基礎

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

このページの先頭へ▲

論文 【 表示 ／ 非表示 】

  • OCaml Blockly

    Journal of Functional Programming, Cambridge University Press, 35巻e12号(頁1 - 28), 2025年04月, Kenichi Asai, 原著, 研究論文（学術雑誌）, 単著

  • Algebraic Stepper for Simple Modules

    Workshop on Partial Evaluation and Program Manipulation, Association for Computing Machinery(頁13 - 29), 2025年01月, Kenichi Asai, Hinano Akiyama, 原著, 研究論文（国際会議プロシーディングス）, 第一著者相当

  • Understanding Algebraic Effect Handlers via Delimited Control Operators

    Lecture Notes in Computer Science, , 13401巻(頁59 - 79), 2023年01月, Cong, Y., and K. Asai, 原著, 研究論文（学術雑誌）, 共著者

  • Type System for Four Delimited Control Operators

    Generative Programming: Concepts and Experiences (GPCE 2022), , 21巻(頁45 - 58), 2022年12月, Chiaki Ishio, Kenichi Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者

  • A Functional Abstraction of Typed Invocation Contexts

    Logical Methods in Computer Science, , 18巻3号(頁34:1 - 34:31), 2022年09月, Cong, Y., C. Ishio, K. Honda, and K. Asai, 原著, 研究論文（学術雑誌）, 共著者

全件表示 >>

このページの先頭へ▲

研究発表 【 表示 ／ 非表示 】

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

    浦中 花菜、浅井健一, 国内, ポスター発表, 2025年03月, 2025年03月05日2025年03月07日, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, 一般発表, 共著者

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

    窪田 唯花、浅井健一, 国内, ポスター発表, 2025年03月, 2025年03月05日2025年03月07日, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, 一般発表, 共著者

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

    朱 光漪、浅井健一, 国内, ポスター発表, 2025年03月, 2025年03月05日2025年03月07日, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, 一般発表, 共著者

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

    大石美緒、窪田唯花、柴田真琴、茅根珠来、横関茉衣、浅井健一, 国内, ポスター発表, 2024年03月, 2024年03月05日2024年03月07日, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, 一般発表, 第一発表者

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

    茅根珠来、浅井健一, 国内, ポスター発表, 2024年03月, 2024年03月05日2024年03月07日, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, 一般発表, 共著者

全件表示 >>

このページの先頭へ▲

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

  • Best Paper Award

    ACM, Chiaki Ishio, Kenichi Asai, Type System for Four Delimited Control Operators, 2022年12月, 国外

  • 論文賞

    第２１回プログラミングおよびプログラミング言語ワークショップ プログラム委員会, 松本 晴香、浅井 健一, 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月, 国外

全件表示 >>

このページの先頭へ▲

外部資金等受入（教育・社会貢献の外部資金を含む） 【 表示 ／ 非表示 】

  • 依存型を持つ段階的計算体系の理論と実装

    基盤研究（Ｂ）, 2022年度, 600,000円

  • 先進的型理論に基づく多段階計算体系の設計と実装

    基盤研究（Ｂ）, 2021年度, 300,000円

  • 先進的型理論に基づく多段階計算体系の設計と実装

    基盤研究（Ｂ）, 2020年度, 300,000円

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

    基盤研究（Ｃ）, 浅井　健一, 2017年度, 1,100,000円

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

    基盤研究（Ｃ）, 浅井　健一, 2016年度, 1,200,000円

全件表示 >>

このページの先頭へ▲
 

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

  • Higher-Order and Symbolic Computation (Springer)

    2012年09月 - 2015年12月，委員, 1388-3690, 国外

  • Journal of Functional Programming (Cambridge University Press)

    2012年09月 - 2013年10月，委員, 0956-7968, 国外

このページの先頭へ▲

公開講座、講演・講習・研修会、出張講義等 【 表示 ／ 非表示 】

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

    2024年08月, 理学部

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

    2022年09月

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

    2019年11月

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

    2019年08月, 理学部

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

    2017年09月

全件表示 >>

このページの先頭へ▲