目次

• Ada95 について
  　　汎用プログラミング言語 Ada のあれこれ．
• CSP について
  　　仕様記述言語 CSP のあれこれ．