Category: htdp
Sakai receives a Student Presentation Award from the 40th JSSST Annual Conference
Taiga Sakai receives a Student Presentation Award from the 40th JSSST Annual Conference for his presentation on “A Proposal on Step-by-Step Processes of Writing Purpose Statements and a Preliminary Design of an Integrated Writing Environment“.
Two Talks on Education and Computers at JSSST 2023 Conference
Kiuchi and Sakai respectively presented their work on education and computers at the 2023 Annual Conference of the Japan Society for Software Science and Technology (JSSST2023) held at the University of Tokyo and online.
Kiuchi and Sakai Presented Bachelor’s Theses
Our members presented their bachelor’s theses.
- Kosuke Kiuchi, Simsym: a Proposal for a Simulator That Lets Learners Define Physical Systems (dissertation, abstract)
- Taiga Sakai, A Block-Based Environment for Composing Purpose Statements in the Design Recipe (dissertation, abstract)
SPLASH-E Paper on Block-Based Environment for Program Design
A paper entitled “Mio: a Block-Based Environment for Program Design”, authored by Junya Nose, Youyou Cong, and Hidehiko Masuhara, was presented at SPLASH-E 2022, a symposium for software and languages researchers with activities and interests around computing education.
Fathul, Arai and Nose Presents Master’s Theses
Our members present their master’s theses.
- Fathul Asrar Alfansuri, Supporting Multiple Inheritance in a Python DSL for GPGPU
- Kohei Arai, 仮想機械語を用いた第一級継続の実現方法とその比較
- Junya Nose, Mio:プログラムデザインを支援するブロック学習環境
Talk on a Hybrid Programming Environment (@ Scheme 2021)
Nose gave a talk on a tool for teaching with the design recipe at the Scheme 2021 workshop.
Junya Nose, Youyou Cong, Hidehiko Masuhara.
Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe.
Paper & Poster presentation at PPL’21
Paper
The following paper will be presented at PPL’21.
- Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework (Izawa, Masuhara) (published at DLS’20)
- A Functional Abstraction of Typed Trails (Kenichi Asai, Cong, Chiaki Ishio) (published at PEPM’20)
Posters & Demos
The following posters & demos will be presented at PPL’21.
- ライブデータ構造プログラミングの大規模データ利用のための改善 (Ogushi, Masuhara）
- Effekt言語の双方向エフェクトによる拡張 (Niimi, Cong, Masuhara)
- デザインレシピに基づいたプログラミングための開発環境の構築に向けて (Nose, Cong, Masuhara)
Posters
The following posters will be presented at PPL’21.
- An Agda Formalization of Counterpoint (Cong)
- An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (Izawa, Masuhara, Cong)
- 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明 (Ikemori, Cong, Masuhara)
- Koka言語に対するエフェクト割り当て最適化 (Furudono, Cong, Masuhara)
- 汎言語的ライブプログラミング環境のためのデータ構造解析手法 (Takahashi, Izawa, Masuhara, Cong)
Presentation on Beginner-Friendly Programming Environment at Lambda Days 2021
The following work will be presented at Lambda Days 2021.
- Junya Nose, Youyou Cong, and Hidehiko Masuhara
Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach
Two Lightening Talks on Programming Education at Scheme’20
Two lightening talks have been accepted at the Scheme and Functional Programming Workshop.
- Youyou Cong, Naoya Furudono, and Hidehiko Masuhara
On Teaching Type Systems as Macros - Junya Nose, Youyou Cong, and Hidehiko Masuhara
Designing a Programming Environment Based on the Program Design Recipe