Blog

Masahiro Sakai
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