ポリモルフィズム/ポリモーフィズム

polymorphismをカタカナでどう表記するか?男達の熱い議論が始まった。…なんてことはない。〜〜子に関するライフハック付き!
11
Jun Furuse @camlspotter

あー、もう寝る。寝る。今日もアホ話ばかりじゃった。

2010-11-30 00:23:37
K. Sakaguchi @pi8027

あなたと、ユニフィケーションしたい! って二回くらい言ったんだけど全く反応が無い。

2010-11-30 00:24:03
Keigo Imai @keigoi

. @camlspotter 全く関係ないんですけどその手のネタで… ゼミでショボい発表をすると「生汎化(なまはんか)」「中途汎化(ちゅうとはんか)」と教官陣からdisられる怖い時代があったそうデス…

2010-11-30 00:24:46
でこれき @dico_leque

.@keigoi 自分も昔は型構築子派だったんですけどいつからか構成子派になりました。手持ちの本だと『ふつうの Haskell プログラミング』は型コンストラクタ、『関数プログラミングの楽しみ』は型構成子。Web 上だと Typeclassopedia の訳は型構築子

2010-11-30 00:27:35
Jun Furuse @camlspotter

こえー RT @keigoi: . @camlspotter 全く関係ないんですけどその手のネタで… ゼミでショボい発表をすると「生汎化(なまはんか)」「中途汎化(ちゅうとはんか)」と教官陣からdisられる怖い時代があったそうデス…

2010-11-30 00:27:45
KUWABARA Hiroaki @hkuwa

多態でも多相でもどっちでもいいよね、polymorphismだってことがわかれば。とちょっと乱暴なことを言ってみる。個人的にはポリモーフィズムって言うことが多いけど。

2010-11-30 00:29:51
KUWABARA Hiroaki @hkuwa

多態も多相もMS-IMEで出てこない

2010-11-30 00:31:40
Jun Furuse @camlspotter

メカ沢新一体型でもいいですか? RT @xhl: ばけこたんかわいい! RT @camlspotter: . @keigoi おめー、単一化子(たんいち・ばけこ)を忘れとるだろう。

2010-11-30 00:32:12
でこれき @dico_leque

汎化通とは呼ばれたくない……

2010-11-30 00:33:41
H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika

それらは両立するので区分ではないのでは。パラメトリック多相とアドホック多相を最初に区別したのはMorris。サブタイプ多相は継承を型で表す動きからだから80年代に同時的になんとなくかな。 RT @keigoi: サブタイプ多相とパラメトリック多相って区分はいつからあるんだろう。

2010-11-30 00:44:29
たけおか (Shozo Takeoka) @takeoka

使っていいすか!?!'@camlspotter こえー RT @keigoi: . @camlspotter 全く関係ないんですけどその手のネタで… ゼミでショボい発表をすると「生汎化(なまはんか)」「中途汎化(ちゅうとはんか)」と教官陣からdisられる怖い時代があったそうデス…

2010-11-30 00:56:18
おしいれのぼうけん @osiire

本読んでオブジェクト指向の勉強をした時に、ポリモーフィズムなのかポルモーフィズムなのかどうしても覚えられなくて、間違えてると言われるのがやだから人前で発音できなかった。その後、多態性という言葉を知って、発音するならこれだ!と思った。

2010-11-30 01:02:19
おしいれのぼうけん @osiire

私は片仮名の言葉ってホントに覚えられない特性がある気がする。世界史とかの人名.地名覚えようとしても全滅だったし。なんでだろう。発音したりアルファベットに直せばそれなりに覚えられるので、記憶力の絶対値じゃないと思う。いぁ、まぁ、確かに物忘れは激しいけど...

2010-11-30 01:15:14
おしいれのぼうけん @osiire

片仮名の言葉って、元の単語の構造を取っ払って平たくするような感じがする。だから意味の無い文字の羅列に見えちゃって、覚えられないのかなぁ。

2010-11-30 01:27:14
でこれき @dico_leque

TaPL に曰く、ただ polymorphism と言うと、関数型の人は parametric の方だと思い、 OOP の人は subtype polymorphism だと思うしまぎらわしいね、云々(p. 341)

2010-11-30 01:40:54
Akso de la Malbono @Cryolite

削除子(けずり・よけこ) 演算子(えん・さんこ) 生成子(いけ・なりこ) 反復子(そり・ふくこ) 宣言子(のり・ことこ) 修飾子(おさめ・かつこ) 指定子(ゆび・さだこ) 列挙子(れつ・あげこ) 初期化子(ういご・ばけこ) 構築子(こう・ちくこ) 破壊子(やぶり・かいこ)

2010-11-30 02:20:55
でこれき @dico_leque

列挙子(れつ・あげこ)さんは「キサマ等のいる場所は既に我々が2000年前に通過した場所だッッッ」とか言いそう

2010-11-30 02:25:24
Keigo Imai @keigoi

@metaphusika おおっと、そうでした。。。比較するならアドホック/パラメトリックですね…。

2010-11-30 06:48:49
Keigo Imai @keigoi

どうぞ、どうぞ。あと昨夜(?)「汎化通(はんかつう)」という言葉が生み出されたようで衝撃を受けています… (http://bit.ly/hAtusl )。こちらもぜひ(ぇ RT @takeoka:使っていいすか!?!' …「生汎化(なまはんか)」「中途汎化(ちゅうとはんか)」

2010-11-30 06:55:21
Jun Furuse @camlspotter

どうでもいいんだけど、メタモルフィズムとかはあんまりメタモーフィズムとか言わない。僕がモルフィズムを押す理由はそれくらいだ。

2010-11-30 07:28:32
Ikegami Daisuke @ikegami__

メタモーフォーゼ、とはいわないですよね…

2010-11-30 07:32:00
Jun Furuse @camlspotter

モルフォ蝶、かたや、モーフィング、どうもコンピュータ関係だと伸ばしたがるのだね。

2010-11-30 07:34:45
chunjp @chunjp

皆さんがα変換できる名前に拘るのが意外 [要出典]

2010-11-30 07:36:37