瀧川明日夢

瀧川明日夢
大学院生
PLT @ プログラミング研究所
コンピュータ・情報科学部
ノースイースタン大学
West Village H 308

研究テーマ

型システムやソフトウェア契約を利用して大規模なソフトウェア開発に適した安全かつ表現力のあるプログラミング言語の設計を目標とする。

TA

CS 6515 Spring 2013

以前教えた授業：

CS 2510: Introduction to Programming and Computing II (春 2012)
CS 5010: プログラムデザインパラダイム (秋 2010)
CPSC 110: コンピュテーション・プログラム・プログラミング (UBC 春 2010)
CPSC 110: コンピュテーション・プログラム・プログラミング (UBC 秋 2009)

論文

Constraining Delimited Control with Contracts [PDF]
Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt
ESOP. To appear, 2013

Gradual Typing for First-Class Classes [PDF][Technical Report]
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen
OOPSLA. pp. 793-810, 2012

経歴

2010年にブリティッシュコロンビア大学で学士（情報科学・数学）を授与され同じく2010年にノースイースタン大学の大学院に入学。大学生活以前は長くオレゴン州に滞在した。