[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
812: デフォルトの名無しさん [sage] 2025/01/13(月) 09:42:56.67 ID:94WYo5Du >>809 たった三行でここまで頭悪そうな文章書けるのってある意味才能だな http://mevius.5ch.net/test/read.cgi/tech/1710585705/812
813: デフォルトの名無しさん [sage] 2025/01/13(月) 10:20:57.19 ID:Ymx2LteG オブジェクト志向の次はデザインパターンだろ http://mevius.5ch.net/test/read.cgi/tech/1710585705/813
814: デフォルトの名無しさん [sage] 2025/01/13(月) 10:42:06.79 ID:LSOaiCCa カプセル化も全否定されてるけど いまだにアンダースコアの変数はモヤモヤする http://mevius.5ch.net/test/read.cgi/tech/1710585705/814
815: デフォルトの名無しさん [sage] 2025/01/13(月) 10:43:00.59 ID:P3ktA6B0 それも宗教 振り子が逆に振れてるだけ http://mevius.5ch.net/test/read.cgi/tech/1710585705/815
816: デフォルトの名無しさん [sage] 2025/01/13(月) 11:39:54.56 ID:J7wtrzSF デザインパターン20数個のうち10数個ぐらいはただの高階関数でかけるという研究もある http://mevius.5ch.net/test/read.cgi/tech/1710585705/816
817: デフォルトの名無しさん [sage] 2025/01/13(月) 11:55:37.97 ID:Ymx2LteG 魔法はなかった http://mevius.5ch.net/test/read.cgi/tech/1710585705/817
818: デフォルトの名無しさん [sage] 2025/01/13(月) 13:02:05.46 ID:DTY38xVU >>816 そして残りの10個はただのアンチパターン http://mevius.5ch.net/test/read.cgi/tech/1710585705/818
819: デフォルトの名無しさん [sage] 2025/01/13(月) 17:18:23.47 ID:Ymx2LteG 岩波講座 ソフトウェア科学 [基礎]1 計算システム入門 著者 所真理雄 著 刊行日 1988/10/06 ソフトウェアの作成は人間的な作業で，信頼性や生産性の点でいまだに手工業の域にある．こうした現状をふまえ，ソフトウェア作成の方法を示すとともに，その理論と知識を整理し，新しい学問体系として提示する http://mevius.5ch.net/test/read.cgi/tech/1710585705/819
820: デフォルトの名無しさん [sage] 2025/01/14(火) 00:54:16.56 ID:eoA7bUR4 なぜ高階関数を使わないのか εδ論法はなぜεの関数を具体的に構成しないのか こういうのを体系的に整理したら特定の勢力だけが得をして他は損するんじゃないか だから整理しない http://mevius.5ch.net/test/read.cgi/tech/1710585705/820
821: デフォルトの名無しさん [sage] 2025/01/14(火) 08:02:07.96 ID:WvheYWow Foo = Bar | Baz http://mevius.5ch.net/test/read.cgi/tech/1710585705/821
822: デフォルトの名無しさん [sage] 2025/01/14(火) 08:15:31.11 ID:BEZztBwJ 型⊂クロージャ http://mevius.5ch.net/test/read.cgi/tech/1710585705/822
823: デフォルトの名無しさん [sage] 2025/01/14(火) 12:10:31.19 ID:ygjj3afU 型なんて特別なものじゃない 0や1はInt型のオブジェクト、IntはType型のオブジェクト http://mevius.5ch.net/test/read.cgi/tech/1710585705/823
824: デフォルトの名無しさん [] 2025/01/14(火) 12:50:51.03 ID:1hGtsoWq 水の呼吸、壱の型 http://mevius.5ch.net/test/read.cgi/tech/1710585705/824
825: デフォルトの名無しさん [sage] 2025/01/14(火) 13:27:13.44 ID:2ZQOZttA >>824 咄嗟にアニメの話出せるとか おまえすげえ最先端行ってるな 才能の塊かよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/825
826: デフォルトの名無しさん [sage] 2025/01/14(火) 13:30:47.33 ID:5ok8hMJ2 >>824 それ知ってるわ 煉獄さんの映画のやつだろ お前マジでおもしれーな http://mevius.5ch.net/test/read.cgi/tech/1710585705/826
827: デフォルトの名無しさん [sage] 2025/01/14(火) 13:58:17.70 ID:L1ZxvYgu 型が第一級オブジェクトなら、クロージャを使えば状態つきの型を作れるわけか http://mevius.5ch.net/test/read.cgi/tech/1710585705/827
828: デフォルトの名無しさん [sage] 2025/01/14(火) 14:18:33.81 ID:x8Aql6YT 有理数型や小数型も作れるのか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/828
829: デフォルトの名無しさん [sage] 2025/01/14(火) 14:29:34.08 ID:S4iOQtDV >>827 わざわざ型情報を実行時に変化させてどうすんだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/829
830: デフォルトの名無しさん [sage] 2025/01/14(火) 14:29:54.43 ID:S4iOQtDV >>828 お前は低レベルすぎ http://mevius.5ch.net/test/read.cgi/tech/1710585705/830
831: デフォルトの名無しさん [sage] 2025/01/14(火) 20:10:44.55 ID:6b3bLxyH 有理数型はHaskellやMathematicaにもうある 状態付きの型、考えただけで恐ろしい http://mevius.5ch.net/test/read.cgi/tech/1710585705/831
832: デフォルトの名無しさん [sage] 2025/01/14(火) 20:32:44.91 ID:A8xCzIhU そうやって進化していくものよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/832
833: デフォルトの名無しさん [sage] 2025/01/14(火) 21:00:24.45 ID:6b3bLxyH 状態付きの計算を行う手順を持った型なら純粋だから許せるけど 状態付きの型なんていらないよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/833
834: デフォルトの名無しさん [sage] 2025/01/14(火) 21:07:31.89 ID:KUHcAlDi 君に要るかどうかは関係ない http://mevius.5ch.net/test/read.cgi/tech/1710585705/834
835: デフォルトの名無しさん [sage] 2025/01/15(水) 00:39:06.33 ID:v8xz0BVe `f1 = Foo 1`なら、f1の型は`Foo 1` 基本的にはこれでいい `Foo 1`は `{n: Nat} Foo n`のサブタイプ `f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`に変換する規則が存在するとき 型検査はそれをコンパイラがチェックすればいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/835
836: デフォルトの名無しさん [sage] 2025/01/15(水) 00:39:55.88 ID:v8xz0BVe `f1 = Foo 1`なら、`f1`の型は`Foo 1` 基本的にはこれでいい `Foo 1`は `{n: Nat} Foo n`のサブタイプ `f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`を`t`に変換する規則が存在するとき 型検査はそれをコンパイラがチェックすればいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/836
837: デフォルトの名無しさん [sage] 2025/01/15(水) 00:45:33.23 ID:2eRf9tIs ユーザー定義関数から値返せないじゃん http://mevius.5ch.net/test/read.cgi/tech/1710585705/837
838: デフォルトの名無しさん [sage] 2025/01/15(水) 00:50:21.44 ID:LknHRWOL 型は実体ではなく注釈か http://mevius.5ch.net/test/read.cgi/tech/1710585705/838
839: デフォルトの名無しさん [sage] 2025/01/15(水) 01:13:53.96 ID:xsuF+zK/ 型っつっても所詮は構造体に名前がついただけ 計算の過程や性質に型付けをしたいんだ 「関数fを抜けたタイミングで、ポインタpは必ず指定の条件をみたす場所を指していなければならない」 こういうのを型で保証したいんだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/839
840: デフォルトの名無しさん [sage] 2025/01/15(水) 01:33:23.91 ID:Yf+/cXFX ぬるぽは実行前に排除する http://mevius.5ch.net/test/read.cgi/tech/1710585705/840
841: デフォルトの名無しさん [sage] 2025/01/15(水) 06:39:48.90 ID:xj5qHVfP >>839 理解浅すぎ 数学勉強してないでしょ http://mevius.5ch.net/test/read.cgi/tech/1710585705/841
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 161 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s