朝霞唯 (@asaka00457)

投稿一覧(最新100件)

後で読めのピン留め https://t.co/OsXYENwb0F

お気に入り一覧(最新100件)

依存型意味論(DTS)についての日本語での解説は、人工知能学会でお話させて頂いた以下の論文(4ページ)がお勧めです。 「意味論の証明論的転回」(戸次ら2017) https://t.co/uH0vRJWG0S 依存型理論からDTSに至る経緯と関連論文、および2017年6月までのDTSによる意味論研究についてまとめてあります。
レヴィ=ストロースの料理構造論 https://t.co/bQcnxbpkih

フォロー(419ユーザ)の投稿一覧(直近7日間)

フォロワー(204ユーザ)の投稿一覧(直近7日間)