{"id":4428,"date":"2024-03-05T22:18:49","date_gmt":"2024-03-06T07:18:49","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?page_id=4428"},"modified":"2025-08-13T23:08:36","modified_gmt":"2025-08-14T08:08:36","slug":"monae","status":"publish","type":"page","link":"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/formalization\/monae\/","title":{"rendered":"Monae: Coq\u306e\u305f\u3081\u306e\u30e2\u30ca\u30c7\u30a3\u30c3\u30af\u30a8\u30d5\u30a7\u30af\u30c8\u3068\u7b49\u5f0f\u63a8\u8ad6"},"content":{"rendered":"<p>\u95a2\u6570\u578b\u8a00\u8a9e\u30d7\u30ed\u30b0\u30e9\u30e0\u3067\u306f\u30e2\u30ca\u30c9\u3092\u7528\u3044\u3066\u526f\u4f5c\u7528\u3092\u8868\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u5bfe\u3057\u3066\u7b49\u5f0f\u63a8\u8ad6\u3092\u7528\u3044\u305f\u30d7\u30ed\u30b0\u30e9\u30e0\u691c\u8a3c\u306e\u65b9\u5f0f\u3067\u3042\u308b\u30e2\u30ca\u30c7\u30a3\u30c3\u30af\u7b49\u5f0f\u63a8\u8ad6\u306f\u3001\u4f9d\u5b58\u578b\u306b\u57fa\u3065\u304f\u5b9a\u7406\u8a3c\u660e\u652f\u63f4\u7cfb\u4e0a\u3067\u69d8\u3005\u306a\u8a66\u307f\u304c\u306a\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u672c\u7814\u7a76\u306f\u3053\u306e\u5f62\u5f0f\u5316\u3092\u5f37\u5316\u3059\u308b\u3053\u3068\u3092\u76ee\u7684\u306b\u3001\u30e2\u30ca\u30c7\u30a3\u30c3\u30af\u7b49\u5f0f\u63a8\u8ad6\u306e\u305f\u3081\u306eCoq\u30e9\u30a4\u30d6\u30e9\u30eaMonae\u306e\u6539\u826f\u306b\u3068\u308a\u7d44\u307f\u307e\u3059\u3002<\/p>\r\n\r\n\r\n\r\n<p>\u7814\u7a76\u5ba4\u30e1\u30f3\u30d0\u30fc\u306e<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/ayumu-saito\/\" data-internallinksmanager029f6b8e52c=\"314\" title=\"Ayumu Saito\" target=\"_blank\" rel=\"noopener\">\u6589\u85e4<\/a>\u304c\u3001\u7523\u7dcf\u7814\u306e<a href=\"https:\/\/staff.aist.go.jp\/reynald.affeldt\/\" data-internallinksmanager029f6b8e52c=\"320\" title=\"Reynald Affeldt\" target=\"_blank\" rel=\"noopener\">Affeldt<\/a>\u535a\u58eb\u306e\u6307\u5c0e\u306e\u4e0b\u3067Monae\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306b\u53c2\u52a0\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\r\n\r\n\r\n\r\n<ul class=\"wp-block-list\">\r\n<li><a href=\"https:\/\/github.com\/affeldt-aist\/monae\">\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u30da\u30fc\u30b8 @ github<\/a><\/li>\r\n<\/ul>\r\n\r\n\r\n\r\n<h2 class=\"wp-block-heading\">\u304a\u77e5\u3089\u305b<\/h2>\r\n\r\n\r\n<ul class=\"display-posts-listing\"><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\/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\/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\/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\/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\/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><\/ul>","protected":false},"excerpt":{"rendered":"<p>\u95a2\u6570\u578b\u8a00\u8a9e\u30d7\u30ed\u30b0\u30e9\u30e0\u3067\u306f\u30e2\u30ca\u30c9\u3092\u7528\u3044\u3066\u526f\u4f5c\u7528\u3092\u8868\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u5bfe\u3057\u3066\u7b49\u5f0f\u63a8\u8ad6\u3092\u7528\u3044\u305f\u30d7\u30ed\u30b0\u30e9\u30e0\u691c\u8a3c\u306e\u65b9\u5f0f\u3067\u3042\u308b\u30e2\u30ca\u30c7\u30a3\u30c3\u30af\u7b49\u5f0f\u63a8\u8ad6\u306f\u3001\u4f9d\u5b58\u578b\u306b\u57fa\u3065\u304f\u5b9a\u7406\u8a3c\u660e\u652f\u63f4\u7cfb\u4e0a\u3067\u69d8\u3005\u306a\u8a66\u307f\u304c\u306a\u3055\u308c\u3066\u3044\u307e\u3059\u3002&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/talk-on-monadic-equation-reasoning-tpp2021\/\">Continue Reading \u30e2\u30ca\u30c9\u7684\u7b49\u5f0f\u63a8\u8ad6\u306b\u95a2\u3059\u308b\u767a\u8868\uff08\uff20TPP2021\uff09<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":8561,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"nf_dc_page":"","footnotes":""},"class_list":["post-4428","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\/4428","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=4428"}],"version-history":[{"count":49,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/4428\/revisions"}],"predecessor-version":[{"id":8914,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/4428\/revisions\/8914"}],"up":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8561"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=4428"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}