
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><span class=""></span><span class="">皆様</span><span class=""><br class=""></span><span class=""><br class=""></span><span class="">以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．</span><span class=""><br class=""></span><span class=""><br class=""></span><span class="">講演終了後に夕食会を予定しています．夕食会にご参加いただける方は，早めに木原貴行 </span><span class=""><a href="mailto:kihara@i.nagoya-u.ac.jp" class="">kihara@i.nagoya-u.ac.jp</a></span><span class=""> </span><span class="">までご一報お願い致します．</span><span class=""><br class=""></span><span class=""><br class=""><br class=""></span><span class="">名古屋ロジックセミナー</span><span class=""><br class=""></span><span class=""><a href="http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html" class="">http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html</a></span><span class=""><br class=""></span><span class=""><br class=""></span><span class="">日時：6月29日 (金) 15:30〜</span><span class=""><br class=""></span><span class="">場所：名古屋大学大学院情報学研究科棟 314室</span><span class=""><br class=""></span><span class=""><br class=""></span><span class="">講演者：</span><span class="">Paul-Elliot Anglès D'Auriac (パリ・エスト・クレテイユ大学)　</span><span class=""><br class=""></span><span class=""><br class=""></span><span class="">題目： On Infinite Time Turing Machine and and its related ordinals</span><span class=""><br class=""></span><span class=""><br class=""></span><span class="">アブストラクト：</span><span class=""><br class=""></span><span class="">In 1998, Hamkins and Lewis introduced Infinite Time Turing Machines (ITTMs), a version of Turing Machines where time is allowed to run through the ordinals instead of the integers. This model of computation revealed itself to have interesting connections with set theory and in particular Godel's constructible hierarchy. In this talk, we will be interested in the properties of the ordinals that naturally arises in the study of ITTMs, such as those that correspond to halting time, or that have a code that can be written on the tape of an ITTM.</span><div class=""><span class=""><br class=""></span></div><div class=""><span class=""><br class=""></span><span class=""><div class="">

<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><br class="Apple-interchange-newline">--------</div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><br class=""></div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">Takayuki Kihara</div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">Graduate School of Informatics, Nagoya University, Japan</div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">URL: <a href="http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html" class="">http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html</a></div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">Email: <a href="mailto:kihara@i.nagoya-u.ac.jp" class="">kihara@i.nagoya-u.ac.jp</a></div>

</div>

</span><br class=""></div></body></html>