[定理証明支援系] Coqは"コック"で問題ない？

"シーオーキュー"派の人が近くに居たので，素人っぽい質問． ...その筋の動画やらCoqガチ勢の同意やらで"コック"が妥当(正統かつ多数)ぽい!
2
前へ 1 2
にしわき👦とカリーナ🐭 @2cside

@sinya8282 了解です！！

2012-12-25 03:08:38
SKS rep @repeatedly

Coqに関しては以前会ったmzpさんが「コック！コック！」しか発言しなかったため，コックしか読み方が思いつきませんでした(一部誇張表現あり

2012-12-25 03:52:17

まとめ？

SKS rep @repeatedly

頑張れ！ RT @sinya8282: 文脈がん無視www “@repeatedly: Coqで世界最速の正規表現エンジンがついに来るのか RT @sinya8282: pi君がCoqをコックって言うならそれに従います． #全面服従の姿勢”

2012-12-25 03:26:52
前へ 1 2

いま話題のタグ

共同通信303 ガンダム2060 システムエンジニア50 ミスタードーナツ88 精神疾患116 弥助10 邦キチ!映子さん22 階級38 退職代行25 寄生虫111 アサシンクリード34 ヒグマ98 怖い話460 転売447 松屋139