何 立風 | 愛知県立大学大学院情報科学研究科
スポンサーリンク
概要
愛知県立大学大学院情報科学研究科 | 論文
- 色つき量子ペトリネットによる量チューリング機械のモデル化と解析(ペトリネット,離散事象システム,一般)
- 量子ペトリネットによる量子コンピュータのモデル化(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 量子ペトリネットを用いた新しい量子コンピュータモデルの提案
- 量子ペトリネットを用いた新しい量子コンピュータモデルの提案
- 拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援(開発支援(学生セッション))