Coq/SSReflect/MathCompの設定
[2023-02-24 Fri]: Ubuntu 22.04.1 LTS, Coq 8.16.1, MathComp 1.16 [2023-01-06 Fri]: Ubuntu 22.04.1, opam 2.1.4, ocaml 4.14.1, Coq 8.16.1, ProofGeneral 4.6, MathComp 1.15.0, MathComp-Analysys 0.6.0 [2022-09-09 Fri]: Ubuntu 22.04.1, Coq 8.15, MathComp 1.15 (opam), ProofGeneral 4.6 [2022-08-03 Wed]: Windows 11, Coq 8.15, MathComp 1.15 (WSL 2) [2022-03-01 Tue]: Windows 11 21H2, Coq 8.15, MathComp 1.14 (
Coq/SSReflect/MathComp Tutorial
資料: slides (last version): slides addendum about groups: html, pdf (automatically generated) slides (previous versions): [2015-07-24 Fri]: 京都大学の集中講義で使った資料(約14時間): slides (addendum about groups) [2014-12-15 Mon]: 名古屋大学の集中講義 で使った資料(約9時間): slides (addendum about groups) [2014-09-07 Sun]: 日本ソフトウェア科学会 第31回大会のチュートリアル (定理証明支援系Coq入門) で使った資料(4時間): slides Coq/SSReflect/MathCompの設定 参考文献: ssr.bib, coq.bib, it
矢田部俊介
学位 東北大学大学院理学研究科数学専攻にて修士（理学）取得 神戸大学大学院自然科学研究科情報メディア科学専攻にて博士(理学)取得 職歴 神戸大学工学部情報知能工学科教務補佐員 神戸大学工学部情報知能工学科教務職員 神戸大学大学院工学研究科助手 産業技術総合研究所特別研究員 委員 経済産業省・地域イノベーション創出研究開発事業「仕様書の統一様式の策定と仕様整合性検証システムの研究開発」研究推進会議 委員（2008年7月～） 論文（査読あり）: 非古典論理上の包括原理を持つ集合論 フルペーパー論文 A note on Hajek, Paris and Shepherdson's theorem (Abstract) (pdf) (pdf on this site) 矢田部俊介. Logic Journal of IGPL, pp.261-266, vol.13(2), March 2005
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
