みろ - パソコン・システム開発 1

α世代につながるビジネス戦略を徹底解説 各分野の第一人者と聞き手が対話形式で業界事情をわかりやすく解説する、『先読み！』シリーズの最新刊は「Roblox（ロブロックス）」がテーマです。全世界で毎日1億人近いユーザーが集まるこのプラットフォームに、日本でも講談社やカルビーをはじめ多様な企業が相次いで参入して……続きを見る

プログラミング言語の（形式的）意味論とは、プログラムの動作を数学によって厳密に定義し、その性質について議論するための枠組みのことである。プログラムを数学の俎上に載せることにより、プログラムやプログラミング言語を厳密に理解し、解析し、これらについて推論することができるようになる。この分野は近年実用化……続きを見る

本書はプログラム意味論を初めて学ぶ学生のための入門書である．本書で扱う意味論はプログラムに対して数学的な意味を与えることにより，プログラムの動作についての厳密な議論を可能にする．適宜演習問題を配置するなどわかりやすく工夫された教科・参考書． 数学の予備知識／プログラミング言語の構文／操作的意味論／……続きを見る

「文法として曖昧さがない」「正規表現や文脈自由文法よりも強力」などの理由で注目を浴びる構文解析技術「解析表現文法（parsing expression grammar, PEG）」の初の入門書。 《本書の特長》 ●Pythonで動く著者提供のツール「PegTree」でパーザを生成しながら解説。理論の詳細に惑わされず、実装上のポイントが効率よく……続きを見る