{"id":11486,"date":"2022-02-08T12:26:06","date_gmt":"2022-02-08T03:26:06","guid":{"rendered":"https:\/\/www.btc-embedded.jp\/events\/25%e5%9b%9e-mbmv-%e3%83%af%e3%83%bc%e3%82%af%e3%82%b7%e3%83%a7%e3%83%83%e3%83%97\/"},"modified":"2022-09-12T18:14:47","modified_gmt":"2022-09-12T09:14:47","slug":"25%e5%9b%9e-mbmv-%e3%83%af%e3%83%bc%e3%82%af%e3%82%b7%e3%83%a7%e3%83%83%e3%83%97","status":"publish","type":"events","link":"https:\/\/www.btc-embedded.jp\/ja\/events\/25%e5%9b%9e-mbmv-%e3%83%af%e3%83%bc%e3%82%af%e3%82%b7%e3%83%a7%e3%83%83%e3%83%97\/","title":{"rendered":"25\u56de MBMV \u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"11486\" class=\"elementor elementor-11486 elementor-5503\" data-elementor-post-type=\"events\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-d26a8b4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d26a8b4\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-e230c73\" data-id=\"e230c73\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-9c6de56 elementor-widget elementor-widget-text-editor\" data-id=\"9c6de56\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.20.0 - 26-03-2024 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#69727d;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#69727d;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p>\u65e5\u4ed8\uff1a2022\u5e742\u670817\u65e5<\/p>\n<p>\u5834\u6240\uff1a\u30aa\u30f3\u30e9\u30a4\u30f3<\/p>\n<p>BTC Embedded Systems \u306f\u7b2c25\u56deMBMV\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u306b\u53c2\u52a0\u3057\u3001&#8221;Detection and Elimination of Constants to Strengthen k-Induction&#8221; \u3068\u3044\u3046\u30c6\u30fc\u30de\u3067\u8b1b\u6f14\u3092\u884c\u3044\u307e\u3059\u3002<\/p>\n<p>\u30a4\u30d9\u30f3\u30c8\u306b\u95a2\u3059\u308b\u8a73\u7d30\u306f<a href=\"https:\/\/www.vde.com\/de\/itg\/veranstaltungen\/veranstaltung?id=20735&amp;type=vde%7Cvdb\" target=\"_blank\" rel=\"noopener\">here<\/a>\u3092\u3054\u89a7\u304f\u3060\u3055\u3044\u3002<\/p>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-bad596c elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"bad596c\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-inner-column elementor-element elementor-element-7efc0bb\" data-id=\"7efc0bb\" data-element_type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-fd08004 elementor-widget elementor-widget-text-editor\" data-id=\"fd08004\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p><strong>&#8220;k-Induction\u3092\u5f37\u5316\u3059\u308b\u5b9a\u6570\u306e\u691c\u51fa\u3068\u9664\u53bb&#8221;<\/strong><\/p>\n<p>\u767a\u8868\u8005\uff1a Lukas Mentel<\/p>\n<p><strong>\u6982\u8981<\/strong><\/p>\n<p>\u8fd1\u5e74\u3001\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30e2\u30c7\u30eb\u691c\u67fb\u306f\u3001\u30c7\u30c3\u30c9\u30b3\u30fc\u30c9\u304c\u5b58\u5728\u3057\u306a\u3044\u3053\u3068\u3092\u8a3c\u660e\u3059\u308b\u306a\u3069\u3001\u30bb\u30fc\u30d5\u30c6\u30a3\u30af\u30ea\u30c6\u30a3\u30ab\u30eb\u306a\u74b0\u5883\u3067\u4f7f\u7528\u3055\u308c\u308b\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306e\u691c\u8a3c\u306e\u305f\u3081\u306e\u4fe1\u983c\u6027\u306e\u9ad8\u3044\u624b\u6cd5\u3068\u306a\u3063\u3066\u3044\u307e\u3059\u3002<br \/>\n\u3053\u306e\u3088\u3046\u306a\u691c\u8a3c\u3092\u884c\u3046\u624b\u6cd5\u306e\u4e00\u3064\u306bk-induction\u304c\u3042\u308b\u3002k-induction\u306f\uff0c\u8a98\u5c0e\u6bb5\u968e\u306b\u304a\u3044\u3066\u7279\u6027\u3084\u9077\u79fb\u95a2\u4fc2\u3092\u8003\u616e\u3059\u308b\u304c\uff0c\u521d\u671f\u72b6\u614b\u306f\u7121\u8996\u3059\u308b\u3002\u305d\u306e\u305f\u3081\u3001k\u5e30\u7d0d\u6cd5\u306f\u3001\u5b9a\u6570\u5024\u3092\u6301\u3064\u5909\u6570\u306e\u7b26\u53f7\u5316\u3001\u7279\u306b\u7b26\u53f7\u5316\u304c\u521d\u671f\u72b6\u614b\u306b\u4f9d\u5b58\u3059\u308b\u5834\u5408\u3001\u975e\u5e38\u306b\u654f\u611f\u3067\u3042\u308b\u3002\u6700\u8fd1\u306e\u8ad6\u6587\u3067\u306f\u3053\u306e\u554f\u984c\u306b\u53d6\u308a\u7d44\u3093\u3067\u3044\u308b\u3002\u672c\u8ad6\u6587\u3067\u306f\u3001\u4e3b\u306a\u7d50\u679c\u3092\u7d39\u4ecb\u3057\u3001\u5546\u7528\u30c6\u30b9\u30c8\u30fb\u691c\u8a3c\u30c4\u30fc\u30ebBTC EmbeddedPlatform\u3078\u306e\u7d71\u5408\u306b\u3064\u3044\u3066\u8ff0\u3079\u3001\u81ea\u52d5\u8eca\u5206\u91ce\u304b\u3089\u306e\u691c\u8a3c\u30bf\u30b9\u30af\u3092\u542b\u3080\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u30bb\u30c3\u30c8\u3067\u5b9f\u88c5\u3092\u8a55\u4fa1\u3057\u307e\u3059\u3002<\/p>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>BTC Embedded Systems\u304c\u7b2c25\u56deMBMV\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u306b\u53c2\u52a0\u3057\u3001&#8221;Detection and Elimination of Constants to Strengthen k-Induction &#8220;\u306b\u3064\u3044\u3066\u8b1b\u6f14\u3092\u884c\u3044\u307e\u3059\u3002<\/p>\n","protected":false},"featured_media":0,"template":"elementor_theme","event_type":[110,111],"class_list":["post-11486","events","type-events","status-publish","hentry","event_type-webinar-ja","event_type-111"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/events\/11486","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/types\/events"}],"version-history":[{"count":3,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/events\/11486\/revisions"}],"predecessor-version":[{"id":11514,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/events\/11486\/revisions\/11514"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/media?parent=11486"}],"wp:term":[{"taxonomy":"event_type","embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/event_type?post=11486"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}