[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
679(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/24(土)12:50 ID:i6I9Q5ne(6/6) AAS
>>678 補足
>HALはIBMを1文字ずつ前にずらして命名されたとする説（H←I、A←B、L←M／IBMより一歩先行くコンピュータを意味させている）が根強い
この説が一番有名だね（＾＾；
682(3): 2020/10/25(日)09:59 ID:5A2Fdkdl(1/4) AAS
>>677-679
関数型プログラミング言語の原型が、
電子計算機より先にできていた件
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
Unlambda
外部ﾘﾝｸ:ja.wikipedia.org
Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、
省27
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.077s