プログラミング研究室

空間効率の良い漸進的型付けに関する PLDI 2024 論文

以下の論文が PLDI 2024 に採択されました。本論文は田辺の京都大学在籍時の研究成果です。本成果は6月24-28日にデンマークのコペンハーゲンで開催されるPLDI2024にて発表されます。

• Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

継続に関する FLOPS 2024 招待講演

叢が FLOPS 2024 で “Continuations from Three Angles” というタイトルの招待講演を行います。

1名の助教、5名の卒業研究学生、1名の修士研究学生が新たに研究室に加わりました

田辺裕大が助教として着任しました。

• 田辺裕大 (助教)

また、今春、5名の卒業研究学生と1名の修士研究学生が新たに研究室に加入しました。

• 謝志杰 (修士課程)
• 林みなみ (学士課程)
• 熊本航太 (学士課程)
• 松山皓星 (学士課程)
• 小西京香 (学士課程)
• 吉尾拓真 (学士課程)

これで当グループには21名の学生と3名の教員が在籍することになります。大所帯になりましたね。

• People

2024年3月修了者

研究室メンバの学位記授与式がありました。今年度は3名が修士号を、5名が学士号を授与されました。3名は本学を離れ、5名は修士課程でさらなる学位取得を目指します。みなさんの益々の活離に期待しています。

また、Cahyonoは東京工業大学優秀学生賞を受賞しました。この賞は各系から1名選ばれた学業成績及び人物ともに優秀な学生に授与されるものです。

斉藤、角田、津山は修士号を受け、企業の開発者として働き始めます。Cahyono、糟谷、川添、須田、谷口は学士号を受け、修士課程に進学します。

• Saito, Tsunoda and Tsuyama presented Master’s Thesis
• Five Members Presented Bachelor’s Thesis

中学・高校生が研究室セミナーに体験参加

青稜中学校・高等学校の生徒約20名が当研究室を訪問し、研究室セミナーに体験参加しました。研究室の大学院生が発表した「代数的エフェクトハンドラのゲーム開発への応用」について一緒に議論に参加してもらいました。ゼミ終了後も研究室メンバーに対して熱心に質問を続けて下さい、有意義な時間を過ごしてもらえたと思います。