検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます

書誌情報サマリ

書名

形式意味論入門 開拓社叢書 27

著者名 田中 拓郎／著
著者名ヨミ タナカ タクロウ
出版者 開拓社
出版年月 2016.9

蔵書情報

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

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

この資料に対する操作

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

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

この資料に対する操作

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

マイ本棚へ追加ログインするとマイ本棚を利用できます。

書誌詳細

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

タイトルコード 1000040632199
書誌種別 図書
書名 形式意味論入門 開拓社叢書 27
書名ヨミ ケイシキ イミロン ニュウモン カイタクシャ ソウショ 27
著者名 田中 拓郎／著
著者名ヨミ タナカ タクロウ
出版者 開拓社
出版年月 2016.9
ページ数・枚数 8,238p
大きさ・形態 21cm
ISBN 978-4-7589-1822-0
分類記号 801.2
内容紹介 表現形の煩雑さから、とかく敬遠されがちな形式意味論。数学や論理学の知識のない人でも楽しく読み進められるよう、形式意味論の基本から思考法までを平易に解説。実例に即して諸概念を分かりやすく導入する。
著者紹介 コネチカット州立大学大学院修了。日本大学国際関係学部助教を経て、上智大学非常勤講師。
件名1 意味論



目次


内容細目

資料情報

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

No. 所蔵館資料番号請求記号資料種別配架場所帯出区分状態 貸出
1 中央　0114177391801.2//図書一般自動化書庫貸出可在庫　  ○

関連資料

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

