気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
qiita.com/myuon_myonエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
0
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Isabelle入門の入門 - Qiita
最近Isabelle始めたばかりなので, 初心者的な視点からIsabelle入門以前の話をします. この記事を読んでI... 最近Isabelle始めたばかりなので, 初心者的な視点からIsabelle入門以前の話をします. この記事を読んでIsabelleに興味を持たれたら, 是非公式turtorialからIsabelleへ入門してみてください. Isabelleについて Isabelleは証明支援言語です. 以下にその特徴をあげてみます. 標準のjEdit環境がリッチ 強力な自動証明機構 (とにかく自動証明コマンドが豊富で, さらに証明をIsabelleに探索させることもできます) 公理系が選べる (公理系はライブラリレベルでサポートされています. importするライブラリを自分で選ぶことで, HOL, ZF, Sequents, Cube などなどたくさんの公理系を扱うことができます) Isabelle/Isarによる人間に優しい証明 (Coqのように証明図をコマンドによって変形していくだけでなく, Is
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
qiita.com/myuon_myon
qiita.com/myuon_myon
qiita.com/myuon_myon
qiita.com/myuon_myon
president.jp
togetter.com
nordot.app
anond.hatelabo.jp
qiita.com/masazero
ascii.jp
zenn.dev/sta
www.bengo4.com
gigazine.net
www.linuxfoundation.jp
gadgetleaker64.com
www.techno-edge.net
qiita.com
qiita.com/myyasuda
qiita.com/mysticatea
qiita.com/myt-eng
qiita.com/mzp
