2023年政策修订增补工作正在进行中，欢迎参与！
Coq(ProofCafe)
跳至導覽
跳至搜尋
| |
| 基本資料 | |
| 本名 | Coq |
|---|---|
| 出身地區 | 日本 |
| 活動範圍 | 日本 |
| 所屬團體 | ProofCafe |
Coq是twitter上活動「言語擬人化學園もの」的角色，由ちょまど創作，現在為日本名古屋工作小組ProofCafe的看板娘。
簡介
Coq的創作原型為同名的一種用於驗證定理的證明是否正確的計算機工具。
髮飾「∀」「∃」代表一階邏輯的邏輯符號中的量化符號，「∀」為全稱量詞（universal quantifier），「∃」為存在量詞（existential quantifier）
「β」形狀的髮帶λ演算（lambda calculus）的函數概念β-歸約
| ||||||||||||||||||||||||
外部鏈接
proofcafe：http://proofcafe.org/wiki/