-
- いいね！0
Ryoma Sin'ya
@sinya8282
突然ですが質問．Coqってどう読みます(公式な読み方とかあるのかな)？ 「Coqを"コック"と読むのはアホだけですよ」と言ってる人がいるらしいので．（ちなみにその人は"シーオーキュー"と読む）
2012-12-25 01:58:43聖夜にこの質問
(実は @chiguri さんに @ 飛ばし忘れた．)
以下回答
にしわき👦とカリーナ🐭
@2cside
@sinya8282 え…うちの研究室ではコックって言ってました…そうなのですか…？名古屋の人に聞けば真相が分かるのでは！！
2012-12-25 02:23:24
Ryoma Sin'ya
@sinya8282
@haruna_nishi そうなんですよね… 僕の知る限りは皆"コック"って言ってる． なので日本人多数派であることを確かめるより，発祥の地のフランス人に聞きたい感じ．
2012-12-25 02:27:13
Ryoma Sin'ya
@sinya8282
@haruna_nishi 綺麗に"コック"って言ってますねww ただ，あえて(定理照明支援系のそれは)一般単語としての読みを外してる可能性も,,,, ないと思うけどなぁ．
2012-12-25 02:32:44
Ryoma Sin'ya
@sinya8282
@haruna_nishi 動画で探るの手を忘れてた！(あほ) どうもです． もう，なんか，「"シーオーキュー"が異端である説」を件の人に叩きつけてみます．
2012-12-25 02:36:59
K. Sakaguchi
@pi8027
@sinya8282 日本にも Coq ユーザかつフランス人の人何人かいるので、結構聞く機会はある気がしますね。(ぼくも良く聞きます)
2012-12-25 02:38:10
にしわき👦とカリーナ🐭
@2cside
@sinya8282 どうなんでしょうね…真相はわからない…牛肉のヒレ肉をフィレと言うかヘレと言うかやっぱりヒレ肉か…みたいな感じの、どれでもいいよ…っていう感じではないんでしょうかね。
2012-12-25 02:43:56
Ryoma Sin'ya
@sinya8282
@haruna_nishi いやー，"フィレ" or "(ヒ|ヘ)レ"と"コック" or "シーオーキュー"は流石に差がw (僕はわりと気にする) #後者は血を見るレベル
2012-12-25 02:46:48
Ryoma Sin'ya
@sinya8282
@haruna_nishi （はるなさんも「Java言語」を「ジャワ言語」とか言ってる人がいたら清水の舞台から突き落としますよね？）
2012-12-25 02:55:04
にしわき👦とカリーナ🐭
@2cside
@sinya8282 いえ、私は特に何も…知らないんだろうか、あるいは私が知らないだけかも…と思って何もアクションしないタイプです
2012-12-25 02:57:48
にしわき👦とカリーナ🐭
@2cside
@sinya8282 いや…すみません…とりあえず、今後Coqの発音には気をつけたいと思います。私は卑怯なので、その時々によって相手が言ってる発音で言おうと思います…（もしかしてさらに血を見る？）
2012-12-25 03:03:15
Ryoma Sin'ya
@sinya8282
@haruna_nishi 柔軟ですねw 正直，"シーオーキュー"派は件の人以外いないのでは，という気もしてきた(ぇ "コック"安定でおｋと思います．大丈夫x2
2012-12-25 03:06:13