Category: htdp


Poster & Demo Presentation at PPL2020

The following members will do a poster presentation of their respective research at 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)

Details: https://easychair.org/smart-program/PPL2020/

2020-03-02.

Presentations on Keyword Programming, Graph Layouts, and Educational Programming Environment at SIGPX7

Shu, Ogushi and Nose presented their work at the 7th SIGPX meeting.

  • Aochi Shu, Improving Keyword Programming with Neural Sentence Generator
  • Tomoki Ogushi, Improving an Automatic Graph Layout Method for Understanding Data Relations
  • Junya Nose, Programming Environment Based on Design Recipes
2020-02-22.

Bachelor’s thesis defense by Nose

Junya Nose defended his bachelor’s thesis.  (Bachelor thesis presentation)

  • Junya Nose,デザインレシピに沿ったプログラミング環境に関する研究

2020-02-07.
← Previous page