プログラミング研究室 – ページ 16 – 東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系

GPGPUのためのPython DSLに関するソフトウェア科学会大会論文と5件のポスター発表

陳忻らが日本ソフトウェア科学会第37回大会においてSanajehの論文を発表しました。

Sanajeh: A DSL for GPGPU programming with Python objects (J.Chenxin、H.Masuhara、M.Springer、Y.Cong)

同大会では研究室メンバーによる以下のポスター発表も行われました。 (さらに…)

以下の lightening talk が 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

Paul Leger, Hidehiko Masuhara, Ismael Figueroaによる論文”Activation Interfaces for Modular Reasoning in Context-Oriented Programming”が第12回文脈指向プログラミングと先進的モジュールに関する国際ワークショップ(COP 2020)にて発表されました。層活性機構にインタフェースを導入する提案です。

この春は5名の学生が新たに研究室に加入しました。

COVID-19のために物理的に顔を合わせることができていませんが、新旧メンバがオンラインで研究のための議論をし、親睦を深めていっています。これまで以上に一体感のある研究室を目指しましょう。

Cherry Blossoms on the Day of the Graduation Ceremony

研究室メンバの学位記授与式がありました。COVID-19感染防止のために式典が縮小されたため、お祝いもオンラインになりました。

伊澤、叔、田辺が修士号を受けました。伊澤と田辺は4月から博士課程に進学します。叔は日本最大級のECモール会社でエンジニアとして働き始めます。能勢は学士号を受け、4月から修士課程に進学します。

これからますます活躍してくれることを期待しています!

新美和生と増原英彦による論文『Lift中間表現における動的長配列の追加』が情報処理学会論文誌プログラミング (PRO92)に採択されました。

申し訳ありません、このコンテンツはただ今　English　のみです。

増原が「学生による議論を核とした授業形式の設計とプログラミング科目での実施」について2020年度の東工大教育賞・優秀賞を受賞しました。

以下のメンバーが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)

申し訳ありません、このコンテンツはただ今　English　のみです。