FDR2

そういえば最近の研究は産学協同研究とあまり関係のないことが中心になってたことに気づく。
明日のために何らかの成果を示さないとまずいなということで、
プリエンプティブな構造のdeadlock freeを検証することに自分の中で決定。
結果的にはちゃんと検証することには成功したんだが、
レジュメに起こすと悲しいぐらい紙の上での内容が薄いことに気づいてげんなり。