haskell-jp / questions #13

kazu
2018-02-14 15:27:52 +0900
rational には、確かに「理にかなった」という意味もありますが、数学では比で表せるという意味です。
kazu
2018-02-14 15:28:17 +0900
比数と訳せばよかったのにね、とよく言われます。
kazu
2018-02-14 15:29:14 +0900
無理数(irrational)は、比で表せない数という意味です。
kazu
2018-02-14 15:30:24 +0900
しかし、非比数は、訳語としてちょっとくるしいかも。:-)
notogawa
2018-02-14 15:32:19 +0900
比に整数で表せるみたいな意味が注入されるみたいでなんかそれも違和感ありません？
kazu
2018-02-14 15:32:57 +0900
「それ」とは何のことですか？
notogawa
2018-02-14 15:35:12 +0900
1:e みたいなのも比じゃないかということです．
ttsurutani
2018-02-14 15:36:08 +0900
困ったときのwikipediaさんにも「分数は正の整数だけではなく、整数全体や実数、複素数等を用いても定義される」とありますので、Ratio Integerではないものを分数と違ったものと感じるのは間違いかもしれませんね
kazu
2018-02-14 15:36:24 +0900
この辺りは、数の発見の歴史と関係がありまして、ピタゴラスでググると分かると思います。
kazu
2018-02-14 15:37:12 +0900
ピタゴラスは、万物は整数の比で表すことができるという宗教を唱えておりまして、ルート2が発見された時にひた隠しにしました。
matsubara0507
2018-02-14 15:37:32 +0900
宗教(笑)
kazu
2018-02-14 15:37:34 +0900
ルート2の存在を外に漏らした弟子は、殺されたと言われています。
notogawa
2018-02-14 15:38:10 +0900
「君のような勘のいいガキは嫌いだよ」案件だ
kazu
2018-02-14 15:38:22 +0900
RWH では integral + fractional = real なんですよね？
ttsurutani
2018-02-14 15:38:32 +0900
訳し方の話から始まって随分と興味深い話になって勉強になります
kazu
2018-02-14 15:39:30 +0900
実数から整数を取り除いたら、整数以外の有理数と無理数になるから、なんかおかしいな。
kazu
2018-02-14 15:40:55 +0900
ちなみに、ピタゴラス派のシンボルである星型にもルートが隠されておりまして、もう大変だったようです。
notogawa
2018-02-14 15:40:59 +0900
整数と(整数に対して)端(の出る)数というニュアンスですよね
ttsurutani
2018-02-14 15:41:14 +0900
Num = Real + Fractional
ttsurutani
2018-02-14 15:41:51 +0900
Real - Integral = RealFrac
ttsurutani
2018-02-14 15:41:55 +0900
ですかね
kazu
2018-02-14 15:42:22 +0900
整数 < 有理数 < 実数 < 虚数
kazu
2018-02-14 15:42:23 +0900
です。
kazu
2018-02-14 15:42:33 +0900
整数は integral
kazu
2018-02-14 15:42:42 +0900
有理数は fractional
kazu
2018-02-14 15:43:05 +0900
実数は real
ttsurutani
2018-02-14 15:43:07 +0900
有理数と対応するのはRationalでは？
kazu
2018-02-14 15:43:29 +0900
あー、すいません。そうです。
ttsurutani
2018-02-14 15:43:38 +0900
FractionalはComplexも含む、ですよね
ttsurutani
2018-02-14 15:44:06 +0900
実数と虚数が包含関係なのもオカシイのでは？
ttsurutani
2018-02-14 15:44:17 +0900
実数＜複素数？
kazu
2018-02-14 15:44:21 +0900
僕が書いたのは、数学用語でして、Haskell だとどう対応しているのかよくわかりません。
ttsurutani
2018-02-14 15:44:29 +0900
複素数＝実数＋虚数なのでは？
kazu
2018-02-14 15:44:56 +0900
すいません。s/虚数/複素数/ としてください。
kazu
2018-02-14 15:45:15 +0900
僕の中には、虚数(i)だけの世界はないので。。。
kazu
2018-02-14 15:46:06 +0900
数学用語と Haskell 用語の対応関係はよくわからないので、どなたかまとめて blog を書いて〜。
ttsurutani
2018-02-14 15:46:44 +0900
手元でそれをやっていて、わからなくなってきたので質問させていただいています
ttsurutani
2018-02-14 15:47:21 +0900
もう少しはっきりしたら、皆さんに確認いただきたい
matsubara0507
2018-02-14 15:47:58 +0900
ぜんぜん関係ないけど https://github.com/haskell-jp/blog に「こういう記事を書いてほしい」って Issue ? があってもいいのかなぁと今思った。
kazu
2018-02-14 15:48:18 +0900
クラス階層から解き明かす方がいいかも。
kazu
2018-02-14 15:49:51 +0900
RealFracが、実数から整数を除いたものに見える。。。
ttsurutani
2018-02-14 15:51:13 +0900
クラス階層をみながらこんな絵をかいてます・・とお見せしようとおもったらスレッドには画像は貼れないのですね
ttsurutani
2018-02-14 15:52:25 +0900
私の整理ではスレッドの元に書いた通り、RealFracは非整数の実数です
matsubara0507
2018-02-14 15:52:52 +0900
演算がある集合(整数や実数)で閉じているか、が数値演算系の型クラスみたいですね(当たり前ですけど)
ttsurutani
2018-02-14 16:12:58 +0900
@ttsurutani uploaded a file: image.png and commented: スレッドにイメージを貼れなかったので恥をしのんでコチラに。クラス階層から追って作ったメモです。役に立ちますかね　
matsubara0507
2018-02-14 17:45:41 +0900
Post Request って感じのラベルと、それ用の Issue template を作りません？
(multi template で https://github.com/blog/2495-multiple-issue-and-pull-request-templates )
matsubara0507
2018-02-14 17:48:04 +0900
ラベルの方は権限が無いのでお願いします :pray:
template の方は PR でも出します。
igrep
2018-02-14 17:48:05 +0900
OK, たたき台を作っていただけると助かります！
せめて https://github.com/haskell-jp/blog/issues への登録を！
ちなみにラベルの名前は Topic Request でいかがでしょうか？