萌娘百科谨为京阿尼纵火事件中的罹难者祈福,愿逝者安息,生者坚强。Pray for Kyoto Animation.
7月18日に発生した京アニ火灾におきまして、亡くなられた方々のご冥福をお祈り申し上げます。

  • 你好~!欢迎来到萌娘百科!如果您是第一次来到这里,点这里加入萌娘百科!
  • 欢迎具有翻译能力的同学~有意者请点→Category:需要翻译的条目
  • 如果您在萌娘百科上发现某些内容错误/空缺,请勇于修正/添加!编辑萌娘百科其实很容易!
  • 觉得萌娘百科有趣的话,请推荐给朋友哦~
  • 萌娘百科群119170500欢迎加入,加入时请写明【萌娘百科+自己的ID】~
  • 萌娘百科Discord群组已经建立,请点此加入!

Coq(ProofCafe)

萌娘百科,万物皆可萌的百科全书!
跳转至: 导航搜索
BJKNswYCIAMCsX0.jpg
基本资料
姓名 Coq
别号
出身地区 日本
活动范围 日本
所属团体 ProofCafe

Coq是twitter上活动「言语拟人化学园もの」的角色,由ちょまど创作,现在为日本名古屋工作小组ProofCafe的看板娘

简介

Coq的创作原型为同名的一种用于验证定理的证明是否正确的计算机工具。

发饰「∀」「∃」代表一阶逻辑的逻辑符号中的量化符号,「∀」为全称量词(universal quantifier),「∃」为存在量词(existential quantifier)

「β」形状的发带λ演算(lambda calculus)的函数概念β-归约

38172873.png

外部链接

proofcafe:http://proofcafe.org/wiki/