Wikipedia

Template‐ノート:型システム

最新のコメント：2 年前 ｜ トピック：quotient type の訳について | 投稿者：Hexirp

quotient type の訳について

編集
最新のコメント：2 年前1件の コメント1 人が協議に参加

Special:Diff/85798611 で「"quotient type" の訳は「商型」である (例: [1])」として編集を行いましたが、 URL の先の文献は機械翻訳でした。他の文献を探しましたが WP:RS に該当するような文献を見つけることは出来ませんでした。ただし、 "quotient type" は "quotient set" が元になっており、その "quotient set" が「商集合」と訳される以上は "quotient type" は「商型」と暫定的に訳するべきではないかと思います。--Hexirp（会話） 2021年9月29日 (水) 13:15 (UTC)返信

話題追加
「https://ja.wikipedia.org/w/index.php?title=Template‐ノート:型システム&oldid=85798792」から取得
ページ「型システム」に戻る。