2016
かいけつゾロリのおいしい金メダル かいけつゾロリのおいしい金メダル
原 ゆたか／さく… 100円たんけん 100円たんけん
中川 ひろたか／… ノラネコぐんだん そらをとぶ ノラネコぐんだん そらをとぶ
工藤 ノリコ／著 なつみはなんにでもなれる なつみはなんにでもなれる
ヨシタケ シンス… 食物アレルギーのひみつ 食物アレルギーのひみつ
工藤 ケン／漫画 祈りの幕が下りる時 祈りの幕が下りる時
東野 圭吾／[著… ふしぎ駄菓子屋銭天堂6 ふしぎ駄菓子屋銭天堂6
廣嶋 玲子／作,… へんしんおてんき へんしんおてんき
あきやま ただし… ピヨピヨおばあちゃんのうち ピヨピヨおばあちゃんのうち
工藤 ノリコ／著 いちにちこんちゅう いちにちこんちゅう
ふくべ あきひろ… あらしをよぶ名探偵 あらしをよぶ名探偵
杉山 亮／作,中… あきない世傳金と銀1 あきない世傳金と銀1
高田 郁／著 なでなでももんちゃん なでなでももんちゃん
とよた かずひこ… 蜜蜂と遠雷 蜜蜂と遠雷
恩田 陸／著 みてろよ!父ちゃん!! みてろよ!父ちゃん!!
くすのき しげの… 石けんのひみつ 石けんのひみつ
宮原 美香／漫画 おしりたんてい ププッおしりたんて… おしりたんてい ププッおしりたんて…
トロル／さく・え 危険なビーナス 危険なビーナス
東野 圭吾／著 新幹線のたび　：　金沢から新函館北… 新幹線のたび　：　金沢から新函館北…
コマヤスカン／作 とんでもない とんでもない
鈴木 のりたけ／… おならしりとり おならしりとり
tupera t… 幸せになる勇気 幸せになる勇気
岸見 一郎／著,… 世界一の三人きょうだい 世界一の三人きょうだい
グードルン・メプ… ツバキ文具店 ツバキ文具店
小川 糸／著 どうぶつのおばけずかん どうぶつのおばけずかん
斉藤 洋／作,宮… 恐竜トリケラトプスとそこなしのぬま… 恐竜トリケラトプスとそこなしのぬま…
黒川 みつひろ／… たこやきのたこさぶろう たこやきのたこさぶろう
長谷川 義史／作 るるぶ東武東上線 るるぶ東武東上線
 えんとつ町のプペル えんとつ町のプペル
にしの あきひろ… そらまめくんのベッド そらまめくんのベッド
なかや みわ／さ… パンダなりきりたいそう パンダなりきりたいそう
いりやま さとし… びょういんのおばけずかん　：　おば… びょういんのおばけずかん　：　おば…
斉藤 洋／作,宮… 妖怪バス旅行 妖怪バス旅行
広瀬 克也／作 ようかいえんのかいすいよく ようかいえんのかいすいよく
白土 あつこ／作… 中島みゆき・２１世紀ベストセレクシ… 中島みゆき・２１世紀ベストセレクシ…
中島みゆき／Ｖ ハリー・ポッターと呪いの子　：　第… ハリー・ポッターと呪いの子　：　第…
J.K.ローリン… コロッケできました コロッケできました
彦坂 有紀／作,… ルルとララのアロハ!パンケーキ ルルとララのアロハ!パンケーキ
あんびる やすこ… 鳥のサバイバル　：　生き残り作戦2 鳥のサバイバル　：　生き残り作戦2
ゴムドリco.／… 薬剤師のひみつ　：　みんなの“安心… 薬剤師のひみつ　：　みんなの“安心…
WILLこども知… 未来の車のひみつ 未来の車のひみつ
おぎの ひとし／… 鳥のサバイバル　：　生き残り作戦1 鳥のサバイバル　：　生き残り作戦1
ゴムドリco.／… びょういんのおばけずかん　：　なん… びょういんのおばけずかん　：　なん…
斉藤 洋／作,宮… まねっこおやこ まねっこおやこ
おくむら けんい… ちかてつてっちゃん ちかてつてっちゃん
井上 よう子／作… 讃岐うどんのひみつ 讃岐うどんのひみつ
山口 育孝／漫画 坂の上の図書館 坂の上の図書館
池田 ゆみる／作… 望郷 望郷
湊 かなえ／著 おすしのずかん おすしのずかん
大森 裕子／作,… 下水道のひみつ 下水道のひみつ
ひろ ゆうこ／漫…
2016
かいけつゾロリのおいしい金メダル かいけつゾロリのおいしい金メダル
原 ゆたか／さく… 100円たんけん 100円たんけん
中川 ひろたか／… ノラネコぐんだん そらをとぶ ノラネコぐんだん そらをとぶ
工藤 ノリコ／著 なつみはなんにでもなれる なつみはなんにでもなれる
ヨシタケ シンス… 食物アレルギーのひみつ 食物アレルギーのひみつ
工藤 ケン／漫画 祈りの幕が下りる時 祈りの幕が下りる時
東野 圭吾／[著… ふしぎ駄菓子屋銭天堂6 ふしぎ駄菓子屋銭天堂6
廣嶋 玲子／作,… へんしんおてんき へんしんおてんき
あきやま ただし… ピヨピヨおばあちゃんのうち ピヨピヨおばあちゃんのうち
工藤 ノリコ／著 いちにちこんちゅう いちにちこんちゅう
ふくべ あきひろ… あらしをよぶ名探偵 あらしをよぶ名探偵
杉山 亮／作,中… あきない世傳金と銀1 あきない世傳金と銀1
高田 郁／著 なでなでももんちゃん なでなでももんちゃん
とよた かずひこ… 蜜蜂と遠雷 蜜蜂と遠雷
恩田 陸／著 みてろよ!父ちゃん!! みてろよ!父ちゃん!!
くすのき しげの… 石けんのひみつ 石けんのひみつ
宮原 美香／漫画 おしりたんてい ププッおしりたんて… おしりたんてい ププッおしりたんて…
トロル／さく・え 危険なビーナス 危険なビーナス
東野 圭吾／著 新幹線のたび　：　金沢から新函館北… 新幹線のたび　：　金沢から新函館北…
コマヤスカン／作 とんでもない とんでもない
鈴木 のりたけ／… おならしりとり おならしりとり
tupera t… 幸せになる勇気 幸せになる勇気
岸見 一郎／著,… 世界一の三人きょうだい 世界一の三人きょうだい
グードルン・メプ… ツバキ文具店 ツバキ文具店
小川 糸／著 どうぶつのおばけずかん どうぶつのおばけずかん
斉藤 洋／作,宮… 恐竜トリケラトプスとそこなしのぬま… 恐竜トリケラトプスとそこなしのぬま…
黒川 みつひろ／… たこやきのたこさぶろう たこやきのたこさぶろう
長谷川 義史／作 るるぶ東武東上線 るるぶ東武東上線
 えんとつ町のプペル えんとつ町のプペル
にしの あきひろ… そらまめくんのベッド そらまめくんのベッド
なかや みわ／さ… パンダなりきりたいそう パンダなりきりたいそう
いりやま さとし… びょういんのおばけずかん　：　おば… びょういんのおばけずかん　：　おば…
斉藤 洋／作,宮… 妖怪バス旅行 妖怪バス旅行
広瀬 克也／作 ようかいえんのかいすいよく ようかいえんのかいすいよく
白土 あつこ／作… 中島みゆき・２１世紀ベストセレクシ… 中島みゆき・２１世紀ベストセレクシ…
中島みゆき／Ｖ ハリー・ポッターと呪いの子　：　第… ハリー・ポッターと呪いの子　：　第…
J.K.ローリン… コロッケできました コロッケできました
彦坂 有紀／作,… ルルとララのアロハ!パンケーキ ルルとララのアロハ!パンケーキ
あんびる やすこ… 鳥のサバイバル　：　生き残り作戦2 鳥のサバイバル　：　生き残り作戦2
ゴムドリco.／… 薬剤師のひみつ　：　みんなの“安心… 薬剤師のひみつ　：　みんなの“安心…
WILLこども知… 未来の車のひみつ 未来の車のひみつ
おぎの ひとし／… 鳥のサバイバル　：　生き残り作戦1 鳥のサバイバル　：　生き残り作戦1
ゴムドリco.／… びょういんのおばけずかん　：　なん… びょういんのおばけずかん　：　なん…
斉藤 洋／作,宮… まねっこおやこ まねっこおやこ
おくむら けんい… ちかてつてっちゃん ちかてつてっちゃん
井上 よう子／作… 讃岐うどんのひみつ 讃岐うどんのひみつ
山口 育孝／漫画 坂の上の図書館 坂の上の図書館
池田 ゆみる／作… 望郷 望郷
湊 かなえ／著 おすしのずかん おすしのずかん
大森 裕子／作,… 下水道のひみつ 下水道のひみつ
ひろ ゆうこ／漫…
小説(イギリス)-小説集
芥川龍之介選英米怪異・幻想譚 芥川龍之介選英米怪異・幻想譚
芥川 龍之介／[… 猫にご用心　：　知られざる猫文学の… 猫にご用心　：　知られざる猫文学の…
ウィリアム・ボー… ロンドン幽霊譚傑作集 ロンドン幽霊譚傑作集
W.コリンズ／[… 星、はるか遠く　：　宇宙探査SF傑… 星、はるか遠く　：　宇宙探査SF傑…
フレッド・セイバ… 妖精・幽霊短編小説集　：　『ダブリ… 妖精・幽霊短編小説集　：　『ダブリ…
J.ジョイス／ほ… ロボット・アップライジング　：　A… ロボット・アップライジング　：　A…
アレステア・レナ… 迷いの谷　：　平井呈一怪談翻訳集成 迷いの谷　：　平井呈一怪談翻訳集成
A.ブラックウッ… 英国古典推理小説集 英国古典推理小説集
佐々木 徹／編訳 猿の手 猿の手
ウィリアム・ワイ… 吸血鬼は夜恋をする　：　SF&ファ… 吸血鬼は夜恋をする　：　SF&ファ…
R.F.ヤング／… 英国クリスマス幽霊譚傑作集 英国クリスマス幽霊譚傑作集
チャールズ・ディ… アホウドリの迷信　：　現代英語圏異… アホウドリの迷信　：　現代英語圏異…
岸本 佐知子／編… 黄金の人工太陽　：　巨大宇宙SF傑… 黄金の人工太陽　：　巨大宇宙SF傑…
ジャック・キャン… 吸血鬼ラスヴァン　：　英米古典吸血… 吸血鬼ラスヴァン　：　英米古典吸血…
G.G.バイロン… 小さな手 小さな手
金原 瑞人／編訳… 妖精が現れる!　：　コティングリー… 妖精が現れる!　：　コティングリー…
アトリエサード／… 不死身の戦艦　：　銀河連邦SF傑作… 不死身の戦艦　：　銀河連邦SF傑作…
ジョン・ジョゼフ… 海の鎖 海の鎖
ガードナー・R.… 疫病短編小説集 疫病短編小説集
R.キプリング／… 片山廣子幻想翻訳集　：　ケルティッ… 片山廣子幻想翻訳集　：　ケルティッ…
片山 廣子／著訳… 世界怪奇実話集　：　屍衣の花嫁　：… 世界怪奇実話集　：　屍衣の花嫁　：…
平井 呈一／編訳 医療短編小説集 医療短編小説集
W.C.ウィリア… 闇のシャイニング　：　リリヤの恐怖… 闇のシャイニング　：　リリヤの恐怖…
スティーヴン・キ… 暗い世界　：　ウェールズ短編集 暗い世界　：　ウェールズ短編集
河野 真太郎／編… 死の濃霧　：　延原謙翻訳セレクショ… 死の濃霧　：　延原謙翻訳セレクショ…
コナン・ドイル／… 死んだら飛べる 死んだら飛べる
スティーヴン・キ… 幽霊島　：　平井呈一怪談翻訳集成 幽霊島　：　平井呈一怪談翻訳集成
A.ブラックウッ… 危険なヴィジョン3 危険なヴィジョン3
ハーラン・エリス… 危険なヴィジョン2 危険なヴィジョン2
ハーラン・エリス… 危険なヴィジョン1 危険なヴィジョン1
ハーラン・エリス… 最初の接触 最初の接触
マレイ・ラインス… イギリス怪談集 イギリス怪談集
由良 君美／編 世界名作探偵小説選 世界名作探偵小説選
エドガー・アラン… 芥川龍之介選英米怪異・幻想譚 芥川龍之介選英米怪異・幻想譚
芥川 龍之介／[… ヴィクトリア朝怪異譚 ヴィクトリア朝怪異譚
ウィルキー・コリ… 怪異十三 怪異十三
三津田 信三／編 英国怪談珠玉集 英国怪談珠玉集
南條 竹則／編訳 世界一のクマのお話　：　クマのプー 世界一のクマのお話　：　クマのプー
A.A.ミルン／… シャーロック・ホームズの失われた災… シャーロック・ホームズの失われた災…
ジュリー・マキュ… シャーロック・ホームズの栄冠 シャーロック・ホームズの栄冠
R.A.ノックス… 夜の夢見の川　：　12の奇妙な物語 夜の夢見の川　：　12の奇妙な物語
T.スタージョン… シャーロック・ホームズ アンダーシ… シャーロック・ホームズ アンダーシ…
デイヴィッド・マ… 7つの怖い夜ばなし　：　ミステリア… 7つの怖い夜ばなし　：　ミステリア…
ジリアン・クロス… ボロゴーヴはミムジイ ボロゴーヴはミムジイ
ルイス・パジェッ… クマのプー　：　世界一のクマのお話 クマのプー　：　世界一のクマのお話
A.A.ミルン／… 病短編小説集 病短編小説集
E.ヘミングウェ… クィア短編小説集　：　名づけえぬ欲… クィア短編小説集　：　名づけえぬ欲…
A.C.ドイル／… シャーロック・ホームズとヴィクト…2 シャーロック・ホームズとヴィクト…2
ジョージ・マン／… フェイスオフ対決 フェイスオフ対決
デイヴィッド・バ… シャーロック・ホームズとヴィクト…1 シャーロック・ホームズとヴィクト…1
ジョージ・マン／…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。