研究事例 #

Multiverse Notebook #

安全で効率的な試行錯誤のためのノートブック・プログラミング環境
GitHub YouTube 入門的論文

Silverchain #

安全な Fluent API の生成ツール
GitHub YouTube 入門的論文

その他の論文 #

https://tomokinakamaru.github.io/#publications