Coqスレat TECHCoqスレ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト50:デフォルトの名無しさん 11/06/13 13:47:54.24 Gunterってなんぞ？CPDTと関係あるのか？ 51:デフォルトの名無しさん 11/06/13 21:42:28.31 Winskel の方が整理されてて良い、という人も多いが、 あれの良さがわからん。英語も変だし。 52:デフォルトの名無しさん 11/06/14 07:33:14.29 にわかだからYvesPierr、mathewぐらいしかわからん 53:デフォルトの名無しさん 11/06/15 09:33:20.44 >>52 > にわかだからYvesPierr、mathewぐらいしかわからん さらにニワカなんで質問するんだけど、この２人ってどんな仕事してる人？ ググったけどわからない。 54:デフォルトの名無しさん 11/06/15 12:50:54.72 yvesはCoq'Artの著者の一人 matthieuは最近Coqに追加された機能Type Class, User defined equialities and relations, Program等の中心開発者 55:デフォルトの名無しさん 11/06/16 00:20:55.88 >>54 ありがとうございました。 52に"YvesPierr、mathew"って書いてるから "Yves Pierre"が一人の名前だと思ってググったんだけど でもYvesとPierreは別々の２人それぞれのファーストネームということなんですね。 それじゃググってもわからなくて当たり前でした。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch