[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
802: 01/12(日)15:49 ID:DO5vWwuf(1) AAS
科学をプログラミングするのは難しいが
プログラミングを科学するのは可能では？
803: 01/12(日)16:35 ID:iqj2UdGG(2/2) AAS
主語がでかい
804: 01/13(月)02:34 ID:scTw5na7(1/2) AAS
オブジェクト指向って、コンピュータサイエンスじゃないんだよな
単に（一部の）人間にとって理解しやすくモジュール化しようってだけのことで、それで技術的に出来ることが増えるわけじゃないから
805: 01/13(月)02:37 ID:scTw5na7(2/2) AAS
構造化プログラミングや、関数プログラミングは、それ以前より高レベルの抽象化をもたらしたけど、オブジェクト指向は単に書き方の問題
科学論文で例えれば、構造化プログラミングや関数プログラミングは理論の内容に相当するが、オブジェクト指向は論文の体裁のこと
806: 01/13(月)02:40 ID:XXChvl3U(1) AAS
そして、科学論文の体裁は重要だが、オブジェクト指向はいまや重要ではない
807: 01/13(月)05:24 ID:elRKgauc(1) AAS
型
並行性
最適化
この3つだよ
今求められてんのは
808: 01/13(月)09:04 ID:PzkYuqRH(1) AAS
求めてないよ
809(2): 01/13(月)09:12 ID:J7wtrzSF(1/2) AAS
俺が大学生だった20年前はオブジェクト指向もCSの一部だったが
教授はカプセル化が一番重要だといってた
研究はされてたけど、アスペクト指向は流行らなかったなー
810: 01/13(月)09:12 ID:6+/RYvQh(1) AAS
で、出ｗｗｗｗインターネットあまのじゃく君ｗｗｗｗｗｗｗ
811: 01/13(月)09:13 ID:wtvPYUbh(1) AAS
>>809
君、勉強できなそうだね
812: 01/13(月)09:42 ID:94WYo5Du(1) AAS
>>809
たった三行でここまで頭悪そうな文章書けるのってある意味才能だな
813: 01/13(月)10:20 ID:Ymx2LteG(1/3) AAS
オブジェクト志向の次はデザインパターンだろ
814: 01/13(月)10:42 ID:LSOaiCCa(1) AAS
カプセル化も全否定されてるけど
いまだにアンダースコアの変数はモヤモヤする
815: 01/13(月)10:43 ID:P3ktA6B0(1) AAS
それも宗教
振り子が逆に振れてるだけ
816(1): 01/13(月)11:39 ID:J7wtrzSF(2/2) AAS
デザインパターン20数個のうち10数個ぐらいはただの高階関数でかけるという研究もある
817: 01/13(月)11:55 ID:Ymx2LteG(2/3) AAS
魔法はなかった
818: 01/13(月)13:02 ID:DTY38xVU(1) AAS
>>816
そして残りの10個はただのアンチパターン
819: 01/13(月)17:18 ID:Ymx2LteG(3/3) AAS
岩波講座 ソフトウェア科学 [基礎]1
計算システム入門
著者 所真理雄 著
刊行日 1988/10/06
ソフトウェアの作成は人間的な作業で，信頼性や生産性の点でいまだに手工業の域にある．こうした現状をふまえ，ソフトウェア作成の方法を示すとともに，その理論と知識を整理し，新しい学問体系として提示する
820: 01/14(火)00:54 ID:eoA7bUR4(1) AAS
なぜ高階関数を使わないのか
εδ論法はなぜεの関数を具体的に構成しないのか
こういうのを体系的に整理したら特定の勢力だけが得をして他は損するんじゃないか
だから整理しない
821: 01/14(火)08:02 ID:WvheYWow(1) AAS
Foo = Bar | Baz
822: 01/14(火)08:15 ID:BEZztBwJ(1) AAS
型⊂クロージャ
823: 01/14(火)12:10 ID:ygjj3afU(1) AAS
型なんて特別なものじゃない
0や1はInt型のオブジェクト、IntはType型のオブジェクト
824(2): 01/14(火)12:50 ID:1hGtsoWq(1) AAS
水の呼吸、壱の型
825: 01/14(火)13:27 ID:2ZQOZttA(1) AAS
>>824
咄嗟にアニメの話出せるとか
おまえすげえ最先端行ってるな
才能の塊かよ
826: 01/14(火)13:30 ID:5ok8hMJ2(1) AAS
>>824
それ知ってるわ
煉獄さんの映画のやつだろ
お前マジでおもしれーな
827(1): 01/14(火)13:58 ID:L1ZxvYgu(1) AAS
型が第一級オブジェクトなら、クロージャを使えば状態つきの型を作れるわけか
828(1): 01/14(火)14:18 ID:x8Aql6YT(1) AAS
有理数型や小数型も作れるのか？
829: 01/14(火)14:29 ID:S4iOQtDV(1/2) AAS
>>827
わざわざ型情報を実行時に変化させてどうすんだ
830: 01/14(火)14:29 ID:S4iOQtDV(2/2) AAS
>>828
お前は低レベルすぎ
831: 01/14(火)20:10 ID:6b3bLxyH(1/2) AAS
有理数型はHaskellやMathematicaにもうある
状態付きの型、考えただけで恐ろしい
上下前次1-新書関写板覧索設栞歴
あと 171 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.012s