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