タグ

計算機科学

7 件の記事

ภาพประกอบบทความ

遺伝的アルゴリズム（GA）の仕組みと最適化への応用

遺伝的アルゴリズムGA最適化問題進化計算
続きを読む →
The ancient symbol Ouroboros, a dragon that continually consumes itself, denotes self-reference.[1]

自己言及のメカニズム論理学から芸術まで広がる再帰的な世界

自己言及再帰ゲーデルの不完全性定理パラドックス
続きを読む →
A computer lab contains a wide range of information technology elements, including hardware, software and storage systems.

情報技術（IT）の歴史と進化計算機の原点から現代のデータ社会まで

情報技術IT歴史コンピュータ進化データストレージ
続きを読む →
📖

Full BASICの歴史と仕様標準化への挑戦と挫折の記録

Full BASICANSI X3.113ECMA-116プログラミング言語
続きを読む →
Timeline of some early Prolog systems, up to the ISO Standard

Prolog論理プログラミングの先駆的言語とその進化

Prolog論理プログラミングISO Prologホーン節
続きを読む →
An example of a formal specification (in Spanish) using the Z notation, with named schema boxes, including declarations and predicates

Z表記法計算機システムの厳密な仕様記述を実現する形式言語

Z表記法形式仕様形式手法集合論
続きを読む →
Quotient (q) and remainder (r) as functions of dividend (a), using truncated division

剰余演算（モジュロ）の仕組みとプログラミングにおける定義の違い

剰余演算モジュロmodプログラミング
続きを読む →