プログラミングと数学のお話

取り急ぎまとめ。 数学スキル低すぎて死にたい。
5
ちゅーん @its_out_of_tune

最近ようやくIT関連の記事で活発に取り上げられるようになったから、これからどんどん「関数プログラミングの都市伝説化」が始まるんじゃないかなぁと勝手に思ってる。

2012-10-13 12:27:29
ふみ (DJ Monad) @fumieval

Haskell3行でPython10行分は当たり前、3行で30行分も #全盛期の関数型伝説

2012-10-13 12:30:10
ふみ (DJ Monad) @fumieval

プロジェクトを立ち上げただけで取引先が泣いて謝った、心臓発作を起こすクライアントも #全盛期の関数型伝説

2012-10-13 12:30:56
みょん @myuon_myon

移動中に紙と鉛筆だけで函数考えてました #全盛期の関数型伝説

2012-10-13 12:32:01
ふみ (DJ Monad) @fumieval

グッとガッツポーズしただけでコードが5分の1に減った #全盛期の関数型伝説

2012-10-13 12:34:14
ふみ (DJ Monad) @fumieval

開発効率の向上のおかげで関数型プログラミングのときだけ地球の気温が2度下がった #全盛期の関数型伝説

2012-10-13 12:36:18
みょん @myuon_myon

一回のキータイプで効率が3倍に見える #全盛期の関数型伝説

2012-10-13 12:36:21
ふみ (DJ Monad) @fumieval

関数型プログラマと目が合ったプログラマは被コード10000と同等のショックを受けた。退職した者も #全盛期の関数型伝説

2012-10-13 12:37:52

ここから本題

みょん @myuon_myon

函数型言語の素晴らしさを理解するにはある程度の数学力が要るのは事実なので数学嫌いって人には中々広まらないの、少しは分かりますね

2012-10-13 12:44:43
ちゅーん @its_out_of_tune

数学平均20点だったちゅーんが通りますよー( ̄ω ̄)ノ゛

2012-10-13 12:45:49
ふみ (DJ Monad) @fumieval

私のコード、どの辺に数学力を使っているのかよくわからなくなっている

2012-10-13 12:47:08
ちゅーん @its_out_of_tune

そんなちゅーんだけど、実は最近数学とプログラミングの違いが解らなくなってきてたりしないことも無い。

2012-10-13 12:48:13
みょん @myuon_myon

@math_neko 割と有りそうですね…というか、今でも函数型言語を使いもせずに「開発効率が悪い、GUIできない」みたいな偏見だけで語る人がいなくならないのもちょっとどうなの、という><

2012-10-13 12:48:16
ちゅーん @its_out_of_tune

しいていうなら、プログラミングにおける数学は手段だけど、数学にとって数学は目的みたいな。

2012-10-13 12:49:01
ちゅーん @its_out_of_tune

やべぇ今俺ちょっとカッコイイこと言った

2012-10-13 12:49:30
みょん @myuon_myon

@math_neko まぁ、仮にもコンパイル言語ですし…意味不明、難しそう、だけの印象で判断されるとちょっと悲しくなりますね…最近少しはポピュラーになりつつあるのでこの勢いに乗って興味持つ人が増えてくれたらいいなーと思います><

2012-10-13 12:52:08
ふみ (DJ Monad) @fumieval

やっぱり関数型プログラミングをすること自体に数学の力は必要ではないんじゃないかと思っている

2012-10-13 12:52:18
ちゅーん @its_out_of_tune

@fumieval 「数学の力」の定義の幅が広すぎます。ちゅーんさん晩年赤点だったの公式の記憶力と計算能力が皆無だったからですしおすし。

2012-10-13 12:54:11
ふみ (DJ Monad) @fumieval

@its_out_of_tune 記憶力や計算力は関数型とは関係ないですね…

2012-10-13 12:55:49
ちゅーん @its_out_of_tune

@fumieval 信号処理は計算できなくて詰む事多いです。でも代数学とか圏論は興味あるます。つまりそういう事です。

2012-10-13 12:56:56
鏡 弘道 @kagami_hr

@fumieval 数学の知識はともかく数学で重要な抽象能力は必要だと思います。もっともそれはプログラミング全般に言えることであり関数型に限らないのかも知れません。

2012-10-13 12:57:24
ふみ (DJ Monad) @fumieval

言い方が悪かったか。「関数型プログラミングをする上で、数学におけるどのような技能が必要とされるか、あるいは何も必要としないか」

2012-10-13 12:57:29
ちゅーん @its_out_of_tune

数学の抽象化の発想は高度過ぎてチビりそうになる事がある。

2012-10-13 12:59:31
ふみ (DJ Monad) @fumieval

@kagami_hr その"抽象能力"が数学由来である必要があるのか、というのが私の疑問です

2012-10-13 12:59:40