|
浅井 健一 ASAI Kenichi
|
|
研究内容 【 表示 ／ 非表示 】
-
これまで、OCaml など型のついた関数型言語のプログラミング教育を助けるツールとして型デバッガやスライさなどを作成してきたが、依然として初心者は構文エラーでつまづいている。そこで、構文エラーを起こすことのないブロックを使ったインタフェースを作成した。これにより、初心者は種々のエラーに悩まされることなく、ブロックを組み立てるだけでプログラムを作成できるようになり、それを通してプログラミングの本質を学ぶことができるようになると期待される。
教育内容 【 表示 ／ 非表示 】
-
「データ構造とアルゴリズム」でデータ構造の初歩を、「関数型言語」でプログラムの基本的な考え方を、「言語理論とオートマトン」で言語処理系の基礎を、「コンパイラ構成論」でコンパイラの中身について学ぶ。
学内職務経歴 【 表示 ／ 非表示 】
-
人間文化創成科学研究科 研究院【基幹部門】 自然・応用科学系，准教授，2012年04月 - 2015年03月
-
基幹研究院 自然科学系，准教授，2015年04月 - 継続中
-
人間文化創成科学研究科 教育院【博士後期課程】 理学専攻，准教授，2012年04月 - 2015年03月
-
人間文化創成科学研究科 博士後期課程 理学専攻，准教授，2015年04月 - 継続中
-
人間文化創成科学研究科 教育院【博士前期課程】 理学専攻，准教授，2012年04月 - 2015年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月, 浅井 健一, 教科書・概説・概論
論文 【 表示 ／ 非表示 】
-
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, 原著, 研究論文（学術雑誌）, 共著者
-
Towards Dependently-Typed Control Effects
Workshop on Type-Driven Development (TyDe 2022), , 7巻(頁1 - 5), 2022年09月, Cong, Y., and K. Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者
-
A Functional Abstraction of Typed Invocation Contexts
Formal Structures for Computation and Deduction (FSCD 2021), , 195巻(頁12:1 - 12:18), 2021年07月, Cong, Y., C. Ishio, K. Honda, and K. Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者
研究発表 【 表示 ／ 非表示 】
-
仕様記述を可能にした継続モナドにおける関数の内部証明
窪田唯花、浅井健一, 国内, ポスター発表, 2023年03月, 第25回プログラミングおよびプログラミング言語ワークショップ, 名古屋大学, 日本ソフトウェア科学会, 一般発表, 共著者
-
MikiβにおけるWeb上でのデータ入力実装に向けて
大石美緒、浅井健一, 国内, ポスター発表, 2023年03月, 第25回プログラミングおよびプログラミング言語ワークショップ, 名古屋大学, 日本ソフトウェア科学会, 一般発表, 共著者
-
WebSocket 通信を用いたUniverse フレームワークの拡張
上田結実、浅井健一, 国内, 2022年03月, 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者
-
型付きのshift/resetを含む言語におけるReflectionに向けて
山本充子、浅井健一, 国内, 2022年03月, 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者
-
λ計算に対する仕様に基づいたコンパイラの導出
横関茉衣、浅井健一, 国内, 2022年03月, 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者
研究活動に対する受賞 【 表示 ／ 非表示 】
-
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千円
-
先進的型理論に基づく多段階計算体系の設計と実装
基盤研究（Ｂ）, 2021年度, 300千円
-
先進的型理論に基づく多段階計算体系の設計と実装
基盤研究（Ｂ）, 2020年度, 300千円
-
プログラム意味論に基づく先進的なプログラミング環境の構築
基盤研究（Ｃ）, 浅井 健一, 2017年度, 1,100千円
-
プログラム意味論に基づく先進的なプログラミング環境の構築
基盤研究（Ｃ）, 浅井 健一, 2016年度, 1,200千円
学術団体の役員、委員等としての貢献 【 表示 ／ 非表示 】
-
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, 国外
公開講座、講演・講習・研修会、出張講義等 【 表示 ／ 非表示 】
-
プレゼミナール「入門！ ゲームプログラミング」
2022年09月
-
徽音祭模擬授業「プログラミングを通して学ぶ情報科学的なものの考え方」
2019年11月
-
ＳＳＨ女子校・研究交流会「情報科学 入門講座」入門！ゲームプログラミング
2019年08月, 理学部
-
プレゼミナール「ゲームを通して考える情報科学」
2017年09月
-
ＳＳＨ女子校・研究交流会「情報科学 入門講座」入門！ゲームプログラミング
2016年08月, 理学部