CSPコンソーシアム設立趣意書 背景 昨今、日本のソフトウェア産業の危機が叫ばれています。オフショアリングと称して業務がインドや中国などへ委託され、空洞化が進んでいます。この背景には、開発コストの低減化だけでなく、ソフトウェア開発技法の改革の遅れと、エンジニア・スキルの低下が根底にあります（日経プロフェッショナル2004年10月号、日経コンピュータ2004年12月13日号など）。ソフトウェアの大規模化とともに、開発期間の短縮とシステムの高信頼性が要求され、多くのプロジェクトが赤字の状況です。ソフトウェア工学に基づく新たな開発技法と、技術者教育の内容の見直しが強く求められています。 CSP(Communicating Sequential Process)は、1979年Oxford大学のHoare教授によって考案されたプロセス代数です。以来25年以上、大学や産業界から大きな評価を得て発展してきました。CSPモデルは、occamと呼ばれる言語に具現化され、従来プロセス指向だけが対象でした。しかし現在では、オブジェクト指向と融合し、Java,やC++にライブラリーとして供給され(JCSP, C++CSP)、高性能なシステムの実現だけでなく、安全なシステムが構築できるようになりました。従来Transputerと呼ばれたマイクロプロセッサー上でしか動作しなかった並列処理言語occam(KRoC)は、現在Linuxマシン上でも実行可能となり、アプリケーションをネットワーク上で高速に並列処理できるようになりました。 2004年8月23日の米国ACM、IEEE Computer Societyの発表では、CSP, VDM, Zなどの数学的モデルと検証方法（いわゆる形式手法）は、コンピュータ科学の教育コースの必須科目に指定されています。残念ながら日本国内では、この要求に答えられる情報教育コースはまだありません。 CSPによるアプローチは、日本のソフトウェア産業の危機を救う解決策となり得ると確信しております。これを実現すべく非営利組織「CSPコンソーシアム」は、CSPモデルに基づく技術者教育とアプリケーション開発を推進し、ツールを用いた検証方法に基づく新たな開発手法を確立することを目指します。2005年2月スタートの予定で準備を進めております。 　 設立の目的 「CSPコンソーシアム」は、形式手法を含めたCSPモデルの普及のために以下の事柄を推進することを目的とします。 研究会を中心として、その成果を公開し会員間の交流と技術力の向上を図る。 研究会には性能評価、開発ツールの整備、モデルの検証、応用事例などの専門分野を用意し、最新の情報を提供する。 大学の先生方をお迎えし委員会を中心とした国際会議を行い、欧米、アジア周辺諸国との交流を深め、幅広い普及活動を行う。 英国の大学を中心としたCSP/JCSP/C++CSP/KRoC(occam)研究グループ(WoTUG)との深い交流を結ぶ。 CSPモデルのプログラミング教育のセミナー教材や教科書を、大学や企業へ教ライセンス供与する。 プログラミング教育機関、オープンソース系協会、標準化団体、IPA/ITSS等との協力関係を深める。 開発企業との協力関係を深め、システム開発のコンサルティングを行う。 　 活動の概要 「CSPコンソーシアム」は、上記の目的を達成するため次のような活動を考えています。 （１）会員相互間の技術交流のための研究会、講演会、セミナーの開催 （２）セミナー教材・教科書の開発 （３）CSP啓蒙普及のために国際会議の開催と情報交換 （４）最新の技術情報の収集と配布 　 会の運営 「CSPコンソーシアム」の運営は、役員（理事長1名、理事3名、監事1名）からなる理事会の統括のもと、大学の先生方を中心とした委員会、アプリケーションの運営委員会、研究会、国際会議などを組織し、会員各位のご意見・ご希望に沿って運営していきます。 … … CSPコンソーシアムの事務局は（株）フォスターネット内に置く。 　 会員の特典 会員限定の研究会に出席可能。 会員限定の電子メーリングリストに参加可能。 運営委員としてCSPコンソーシアムの活動、企画、運営に参画できます。 CSP関連の論文、技術資料、プログラム、事例集などの最新情報の入手が可能になります。 　 入会方法 下記連絡先まで、メール、または電話にてお問い合わせください。 連絡先 CSPコンソーシアム事務局 Email:info.csp@foster-net.co.jp 住所：東京都渋谷区道玄坂2-25-6 ホリウチビル6F　株式会社フォスターネット内 電話：03-3770-5661　担当（吉田） Fax：03-3770-5077