プログラムと正しさ プログラムにとっての「正しさ」って，なんだろう？ という点から出発し、数学における証明をプログラムに適用することを考えるも、最終的には現実路線に落ち着くお話。 夢かもしれないけれど、客観的に、手間暇かけずに、プログラムの正…

自分用メモ。いろんな会社のネットワーク運用管理のサービス。 いろいろありますね。NTTコミュニケーションズの「e-VLAN」 KDDIの「TELEHOUSE」 NECネッツエスアイの「nTOC（Network Total Operation Center）」