Programming Languages and Systematic Programming Laboratory headed by Sato at the University of Electro-Communications.
This project is maintained by satoshigeyuki
| 年度 | 種類 | 氏名 | タイトル |
|---|---|---|---|
| 2024 | 卒業論文 | 米林 滝之丞 | 実世界のJava Streamに対する最適化の分析と改善 |
| 2024 | 卒業論文 | 中村 元昭 | MN-Core アセンブリ言語の形式検証に向けて |
| 2024 | 卒業論文 | 天野 幸哉 | 組み込み環境における距離量子化のトレードオフ分析 |