{"id":1679,"date":"2018-02-10T23:08:50","date_gmt":"2018-02-11T08:08:50","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=1679"},"modified":"2022-05-23T15:50:09","modified_gmt":"2022-05-24T00:50:09","slug":"thesis-2018-02","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/thesis-2018-02\/","title":{"rendered":"\u5965\u6cb3\u304c\u4fee\u58eb\u8ad6\u6587\u3092\u3001\u7530\u8fba, \u4f0a\u6fa4\u304c\u5b66\u58eb\u8ad6\u6587\u3092\u767a\u8868"},"content":{"rendered":"<p>\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Yudai Tanabe<\/a> and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yusuke-izawa\/\" data-internallinksmanager029f6b8e52c=\"301\" title=\"\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">Yusuke Izawa<\/a> presented their Bachelor&#8217;s theses.<\/p>\n<ul>\n<li>\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3078\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u306e\u5c0e\u5165\u306e\u7814\u7a76 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Tanabe<\/a>)<\/li>\n<li>\u30e1\u30bf\u6df7\u5408JIT\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u63d0\u6848 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yusuke-izawa\/\" data-internallinksmanager029f6b8e52c=\"301\" title=\"\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">\u4f0a\u6fa4<\/a>)<\/li>\n<\/ul>\n<p>\u5965\u6cb3\u304c\u6570\u7406\u30fb\u8a08\u7b97\u79d1\u5b66\u5c02\u653b\u306e\u4fee\u58eb\u8ad6\u6587\u767a\u8868\u4f1a\u3067\u767a\u8868\u3057\u307e\u3057\u305f\u3002<\/p>\n<ul>\n<li>\u8a3c\u660e\u652f\u63f4\u5668Coq\u3092\u4f7f\u3063\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u64cd\u4f5c\u7684\u610f\u5473\u8ad6\u306b\u57fa\u3065\u304f\u578b\u5b89\u5168\u6027\u306e\u62e1\u5f35\u53ef\u80fd\u306a\u5f62\u5f0f\u5316\u306e\u7814\u7a76 (<a href=\"\/wp-content\/uploads\/2020\/12\/2018-2M012.pdf\">PDF<\/a>)<\/li>\n<\/ul>\n<p><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"340\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">\u7530\u8fba<\/a>\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yusuke-izawa\/\" data-internallinksmanager029f6b8e52c=\"301\" title=\"\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">\u4f0a\u6fa4<\/a>\u304c\u7406\u5b66\u90e8\u60c5\u5831\u79d1\u5b66\u79d1\u306e\u5352\u696d\u8ad6\u6587\u767a\u8868\u4f1a\u3067\u767a\u8868\u3057\u307e\u3057\u305f\u3002<\/p>\n<ul>\n<li>\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3078\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u306e\u5c0e\u5165\u306e\u7814\u7a76 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"340\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">\u7530\u8fba<\/a>)<\/li>\n<li>\u30e1\u30bf\u6df7\u5408JIT\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u63d0\u6848 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yusuke-izawa\/\" data-internallinksmanager029f6b8e52c=\"301\" title=\"\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">\u4f0a\u6fa4<\/a>)<\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>\u7530\u9089\u88d5\u5927&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Yudai Tanabe and Yusuke Izawa presented their Bachelor&#8217;s theses. \u30d7\u30ed&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/thesis-2018-02\/\">Continue Reading \u5965\u6cb3\u304c\u4fee\u58eb\u8ad6\u6587\u3092\u3001\u7530\u8fba, \u4f0a\u6fa4\u304c\u5b66\u58eb\u8ad6\u6587\u3092\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":[17,33,32,5],"tags":[],"class_list":["post-1679","post","type-post","status-publish","format-standard","hentry","category-baccaml","category-bthesis","category-mthesis","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\/1679","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=1679"}],"version-history":[{"count":5,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1679\/revisions"}],"predecessor-version":[{"id":4010,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1679\/revisions\/4010"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=1679"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=1679"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=1679"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}