研究室メンバー（学生）

博士前期課程２年生（修士２年生）

F.R

列挙法による厳密解法
Y.K

論理の簡単化によるルールリスト最適化法

学部４年生

I.R

Extend-Acyclic(cal)-Digraphと故障判定
I.R

パケット空間分割の高速化
K.D

RBT(Run-Based-Trie)に基づく決定木の簡約化
K.Y

到達可能なルール同定の計算量
K.S

ClassBench-ngの実験環境構築
S.E

整数計画問題への帰着による解法
N.K

ボット型マルウェアMiraiの動作分析
N.H

機械学習によるルールリスト最適化問題の解法
B.Y

NFV上の最適経路割り当て最適化
M.K

ZDDによる重み付きタスク割り当て最適化
Y.H

与えられたポリシーを実現する最適ルールリスト構成法