C言語のコンパイラ作ってたら、計算とは何かという深遠な問に興味を持つようになった

[0001 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:42:15.732 ID:ksLiCsQfr]

良いことだね

[0002 会社の女のマンコ舐めたい 2024/01/27(土) 03:43:19.637 ID:R3DtXj9P0]

ALUの分岐を制御すること

[0003 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:47:43.773 ID:K46qUQZT0]

代数学でだいたい理解できる

[0004 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:48:04.002 ID:ksLiCsQfr]

>>2
CPUとはなぜメモリから命令を呼び出してメモリに書き込むのかとか
その際にスタックを使うのは何故かとか
そのへんに興味がある

[0005 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:48:30.398 ID:ksLiCsQfr]

>>3
そーかなぁ

[0006 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:49:37.437 ID:ksLiCsQfr]

代数って演算の体系だよね？
計算とはちょっとずれる気がする

[0007 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:50:05.249 ID:K46qUQZT0]

>>4
計算とはなにか
というより
パソコンの仕組みの話じゃん
そんなのはチューリングマシンから調べてこいよ

[0008 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:50:35.759 ID:bPZU1aWw0]

0と1なんだろ？なんで数えれるんだよ

[0009 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:52:27.709 ID:ksLiCsQfr]

>>7
計算する機械のモデルとしてチューリングマシンが考えられたわけだし、広い意味でチューリングマシンについて考えることは計算とは何かを考えることと同じじゃん
もっと言えばを俺が気になってるのはチューリングマシンと、現代のCPUの間にはギャップがあるが気になってる

[0010 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:54:35.287 ID:Sb6cy0nWC]

宇宙工学と計算機科学はどっちの方が難しいのでしょうか？

[0011 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:56:17.353 ID:ksLiCsQfr]

俺の理解では1930年代にラムダ計算とチューリングマシンが大体同時に研究されてたんだと思う
その先でノイマン型のコンピュータが採用されて、1960年代にいくつもCPUアーキテクチャが生まれたけど、結局今のモデルが採用されたと理解してる
この過程がおもろいなぁとか思ってる

[0012 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 03:58:41.451 ID:ksLiCsQfr]

じゃあ、ラムダ計算ってCPUにできなかったの？とか、
ノイマン型のコンピュータから現代のCPUの間であった様々な提案はどこに消えたの？とか
結局なんでスタックは残ったの？計算の本質の一部にスタック構造があるの？とか

この辺が気になる

[0013 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:00:25.908 ID:ksLiCsQfr]

そもそも1920年ぐらいまでの数学の基礎固めとしての論理学の研究から、計算機のモデルって作られたと思ってて、この辺の論理学の研究も気になるよね

[0014 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:02:15.934 ID:ksLiCsQfr]

あと、スタックも気になってる
なんでスタックなの？とか

再帰的な構造を処理するのに都合がいいのはよく分かるんだけど、では計算とは再帰的な構造を多く含むの？だからこそCPUにはスタックがついてるの？とか気になる

[0015 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:03:45.481 ID:ksLiCsQfr]

構造化プログラミング言語が最適な構造をしてるから、スタックが必要なのだとしたら、プログラミング言語はなぜ再帰的なのか？とか
それってチョムスキーの言語学まで立ち返って、人間の認知というものが再帰的な構造を理解しやすいからなのかとか、言語学にも興味が出てくる

[0016 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:04:46.903 ID:ksLiCsQfr]

20世紀の研究のあらゆる分野に興味が出てくる

[0017 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:04:49.953 ID:aZuesixO0]

何でも再帰関数で作ろうとする馬鹿がいるけど
すぐにスタック領域枯渇するからコンパイラが最適化でループに変換してあげるんだよな

[0018 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:07:03.991 ID:ksLiCsQfr]

>>17
再帰関数の最適化とかはまあそれはそれでいいんだけど、そもそもなんでスタックなの？とかそのへんに興味がある
スタックというデータ構造は本当に計算に都合がいい
四則演算から関数呼び出しとかいろんなことがスタックと、数個のレジスタで出来る
これはほんとにすごいこと

[0019 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:07:32.122 ID:ksLiCsQfr]

人間の脳にもスタックがあるのか？

[0020 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:09:36.081 ID:ksLiCsQfr]

本当に計算って何なんだろう

[0021 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:10:54.834 ID:LLikZ0Br0]

こんな事って大学院でやるの？

[0022 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:11:50.365 ID:ksLiCsQfr]

あとはlisp系の言語も気になる
あとは原始再帰関数とかそのへんも気になる

[0023 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:12:14.196 ID:ksLiCsQfr]

>>21
しらん
俺の専門は物理だったんで

[0024 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:13:18.698 ID:LLikZ0Br0]

そのCコンパイラはCで作ってるんですか？

[0025 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:13:30.051 ID:ksLiCsQfr]

興味深いのは原始再帰関数の計算ってMap Reduce的なものとして、現代も使われてるんだよね
それがおもろいよなぁ

[0026 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:13:45.707 ID:ksLiCsQfr]

>>24
そーだよ

[0027 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 04:15:57.923 ID:ksLiCsQfr]

20世紀初期の数学で基礎をやってたときって実数とは何かとか考えてたわけだよね？
そっからコンピュータがうまれたのとか面白すぎだろ
俺も実数勉強してコンピュータ作りたい

[0028 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 05:13:09.154 ID:wlymLVqn0]

こういう事を考えられる人になりたかったわ
中学数学で心が折れた勢なんで…

[0029 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 05:23:09.220 ID:kRNCusNO0]

計算機の歴史 ―パスカルからノイマンまで―
ENIAC―現代計算技術のフロンティア―
ウィルクス自伝
コンピュータに記憶を与えた男:ジョン・アタナソフの闘争とコンピュータ開発史

現代のコンピュータアーキテクチャの歴史的な経緯はこの辺り読めば大体書いてある

[0030 以下、5ちゃんねるからVIPがお送りします 2024/01/27(土) 05:50:15.680 ID:BSwBwYQY0]

名大准教授の計算可能性の経緯解説
https://youtu.be/W5ulJPzHfoA?si=nnZ1zHWKl4iAMXGu