Author

  • Home

  • Author

  • Masahiro Sakai

Masahiro Sakai

Blog

Graph Neural Network を用いたグラフの木幅予測

2019.10.10

Research

Graph Neural Network を用いたグラフの木幅予測

By : Masahiro Sakai

インターン参加報告：Concolic Testing による SystemVerilog 向けテストパターン生成

2018.12.25

Engineering

インターン参加報告：Concolic Testing による SystemVerilog 向けテストパターン生成

By : Masahiro Sakai

インターン参加報告：確率的なプログラムの型による静的検証

2018.12.19

Engineering

インターン参加報告：確率的なプログラムの型による静的検証

By : Masahiro Sakai

View All