CTM/CTMCP/ガウディ本で気になった訳語 ― 2007年11月14日 03時28分11秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
CTM/CTMCP/ガウディ本の翻訳が出て、喜んでいることは、
http://iiyu.asablo.jp/blog/2007/11/08/1897079
CTM、本日、全国発売日(らしい)
で、既報通り。
さっき、何気にめくっていて、気になった訳語がある。
スコット先生の「Denotational Semantics」の訳を「記述的意味論」として
いる。
これは本邦初じゃないか。
普通、業界で使われている訳語は、「表示的意味論」。
これを嫌って意図的に「記述的意味論」としたのかもしれないが、標準的な
訳語でないのはたしか。
もし、CTM/CTMCP/ガウディ本で、Denotational Semanticsの訳語を「記述的
意味論」と覚えてしまったら、話が通じないことが多いだろう。「表示的意味
論」という訳語も覚えましょう。
ちなみに、おれらの学生時代は、京大の中島玲二先生の
http://www.amazon.co.jp/exec/obidos/ASIN/4254114133/showshotcorne-22/
中島玲二著「数理情報学入門―スコット・プログラム理論」
で、表示的意味論を勉強しました。amazonでは完全に品切れですね。
中島先生の講義もあったけど、3歩歩いたので、何も覚えてないです。\(^O^)/
あ、中島先生がバイオリンかチェロを弾くという話があったような。。。^^;
http://ja.wikipedia.org/wiki/表示的意味論
をみても、参考書は英語ばかりですね。
http://en.wikipedia.org/wiki/Denotational_semantics
もどうぞ。
---
CTM/CTMCP/ガウディ本の翻訳が出て、喜んでいることは、
http://iiyu.asablo.jp/blog/2007/11/08/1897079
CTM、本日、全国発売日(らしい)
で、既報通り。
さっき、何気にめくっていて、気になった訳語がある。
スコット先生の「Denotational Semantics」の訳を「記述的意味論」として
いる。
これは本邦初じゃないか。
普通、業界で使われている訳語は、「表示的意味論」。
これを嫌って意図的に「記述的意味論」としたのかもしれないが、標準的な
訳語でないのはたしか。
もし、CTM/CTMCP/ガウディ本で、Denotational Semanticsの訳語を「記述的
意味論」と覚えてしまったら、話が通じないことが多いだろう。「表示的意味
論」という訳語も覚えましょう。
ちなみに、おれらの学生時代は、京大の中島玲二先生の
http://www.amazon.co.jp/exec/obidos/ASIN/4254114133/showshotcorne-22/
中島玲二著「数理情報学入門―スコット・プログラム理論」
で、表示的意味論を勉強しました。amazonでは完全に品切れですね。
中島先生の講義もあったけど、3歩歩いたので、何も覚えてないです。\(^O^)/
あ、中島先生がバイオリンかチェロを弾くという話があったような。。。^^;
http://ja.wikipedia.org/wiki/表示的意味論
をみても、参考書は英語ばかりですね。
http://en.wikipedia.org/wiki/Denotational_semantics
もどうぞ。
コメント
_ 蓮風 ― 2007年11月14日 06時01分24秒
コメントをどうぞ
※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。
※なお、送られたコメントはブログの管理者が確認するまで公開されません。
※投稿には管理者が設定した質問に答える必要があります。
トラックバック
_ ホットコーナーの舞台裏 - 2008年03月03日 07時24分26秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2007/11/14/1908371
CTM/CTMCP/ガウディ本で気になっ
---
http://iiyu.asablo.jp/blog/2007/11/14/1908371
CTM/CTMCP/ガウディ本で気になっ
_ ホットコーナーの舞台裏 - 2008年08月30日 16時59分58秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://www.amazon.co.jp/exec/obidos/ASIN/4798113468/showshotcorne-22/
コンピュータ
---
http://www.amazon.co.jp/exec/obidos/ASIN/4798113468/showshotcorne-22/
コンピュータ
_ ホットコーナーの舞台裏 - 2010年03月01日 01時33分03秒
ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2010/02/19/4890951
Lispの神様 竹内郁雄教授の最終
---
http://iiyu.asablo.jp/blog/2010/02/19/4890951
Lispの神様 竹内郁雄教授の最終
_ ホットコーナーの舞台裏 - 2011年12月27日 09時23分08秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
--
まだ、グーグル本が出てますね。
しかも、スティーブン・レヴィ
--
まだ、グーグル本が出てますね。
しかも、スティーブン・レヴィ
_ ホットコーナーの舞台裏 - 2012年08月01日 10時24分37秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
お買い上げありがとうございます。
こりゃ、また、難しそうな本
---
お買い上げありがとうございます。
こりゃ、また、難しそうな本
_ ホットコーナーの舞台裏 - 2014年09月10日 10時09分17秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
オライリー・ジャパンの矢野さん。献本、ありがとうございました
---
オライリー・ジャパンの矢野さん。献本、ありがとうございました
_ ホットコーナーの舞台裏 - 2015年04月07日 10時08分25秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
これまで何度も紹介してきた、TAOCP, SICP, CTMCPなどコンピュータサイ
---
これまで何度も紹介してきた、TAOCP, SICP, CTMCPなどコンピュータサイ
_ ホットコーナー - 2017年09月13日 09時25分06秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
「Reactビギナーズガイド」のお買い上げがあって、JavaScriptのReact(いろんなReactがあるので、ReactJSと書くことにする)関係、そして、Reacti
---
「Reactビギナーズガイド」のお買い上げがあって、JavaScriptのReact(いろんなReactがあるので、ReactJSと書くことにする)関係、そして、Reacti
_ ホットコーナー - 2017年11月10日 10時37分57秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
お買い上げがありがとうございます。
https://www.amazon.co.jp/exec/obidos/ASIN/B000J7Q8R8/showshotcorne-22/
数理情報学入門―スコット・プログラム
---
お買い上げがありがとうございます。
https://www.amazon.co.jp/exec/obidos/ASIN/B000J7Q8R8/showshotcorne-22/
数理情報学入門―スコット・プログラム
CG デザイナー崩れのしがないプログラマーです。
きょうはまずもって感謝をお伝えしたくコメントしました。
ガウディ本、幾度ものお勧めがあったので中身も見ずに購入しました。そしていましがた preface を見て愕然、欣喜雀躍、狂喜乱舞。わたしが学部生だったころにこれがあったら……としばし慨嘆です。
いま、担当案件がいろいろとトラぶっています。でも、できるだけ早くこの本を読破し、何度も何度も繰り返して読みたいと意気が昂まる次第です!
ありがとうございます!!