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

Omarの修士論文発表

Sherif Omarが研究室セミナーで修士論文を発表しました。この修士論文は短期留学生として本研究室に滞在しながら完成させたもので、ベルリン工科大学に提出されます。修士論文の成功を願いお別れ会を開きました。

学位記授与式があり、大前亮一が修士号を授与されました。今後の益々の活離に期待しています。

Jessica Belicia Cahyonoが本学の2024年度スチューデント・アンバサダーに就任しました。他の18人のアンバサダーと一緒に大学での活動や経験、学生生活、研究生活などを発信してゆきます。詳しくはブログ「Discover Tokyo Tech」をごらん下さい。

7月2日に、マリボー大学の Marjan Mernik 先生が研究室を訪問し、”Incremental Development of Domain-Specific Languages” というタイトルの講演を行いました。

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

須田が第149回情報処理学会プログラミング研究発表会で「TensorSafeのテンソル形状一致検査方式の有向非巡回グラフモデルへの応用」と題する発表を行いました。

田邉が千葉工大ステアラボセミナーで Programming with Versions に関する招待講演を行います。

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

我々が提案したエラー生成クイズに触発されて、STORES株式会社がRuby版のクイズを作りRubyKaigi 2024で公開しました。もともと教育目的で提案したエラー生成クイズが、ソフトウェア開発者の楽しめるクイズにもなることが示されて大変喜ばしく思っています。

大前亮一による修士論文の発表が行われました。