1.0国立大学法人群馬大学総務部総務課広報係/information/author/pao国際停止性コンペティション（International Termination Competition, termCOMP 2022）のHigher-Order Union Beta Rewriting 部門にて、大学院理工学府電子情報部門の浜名誠准教授と岐阜大学 今井敬吾助教からなるチームが第一位を受賞しましたrich600338<blockquote class="wp-embedded-content" data-secret="1BvyIG0q0h"><a href="/information/150577">国際停止性コンペティション（International Termination Competition, termCOMP 2022）のHigher-Order Union Beta Rewriting 部門にて、大学院理工学府電子情報部門の浜名誠准教授と岐阜大学 今井敬吾助教からなるチームが第一位を受賞しました</a></blockquote><iframe sandbox="allow-scripts" security="restricted" src="/information/150577/embed#?secret=1BvyIG0q0h" width="600" height="338" title="“国際停止性コンペティション（International Termination Competition, termCOMP 2022）のHigher-Order Union Beta Rewriting 部門にて、大学院理工学府電子情報部門の浜名誠准教授と岐阜大学 今井敬吾助教からなるチームが第一位を受賞しました” — 国立大学法人群馬大学" data-secret="1BvyIG0q0h" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" class="wp-embedded-content"></iframe><script type="text/javascript">
/* <![CDATA[ */
/*! This file is auto-generated */
!function(d,l){"use strict";l.querySelector&&d.addEventListener&&"undefined"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!/[^a-zA-Z0-9]/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret="'+t.secret+'"]'),o=l.querySelectorAll('blockquote[data-secret="'+t.secret+'"]'),c=new RegExp("^https?:$","i"),i=0;i<o.length;i++)o[i].style.display="none";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute("style"),"height"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):"link"===t.message&&(r=new URL(s.getAttribute("src")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener("message",d.wp.receiveEmbedMessage,!1),l.addEventListener("DOMContentLoaded",function(){for(var e,t,s=l.querySelectorAll("iframe.wp-embedded-content"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute("data-secret"))||(t=Math.random().toString(36).substring(2,12),e.src+="#?secret="+t,e.setAttribute("data-secret",t)),e.contentWindow.postMessage({message:"ready",secret:t},"*")},!1)))}(window,document);
/* ]]> */
</script>