コンパイラ最適化技術：SSA（静的単一代入）とは
Tags
11 ページ目
Computer-Science
CAP定理とPACELC定理：分散データベースが抱えるジレンマ
正規表現エンジンと有限オートマトン
動的計画法（DP）とベルマン方程式
バーバラ・リスコフ：抽象データ型と分散システムを築いた計算機科学者
レスリー・ランポート：分散システムに「時間」と「合意」を与えた人物
Xerox PARC：未来のコンピュータを発明しながら市場を逃した研究所
アラン・チューリング：AIの父と悲劇の最期
エイダ・ラブレス：コンピュータの未来を予見した「世界初のプログラマー」の全貌
悪魔の頭脳：ジョン・フォン・ノイマンが創り出した現代社会の基礎
日本のIT教育の現状と課題：プログラミング必修化のその後
