|
|
|
| センター長挨拶｜Policy Statement｜研究テーマ｜研究活動｜研究成果｜Technical Reports｜書籍｜共同研究｜集会支援｜English |
| 研修コース ・ニュースレター ・CVS Staff ・アクセス ・採用情報 ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダー ・HOME |
 |
 リンク集 |
|
||
| 10月16日 | テクニカルレポートを発行しました。 |
||
| 10月07日 | １０/８日の計算機言語談話会（CLC） は台風18号の接近により延期いたします。(期日未定) | ||
|
| |||
| 09月29日 | 研修コース:「Agda による仕様記述」開催 終了 | ||
|
| |||
| 08月27日 | ８/２７日の計算機言語談話会（CLC） は講演者の事情により中止となりました。 | ||
| 08月25日 | 研修コース:「Agda による仕様記述」開催のお知らせ | ||
| 08月17日 | 平成２１年度第３回システム設計検証技術研究会09/09/10(木) 16：00〜18：00 終了 | ||
| 08月05日 | ニューズレター第12号を発行しました。 | ||
| 08月03日 | テクニカルレポートを発行しました。 | ||
|
| |||
| ▼BackNumber | |||
