{"id":4210,"date":"2022-02-10T10:00:00","date_gmt":"2022-02-10T19:00:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=4210"},"modified":"2022-05-30T14:35:41","modified_gmt":"2022-05-30T23:35:41","slug":"saito-tsunoda-and-tsuyama-presents-bachelors-theses","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/saito-tsunoda-and-tsuyama-presents-bachelors-theses\/","title":{"rendered":"\u6589\u85e4\u3001\u89d2\u7530\u3001\u6d25\u5c71\u306b\u3088\u308b\u5b66\u58eb\u8ad6\u6587\u767a\u8868"},"content":{"rendered":"<p>\u7814\u7a76\u5ba4\u30e1\u30f3\u30d0\u306b\u3088\u308b\u5b66\u58eb\u8ad6\u6587\u306e\u767a\u8868\u304c\u884c\u308f\u308c\u307e\u3059\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/ayumu-saito\/\" data-internallinksmanager029f6b8e52c=\"314\" title=\"Ayumu Saito\" target=\"_blank\" rel=\"noopener\">\u6589\u85e4\u6b69\u5922<\/a>, Formal Verification of Effectful Programs by Equational Reasoning<\/li><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/kazuhiro-tsunoda\/\" data-internallinksmanager029f6b8e52c=\"316\" title=\"Kazuhiro Tsunoda\" target=\"_blank\" rel=\"noopener\">\u89d2\u7530\u548c\u5e83<\/a>, \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u30a8\u30e9\u30fc\u30e1\u30c3\u30bb\u30fc\u30b8\u306e\u8aad\u89e3\u3092\u4fc3\u9032\u3059\u308b\u521d\u5b66\u8005\u5411\u3051\u6f14\u7fd2\u5f62\u5f0f\u306e\u63d0\u6848<\/li><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/syouki-tsuyama\/\" data-internallinksmanager029f6b8e52c=\"317\" title=\"Syouki Tsuyama\" target=\"_blank\" rel=\"noopener\">\u6d25\u5c71\u52dd\u8f1d<\/a>, \u526f\u4f5c\u7528\u3092\u6301\u3064\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3092\u578b\u5b89\u5168\u306b\u5b9a\u7fa9\u3059\u308b\u305f\u3081\u306e\u30e9\u30a4\u30d6\u30e9\u30ea\u306e\u958b\u767a\u306b\u5411\u3051\u3066 <\/li><\/ul>\n\n\n\n<figure class=\"wp-block-gallery has-nested-images columns-default is-cropped wp-block-gallery-1 is-layout-flex wp-block-gallery-is-layout-flex\">\n<figure class=\"wp-block-image size-large\"><a href=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-saito-bthesis.jpg?ssl=1\"><img data-recalc-dims=\"1\" decoding=\"async\" width=\"560\" height=\"221\" loading=\"lazy\" data-id=\"4401\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-saito-bthesis.jpg?resize=560%2C221&#038;ssl=1\" alt=\"\" class=\"wp-image-4401\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-saito-bthesis.jpg?resize=1024%2C405&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-saito-bthesis.jpg?resize=300%2C119&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-saito-bthesis.jpg?resize=768%2C304&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-saito-bthesis.jpg?resize=1536%2C607&amp;ssl=1 1536w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-saito-bthesis.jpg?w=1786&amp;ssl=1 1786w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-saito-bthesis.jpg?w=1120&amp;ssl=1 1120w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-saito-bthesis.jpg?w=1680&amp;ssl=1 1680w\" sizes=\"auto, (max-width: 560px) 100vw, 560px\" \/><\/a><\/figure>\n\n\n\n<figure class=\"wp-block-image size-large\"><a href=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsunoda-bthesis.jpg?ssl=1\"><img data-recalc-dims=\"1\" decoding=\"async\" width=\"560\" height=\"232\" loading=\"lazy\" data-id=\"4403\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsunoda-bthesis.jpg?resize=560%2C232&#038;ssl=1\" alt=\"\" class=\"wp-image-4403\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsunoda-bthesis.jpg?resize=1024%2C425&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsunoda-bthesis.jpg?resize=300%2C124&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsunoda-bthesis.jpg?resize=768%2C319&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsunoda-bthesis.jpg?resize=1536%2C637&amp;ssl=1 1536w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsunoda-bthesis.jpg?w=1714&amp;ssl=1 1714w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsunoda-bthesis.jpg?w=1120&amp;ssl=1 1120w\" sizes=\"auto, (max-width: 560px) 100vw, 560px\" \/><\/a><\/figure>\n\n\n\n<figure class=\"wp-block-image size-large\"><a href=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsuyama-bthesis.jpg?ssl=1\"><img data-recalc-dims=\"1\" decoding=\"async\" width=\"560\" height=\"239\" loading=\"lazy\" data-id=\"4402\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsuyama-bthesis.jpg?resize=560%2C239&#038;ssl=1\" alt=\"\" class=\"wp-image-4402\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsuyama-bthesis.jpg?resize=1024%2C437&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsuyama-bthesis.jpg?resize=300%2C128&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsuyama-bthesis.jpg?resize=768%2C328&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsuyama-bthesis.jpg?resize=1536%2C656&amp;ssl=1 1536w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsuyama-bthesis.jpg?w=1686&amp;ssl=1 1686w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-02-tsuyama-bthesis.jpg?w=1120&amp;ssl=1 1120w\" sizes=\"auto, (max-width: 560px) 100vw, 560px\" \/><\/a><\/figure>\n<\/figure>\n\n\n\n<!--more-->\n\n\n\n<div data-wp-interactive=\"core\/file\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-03B-saito.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of 2022-03B-Saito.\u306e\u57cb\u3081\u8fbc\u307f\u3002\"><\/object><a id=\"wp-block-file--media-bb8793f9-40ca-48dc-9b4f-eeb66be97f4b\" href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-03B-saito.pdf\">2022-03B-Saito<\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-03B-saito.pdf\" class=\"wp-block-file__button\" download aria-describedby=\"wp-block-file--media-bb8793f9-40ca-48dc-9b4f-eeb66be97f4b\">Download<\/a><\/div>\n\n\n\n<div data-wp-interactive=\"core\/file\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-03B-tsunoda.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of 2022-03B-Tsunoda.\u306e\u57cb\u3081\u8fbc\u307f\u3002\"><\/object><a id=\"wp-block-file--media-8152de43-1d7c-48fd-99d2-c9191b176847\" href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-03B-tsunoda.pdf\">2022-03B-Tsunoda<\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-03B-tsunoda.pdf\" class=\"wp-block-file__button\" download aria-describedby=\"wp-block-file--media-8152de43-1d7c-48fd-99d2-c9191b176847\">Download<\/a><\/div>\n\n\n\n<div data-wp-interactive=\"core\/file\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-03B-tsuyama.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of 2022-03B-Tsuyama.\u306e\u57cb\u3081\u8fbc\u307f\u3002\"><\/object><a id=\"wp-block-file--media-e954e553-6b1e-4517-9edc-d79cd9460b39\" href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-03B-tsuyama.pdf\">2022-03B-Tsuyama<\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/05\/2022-03B-tsuyama.pdf\" class=\"wp-block-file__button\" download aria-describedby=\"wp-block-file--media-e954e553-6b1e-4517-9edc-d79cd9460b39\">Download<\/a><\/div>","protected":false},"excerpt":{"rendered":"<p>\u7814\u7a76\u5ba4\u30e1\u30f3\u30d0\u306b\u3088\u308b\u5b66\u58eb\u8ad6\u6587\u306e\u767a\u8868\u304c\u884c\u308f\u308c\u307e\u3059\u3002 \u6589\u85e4\u6b69\u5922, Formal Verification of Effectful Programs by Equational Reasoning \u89d2\u7530\u548c\u5e83, \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u30a8&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/saito-tsunoda-and-tsuyama-presents-bachelors-theses\/\">Continue Reading \u6589\u85e4\u3001\u89d2\u7530\u3001\u6d25\u5c71\u306b\u3088\u308b\u5b66\u58eb\u8ad6\u6587\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":[33,35,36,29,5],"tags":[],"class_list":["post-4210","post","type-post","status-publish","format-standard","hentry","category-bthesis","category-error-generating-quiz","category-intrinsically-typed-interpreters","category-monae","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\/4210","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=4210"}],"version-history":[{"count":12,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4210\/revisions"}],"predecessor-version":[{"id":5557,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4210\/revisions\/5557"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=4210"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=4210"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=4210"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}