Books

情報数学講座 第7巻

広瀬健

Product Details

Genre
ISBN/Catalogue Number
ISBN 13 : 9784320026575
ISBN 10 : 4320026578
Format
Books
Publisher
Release Date
June/1994
Japan

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0

Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

  • 水紗枝荒葉

    ラムダ計算の表示的意味論(領域理論)について理論的に美しい結果を紹介。型付きラムダ計算を実践的に拡張したPCFの意味論を論じた後、最終的に型無しラムダ計算の意味論を圏論で構成する。

  • tyfk

    「2.8 型付きラムダ計算」を見たら、ここでターンスタイルが出てきてて、「型宣言列Γの下でλ式Mの型がσであることを、Γ⊢M:σと表し、型判定式、型付けと呼ぶ」とあった。「型判定式は型宣言列Γの下でMが正しく型付けされたλ式であることも意味している」

  • ashiato45

    気にはなっていたのだか積読で、一念発起して興味あるところだけ読むことにした。そういうわけで全体の話はしてません。 公理的意味論は(他の意味論のスタイルと明確な区別があるわけではないが)プログラムの構文に、その文が意味する数学的対象を直接割り付けるもの。プログラムが停止しないなどのエラーをうまく扱えるその数学的対象としては部分関数が便利で、その順序をうまく扱うため…(字数が溢れたのであとはブログでhttp://ashiato45.hatenablog.jp/entry/2018/08/25/175708)

レビューをもっと見る

(外部サイト)に移動します

Recommend Items