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

浅井先生のHPはこちら


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

研究室NEWS

以下の論文が 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)

以下の発表がPPL2021において発表賞（学生の部）として表彰されました。

• OCaml初学者の学習調査 (北川, 浅井)

また、以下の発表がポスター賞（学生の部）として表彰されました。

• control/promptのためのCPS変換とその正当性 (本田, 浅井)

以下の論文がカテゴリ1 (国内外未発表枠) で発表されます。

• control/prompt の仮想機械導出 (藤井, 浅井)
• OCaml初学者の学習調査 (北川, 浅井)

以下の論文がカテゴリ2 (国外既発表枠) で発表されます。

• A Functional Abstraction of Typed Trails
  (Kenichi Asai, Youyou Cong, Chiaki Ishio)

以下のポスタがカテゴリ3 (ポスター・デモ発表) で発表されます。

• control/promptのためのCPS変換とその正当性 (本田, 浅井)
• OCamlステッパの改良 (秋山, 浅井)

以下の論文が 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号室