検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

プログラミング言語の意味論入門　

著者名 M.ヘネシー／著
著者名ヨミ M ヘネシー
出版者 サイエンス社
出版年月 1993.12

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 西部図書館一般書庫0076/1554/1101269345一般在庫 可 ○

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000000920014
書誌種別 図書
書名 プログラミング言語の意味論入門　
書名ヨミ プログラミング ゲンゴ ノ イミロン ニュウモン
叢書名 Information & computing
叢書番号 76
言語区分 日本語
著者名 M.ヘネシー／著 　 荒木 啓二郎／共訳 　 程 京徳／共訳
著者名ヨミ M ヘネシー　アラキ ケイジロウ　テイ ケイトク
著者名原綴 Hennessy Matthew
出版地 東京
出版者 サイエンス社
出版年月 1993.12
本体価格 ￥２４００
ISBN 4-7819-0716-4
数量 184p
大きさ 21cm
分類記号 007.64
件名 プログラミング(コンピュータ)
注記 原タイトル:The semantics of programming languages
内容紹介 プログラム言語の形式的意味論に関する日本語の適当な入門書がないので訳出したもの。読み通せばいつの間にかかなり多様な言語に対する操作意味論の基礎をいくつかの異なる抽象化のレベルで修得している。



内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2025
【刑法の「通説」】 刑法の「通説」
仲道 祐樹／編,… 【就業規則の法律実務】 就業規則の法律実務
石嵜 信憲／編著… 【カレーライスとまねきねこ】 カレーライスとまねきねこ
苅田 澄子／ぶん… 【じゃがいものんたのわすれんぼう】 じゃがいものんたのわすれんぼう
つるた ようこ／… 【るるぶ千葉房総'26】 るるぶ千葉房総'26
 【ふじさんおはよう】 ふじさんおはよう
福知 伸夫／作 【点字毎日　２０…２０２５年４月８日号】 点字毎日　２０…２０２５年４月８日号
 【でんしゃをはこぶ】 でんしゃをはこぶ
鈴木 周作／さく 【じょせつしゃ】 じょせつしゃ
みねむら かつこ… 【点字毎日　２…２０２５年６月１７日号】 点字毎日　２…２０２５年６月１７日号
 【点字毎日　２…２０２５年６月１０日号】 点字毎日　２…２０２５年６月１０日号
 【点字毎日　２０…２０２５年６月３日号】 点字毎日　２０…２０２５年６月３日号
 【点字毎日　２…２０２５年５月２７日号】 点字毎日　２…２０２５年５月２７日号
 【点字毎日　２…２０２５年５月２０日号】 点字毎日　２…２０２５年５月２０日号
 【月刊高校教育　２０２５年６月号／事…】 月刊高校教育　２０２５年６月号／事…
 【点字毎日　２…２０２５年５月１３日号】 点字毎日　２…２０２５年５月１３日号
 【点字毎日　２０２５年４月２９日・５…】 点字毎日　２０２５年４月２９日・５…
 【点字毎日　２…２０２５年４月１５日号】 点字毎日　２…２０２５年４月１５日号
 【点字毎日　２０…２０２５年４月１日号】 点字毎日　２０…２０２５年４月１日号
 【点字毎日　２…２０２５年４月２２日号】 点字毎日　２…２０２５年４月２２日号
 【点字毎日　２…２０２５年３月２５日号】 点字毎日　２…２０２５年３月２５日号
 【点字毎日　２…２０２５年３月１８日号】 点字毎日　２…２０２５年３月１８日号
 【点字毎日　２…２０２５年３月１１日号】 点字毎日　２…２０２５年３月１１日号
 【点字毎日　２０…２０２５年３月４日号】 点字毎日　２０…２０２５年３月４日号
 【点字毎日　２…２０２５年２月２５日号】 点字毎日　２…２０２５年２月２５日号
 【点字毎日　２…２０２５年２月１８日号】 点字毎日　２…２０２５年２月１８日号
 【点字毎日　２…２０２５年２月１１日号】 点字毎日　２…２０２５年２月１１日号
 【点字毎日　２０…２０２５年２月４日号】 点字毎日　２０…２０２５年２月４日号
 【点字毎日　２…２０２５年１月２８日号】 点字毎日　２…２０２５年１月２８日号
 【点字毎日　２…２０２５年１月２１日号】 点字毎日　２…２０２５年１月２１日号
 【点字毎日　２…２０２５年１月１４日号】 点字毎日　２…２０２５年１月１４日号
 【点字毎日　２０２４年１２月３１日・…】 点字毎日　２０２４年１２月３１日・…
 【カタツムリにげた】 カタツムリにげた
三輪 一雄／作 【マヨネーズのひみつ】 マヨネーズのひみつ
深草 あざみ／ま… 【「狼」と「さそり」そして「大地の牙…】 「狼」と「さそり」そして「大地の牙…
高 祐二／著 【AI白書2025】 AI白書2025
 【継体大王と地方豪族　：　古墳から探…】 継体大王と地方豪族　：　古墳から探…
