佐原伸ホームページ新着情報

2000年12月6日
中学・高校からの友人「八戒」の「中川塾かぷらす」を登録しました。今年の高校生は、私の娘を含め、皆、推薦で合格してしまったので「不況だ」と嘆いています。
2000年10月8日
高木仁三郎逝く。
2000年10月5日
sigfm3月発足フォーラムの「開発におけるフォーマル・メソッドの適用)」を追加しました。
2000年9月14日
sigfm9月例会の資料を載せました。
2000年8月26日
新たなホームページに移転しました。
新井英一の公式ホームページが充実してきたので、私のホームページから、一部重複するところを削除しました。
2000年8月1日
SRAを退社するのに伴い、ホームページの引越を行っています。
2000年6月14日
VDMToolsの大学向けサイトライセンスがフリーになりました。
イスラエル内のパレスチナ人農業者団体「ガリラヤのシンディアナ」が生産する無農薬・有機栽培のオリーブ油をフェア・トレードで日本に輸入・販売している「パレスチナ・オリーブ」へのリンクを貼りました。
2000年5月26日
形式仕様記述言語VDMToolsの非公式ページを作成しました。有名な教科書のPostscript版、セミナー資料、評価版ダウンロードページへのリンク、僕が翻訳したパンフレットなどがあります。
2000年5月22日
SEAの形式手法分科会sigfmのホームページを開始しました。
2000年4月29日
MAIにNOへのリンクを「社会との関わり」のページに追加しました。
2000年3月30日
琴泉酒造のメールアドレス設定が間違っていたので修正しました。
2000年3月1日
明星学園PTAで、並河萬里さんが撮影した、取り壊された由緒ある小学校校舎の写真集を販売しています。
2000年1月11日
琴泉酒造の商品情報を修正しました。