12月 並行システムの検証と実装(入門編)の発表

「トップエスイーチュートリアルシリーズ」並行システムの検証と実装(入門編)

10月 第3回 CSP研究会「CSPモデルの現状と将来」

ご挨拶 大場善次郎（東洋大学）
「超並列処理プログラミング言語occam-πのご紹介」 松井和人
「OCCAM-πを使ったPCクラスタの構築と数値計算について（中間報告）」 安部真吉　鈎股弦（株）
JIBU for C++を用いたMPS法による水流シミュレーション 中根義人　（北海道職業能力開発大学校）
「CSPを利用した設計のための仕様プロセスの合成に関する考察」 喜家村奨　（帝塚山学院大学）
「XMOS評価ボードを使った玩具Ver 2」 鰐淵忠男
「XMOSチップによる自走式倒立制御実験装置の開発」 中原博史　（北海道職業能力開発大学校） 中野隆司　（株）北斗電子
「XMOSを利用した組み込みシステム開発の導入教育」 森秀樹、土田賢省、大蒔和仁、長谷川（M1）　（東洋大学）
「pi-calculusでモデル化してのXCプログラムの開発について」 大森健児　（法政大学）
「日英ワークショップのご提案」 松井和人
「今年度研究報告書作成について」 松井和人

---

6月 第2回 CSP研究会「CSPモデルの組み込みシステムへの応用」

ご挨拶 大場善次郎（東洋大学）
「XMOS-XC1のライン・トレース・カーへの評価」 （実機デモあり） 鰐淵忠男
「LTSAを利用した自走式ロボットの設計」 藤倉俊幸（株式会社イーソル）
「見えてきたXMOSテクノロジー」 開発キットXDKの使用レポート 中原博史（北海道職業能力開発大学校）
「XMOS/XCに隠されたCSPモデル」 松井和人（プロミネント・ネットワーク合資会社）
「Virtual Channelの設計検証とTPCOREへの実装」 田中和人（首都大学東京）
「プロセス代数CSPの定理証明器CSP-Proverの紹介」 磯部祥尚（産業技術総合研究所）
「ホモトピー定理を利用してのビジネス分野を中心とする ソフトウェアの開発法について- -ワークフローからpi-Calculus, Petri Netへ」 大森健児（法政大学）
「CSP研究会への激励」 渡辺悦男（英国大使館）
「おわりに」 内山東平（東洋大学）

---

3月 第1回 CSP研究会 開催（場所：東京大学）

「ナショナルセンター構想と高度情報通信人材教育について」 「CSPモデルの組み込みシステムへの期待！！」 大場善次郎（東京大学）
CSP研究会Kick-OFF会議--研究会の目的と方向性 松井和人（世話人）
プロセス代数CSPのモデル検査器FDRの紹介（仮） 磯部祥尚（産業総合研究所）
FDRによるRPGシナリオの検証 長久勝（ハイパーコンテンツ株式会社）
CSPベースのタスク設計手法 藤倉俊幸（株式会社 イーソル）
JCSPによるCSPモデルプログラミングの実際-（1） 中原博史（北海道職業能力開発大学校）
CSPを用いた並列処理設計とoccam実装例の紹介 山川武志（首都大学東京）
IEEE1355プロトコールを用いたTPCOREネットワーク 岩波智史（首都大学東京）
XMOSでTransputing!!-（1） 松井和人（プロミネント・ネットワーク合資会社）
まとめ並びに次回の案内- - 事務局と今後の進め方 内山東平（東京大学）

---

< 2008 | 2010 >