突然ですが，読者諸兄姉は，仕様書の書き方って，教わったことはおありでしょうか。あるいは，部下に教えたことはおありでしょうか。 日経エレクトロニクス 2007年2月12日号のGuest Paper（pp. 133-152）では，「仕様書の記述力を鍛える」と題して，フェリカネットワークスのソフトウエア・エンジニアの栗田太郎氏に，「形式仕様記述」という手法を使ったプロジェクトの体験記を執筆していただきました。 同社は「おサイフケータイ」などとして知られる携帯電話機向けの「モバイルFeliCa」の開発元で，そのICチップのファームウエア開発に当たって，「仕様をキッチリ書けるところは，書こう。実装者任せにしないようにしよう」という意識を徹底，高品質なソフトウエアの開発に成功しました。成果物は，NTTドコモの携帯電話機「903iシリーズ」の全機種に採用されるなど出荷数も多く，責任の重いプロジェクトです

伝送線路の分布定数回路の方程式は、電圧および電流を波として捉えて記述したものであり、集中定数回路（普通の回路）と比較して距離の概念を追加したものである、と言われている。ちょうどMaxwellの方程式と集中定数回路の中間的なものであるが、Maxwell方程式から伝送線路の方程式を示すことにより、どのような仮定のもとで伝送線の方程式が成り立っているのかを確認したい。 伝送線路は2平行線路のTEM（Transverse Electromagnetic）波から導出することが可能である。今回は伝送線路の式を導出する前段階として、2次元断面形状を持つ導体上のTEM波の式を導出する。 出発点はMaxwellの方程式である。 Faradayの法則 修正Ampereの法則 電荷保存則 磁荷不在の法則 ここでEは電界、Bは磁束密度、Hは磁界、Jは電流密度、Dは電束密度を表す。EとDおよびJの関係およびHとBの