Yuki Okamoto (岡本 祐希)
| 2024年 | 芝浦工業大学 | 修士(工学) |
| 現在 | 芝浦工業大学 | 博士(後期)課程、SPRING |
発表等
| 投稿場所 | 題目 | 著者 | ||
|---|---|---|---|---|
| 2026年 | 第28回プログラミングおよびプログラミング言語ワークショップ(PPL 2026) | RustOwl: Rustにおける所有権とライフタイムの可視化 | 岡本 祐希,篠埜 功 |
| 2024年 | 芝浦工業大学 | 修士(工学) |
| 現在 | 芝浦工業大学 | 博士(後期)課程、SPRING |
| 投稿場所 | 題目 | 著者 | ||
|---|---|---|---|---|
| 2026年 | 第28回プログラミングおよびプログラミング言語ワークショップ(PPL 2026) | RustOwl: Rustにおける所有権とライフタイムの可視化 | 岡本 祐希,篠埜 功 |