お茶の水女子大学理学部情報科学科 浅井研究室のホームページです。

浅井先生のHPはこちら

研究室について

あさいです。
プログラミング言語の基礎理論を研究しています。
どうすれば無駄なくプログラムを実行できるか、楽にプログラムを作れるようになるか、プログラムの誤りを減らせるか。
対象をよく理解しその本質をとらえると、自然と物事は簡単なものの組み合わせになってきます。


研究室NEWS

FSCD'21にて論文発表

以下の論文が 6th International Conference on Formal Structures for Computation and Deduction に採択されました。
  • A Functional Abstraction of Typed Invocation Contexts
    (Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai)
  • Derivation of a Virtual Machine for Four Variants of Delimited-Control Operators
    (Maika Fujii and Kenichi Asai)
PPL'21にて発表賞・ポスター賞受賞

以下の発表がPPL2021において発表賞(学生の部)として表彰されました。
  • OCaml初学者の学習調査 (北川, 浅井)
また、以下の発表がポスター賞(学生の部)として表彰されました。
  • control/promptのためのCPS変換とその正当性 (本田, 浅井)
PPL'21にて論文・ポスター発表

以下の論文がカテゴリ1 (国内外未発表枠) で発表されます。
  • control/prompt の仮想機械導出 (藤井, 浅井)
  • OCaml初学者の学習調査 (北川, 浅井)
以下の論文がカテゴリ2 (国外既発表枠) で発表されます。
  • A Functional Abstraction of Typed Trails
    (Kenichi Asai, Youyou Cong, Chiaki Ishio)
以下のポスタがカテゴリ3 (ポスター・デモ発表) で発表されます。
  • control/promptのためのCPS変換とその正当性 (本田, 浅井)
  • OCamlステッパの改良 (秋山, 浅井)
PEPM'21論文

以下の論文が The Workshop on Partial Evaluation and Program Manipulation に採択されました。
  • Kenichi Asai, Youyou Cong, and Chiaki Ishio
    A Functional Abstraction of Typed Trails

研究室アクセス

  • 研究室ー理学部3号館410号室
  • 先生のお部屋ー理学部3号館405号室