メンバー5名が学士論文を発表

5名の研究室メンバが学士論文の発表を行いました。

  • Cahyono Jessica Belicia, Design and Implementation of a Block-based System for Learning How to Construct Algebraic Data Types
  • 糟谷颯希, 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性検査機構
  • 川添裕功, 依存型付き言語に対するA-正規形から継続渡し形式への型保存変換
  • 須田太斗, 深層学習モデルの形状不一致を型レベルで検査する手法の有向非巡回グラフへの拡張
  • 谷口茜, Formalizing an Object-Oriented Programming Language With Delimited Control

2024-02-09.
→
←