気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
ja.wikipedia.orgエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント3件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Mizar - Wikipedia
自動証明検証システム Mizar（ミザー、ミザール）は、まったく厳密に形式的な形で数学的な定義や証明を... 自動証明検証システム Mizar（ミザー、ミザール）は、まったく厳密に形式的な形で数学的な定義や証明を記述するためのデータ記述言語（Mizar-言語）、実際にその言語で記述された証明の内容を検証することができる計算機プログラム（証明検証プログラム）、プログラムから参照して新たな証明の際に利用可能な定義と証明済みの定理からなるライブラリ (MML) の三者から構成される。 Mizar と同様の目的を持つプロジェクトに、ロバート・ボイヤーのQEDプロジェクトがある。 概要[編集] システムの開発は1973年にアンジェイ・トリブレッツによって始められ、システムの保守をポーランドのビアリストーク大学（英語版）、カナダのアルバータ大学、日本の信州大学で行っている。 Mizar-言語で記された証明文（以下、Mizar-論文）は普通のASCIIコードで書かれている。Mizar-言語は、数学の通常の言葉遣
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
ja.wikipedia.org
ja.wikipedia.org
ja.wikipedia.org
ja.wikipedia.org
anond.hatelabo.jp
anond.hatelabo.jp
anond.hatelabo.jp
togetter.com
wirelesswire.jp
newspicks.com
karakuri.ai
forest.watch.impress.co.jp
note.com/hirotsujino
gigazine.net
dev.classmethod.jp
tp.kadokawa.co.jp
kunetwork.com
mame-zou.com
livestream.com
2013/10/17 リンク