ペトリネット
並行計算
性能評価
通信プロトコル
バイオインフォマティクス