[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
842: デフォルトの名無しさん [sage] 2025/01/15(水) 08:07:10.18 ID:ogU0rXVD >>841 君が数学で研究職に就いているのでなければ、まず間違いなく君よりは理解してるよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/842
843: デフォルトの名無しさん [sage] 2025/01/15(水) 08:10:12.30 ID:zm/Y+w4S >>839 実行時のアサーションで書けることは、型にできる http://mevius.5ch.net/test/read.cgi/tech/1710585705/843
844: デフォルトの名無しさん [sage] 2025/01/15(水) 08:19:11.22 ID:Uf2ceum5 二分探索やクイックソートのロジックが正しいことを型で証明できるか http://mevius.5ch.net/test/read.cgi/tech/1710585705/844
845: デフォルトの名無しさん [sage] 2025/01/15(水) 08:32:18.93 ID:nE+pEHV1 数学的帰納法で証明できる （長さ1の配列に対しては自明 長さ1, 2, ..., k-1に対して正しいと仮定して、長さkに対して証明する） そのような構造はF代数で定式化できる http://mevius.5ch.net/test/read.cgi/tech/1710585705/845
846: デフォルトの名無しさん [sage] 2025/01/15(水) 08:56:17.03 ID:3W/U+R8x アキュームレータを再帰的に更新していくようなのはF代数に抽象化できる http://mevius.5ch.net/test/read.cgi/tech/1710585705/846
847: デフォルトの名無しさん [sage] 2025/01/15(水) 19:07:44.03 ID:8y1isLBr オブジェクト指向はオワコン http://mevius.5ch.net/test/read.cgi/tech/1710585705/847
848: デフォルトの名無しさん [sage] 2025/01/16(木) 02:12:12.85 ID:hp6XExKo 抽象データ型、凝集度、関心の分離などの既存の概念だけで簡潔かつ正確に説明できることをわざわざバズワードに言い換えただけのクソ概念 http://mevius.5ch.net/test/read.cgi/tech/1710585705/848
849: デフォルトの名無しさん [sage] 2025/01/16(木) 03:23:35.34 ID:DBY13IoQ 形式論理とかまじで役に立たんからな http://mevius.5ch.net/test/read.cgi/tech/1710585705/849
850: デフォルトの名無しさん [sage] 2025/01/16(木) 08:27:28.13 ID:L1OHI3Vu 実は当たり前にやっていること。関数適用はmodus ponensに相当する http://mevius.5ch.net/test/read.cgi/tech/1710585705/850
851: デフォルトの名無しさん [sage] 2025/01/16(木) 18:56:00.70 ID:DBY13IoQ でも役に立たないでしょ 少しは文章読めよガイジ http://mevius.5ch.net/test/read.cgi/tech/1710585705/851
852: デフォルトの名無しさん [sage] 2025/01/16(木) 20:35:27.89 ID:FAOk1woG 型情報からあまり使ったことない関数でも使い方にあたりがつくのは便利だと思うけどお前はそうではないんだな http://mevius.5ch.net/test/read.cgi/tech/1710585705/852
853: デフォルトの名無しさん [sage] 2025/01/16(木) 20:51:11.29 ID:Wo2SWLBc 複素数型も四元数型も定義可能だし、GPUに組み込んで高速で並列演算できるようにしてやれば科学界に革命を起こせるな http://mevius.5ch.net/test/read.cgi/tech/1710585705/853
854: デフォルトの名無しさん [sage] 2025/01/16(木) 21:51:56.76 ID:zFtBKiS0 処理系がcall/ccをサポートすることは、直観主義論理に背理法を加えることに相当する http://mevius.5ch.net/test/read.cgi/tech/1710585705/854
855: デフォルトの名無しさん [sage] 2025/01/16(木) 22:19:04.03 ID:FAOk1woG 研究者の名前がなかなか思い出せなかったがGriffinだな POPL 1990 http://mevius.5ch.net/test/read.cgi/tech/1710585705/855
856: デフォルトの名無しさん [sage] 2025/01/16(木) 22:28:22.29 ID:l7++KB1R イマドキ型のない言語なんて、即席のスクリプトくらいにしか使わんでしょ http://mevius.5ch.net/test/read.cgi/tech/1710585705/856
857: デフォルトの名無しさん [sage] 2025/01/16(木) 22:31:22.46 ID:IceLMl7e 代数的データ型やパラメータ多相を使えばプログラムのかなり多くの性質をコンパイラが保証できるのに、わざわざ型検査なしで注意してコード書くとか馬鹿のすること http://mevius.5ch.net/test/read.cgi/tech/1710585705/857
858: デフォルトの名無しさん [sage] 2025/01/16(木) 22:36:34.50 ID:IceLMl7e 人類未曾有のソフトウェアを書くならともかく、巷のプログラムの9割近くのコードはただデータを整形してマッピングしてるだけ あとの一割は既存のライブラリの呼び出し 現代のプログラミング言語の型システムがあれば、IDEの入力補完に従ってるだけでバグの無いコードが書ける 画面にらみつけてロジック確認なんかしてんのはただのアホ http://mevius.5ch.net/test/read.cgi/tech/1710585705/858
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 144 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.019s