CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ]
メニュー
検索
論文・データをさがす
大学図書館の本をさがす
ログイン
English
図書・雑誌検索
著者検索
内容検索
検索
すべての資料
図書
雑誌
詳細検索
タイトル
タイトル完全一致
統一タイトルを含む
著者名
別名を含む
著者ID
統一タイトルID
出版者
ISBN
ISSN
NCID
件名
分類
注記
資料種別
すべての資料種別
図書・雑誌
地図資料
文字資料（点字）
楽譜（印刷）
文字資料（書写資料）
地図（書写資料）
楽譜（書写資料）
静止画像（投影）
マイクロ形態
静止画像（非投影）
映画
録音資料（音楽）
録音資料（非音楽）
ビデオレコード
機械可読データファイル
3次元工芸品,自然の事物
キット
言語種別
すべての言語
日本語
英語
ドイツ語
フランス語
中国語
ロシア語
スペイン語
イタリア語
韓国・朝鮮語
アラビア語
出版年
年から
年まで
図書館ID
機関ID
地域
すべての地域
北海道
東北地方
青森
岩手
宮城
秋田
山形
福島
関東地方
茨城
栃木
群馬
埼玉
千葉
東京
神奈川
北陸・甲信越地方
新潟
富山
石川
福井
山梨
長野
東海地方
岐阜
静岡
愛知
三重
関西地方
滋賀
京都
大阪
兵庫
奈良
和歌山
中国・四国地方
鳥取
島根
岡山
広島
山口
徳島
香川
愛媛
高知
九州・沖縄地方
福岡
佐賀
長崎
熊本
大分
宮崎
鹿児島
沖縄
アジア地域
韓国
中国
タイ
ヨーロッパ地域
イギリス
ドイツ
スイス
フランス
ベルギー
オランダ
スウェーデン
ノルウェー
北米地域
アメリカ
その他海外
図書館ID・機関ID・地域を記憶する
検索
閉じる
検索
検索
2025年度のCiNii Books機能統合対応を完了いたしました
中澤, 巧爾
ナカザワ, コウジ
ID:DB0003788X
同姓同名の著者を検索
検索結果
1件中 1-1 を表示
すべて選択：
新しいウィンドウで開く
RefWorksに書き出し
EndNoteに書き出し
Refer/BibIXで表示
RISで表示
BibTeXで表示
TSVで表示
20件ずつ表示
50件ずつ表示
100件ずつ表示
200件ずつ表示
出版年：新しい順
出版年：古い順
所蔵館：多い順
所蔵館：少ない順
タイトル：五十音順
タイトル：五十音逆順
関連度
1
プログラミング言語の形式的意味論入門
G. ウィンスケル著 ; 勝股審也 [ほか] 訳
丸善出版
2023.1
所蔵館100館
この著者を外部サイトでさがす
VIAF
KAKEN — 研究者をさがす
J-GLOBAL
researchmap
Google Scholar
Google
Yahoo! JAPAN
関連著者
Winskel, Glynn
勝股, 審也
西村, 進
前田, 敦司
末永, 幸平
ページトップへ