{"id":8561,"date":"2025-10-14T16:19:04","date_gmt":"2025-10-15T01:19:04","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?page_id=8561"},"modified":"2025-10-14T08:01:05","modified_gmt":"2025-10-14T17:01:05","slug":"formalization","status":"publish","type":"page","link":"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/formalization\/","title":{"rendered":"\u5f62\u5f0f\u5316"},"content":{"rendered":"<ul class=\"display-posts-listing\"><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/paper-on-continuations-in-music-accepted-to-olivierfest\/\">\u97f3\u697d\u306e\u4e2d\u306e\u7d99\u7d9a\u306b\u95a2\u3059\u308b\u8ad6\u6587\u304c OlivierFest \u306b\u63a1\u629e<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/two-talks-accepted-to-scala-workshop-and-hatra\/\">Scala Workshop \u3068 HATRA \u306b2\u4ef6\u306e\u767a\u8868\u304c\u63a1\u629e<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl2024-posters\/\">PPL 2024 \u30dd\u30b9\u30bf\u30fc\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/master-defense-2024-02\/\">\u6589\u85e4\u3001\u89d2\u7530\u3001\u6d25\u5c71\u306b\u3088\u308b\u4fee\u58eb\u8ad6\u6587\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/aplas-2023-paper-on-a-probabilistic-programming-language\/\">\u78ba\u7387\u7684\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3092Coq\u4e0a\u3067\u5f62\u5f0f\u5316\u3059\u308bAPLAS 2023\u8ad6\u6587<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/3-talks-on-formalization-at-tpp-2023\/\">\u5ddd\u6dfb\u3001\u6589\u85e4\u3001\u6d25\u5c71\u304c\u5b9a\u7406\u8a3c\u660e\u652f\u63f4\u7cfb\u3092\u4f7f\u3063\u305f\u7814\u7a76\u3092TPP 2023\u306b\u3066\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/paper-on-musical-type-system-farm-2023\/\">\u97f3\u697d\u306e\u305f\u3081\u306e\u578b\u30b7\u30b9\u30c6\u30e0\u306b\u95a2\u3059\u308b\u8ad6\u6587 (@ FARM 2023)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/tyde2023\/\">TyDe 2023\u306b\u3066\u78ba\u7387\u7684\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u5f62\u5f0f\u5316\u306b\u95a2\u3059\u308b\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/tokyo-tech-challenging-research-award\/\">\u53e2\u304c\u6771\u5de5\u5927\u6311\u6226\u7684\u7814\u7a76\u8cde\u3092\u53d7\u8cde<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl2023posters\/\">PPL2023\u30673\u4ef6\u306e\u30dd\u30b9\u30bf\u30fc\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/lenls-19\/\">\u30d5\u30a1\u30b8\u30a3\u306a\u6027\u8cea\u3092\u8868\u73fe\u3059\u308b\u305f\u3081\u306e\u578b\u7406\u8ad6\u306b\u95a2\u3059\u308b\u767a\u8868 (@ LENLS 19)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/mpc2022\/\">MPC 2022\u306b\u3066\u30e2\u30ca\u30c7\u30a3\u30c3\u30af\u7b49\u5f0f\u63a8\u8ad6\u306b\u95a2\u3059\u308b\u8ad6\u6587\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-type-theoretic-music-composition-types-2022\/\">\u578b\u7406\u8ad6\u306b\u57fa\u3065\u3044\u305f\u97f3\u697d\u81ea\u52d5\u751f\u6210\u306b\u95a2\u3059\u308b\u62db\u5f85\u8b1b\u6f14  (@ TYPES 2022)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/talk-on-type-directed-music-composition-yow-lambda-jam-2022\/\">\u578b\u4e3b\u5c0e\u306e\u97f3\u697d\u81ea\u52d5\u751f\u6210\u306b\u95a2\u3059\u308b\u8b1b\u6f14  (@ YOW! Lambda Jam 2022)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/presentation-on-type-based-music-composition-tfpie-2022\/\">\u578b\u306b\u3088\u308b\u97f3\u697d\u81ea\u52d5\u751f\u6210\u306b\u95a2\u3059\u308b\u767a\u8868  (@ TFPIE 2022)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/best-poster-award-ppl-2022\/\">\u53e2\u304cPPL 2022\u30dd\u30b9\u30bf\u30fc\u8cde\u3092\u53d7\u8cde<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/paper-poster-presentation-at-ppl22\/\">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><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/saito-tsunoda-and-tsuyama-presents-bachelors-theses\/\">\u6589\u85e4\u3001\u89d2\u7530\u3001\u6d25\u5c71\u306b\u3088\u308b\u5b66\u58eb\u8ad6\u6587\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/presentation-on-type-based-music-generation-at-mus133\/\">\u578b\u30d9\u30fc\u30b9\u306e\u97f3\u697d\u81ea\u52d5\u751f\u6210\u306b\u95a2\u3059\u308b\u767a\u8868(@MUS133)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/talk-on-monadic-equation-reasoning-tpp2021\/\">\u30e2\u30ca\u30c9\u7684\u7b49\u5f0f\u63a8\u8ad6\u306b\u95a2\u3059\u308b\u767a\u8868\uff08\uff20TPP2021\uff09<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/best-poster-award-at-ppl-2021\/\">PPL 2021 \u306b\u304a\u3051\u308b\u30dd\u30b9\u30bf\u30fc\u8cde\u53d7\u8cde<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/poster-demo-presentation-at-ppl2020\/\">PPL2020\u3067\u306e\u30dd\u30b9\u30bf\u30fc\u3068\u30c7\u30e2\u767a\u8868<\/a><\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":7,"featured_media":0,"parent":6,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"nf_dc_page":"","footnotes":""},"class_list":["post-8561","page","type-page","status-publish","hentry","radius"],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8561","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=8561"}],"version-history":[{"count":64,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8561\/revisions"}],"predecessor-version":[{"id":11215,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8561\/revisions\/11215"}],"up":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/6"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=8561"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}