浅井先生のHPはこちら
研究室について
あさいです。プログラミング言語の基礎理論を研究しています。
どうすれば無駄なくプログラムを実行できるか、楽にプログラムを作れるようになるか、プログラムの誤りを減らせるか。
対象をよく理解しその本質をとらえると、自然と物事は簡単なものの組み合わせになってきます。
研究室NEWS
PPL'26にて論文・ポスター発表
以下の論文がカテゴリ1 (国内外未発表枠) で発表されました。
- shift0/reset0 を含む型付き言語におけるCPS変換の正当性の証明 (田村,浅井)
- 限定継続演算子の仮想機械における継続実行の最適化に向けて (石尾, 浅井)
- Blocklyへの外部拡張によるOCaml型推論システムの導入とその差分分析 (岩田, 浅井)
- control/promptのsmall-stepインタプリタの導出 (小高, 浅井)
- 代数的エフェクトハンドラのSmall-stepインタプリタの導出 (相馬, 浅井)
JFPにて掲載
以下のジャーナルが Journal of Functional Programming, Vol. 35 に掲載されました。
- Asai, K. "OCaml Blockly,"
OlivierFest '25掲載
以下の論文が the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday にて発表されました。
- Asai, K., and M. Fujii "Defining Algebraic Effects and Handlers via Trails and Metacontinuations,"
研究室アクセス
