|
|
2件中 1件 - 2件
1
商品 | 説明 | 価格 |
意味連合検査 Semantic Association Test 意味の神経心理学: その理論的背景と臨床研究の重要性 / 佐藤ひとみ 【本】
HMV&BOOKS online 1号店
|
出荷目安の詳細はこちら内容詳細目次 : 1 検査の目的と特徴/ 2 本検査の課題構成と刺激語/ 3 本検査の実施方法と採点/評価方法/ 4 本検査の作成過程/ 5 本検査の妥当性と信頼性/ 6 本検査の脳損傷患者への適用/ 7 本検査の普及版
|
2,750円
|
プログラミング言語の形式的意味論入門 / 原タイトル:THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES AN INTRODUCTION[本/雑誌] / G.ウィンスケル/著 末永幸平/監訳 勝股審也/〔ほか〕訳
ネオウィング 楽天市場店
|
ご注文前に必ずご確認ください<商品説明>本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。<収録内容>集合論の基礎入門:操作的意味論帰納法の原理帰納的な定義IMPの表示的意味論IMPの公理的意味論ホーア規則の完全性領域理論入門再帰方程式再帰の技法高階型を持つ言語情報システム付録A 不完全性と決定不能性<商品詳細>商品番号:NEOBK-2823929G. Oui N Su Keru / Cho Suenaga Kohei / Kanyaku Katsumata Shinya / [Hoka] Yaku / Programming Gengo No Keishiki Teki Imi Ron Nyumon / Original Title: the FORMAL SEMANTICS of PROGRAMMING LANGUAGES an INTRODUCTIONメディア:本/雑誌重量:500g発売日:2023/01JAN:9784621307632プログラミング言語の形式的意味論入門 / 原タイトル:THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES AN INTRODUCTION[本/雑誌] / G.ウィンスケル/著 末永幸平/監訳 勝股審也/〔ほか〕訳2023/01発売
|
4,950円
|
|
|