記事へのコメント5

    • 人気コメント
    • 新着コメント
    Cunliffe Cunliffe 形式意味論懐かしいなあ。大学院の時に"Introduction to Montague Semantics"っていうPTQの入門書輪読して勉強したなあ(一応最後まで読んだ)。ラムダ計算できるプログラミング言語だとこんな風に実装できるんだ。

    2021/04/01 リンク

    その他
    kamocyc kamocyc おもしろそう

    2020/01/25 リンク

    その他
    hamamuratakuo hamamuratakuo 形式意味論(formal semantics) ラムダ計算

    2019/08/24 リンク

    その他
    zyzy zyzy 見慣れた記述形式で読めるのありがたい。

    2019/08/23 リンク

    その他
    Tak_Yaz Tak_Yaz `font-feature-settings: 'palt'` が良い

    2019/08/16 リンク

    その他

    関連記事

    『形式意味論入門』を Haskell に書き下す (前編) - ryota-ka's blog

    一昨年のゴールデンウィーク池袋ジュンク堂を訪れた際,『形式意味論入門』という表題の本に目が止...

    ブックマークしたユーザー

    • Cunliffe2021/04/01 Cunliffe
    • tasogaresignation2020/09/27 tasogaresignation
    • amagitakayosi2020/07/27 amagitakayosi
    • toshikish2020/07/27 toshikish
    • tamagawabone2020/07/26 tamagawabone
    • R2M2020/07/26 R2M
    • otakumesi2020/05/27 otakumesi
    • morioka2020/05/27 morioka
    • tjmtmmnk2020/05/12 tjmtmmnk
    • kamocyc2020/01/25 kamocyc
    • sushi__melody2019/09/11 sushi__melody
    • ayu-mushi2019/09/09 ayu-mushi
    • hamamuratakuo2019/08/24 hamamuratakuo
    • zyzy2019/08/23 zyzy
    • mukaken2019/08/23 mukaken
    • hitsujibane2019/08/18 hitsujibane
    • peketamin2019/08/18 peketamin
    • jamalen2019/08/17 jamalen
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    神奈川県道76号山北藤野線 - Wikipedia

    2 users https://ja.wikipedia.org/

    ワーファリン錠1mg | 製品情報 | 医療関係者の皆様へ エーザイ Medical.eisai.jp

    3 users https://medical.eisai.jp/