記事へのコメント3

    • 人気コメント
    • 新着コメント
    Cunliffe Cunliffe 「ラムダ抽象および適用の記法」これが威力を発揮するのは個体ではなくて述語がラムダ抽象の対象になってからかもしれません。PTQの中では高階述語論理(と様相論理)が普通に駆使されているので。

    2021/04/01 リンク

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

    2020/07/28 リンク

    その他
    lotz84 lotz84 自然言語に型をつけるの思ってたより面白そう

    2020/07/26 リンク

    その他

    関連記事

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

    前編はこちryota-ka.hatenablog.com §8 発話文脈・変項割当 という文を発話したとする.この文は,代...

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

    • Cunliffe2021/04/01 Cunliffe
    • dsuke2020/08/04 dsuke
    • emonkak2020/07/28 emonkak
    • hamamuratakuo2020/07/28 hamamuratakuo
    • kominami2020/07/27 kominami
    • SWIMATH22020/07/27 SWIMATH2
    • xanady032020/07/27 xanady03
    • E_ntyo2020/07/27 E_ntyo
    • kjw_junichi2020/07/27 kjw_junichi
    • programmablekinoko2020/07/27 programmablekinoko
    • advblog2020/07/27 advblog
    • tuyizm2020/07/27 tuyizm
    • Hiro_Matsuno2020/07/27 Hiro_Matsuno
    • kazuya0302020/07/27 kazuya030
    • machupicchubeta2020/07/27 machupicchubeta
    • xef2020/07/26 xef
    • fumikony2020/07/26 fumikony
    • mitz_0082020/07/26 mitz_008
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

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

    いま人気の記事

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

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

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

    新着記事 - テクノロジー

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

    セブンイレブンの大福は食べやすくなったのか - 富澤えいちのジャズブログ

    1 user https://jazz.e10330.com/

    AAAClipArt.com - Find thousands of free quality clip art images and graphics for your website or offline project!

    1 user https://www.aaaclipart.com/