若狭 徹／編,埼… 【習近平研究　：　支配体制と指導者の…】 習近平研究　：　支配体制と指導者の…
鈴木 隆／著 【ユダヤ人の歴史　：　古代の興亡から…】 ユダヤ人の歴史　：　古代の興亡から…
鶴見 太郎／著 【ご近所のキケン動植物図鑑　：　これ…】 ご近所のキケン動植物図鑑　：　これ…
谷本 雄治／著,…
930.278　930.278
【人生と夢と】 人生と夢と
メアリー・コラム… 【ヨシコ・ウチダの強制収容体験とアメ…】 ヨシコ・ウチダの強制収容体験とアメ…
小松 恭代／著 【ラヴクラフト語辞典　：　H・P・ラ…】 ラヴクラフト語辞典　：　H・P・ラ…
森瀬 繚／文,梶… 【エリザベス・ボウエン鑑賞事典】 エリザベス・ボウエン鑑賞事典
木村 正俊／編著… 【チャンドラー講義】 チャンドラー講義
諏訪部 浩一／著 【パトリシア・ハイスミスの華麗なる人…】 パトリシア・ハイスミスの華麗なる人…
アンドリュー・ウ… 【評伝ジョウゼフ・コンラッド　：　女…】 評伝ジョウゼフ・コンラッド　：　女…
ロバート・ハンプ… 【アナイス・ニン文学への視点　：　小…】 アナイス・ニン文学への視点　：　小…
山本 豊子／編,… 【P・K・ディックの迷宮世界　：　世…】 P・K・ディックの迷宮世界　：　世…
小野 俊太郎／著 【エリザベス・ボウエンの短篇を読む】 エリザベス・ボウエンの短篇を読む
エリザベス・ボウ… 【ホーム・ウォーター　：　リバー・ラ…】 ホーム・ウォーター　：　リバー・ラ…
ジョン・マクリー… 【エリザベス・ボウエン作家の生涯】 エリザベス・ボウエン作家の生涯
パトリシア・ロレ… 【ホワイト・ガーデン誕生　：　ヴィタ…】 ホワイト・ガーデン誕生　：　ヴィタ…
菊池 眞理／著 【ジョウゼフ・コンラッド比較文学と映…】 ジョウゼフ・コンラッド比較文学と映…
松村 敏彦／著 【カズオ・イシグロ、沈黙の文学】 カズオ・イシグロ、沈黙の文学
原 英一／著 【カズオ・イシグロを求めて】 カズオ・イシグロを求めて
武富 利亜／編著… 【アーシュラ・K・ルグィン　：　新た…】 アーシュラ・K・ルグィン　：　新た…
佐々木 真理／著… 【ヘミングウェイの五感】 ヘミングウェイの五感
戸田 慧／著 【詐欺師×スパイ×ジェントルマン　：…】 詐欺師×スパイ×ジェントルマン　：…
鱸 一成／著 【スティーヴン・キング大全】 スティーヴン・キング大全
ベヴ・ヴィンセン… 【秘密の花園の向こうへ　：　フランシ…】 秘密の花園の向こうへ　：　フランシ…
アン・スウェイト… 【クリスティを読む!　：　ミステリの…】 クリスティを読む!　：　ミステリの…
大矢 博子／著 【アガサ・クリスティー　：　とらえど…】 アガサ・クリスティー　：　とらえど…
ルーシー・ワース… 【アーサー・マッケン自伝】 アーサー・マッケン自伝
アーサー・マッケ… 【フォークナーの晩年様式　：　その展…】 フォークナーの晩年様式　：　その展…
山本 裕子／著 【グロテスクな欲望　：　トニ・モリス…】 グロテスクな欲望　：　トニ・モリス…
吉田 希依／著 【アナイス・ニンの魂と肉体の実験室　…】 アナイス・ニンの魂と肉体の実験室　…
矢口 裕子／著 【ジョン・バンヴィルの本棚　：　伝統…】 ジョン・バンヴィルの本棚　：　伝統…
加藤 洋介／著 【スーザン・ソンタグ　：　「脆さ」に…】 スーザン・ソンタグ　：　「脆さ」に…
波戸岡 景太／著 【壊れゆく世界の哲学　：　フィリップ…】 壊れゆく世界の哲学　：　フィリップ…
ダヴィッド・ラプ… 【フォークナー語りの力　：　その創造…】 フォークナー語りの力　：　その創造…
梅垣 昌子／著 【ソール・ベローと修復の思想　：　生…】 ソール・ベローと修復の思想　：　生…
佐川 和茂／著 【私説ドナルド・キーン】 私説ドナルド・キーン
角地 幸男／著 【J・R・R・トールキン　：　自筆画…】 J・R・R・トールキン　：　自筆画…
キャサリン・マキ… 【森の赤鬼　：　C.W.ニコルの軌跡】 森の赤鬼　：　C.W.ニコルの軌跡
北沢 彰利／著 【パール・バックと日本　：　日本人が…】 パール・バックと日本　：　日本人が…
佐川 陽子／著 【J・M・クッツェー　：　世界と「私…】 J・M・クッツェー　：　世界と「私…
田尻 芳樹／著 【フォークナーのインターテクスチュア…】 フォークナーのインターテクスチュア…
田中 敬子／著 【ルーシー・ボストン　：　館の魔法に…】 ルーシー・ボストン　：　館の魔法に…
田中 美保子／編… 【ジョウゼフ・コンラッド比較文学研究…】 ジョウゼフ・コンラッド比較文学研究…
松村 敏彦／著
Dreiser Theodore　女性(文学上)
【お砂糖とスパイスと爆発的な何か　：…】 お砂糖とスパイスと爆発的な何か　：…
北村 紗衣／著 【アメリカ文学にみる女性冒険者たち】 アメリカ文学にみる女性冒険者たち
野口 啓子／監修… 【見立てと女語りの日本近代文学　：　…】 見立てと女語りの日本近代文学　：　…
齋藤 樹里／[著… 【忘れられた古典を翻訳する　：　セオ…】 忘れられた古典を翻訳する　：　セオ…
村山 淳彦／著 【文学をひらく鍵　：　ジェンダーから…】 文学をひらく鍵　：　ジェンダーから…
二宮 智之／編,… 【現代女性文学論】 現代女性文学論
新・フェミニズム… 【女霊の江戸怪談史　：　大衆化する幽…】 女霊の江戸怪談史　：　大衆化する幽…
堤 邦彦／著 【クァーキーな女たちの伝統　：　米文…】 クァーキーな女たちの伝統　：　米文…
小林 富久子／著 【源氏物語女性たちの愛と哀】 源氏物語女性たちの愛と哀
原 槇子／著 【娘が母を殺すには?】 娘が母を殺すには?
三宅 香帆／著 【翔ぶ女たち】 翔ぶ女たち
小川 公代／著 【遠藤周作女性を描く】 遠藤周作女性を描く
笛木 美佳／著 【シンデレラはどこへ行ったのか　：　…】 シンデレラはどこへ行ったのか　：　…
廣野 由美子／著 【おとめ座の荷風】 おとめ座の荷風
持田 叙子／著 【世界文学をケアで読み解く】 世界文学をケアで読み解く
小川 公代／著 【女のかたち・歌のかたち】 女のかたち・歌のかたち
阿木津 英／著 【ジェンダー×小説ガイドブック　：　…】 ジェンダー×小説ガイドブック　：　…
飯田 祐子／編,… 【ショップ・ガールと英国の劇場文化　…】 ショップ・ガールと英国の劇場文化　…
大谷 伴子／著 【妾と愛人のフェミニズム　：　近・現…】 妾と愛人のフェミニズム　：　近・現…
石島 亜由美／著 【東アジアの都市とジェンダー　：　過…】 東アジアの都市とジェンダー　：　過…
小林 ふみ子／編… 【サロメ　：　詩と散文のはざまに-ボ…】 サロメ　：　詩と散文のはざまに-ボ…
ベルトラン・マル… 【テロルの女たち　：　日本近代文学に…】 テロルの女たち　：　日本近代文学に…
倉田 容子／著 【ケアする惑星】 ケアする惑星
小川 公代／著 【フロベールと<ジェンダー>　：　ク…】 フロベールと<ジェンダー>　：　ク…
ジャンヌ・ベム／… 【プロレタリア文学とジェンダー　：　…】 プロレタリア文学とジェンダー　：　…
飯田 祐子／編著… 【ドライサーを読み返せ　：　甦るアメ…】 ドライサーを読み返せ　：　甦るアメ…
村山 淳彦／著 【川端康成と女たち】 川端康成と女たち
小谷野 敦／著 【女性死刑囚の物語　：　明治の毒婦小…】 女性死刑囚の物語　：　明治の毒婦小…
板垣 俊一／著 【性差(ジェンダー)事変　：　平成の…】 性差(ジェンダー)事変　：　平成の…
小谷 真理／著 【台湾女性文学の黎明　：　描かれる対…】 台湾女性文学の黎明　：　描かれる対…
豊田 周子／著 【女の子の謎を解く】 女の子の謎を解く
三宅 香帆／著 【少女中国　：　書かれた女学生と書く…】 少女中国　：　書かれた女学生と書く…
濱田 麻矢／著 【もの狂いの人々　：　古典文学に見る…】 もの狂いの人々　：　古典文学に見る…
小林 とし子／著 【挑発する少女小説】 挑発する少女小説
斎藤 美奈子／著 【結婚の結節点　：　現代女性文学と中…】 結婚の結節点　：　現代女性文学と中…
泉谷 瞬／著 【コンラッドの小説におけるジェンダー…】 コンラッドの小説におけるジェンダー…
岩清水 由美子／… 【女ともだち　：　ガール・ミーツ・ガ…】 女ともだち　：　ガール・ミーツ・ガ…
はらだ 有彩／著 【新編文学にみる女性像】 新編文学にみる女性像
宮本 百合子／著 【異性装の冒険者　：　アメリカ大衆小…】 異性装の冒険者　：　アメリカ大衆小…
山口 ヨシ子／著 【美、その不滅の物語　：　韓国・中国…】 美、その不滅の物語　：　韓国・中国…
ユ ガンハ／著,…
前のページへ
トップページへ

本文はここまでです。

ページの終わりです。