[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
682(3): 2020/10/25(日)09:59 ID:5A2Fdkdl(1/4) AAS
>>677-679
関数型プログラミング言語の原型が、
電子計算機より先にできていた件
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
Unlambda
外部ﾘﾝｸ:ja.wikipedia.org
Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、
省27
683(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/25(日)11:54 ID:eIdDsFH8(2/8) AAS
>>682
実物が出来る前に、概念が先行しているってことかも
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
チューリングマシン (英: Turing machine) は、アラン・チューリングが「計算可能性」に関する議論のために提示した抽象機械である。
歴史
チューリングの「計算可能数について──決定問題への応用」（1936年）において提示された。同様なものを同年にエミール・ポスト (Emil Post) も独立に発表している。構想の理由、動機についてはポストの論文が明確だが、機械自体に関する記述はチューリングの論文が詳細である。次いで、同時代に提示された他の計算モデルも計算可能性の理論からは同等であることが確認され、チューリング＝チャーチのテーゼはそれらを「計算可能」の定義とすることを提唱した。
省10
684(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/25(日)11:55 ID:eIdDsFH8(3/8) AAS
>>682
>先生、これであってますよね？
レスありがとう
先生じゃないが、かなり同意（>>683）
685(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/25(日)12:28 ID:eIdDsFH8(4/8) AAS
>>682
全くスレチだが、ライト兄弟や、世界最初のCPUチップ Intel 4004を思い出した
最初は、どちらも 今から思うと”おもちゃ”だったよね（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
ライト兄弟（ライトきょうだい、英: Wright Brothers）は、アメリカ出身の動力飛行機の発明者[注 1]で世界初の飛行機パイロット。世界最先端のグライダーパイロットでもある。自転車屋[注 2]をしながら兄弟で研究を続け、1903年に世界初の有人動力飛行に成功した。
外部ﾘﾝｸ:ja.wikipedia.org
Intel
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s