以下のメンバーがPPL2020でポスター・デモ発表をします.
- Agda による対位法の定式化 (Youyou Cong)
- Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level (Yusuke Izawa)
- コエフェクト多相性に基づいた版多相性の実現 (Yudai Tanabe)
- ACKN: A context-aware keyword programming system (poster) (Aochi Shu)
- Object-oriented Programming with Versions (Luthfan Lubis)
- Sanajeh: a DSL for GPGPU programming with Python objects (Jizhe Chenxin)
- Lift中間言語における動的長配列の追加 (Kazuki Niimi)
- デザインレシピに沿ったプログラミング環境の実装 (Junya Nose)
詳細: https://easychair.org/smart-program/PPL2020/
申し訳ありません、このコンテンツはただ今 English のみです。
申し訳ありません、このコンテンツはただ今 English のみです。
伊澤、田辺、叔が数理・計算科学コースの修士論文発表会で発表しました。
- 伊澤侑祐, Stack Hybridization: A Mechanism for Bridging Two Compilation Strategies in a Meta JIT Compiler Framework (PDF)
- 田辺裕大, 版を扱えるプログラミング言語λ VLへの型・版多相性の導入の研究 (PDF)
- 叔驁馳, Improving keyword programming by using neural text generation (PDF)

(公式ページ)
Alex Potanin 先生(ヴィクトリア大学ウェリントン)に、以下のタイトルでご講演いただきました。Potanin 先生は、攻撃に強いウェブプログラミング言語 Wyvern の開発を行っています。
講演 1: Wyvern – Security by Design
講演 2: Decidable Subtyping for Path Dependent Types
Lift中間表現における動的長配列の追加(新美、増原)が情報処理学会 第127回プログラミング研究発表会で発表されます。
Onward! 2019 国際会議 が2019年10月20-25日にアテネで開催されます。(OOPSLAを含む)SPLASH 国際会議と共催です。増原はOnward! Papers Trackのプログラム委員長を勤めます。
論文投稿締切は2019年4月22日です。過激な、ぶっ飛んだ、斬新なアイデアを振るって投稿して下さい!
ブラジルのFederal University of Pernambuco (UFPE) から来たFernando Castor先生が客員研究員として研究室に加わりました。2020年1月まで滞在して共同研究を行います。
ベルリン工科大学のSherif Omarが短期交換留生生として研究室に加わりました。3月まで滞在して研究を行う予定です。Herzlich willkommen!
申し訳ありません、このコンテンツはただ今 English のみです。