単純型理論、レコード型、式を言葉で置き換える

ijustiHijustiH のブックマーク 2007/08/20 23:26

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

<4D6963726F736F667420506F776572506F696E74202D208EA991528CBE8CEA88D396A1985F82C68C5E979D985F2E707074>

    自然言語意味論と型理論 緒方 典裕 大阪大学大学院 言語文化研究科 言語情報科学講座 内容 1. 単純型理論 2. レコード型 3. そのほかの型の拡張 4. 別の方向:部分構造型 5. 練習問題 型理論とは 1. 「√2は若い」...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう