{"id":11313,"date":"2021-09-23T07:33:15","date_gmt":"2021-09-22T22:33:15","guid":{"rendered":"https:\/\/sipo.tokyo\/?p=11313"},"modified":"2021-09-27T02:28:34","modified_gmt":"2021-09-26T17:28:34","slug":"post-11313","status":"publish","type":"post","link":"https:\/\/sipo.tokyo\/?p=11313","title":{"rendered":"\u30ab\u30eb\u30c0\u30ce\u306e\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u3001\u30ab\u30fc\u30cd\u30ae\u30fc\u30e1\u30ed\u30f3\u5927\u5b66\u306e\u65b0\u30bb\u30f3\u30bf\u30fc\u306b2,000\u4e07\u30c9\u30eb\u3092\u5bc4\u4ed8"},"content":{"rendered":"\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"567\" src=\"https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-1024x567.png\" alt=\"\" class=\"wp-image-11314\" srcset=\"https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-1024x567.png 1024w, https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-300x166.png 300w, https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-768x426.png 768w, https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-1536x851.png 1536w, https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-2048x1135.png 2048w, https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-450x249.png 450w, https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-900x499.png 900w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n\n<p>\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u3001\u30ab\u30fc\u30cd\u30ae\u30fc\u30e1\u30ed\u30f3\u5927\u5b66\u306e\u65b0\u30bb\u30f3\u30bf\u30fc\u306b2,000\u4e07\u30c9\u30eb\u3092\u5bc4\u4ed8\u3057\u3001CMU\u306bHoskinson Center for Formal Mathematics\u3092\u8a2d\u7acb\u3057\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-rich is-provider-twitter wp-block-embed-twitter\"><div class=\"wp-block-embed__wrapper\">\n<blockquote class=\"twitter-tweet\" data-width=\"550\" data-dnt=\"true\"><p lang=\"en\" dir=\"ltr\">The cats out of the bag. Today I got to announce the Hoskinson Center for Formal Mathematics at <a href=\"https:\/\/twitter.com\/CarnegieMellon?ref_src=twsrc%5Etfw\">@CarnegieMellon<\/a> I donated 20 million dollars to create a permanent center to rewrite the language of math. <a href=\"https:\/\/t.co\/d7D2JPry3E\">pic.twitter.com\/d7D2JPry3E<\/a><\/p>&mdash; Charles Hoskinson (@IOHK_Charles) <a href=\"https:\/\/twitter.com\/IOHK_Charles\/status\/1440443081183019017?ref_src=twsrc%5Etfw\">September 21, 2021<\/a><\/blockquote><script async src=\"https:\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script>\n<\/div><\/figure>\n\n\n\n<p>\u3053\u306e\u30bb\u30f3\u30bf\u30fc\u306f\u3001\u6570\u5b66\u306e\u7814\u7a76\u8005\u3001\u6559\u80b2\u8005\u3001\u5b66\u7fd2\u8005\u306e\u305f\u3081\u306e\u77e5\u8b58\u3084\u30ea\u30bd\u30fc\u30b9\u3078\u306e\u30b0\u30ed\u30fc\u30d0\u30eb\u306a\u30a2\u30af\u30bb\u30b9\u3092\u6539\u5584\u3059\u308b\u3053\u3068\u3067\u3001\u6570\u5b66\u7814\u7a76\u3092\u63a8\u9032\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p>\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u30c4\u30a3\u30fc\u30c8\u3067\u3001\u201dCMU\u306f\u3001\u7d20\u6674\u3089\u3057\u3044\u30ea\u30fc\u30c0\u30fc\u30b7\u30c3\u30d7\u3092\u6301\u3061\u3001\u30a2\u30d5\u30ea\u30ab\u3067\u306e\u6d3b\u52d5\u3082\u76ee\u899a\u307e\u3057\u304f\u3001\u3053\u306e\u3088\u3046\u306a\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u304c\u6a5f\u80fd\u3059\u308b\u6570\u5c11\u306a\u3044\u5834\u6240\u306e\u3072\u3068\u3064\u3067\u3042\u308b\u3001\u672c\u5f53\u306b\u7d20\u6674\u3089\u3057\u3044\u5927\u5b66\u3067\u3059\u3002\u304a\u3081\u3067\u3068\u3046\u3001\u30a2\u30d3\u30ac\u30c3\u30c9\u6559\u6388\u201d\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-rich is-provider-twitter wp-block-embed-twitter\"><div class=\"wp-block-embed__wrapper\">\n<blockquote class=\"twitter-tweet\" data-width=\"550\" data-dnt=\"true\"><p lang=\"en\" dir=\"ltr\">CMU is truly an amazing university with great leadership, remarkable work in Africa, and one of the few places a project like this could work. Congratulations to Professor Avigad <a href=\"https:\/\/t.co\/Ri6r2eg5Dk\">https:\/\/t.co\/Ri6r2eg5Dk<\/a><\/p>&mdash; Charles Hoskinson (@IOHK_Charles) <a href=\"https:\/\/twitter.com\/IOHK_Charles\/status\/1440681626338357266?ref_src=twsrc%5Etfw\">September 22, 2021<\/a><\/blockquote><script async src=\"https:\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script>\n<\/div><\/figure>\n\n\n\n<p>\u307e\u305f\u3001\u7a7a\u8ecd\u79d1\u5b66\u7814\u7a76\u5c40\u306f\u516c\u5f0f\u30c4\u30a3\u30c3\u30bf\u30fc\u3067\u3001\u201d\u9577\u5e74\u306e#AFOSRMURI\u306e\u767a\u898b\u3092\u57fa\u306b\u3001PI\u306eJeremy Avigad\u535a\u58eb\u304c\u7387\u3044\u308b\u300eHoskinson Center for Formal Mathematics\u300f\u304c\u6570\u5b66\u306e\u672a\u6765\u3092\u3069\u306e\u3088\u3046\u306b\u5c0e\u3044\u3066\u3044\u304f\u306e\u304b\u671f\u5f85\u3057\u3066\u3044\u308b\u201d\u3068\u30b3\u30e1\u30f3\u30c8\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-rich is-provider-twitter wp-block-embed-twitter\"><div class=\"wp-block-embed__wrapper\">\n<blockquote class=\"twitter-tweet\" data-width=\"550\" data-dnt=\"true\"><p lang=\"en\" dir=\"ltr\">With thanks to <a href=\"https:\/\/twitter.com\/IOHK_Charles?ref_src=twsrc%5Etfw\">@IOHK_Charles<\/a> and building on years <a href=\"https:\/\/twitter.com\/hashtag\/AFOSRMURI?src=hash&amp;ref_src=twsrc%5Etfw\">#AFOSRMURI<\/a> discovery, we&#39;re excited to see where the Hoskinson Center for Formal Mathematics, led by PI Dr. Jeremy Avigad, takes the future of math. <a href=\"https:\/\/twitter.com\/AFResearchLab?ref_src=twsrc%5Etfw\">@AFResearchLab<\/a> <a href=\"https:\/\/twitter.com\/CMU_DietrichHSS?ref_src=twsrc%5Etfw\">@CMU_DietrichHSS<\/a> <a href=\"https:\/\/twitter.com\/hashtag\/math?src=hash&amp;ref_src=twsrc%5Etfw\">#math<\/a> <a href=\"https:\/\/twitter.com\/hashtag\/prooftheory?src=hash&amp;ref_src=twsrc%5Etfw\">#prooftheory<\/a> <a href=\"https:\/\/twitter.com\/hashtag\/scienceisateamssport?src=hash&amp;ref_src=twsrc%5Etfw\">#scienceisateamssport<\/a> <a href=\"https:\/\/t.co\/RkbWcoA4zH\">https:\/\/t.co\/RkbWcoA4zH<\/a><\/p>&mdash; AFOSR (@AFOSR) <a href=\"https:\/\/twitter.com\/AFOSR\/status\/1440721099738664977?ref_src=twsrc%5Etfw\">September 22, 2021<\/a><\/blockquote><script async src=\"https:\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script>\n<\/div><\/figure>\n\n\n\n<p>\u4ee5\u4e0b\u306fCrypto-economy.com\u306b\u63b2\u8f09\u3055\u308c\u305f\u8a18\u4e8b\u300c<a href=\"https:\/\/crypto-economy.com\/cardanos-charles-hoskinson-contributes-20m-to-carnegie-mellons-new-center\/\" data-type=\"URL\" data-id=\"https:\/\/crypto-economy.com\/cardanos-charles-hoskinson-contributes-20m-to-carnegie-mellons-new-center\/\" target=\"_blank\" rel=\"noreferrer noopener\">Cardano\u2019s Charles Hoskinson Contributes $20M to Carnegie Mellon\u2019s new center<\/a>\u300d\u3092\u7ffb\u8a33\u3057\u305f\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u30ab\u30eb\u30c0\u30ce\u306e\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u3001\u30ab\u30fc\u30cd\u30ae\u30fc\u30e1\u30ed\u30f3\u5927\u5b66\u306e\u65b0\u30bb\u30f3\u30bf\u30fc\u306b2,000\u4e07\u30c9\u30eb\u3092\u5bc4\u4ed8<\/h3>\n\n\n\n<p>By Alice P Jacobs 2021\u5e749\u670822\u65e5<\/p>\n\n\n\n<p>\u30ab\u30eb\u30c0\u30ce\u306e\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u304c\u30ab\u30fc\u30cd\u30ae\u30fc\u30e1\u30ed\u30f3\u5927\u5b66\u306e\u65b0\u30bb\u30f3\u30bf\u30fc\u306b2,000\u4e07\u30c9\u30eb\u3092\u5bc4\u4ed8<br>\u30ab\u30eb\u30c0\u30ce\u306e\u5275\u696d\u8005\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u3001\u4f55\u3088\u308a\u3082\u6570\u5b66\u8005\u3067\u3059\u3002\u540c\u6c0f\u306f\u3001\u4e16\u754c\u30c8\u30c3\u30d730\u306e\u5927\u5b66\u306e\u4e00\u3064\u3067\u3042\u308b\u30ab\u30fc\u30cd\u30ae\u30fc\u30e1\u30ed\u30f3\u5927\u5b66\u306b\u5f7c\u306e\u540d\u3092\u51a0\u3057\u305f\u6700\u65b0\u306e\u30bb\u30f3\u30bf\u30fc\u3092\u8a2d\u7f6e\u3059\u308b\u3053\u3068\u3067\u3001&#8221;\u6570\u5b66\u306e\u8a00\u8a9e\u3092\u66f8\u304d\u63db\u3048\u308b &#8220;\u3053\u3068\u3092\u671f\u5f85\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p>\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u3001\u6700\u3082\u88d5\u798f\u306a\u4eba\u7269\u306e\u4e00\u4eba\u3067\u3042\u308b\u3060\u3051\u3067\u306a\u304f\u3001\u6697\u53f7\u5316\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u3067\u6700\u3082\u8457\u540d\u3067\u5f71\u97ff\u529b\u306e\u3042\u308b\u4eba\u7269\u306e\u4e00\u4eba\u3067\u3082\u3042\u308a\u307e\u3059\u3002\u4eca\u65e5\u3001\u5f7c\u306f\u30c4\u30a4\u30c3\u30bf\u30fc\u3067\u3001\u30ab\u30fc\u30cd\u30ae\u30fc\u30e1\u30ed\u30f3\u5927\u5b66\u306b\u300cHoskinson Center for Formal Mathematics\u300d\u3068\u3044\u3046\u79c1\u7acb\u7814\u7a76\u5927\u5b66\u3092\u5c55\u958b\u3059\u308b\u305f\u3081\u306b\u30012,000\u4e07\u30c9\u30eb\u306e\u5bc4\u4ed8\u3092\u767a\u8868\u3057\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<p>\u65b0\u30bb\u30f3\u30bf\u30fc\u306e\u4e3b\u306a\u76ee\u7684\u306f\u3001\u6570\u5b66\u3078\u306e\u4e16\u754c\u7684\u306a\u30a2\u30af\u30bb\u30b9\u3092\u5411\u4e0a\u3055\u305b\u3001\u8a08\u7b97\u306b\u3088\u308b\u8a3c\u660e\u652f\u63f4\u8005\u306e\u529b\u3092\u5f37\u5316\u3057\u3001\u6559\u80b2\u8005\u3001\u7814\u7a76\u8005\u3001\u5b66\u7fd2\u8005\u306e\u9593\u306e\u5354\u529b\u95a2\u4fc2\u3092\u5f37\u5316\u3059\u308b\u3053\u3068\u306b\u3042\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p>CMU\u306e\u30d5\u30a1\u30eb\u30ca\u30e0\u30fb\u30b8\u30e3\u30cf\u30cb\u30a2\u30f3\u5b66\u9577\u306f\u3001\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306e\u5bc4\u4ed8\u306b\u3088\u308a\u3001\u540c\u30bb\u30f3\u30bf\u30fc\u304c\u6570\u5b66\u3001\u8ad6\u7406\u3001\u8a08\u7b97\u306e\u5206\u91ce\u3067\u65b0\u305f\u306a\u5354\u529b\u95a2\u4fc2\u3092\u7bc9\u304f\u3053\u3068\u304c\u3067\u304d\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002\u307e\u305f\u3001\u30b8\u30e3\u30cf\u30cb\u30a2\u30f3\u5b66\u9577\u306f\u6b21\u306e\u3088\u3046\u306b\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<blockquote class=\"wp-block-quote\"><p>\u6570\u5b66\u306e\u65b0\u3057\u3044\u3084\u308a\u65b9\u3092\u53ef\u80fd\u306b\u3057\u3001\u6570\u5b66\u7684\u30c4\u30fc\u30eb\u306e\u305f\u3081\u306e\u5171\u540c\u30c7\u30b8\u30bf\u30eb\u30e9\u30a4\u30d6\u30e9\u30ea\u3092\u4f5c\u6210\u3059\u308b\u3053\u3068\u3067\u3001\u5e45\u5e83\u3044\u5206\u91ce\u3067\u306e\u767a\u898b\u3092\u52a0\u901f\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u30bb\u30f3\u30bf\u30fc\u306f\u3001\u5f53\u793e\u306e\u5f37\u307f\u3067\u3042\u308b\u30b3\u30e9\u30dc\u30ec\u30fc\u30b7\u30e7\u30f3\u3068\u30c6\u30af\u30ce\u30ed\u30b8\u30fc\u3092\u99c6\u4f7f\u3057\u305f\u5b9f\u9a13\u3092\u660e\u78ba\u306b\u8868\u73fe\u3057\u3066\u304a\u308a\u3001\u305d\u306e\u53ef\u80fd\u6027\u306b\u975e\u5e38\u306b\u671f\u5f85\u3057\u3066\u3044\u307e\u3059\u3002<\/p><\/blockquote>\n\n\n\n<p>\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u30012013\u5e74\u306b\u6697\u53f7\u5206\u91ce\u306b\u53c2\u5165\u3057\u3066\u4ee5\u6765\u3001\u6697\u53f7\u696d\u754c\u306e\u8907\u96d1\u3055\u3068\u3001\u4e16\u754c\u4e2d\u306e\u91d1\u878d\u30b7\u30b9\u30c6\u30e0\u306b\u9769\u547d\u3092\u8d77\u3053\u3059\u53ef\u80fd\u6027\u306b\u3064\u3044\u3066\u3001\u4eba\u3005\u3092\u6559\u80b2\u3057\u3066\u304d\u307e\u3057\u305f\u3002IOHK\u306e\u5171\u540c\u8a2d\u7acb\u8005\u3067\u3042\u308b\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u3001\u4eca\u56de\u306e\u52d5\u304d\u306b\u3088\u3063\u3066\u3001\u3053\u306e\u30bb\u30f3\u30bf\u30fc\u304c &#8220;\u6570\u5b66\u306e\u8a00\u8a9e\u3092\u66f8\u304d\u63db\u3048\u308b &#8220;\u3053\u3068\u3092\u671f\u5f85\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<blockquote class=\"wp-block-quote\"><p>\u30b3\u30e9\u30dc\u30ec\u30fc\u30b7\u30e7\u30f3\u3001\u63a2\u7a76\u3001\u767a\u898b\u304c\u3001\u6570\u5b66\u7684\u6d3b\u52d5\u306e\u30a4\u30f3\u30bb\u30f3\u30c6\u30a3\u30d6\u3092\u4e0e\u3048\u3001\u652f\u63f4\u3057\u3001\u9ad8\u5ea6\u306a\u81ea\u52d5\u5316\u306e\u65b9\u6cd5\u306e\u305f\u3081\u306e\u30ea\u30bd\u30fc\u30b9\u3092\u4e0e\u3048\u308b\u6249\u3092\u958b\u304f\u3001\u3053\u306e\u3088\u3046\u306a\u91cd\u8981\u306a\u30bb\u30f3\u30bf\u30fc\u306e\u5275\u8a2d\u306b\u53c2\u52a0\u3067\u304d\u308b\u3053\u3068\u3092\u5149\u6804\u306b\u601d\u3044\u307e\u3059\u3002<\/p><\/blockquote>\n\n\n\n<p><strong>\u30ab\u30eb\u30c0\u30ce\u30b5\u30df\u30c3\u30c82021<\/strong><\/p>\n\n\n\n<p>\u4eca\u56de\u306e\u958b\u767a\u306f\u3001\u5f85\u671b\u306e\u30ab\u30eb\u30c0\u30ce\u30b5\u30df\u30c3\u30c8\u304c\u8fd1\u3065\u3044\u3066\u304d\u305f\u3053\u3068\u3092\u53d7\u3051\u305f\u3082\u306e\u3067\u3059\u3002\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u4e0a\u306e\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u6a5f\u80fd\u3092\u53ef\u80fd\u306b\u3059\u308bAlonzo\u30cf\u30fc\u30c9\u30d5\u30a9\u30fc\u30af\u306e\u5b9f\u884c\u306b\u6210\u529f\u3057\u305f\u5f8c\u3001\u4e16\u754c\u6700\u5927\u306e\u30b0\u30ea\u30fc\u30f3\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u306f\u3001\u4eca\u5e74\u6700\u5927\u306e\u6697\u53f7\u30a4\u30d9\u30f3\u30c8\u306e\u958b\u50ac\u306b\u5411\u3051\u3066\u6e96\u5099\u3092\u9032\u3081\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p>\u30ab\u30eb\u30c0\u30ce\u30b5\u30df\u30c3\u30c82021\u306f\u3001\u30a2\u30d5\u30ea\u30ab\u3001\u30e8\u30fc\u30ed\u30c3\u30d1\u3001\u7c73\u56fd\u306e6\u3064\u306e\u30cf\u30d6\u3067\u76f4\u63a5\u958b\u50ac\u3055\u308c\u3001\u30bd\u30fc\u30b7\u30e3\u30eb\u3001\u30d3\u30c7\u30aa\u3001\u30a4\u30f3\u30bf\u30e9\u30af\u30c6\u30a3\u30d6\u306a\u6a5f\u80fd\u3092\u542b\u3080\u6700\u65b0\u306e\u30a4\u30ce\u30d9\u30fc\u30b7\u30e7\u30f3\u3092\u6d3b\u7528\u3057\u3066\u30d0\u30fc\u30c1\u30e3\u30eb\u306b\u958b\u50ac\u3055\u308c\u308b\u30cf\u30a4\u30d6\u30ea\u30c3\u30c9\u30a4\u30d9\u30f3\u30c8\u3067\u3059\u3002\u30ab\u30eb\u30c0\u30ce\u306f\u3001\u904e\u53bb6\u5e74\u9593\u306e\u96c6\u4e2d\u7684\u306a\u958b\u767a\u3068\u67fb\u8aad\u4ed8\u304d\u306e\u5b66\u8853\u7814\u7a76\u306b\u304a\u3044\u3066\u3001\u4e16\u754c\u7684\u306b\u30b7\u30b9\u30c6\u30e0\u3092\u6539\u5584\u3059\u308b\u3068\u540c\u6642\u306b\u3001\u305d\u306e\u904e\u7a0b\u306b\u304a\u3051\u308b\u6a5f\u4f1a\u3092\u6c11\u4e3b\u5316\u3059\u308b\u3068\u3044\u3046\u30b3\u30df\u30c3\u30c8\u30e1\u30f3\u30c8\u3092\u793a\u3057\u3066\u304d\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<p>\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u306e\u7814\u7a76\u30fb\u958b\u767a\u4f1a\u793e\u3067\u3042\u308bIOHK\u306f\u3001\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u611b\u597d\u5bb6\u3001\u696d\u754c\u306e\u5c02\u9580\u5bb6\u3001\u7279\u5225\u30b2\u30b9\u30c8\u3092\u96c6\u3081\u3066\u3001\u30ab\u30eb\u30c0\u30ce\u306e\u91cd\u8981\u306a1\u5e74\u3092\u632f\u308a\u8fd4\u308b\u3053\u3068\u3092\u7d04\u675f\u3057\u307e\u3059\u3002\u3053\u306e\u30b5\u30df\u30c3\u30c8\u306f9\u670825\u65e5\u306826\u65e5\u306b\u958b\u50ac\u3055\u308c\u3001\u8457\u540d\u4eba\u304c\u53c2\u52a0\u3057\u3066\u3001\u3044\u304f\u3064\u304b\u306e\u72ec\u5360\u7684\u3067\u753b\u671f\u7684\u306a\u767a\u8868\u304c\u884c\u308f\u308c\u308b\u4e88\u5b9a\u3067\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u3001\u30ab\u30fc\u30cd\u30ae\u30fc\u30e1\u30ed\u30f3\u5927\u5b66\u306e\u65b0\u30bb\u30f3\u30bf\u30fc\u306b2,000\u4e07\u30c9\u30eb\u3092\u5bc4\u4ed8\u3057\u3001CMU\u306bHoskinson Center for Formal Mathematics\u3092\u8a2d\u7acb\u3057\u307e\u3057\u305f\u3002 https:\/\/twitter.com\/IOHK_Charles\/status\/1440443081183019017 \u3053\u306e\u30bb\u30f3\u30bf\u30fc\u306f\u3001\u6570\u5b66\u306e\u7814\u7a76\u8005\u3001\u6559\u80b2\u8005\u3001\u5b66\u7fd2\u8005\u306e\u305f\u3081\u306e\u77e5\u8b58\u3084\u30ea\u30bd\u30fc\u30b9\u3078\u306e\u30b0\u30ed\u30fc\u30d0\u30eb\u306a\u30a2\u30af\u30bb\u30b9\u3092\u6539\u5584\u3059\u308b\u3053\u3068\u3067\u3001\u6570\u5b66\u7814\u7a76\u3092\u63a8\u9032\u3057\u307e\u3059\u3002 \u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u30c4\u30a3\u30fc\u30c8\u3067\u3001\u201dCMU\u306f\u3001\u7d20\u6674\u3089\u3057\u3044\u30ea\u30fc\u30c0\u30fc\u30b7\u30c3\u30d7\u3092\u6301\u3061\u3001\u30a2\u30d5\u30ea\u30ab\u3067\u306e\u6d3b\u52d5\u3082\u76ee\u899a\u307e\u3057\u304f\u3001\u3053\u306e\u3088\u3046\u306a\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u304c\u6a5f\u80fd\u3059\u308b\u6570\u5c11\u306a\u3044\u5834\u6240\u306e\u3072\u3068\u3064\u3067\u3042\u308b\u3001\u672c\u5f53\u306b\u7d20\u6674\u3089\u3057\u3044\u5927\u5b66&hellip;","protected":false},"author":1,"featured_media":11314,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[21,35,1,38],"tags":[],"class_list":{"0":"post-11313","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-21","8":"category-blog","9":"category-japanese","10":"category-38"},"featured_image_urls":{"full":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11.png",2624,1454,false],"thumbnail":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-150x150.png",150,150,true],"medium":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-300x166.png",300,166,true],"medium_large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-768x426.png",768,426,true],"large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-1024x567.png",900,498,true],"1536x1536":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-1536x851.png",1536,851,true],"2048x2048":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-2048x1135.png",2048,1135,true],"dp-widget-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-140x96.png",140,96,true],"dp-widget-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-280x192.png",280,192,true],"dp-related-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-250x154.png",250,154,true],"dp-related-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-500x308.png",500,308,true],"dp-archive-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-450x249.png",450,249,true],"dp-archive-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-09-23-7.32.11-900x499.png",900,499,true]},"category_list":"<a href=\"https:\/\/sipo.tokyo\/?cat=21\" rel=\"category\">\u30cb\u30e5\u30fc\u30b9<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=35\" rel=\"category\">\u30d6\u30ed\u30b0<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=1\" rel=\"category\">\u65e5\u672c\u8a9e\u7248<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=38\" rel=\"category\">\u7ffb\u8a33<\/a>","author_info":{"name":"sition","url":"https:\/\/sipo.tokyo\/?author=1"},"comments_num":"0 comments","_links":{"self":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/11313","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=11313"}],"version-history":[{"count":4,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/11313\/revisions"}],"predecessor-version":[{"id":11320,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/11313\/revisions\/11320"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/media\/11314"}],"wp:attachment":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=11313"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=11313"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=11313"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}