「General-purpose programming language」を解説文に含む見出し語の検索結果(1~10/41件中)
汎用プログラミング言語(はんようプログラミングげんご、英語: General-purpose programming language, G-P language)とは、特定の用途に特化しない...
別表記:パイソン「python」の意味・「python」とは「python」は、一般的に二つの意味を持つ言葉である。一つ目は、大型のヘビであるニシキヘビの一種を指す。二つ目は、より広く知られている意味...
別表記:パイソン「python」の意味・「python」とは「python」は、一般的に二つの意味を持つ言葉である。一つ目は、大型のヘビであるニシキヘビの一種を指す。二つ目は、より広く知られている意味...
NIL登場時期1979年 (46年前) (1979)設計者Jon L White, Glenn S. Burke最終リリース0.286/ 1984年1月 (41年前)...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
コンピュータ略語一覧(コンピュータりゃくごいちらん)は、コンピュータの略語を一覧にしたものである。「情報・通信・コンピュータ一覧の一覧」および「コンピュータ用語一覧」も参照目次A B C D E F ...
< 前の結果 | 次の結果 >