{"id":11347,"date":"2025-11-07T03:47:47","date_gmt":"2025-11-07T12:47:47","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=11347"},"modified":"2025-11-26T04:23:42","modified_gmt":"2025-11-26T13:23:42","slug":"ipsj-pro-2025-11","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ipsj-pro-2025-11\/","title":{"rendered":"\u677e\u5c71\u304c\u30b3\u30ec\u30aa\u30b0\u30e9\u30d5\u30a3\u30c3\u30af\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u95a2\u3057\u3066\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u4f1a\u767a\u8868"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"alignright wp-image-11431 size-medium\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/11\/matsuyama2025.png?resize=300%2C182&#038;ssl=1\" alt=\"\" width=\"300\" height=\"182\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/11\/matsuyama2025.png?resize=300%2C182&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/11\/matsuyama2025.png?resize=1024%2C622&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/11\/matsuyama2025.png?resize=768%2C466&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/11\/matsuyama2025.png?resize=1536%2C932&amp;ssl=1 1536w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/11\/matsuyama2025.png?resize=2048%2C1243&amp;ssl=1 2048w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/11\/matsuyama2025.png?w=1120&amp;ssl=1 1120w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/11\/matsuyama2025.png?w=1680&amp;ssl=1 1680w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/>\u677e\u5c71\u7693\u661f\" target=\"_blank\" rel=\"noopener\">Matsuyama<\/a> give a talk entitled &#8220;A Formalization of Choreographic Programming Using Effects and Coeffects&#8221; at the 156th IPSJ Workshop on Programming.<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/kosei-matsuyama\/\" data-internallinksmanager029f6b8e52c=\"336\" title=\"\u677e\u5c71\u7693\u661f\" target=\"_blank\" rel=\"noopener\">\u677e\u5c71<\/a>\u304c\u7b2c156\u56de\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u767a\u8868\u4f1a (PRO) \u3067\u300c\u30b3\u30ec\u30aa\u30b0\u30e9\u30d5\u30a3\u30c3\u30af\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u30a8\u30d5\u30a7\u30af\u30c8\u53ca\u3073\u30b3\u30a8\u30d5\u30a7\u30af\u30c8\u3092\u7528\u3044\u305f\u5b9a\u5f0f\u5316\u300d\u3068\u984c\u3059\u308b\u767a\u8868\u3092\u884c\u3044\u307e\u3057\u305f\u3002<\/p>\n\n<iframe id='matsuyama-pro2025' src='\/papers\/bibtexbrowser.php?key=matsuyama-pro2025&bib=prg-e.bib;thesis-b.bib;thesis-m.bib;thesis-d.bib;prg-j.bib' class='bibtexbrowser' onload='resizeIframe(this)'><\/iframe>","protected":false},"excerpt":{"rendered":"<p>\u677e\u5c71\u7693\u661f&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Matsuyama give a talk entitled &#8220;A Formalization of Choreographic Pr&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ipsj-pro-2025-11\/\">Continue Reading \u677e\u5c71\u304c\u30b3\u30ec\u30aa\u30b0\u30e9\u30d5\u30a3\u30c3\u30af\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u95a2\u3057\u3066\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u4f1a\u767a\u8868<\/a><\/p>\n","protected":false},"author":6,"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":[25,5],"tags":[],"class_list":["post-11347","post","type-post","status-publish","format-standard","hentry","category-effects","category-news","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/11347","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\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=11347"}],"version-history":[{"count":6,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/11347\/revisions"}],"predecessor-version":[{"id":11432,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/11347\/revisions\/11432"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=11347"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=11347"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=11347"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}