メニュー - Software Foundations 日本語版Wiki

メニュー

• トップページ
• 学習の進め方

作業中の各章
TOP
目次
Preface：まえがき
Basics：基本
Lists：リスト
Poly：多相性と高階関数
Gen:帰納法の仮定の一般化
Prop:命題と根拠
Logic:Coqの論理
Rel:関係の性質
SfLib:SFライブラリ
Imp:命令型プログラミング
ImpParser:字句解析と構文解析
Equiv:同値性
ImpList:Impのリスト拡張
Hoare:ホーア論理
HoareAsLogic:論理としてのホーア論理
Smallstep:スモールステップ操作的意味論
Types:型システム
Stlc:単純型付きラムダ計算
Typechecking:STLCの型チェッカ
MoreStlc:単純型付きラムダ計算についてさらに
Records:STLCにレコードを追加する
References:更新可能な参照の型付け
Subtyping:
RecordSub:
Norm:
UseTactics:タクティックライブラリ
UseAuto:自動証明の理論と実際
LibTactics:
PE:
Postscript:

副読（服毒？）教材
関数型ガール
こどものこっく

全体的な話題

• 単語帳
• お勧めの本
• 有用と思われるリンク
• 雑談
• ツッコミなど
• 進捗状況
• 自己紹介など

姉妹サイト

• F#マスターへの道
• 教えて！アロイ人！

---

リンク

• @wiki
• @wikiご利用ガイド

更新履歴

取得中です。

ここを編集