<a class="info_title emj" href="https://togetter.com/li/389113" title="プログラミングと数学のお話">プログラミングと数学のお話

@kagami_hr 私もそれが正しいと思います。

2012-10-13 13:01:38

(抽象化を行う学問を``数学"と名付けることにしましょう)

2012-10-13 13:01:44

数学由来である必要は無いけど、数学が近道な事は間違いない・・・とゆー持論・・・

2012-10-13 13:02:06

「数学が苦手な人は関数型に特有の抽象化が苦手な人が多いので、結果的に関数型プログラミングは苦手な場合が多い」ということだろうか。

2012-10-13 13:02:42

Javaでオブジェクト指向を身につけて、抽象化の考え方を理解して、そんじゃ足りないなぁとか思ってたらLispと出会ったワケなので、そもそもちゅーんの抽象化能力はプログラミング言語由来。

2012-10-13 13:04:13

「すべての抽象化は数学である」ならば、抽象化が重要であるプログラミングスタイルほど「数学」が大事である、が成り立つ

2012-10-13 13:05:00

プログラミング言語を学ぶ事と数学を学ぶことは本質的に一緒って事かなん

2012-10-13 13:05:50

数学の一部は抽象化によって成り立ってきたが、すべてがそうというわけではないはず

2012-10-13 13:06:08

@fumieval 論理的整合性も必要な要素だと思っています

2012-10-13 13:08:42

@myuon_myon 抽象化と論理的整合性の二つの側面によって成り立つのが数学、ということですか

2012-10-13 13:10:13

@fumieval `論理'の力で`抽象化'を目指す学問だと考えています

2012-10-13 13:11:07

与えられたものを組み合わせて目的のものを作るという意味では、数学もプログラミングも同じようなものか

2012-10-13 13:11:26

@fumieval @myoun_myon それなら、パラダイム関係なくプログラミングも必要となるものは一緒という事になるのでは。

2012-10-13 13:11:30

ああ、わかった。プログラミングに「数学の力」は必要だが、「数学の知識」はいらない。

2012-10-13 13:12:34

@its_out_of_tune そうなりますね…私たちが考えている「数学」とは違っている恐れがあります

2012-10-13 13:13:50

@its_out_of_tune そもそも、プログラミング言語は数学を表記するときに使う言語の一つなのでは？

2012-10-13 13:14:14

@myuon_myon @its_out_of_tune えっ。さすがにそうはいかないのでは

2012-10-13 13:14:45

@fumieval 違いをお願いしますもちろん一部でしょうけど

2012-10-13 13:15:12

@fumieval @myuon_myon 工学的に実現可能な公理系に基いて、数学的に表記するための記法がプログラミング言語。とか。

2012-10-13 13:15:38

@myuon_myon プログラミング言語は計算を示すための言語ですが、数学は計算ではないですよね

2012-10-13 13:17:06

@fumieval 確かにプログラミングの最終目的はコンパイルして実行させる事ですが、あえてそれに拘る事は無いのでは。

2012-10-13 13:18:13

@fumieval 意味論を付加して考えるんですか？チューリング完全なプログラミング言語とは一階述語論理の定理の証明に使う言語(というより文字と記号の列)と呼べるんじゃないかと

2012-10-13 13:18:48

リファクタリングやコーディングはプログラミングだけど計算が目的では無い。

2012-10-13 13:19:12