Kisoron-ml July 2013

3 participants
3 discussions

再送：愛媛大学理学部・教員公募（ 6 日締切）
by FUJITA Hiroshi 29 Jul '13

29 Jul '13

応募締め切りが迫ってきたので再度告知させていただきます。同一文面で logic-ml と数学会基礎論分科会の kisoron-ml にポストしております。ご了承ください。愛媛大学の藤田です。この場をお借りして理学部数学科の教員人事の告知をさせてください。位相空間論や集合論的トポロジーあるいは集合論の研究者の応募を広く呼びかけたいと思っております。どうぞご検討くださいませ。下記引用文と同一の文面のPDFファイルを http://www.ehime-u.ac.jp/information/employment/teacher_details.html?new_re… からダウンロードできます。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> =========================================================== 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　平成２５年６月６日　各　　位　　　　　　　　　　　　　　　　愛媛大学大学院理工学研究科（理学系）　　　　　　　　　　　　　　　　　　　人事委員会委員長　　　宇　野　英　満　　　　　　　　　　　　教員の公募について（依頼）　謹啓　時下ますますご清祥のこととお慶び申し上げます。　さて，このたび当研究科では下記の要領により教員を公募いたします。つきましては，関係各位への周知方並びに適任者の推薦又は応募につきまして，ご高配賜りますようお願い申し上げます。　　　　　　　　　　　　記１．募集人員　　教授または准教授　１名２．所属部門　　大学院理工学研究科数理物質科学専攻数理科学講座３．専門分野　　位相数学及びその周辺の分野４．応募資格　（１）優れた研究業績をあげている方　　　　　　　（２）教育や研究活動並びに大学の運営に熱意をもって取り組める方　　　　　　　（３）博士の学位を有している方５．着任時期　　平成２６年４月１日（予定）６．任　　期　　なし７．提出書類　（１）履歴書（写真貼付、賞罰、所属学会を含むこと）　　　　　　　（２）研究業績リスト（原著論文、総説、著書、研究費取得状況、その他）　　　　　　　（３）主要論文５編程度の別刷（コピー可）　　　　　　　（４）これまでの研究概要とこれからの研究計画（それぞれＡ４紙１枚程度）　　　　　　　（５）これまでの教育経験と今後の教育に関する抱負（Ａ４紙１枚程度）　　　　　　　（６）応募者について照会可能な方２名の氏名と連絡先８．公募締切　　平成２５年８月６日（火）必着９．提出先　　　〒790-8577　松山市文京町２−５愛媛大学大学院理工学研究科（理学系）人事委員会委員長　　宇野　英満 10．問合せ先　愛媛大学大学院理工学研究科数理物質科学専攻数理科学コース　　　　　　　　コース長　　内藤　雄基　　　　　　　　電話：089-927-9564　　Fax：089-927-9560（数学事務室）　　　　　　　　E-mail：ynaito(a)ehime-u.ac.jp 11．その他　　封筒に「数学教員応募書類在中」と朱書し，簡易書留で郵送して下さい。選考の過程で，講演をお願いし，面接を行うことがあります。ただし，旅費は応募者の負担とします。また，応募書類に記載された個人情報は，本人事のみに使用し，応募書類は原則として返却いたしません。なお，採用予定者の氏名は，本学ホームページで公表させていただきます。　　　　　　　愛媛大学では，男女共同参画を積極的に推進しています。数理科学コースホームページ：http://www.math.sci.ehime-u.ac.jp/index.html

1 0

公募
by Akito Tsuboi 18 Jul '13

18 Jul '13

みなさま，筑波大学数学域では，トポロジーの准教授を公募しています．詳細は下記ＵＲＬをご覧ください． http://nc.math.tsukuba.ac.jp/recruitment/?action=common_download_main&uploa… 坪井

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 16 Jul '13

16 Jul '13

皆様 JAIST Logic Seminar Seriesのお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Monday 29 July, 2013, 15:00-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Martin Ziegler (Technische Universitaet Darmstadt) Title: HENKIN CONTINUITY OF MULTIVALUED FUNCTIONS (joint work with Arno Pauly) Abstract: A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based, computations. Conversely, by the Weierstrass Approximation Theorem, every continuous $f:[0;1]\to\mathbb{R}$ is computable relative to some oracle. In their search for a similar topological characterization of relatively computable \emph{multi-}valued functions $f:[0;1]\rightrightarrows\mathbb{R}$ (aka multi-functions or relations), Brattka and Hertling (1994) have considered two notions: weak continuity (which is weaker than relative computability) and strong continuity (which is stronger than relative computability). Observing that \emph{uniform} continuity plays a crucial role in the Weierstrass Theorem, we propose and compare several notions of uniform continuity for relations. Here, due to the additional quantification over values $y\in f(x)$, new ways arise of (linearly) ordering quantifiers---yet none turns out as satisfactory. We are thus led to a concept of uniform continuity based on the \textsf{Henkin quantifier}; and prove it necessary for relative computability of compact real relations. In fact iterating this condition yields a strict hierarchy of notions each necessary --- and the $\omega$-th level also sufficient --- for relative computability. A refined, quantitative analysis exhibits a similar topological characterization of relative polynomial-time computability. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml July 2013