Coq - Wikipedia
Coq or COQ may refer to: coq, ISO 639-3 code for Coquille, a dialect of the Tututni language Coq (software), an interactive theorem prover CoQ, common term for Coenzyme Q10, a naturally occurring biochemical cofactor and antioxidant produced by the human body CoQ, abbreviation for Caves of Qud, a role-playing video game released in 2015 CoQ, abbreviation for cost of quality The Coq, colloquial ter
ドナルド・クヌース - Wikipedia
ドナルド・アーヴィン・クヌース[1]（Donald Ervin Knuth [kəˈnuːθ][2], 1938年1月10日 -）は、数学者・計算機科学者。スタンフォード大学名誉教授[3]。 クヌースによるアルゴリズムに関する著作 The Art of Computer Programming のシリーズはプログラミングに携わるものの間では有名である[4]。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。その過程で漸近記法で計算量を表すことを一般化させた。 計算機科学への貢献とは別に、コンピュータによる組版システム TeX とフォント設計システム METAFONT の開発者でもあり、Computer Modern という書体ファミリも開発した。 作家であり学者であるクヌースは[5]、文芸的プログラミングのコンセプトを生み出し、そのためのプログラミングシステム
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
