最近のキーワード

2006年07月02日

定理証明器

ふと、あるところを読んで、一時期、証明の再利用(コンポーネント化、フレームワーク化、カタログ化、DSL化)みたいなことを目指していたなということを思い出す。
posted by ttate at 05:46| 🌁| Comment(0) | TrackBack(0) | 計算機 | このブログの読者になる | 更新情報をチェックする
この記事へのコメント
コメントを書く
お名前:

メールアドレス:

ホームページアドレス:

コメント:

認証コード: [必須入力]


※画像の中の文字を半角で入力してください。

この記事へのトラックバック
×

この広告は180日以上新しい記事の投稿がないブログに表示されております。