Download<\/a><\/div>\r\n\r\n\r\n\r\n\u30ab\u30c6\u30b4\u30ea2: \u56fd\u969b\u65e2\u767a\u8868\u8ad6\u6587<\/h2>\r\n\r\n\r\n\r\n
\u307e\u305f\u3001\u4ee5\u4e0b\u306e\u65e2\u767a\u8868\u8ad6\u6587\u304c\u767a\u8868\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\r\n
\r\n- [\u56fd\u969b\u65e2\u767a\u8868\u8ad6\u6587] A Functional Programming Language with Versions (\u7530\u8fba<\/a>, lubis<\/a>, \u9752\u8c37<\/a>, \u5897\u539f<\/a>) (published at <Programming>’22<\/a>)<\/li>\r\n<\/ul>\r\n
\u30ab\u30c6\u30b4\u30ea3: \u30dd\u30b9\u30bf\u30fc\u30fb\u30c7\u30e2<\/h2>\r\n
\r\n\r\n<\/p>\r\n
\u307e\u305f\u3001\u4ee5\u4e0b\u306e\u30dd\u30b9\u30bf\u30fc\u30fb\u30c7\u30e2\u304c\u767a\u8868\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\r\n\r\n\r\n\r\n
\r\n- \u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Cong<\/a>)[\u30dd\u30b9\u30bf\u30fc\u30fb\u30c7\u30e2] \u578b\u3092\u5229\u7528\u3057\u305f\u97f3\u697d\u81ea\u52d5\u751f\u6210\u306b\u5411\u3051\u3066 (\u53e2<\/a>)<\/li>\r\n
- [\u30dd\u30b9\u30bf\u30fc] \u30a8\u30e9\u30fc\u751f\u6210\u30af\u30a4\u30ba\u306e\u63d0\u6848\u3068\u5b9f\u65bd\u69d8\u5b50\u306e\u89b3\u5bdf\u7d50\u679c\u306e\u7d39\u4ecb (\u89d2\u7530<\/a>)<\/li>\r\n
- \" target=\"_blank\" rel=\"noopener\">Nose<\/a>)[\u30dd\u30b9\u30bf\u30fc\u30fb\u30c7\u30e2] \u30c7\u30b6\u30a4\u30f3\u30ec\u30b7\u30d4\u306b\u57fa\u3065\u3044\u305f\u521d\u5b66\u8005\u306e\u305f\u3081\u306e\u5b66\u7fd2\u74b0\u5883(\u80fd\u52e2<\/a>)<\/li>\r\n<\/ul>\r\n\r\n\r\n\r\n
<\/p>\r\n\r\n\r\n\r\n\r\n![\"\"](\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/04\/nose-poster-2.jpg?resize=560%2C255&ssl=1\")
<\/a><\/figure>\r\n\r\n\r\n\r\n![\"\"](\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/04\/tsunoda-poster.jpg?resize=560%2C266&ssl=1\")
<\/a><\/figure>\r\n\r\n\" target=\"_blank\" rel=\"noopener\">Nose<\/a> and Tsunoda<\/a>\u80fd\u52e2<\/a>\u3068\u89d2\u7530<\/a>\u306b\u3088\u308b\u30dd\u30b9\u30bf\u30fc\u767a\u8868<\/figcaption>\r\n<\/figure>\r\n\r\n\r\n\r\n\r\n
\r\n
![\"\"](\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/06\/image-2.png?resize=560%2C316&ssl=1\")
<\/a>\r\n\u30c7\u30b6\u30a4\u30f3\u30ec\u30b7\u30d4\u306b\u57fa\u3065\u3044\u305f\u521d\u5b66\u8005\u306e\u305f\u3081\u306e\u5b66\u7fd2\u74b0\u5883<\/figcaption>\r\n<\/figure>\r\n<\/div>\r\n\r\n\r\n\r\n\r\n
![\"\"](\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/06\/image.png?resize=560%2C315&ssl=1\")
<\/a>\r\n\u30a8\u30e9\u30fc\u751f\u6210\u30af\u30a4\u30ba\u306e\u63d0\u6848\u3068\u5b9f\u65bd\u69d8\u5b50\u306e\u89b3\u5bdf\u7d50\u679c\u306e\u7d39\u4ecb<\/figcaption>\r\n<\/figure>\r\n<\/div>\r\n\r\n\r\n\r\n\r\n
![\"\"](\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/06\/image-1.png?resize=560%2C792&ssl=1\")
<\/a>\r\n\u578b\u3092\u5229\u7528\u3057\u305f\u97f3\u697d\u81ea\u52d5\u751f\u6210\u306b\u5411\u3051\u3066<\/figcaption>\r\n<\/figure>\r\n<\/div>\r\n<\/div>\r\n\r\n\r\n\r\n\r\n- Type-Safe Programming with Versions<\/a> (Project Page)<\/li>\r\n
- PPL\u516c\u5f0f\u30b5\u30a4\u30c8<\/a><\/li>\r\n<\/ul>\r\n\r\n\r\n\r\n
<\/p>","protected":false},"excerpt":{"rendered":"
\u30ab\u30c6\u30b4\u30ea1: \u65b0\u898f\u767a\u8868\u8ad6\u6587 \u4ee5\u4e0b\u306e\u8ad6\u6587\u304c\u7b2c24\u56de\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u304a\u3088\u3073\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7 (PPL2022) \u306b\u63a1\u9332\u3001\u767a\u8868\u3055\u308c\u307e\u3057\u305f\u3002 Practical Aspects of Monadic Equatio… Continue Reading PPL2022\u306b\u3066\u30e2\u30ca\u30c7\u30a3\u30c3\u30af\u7b49\u5f0f\u63a8\u8ad6\u306b\u95a2\u3059\u308b\u8ad6\u6587(\u3068\u3044\u304f\u3064\u304b\u306e\u8ad6\u6587\u30fb\u30dd\u30b9\u30bf\u30fc\u30fb\u30c7\u30e2)\u767a\u8868<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[35,20,29,5,52,8],"tags":[],"class_list":["post-4165","post","type-post","status-publish","format-standard","hentry","category-error-generating-quiz","category-htdp","category-monae","category-news","category-resource-type-system","category-version-programming","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4165","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=4165"}],"version-history":[{"count":42,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4165\/revisions"}],"predecessor-version":[{"id":8600,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4165\/revisions\/8600"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=4165"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=4165"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=4165"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}