久しぶりですが全体的に不調ですね。中川翔子もあんまりフルパワーでない印象。ちなみに本気でマンガ書くと、こんな感じ。

デッドロックのみつけ方 ここに書いてあるデッドロックの見つけ方って凄くよいと思う。このロックを表現するグラフは、シンプルでわかりやすい上に機械的な検証さえできる。下手なUMLのモデルよりも、ずっとよいモデル本来の特徴と呼べるものを持っていると…