Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp

1792 discussions

証明論研究集会2013（教室変更、プログラム、講演追加募集）
by Kazushige TERUI 23 Jul '13

23 Jul '13

みなさま 8月8日−9日に慶応大学三田キャンパスで予定されている証明論研究集会について再度ご案内させて頂きます。・教室が変更になりましたのでご注意ください。　（慶応大学三田キャンパス南校舎475号室）　　http://www.keio.ac.jp/ja/access/mita.html ・プログラム（仮）をウェブページに掲載しました。・まだスロットに余裕がありますので、追加で講演希望を受け付けたいと思います。　（証明論に限らず、計算機科学や基礎論他分野等の周辺分野を含む）　講演の希望がありましたら、世話人までご相談ください。・詳細は　http://www.kurims.kyoto-u.ac.jp/~terui/proof2013.html 　をご覧ください。照井 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

数学基礎論サマースクール2013（※教室変更）
by Kazushige TERUI 23 Jul '13

23 Jul '13

みなさま 8月5日−7日に慶応大学三田キャンパスで予定されている数学基礎論サマースクールについて再度ご案内させて頂きます。・教室が変更になりましたのでご注意ください。　（慶応大学三田キャンパス南校舎475号室）　　http://www.keio.ac.jp/ja/access/mita.html ・会場の都合で定員を85名（先着順）とさせていただきます。　すでに40名ほどの方から参加希望を承っております。　参加予定の方は、早めにお申込みください。・時間割をウェブページに掲載しました。・詳細は　http://www.kurims.kyoto-u.ac.jp/~terui/school2013.html 　をご覧ください。照井 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

講演会``A Frontier of Non-Classical Logic'' （7月19日，@京大文学部）のご案内
by 久木田水生 17 Jul '13

17 Jul '13

皆様京都大学哲学研究室ODの久木田です．下記の通り，京都大学文学部応用哲学倫理センター（CAPE）主催による ``A Frontier of Non-Classical Logic''と題されたセミナーが行われます．哲学的なバックグラウンドを持ち，論理学の分野で世界的な業績をあげている研究者の方々による講演です．講演は日本語で行われます．どうぞふるってご参加下さい．久木田記日時：7月19日（金），10:30-14:30 場所：京都大学文学部地下小会議室テーマ：A Frontier of Non-Classical Logic プログラム： 10:30-12:00 Katsuhiko Sano (JAIST), “Alternative Semantics for Visser’s Basic Propositional Logic” Lunch Break 13:00-14:30 Hidenori Kurokawa (Kobe University )and Hirohiko Kushida (CUNY), “Substructural logic of proofs and self-referentiality” 詳細はCAPEのWebページをご覧下さい． http://www.bun.kyoto-u.ac.jp/news/%E7%AC%AC20%E5%9B%9Ecape%E3%83%AC%E3%82%A… 以上

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

39th TRS Meeting - Call for Participation
by Nao Hirokawa 12 Jul '13

12 Jul '13

皆様 9月18日〜20日に行われます書換えに関する研究集会「第39回TRSミーティング」の参加者募集の案内をお送り致します。 http://www.jaist.ac.jp/~c-sterna/39th-trs-meeting/ 今回の会場は秋田市さとみ温泉でして、すでに名古屋大学から大山口教授、また海外からはインスブルック大学の Middeldorp 教授、Zankl 研究員の参加が決まっております。皆様、ぜひ参加をご検討下さい！廣川 (JAIST) ---------------------------------------------------------------------- 39th TRS Meeting Akita http://www.jaist.ac.jp/~c-sterna/39th-trs-meeting/ About the TRS Meeting The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk of approximately 15 to 60 minutes in English on their research activities. The subject of the talk is not required to be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/) Information Date: September 18 (Wed) -- 20 (Fri), 2013 Venue: Akita Onsen Satomi, http://www.satomi-e.com Keidaikawara Soegawa, Akita, 010-0822 Program September 18 (Wed) 14:00-18:00 meeting September 19 (Thu) 9:00-18:00: meeting September 20 (Fri) 9:00-12:00: meeting Fee ~ 26,000 yen (including lodging, breakfast, and dinner for 2 nights) Registration Please indicate whether you would like to join by sending the registration form below to Christian Sternagel (c-sterna(a)jaist.ac.jp) no later than August 15, 2013. ---------------------------------------------------------------------- Registration Form of the 39th TRS Meeting name: affiliation: title of talk*: approximate duration of talk (in minutes)*: preference on your room: [A single room is preferred / A shared room is acceptable](choose one) (In case of partial participation, please contact me) ---------------------------------------------------------------------- The items marked with * can be sent later. Contact Christian Sternagel (c-sterna(a)jaist.ac.jp)

1 0

締切延長：証明論研究集会（８月８日−９日）
by Kazushige TERUI 12 Jul '13

12 Jul '13

みなさま証明論（および関連分野の）研究集会についてですが、講演数不足のため締め切りを７月２２日（月）まで延長させていただきます。証明論および周辺研究分野のみなさま、どうかぜひ講演をご検討ください。照井 --- 例年行われている証明論を中心とした研究集会についてご案内させていただきます。昨年度の様子については http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html をご覧ください。今年度は下記の要領で開催します。日時：2013年8月8日（木）午前 − 9日（金）午後　　　　なお5日（月）−7日（水）には数学基礎論サマースクールが開催されます。会場：慶応義塾大学三田キャンパス東館6階G-Sec Lab 　　　http://www1.gsec.keio.ac.jp/text/about_access.php 世話人：照井一成（京都大学）ホームページ：http://www.kurims.kyoto-u.ac.jp/~terui/proof2013.html 講演をご希望の方は7月22日までに下記を記入の上、terui(a)kurims.kyoto-u.ac.xn--jp-g73aubyah0f2d4208a8fyh. 氏名所属身分（学年）メールアドレス講演タイトル（未定でも可）講演希望時間：長め（50分〜）・短め（30分）（※必ずしもご希望に沿えない場合があることをご了承ください。）講演日時：不都合な日時がありましたらお知らせください。 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

Fwd: categories: PhD positions in Leicester
by Ichiro Hasuo 06 Jul '13

06 Jul '13

転送します．蓮尾 ---------- Forwarded message ---------- From: Alexander Kurz <ak155(a)mcs.le.ac.uk> Date: Fri, Jul 5, 2013 at 8:10 PM Subject: categories: PhD positions in Leicester To: categories <categories(a)mta.ca> Hi All, we have 3 PhD positions in Computer Science, deadline 29th July. http://www2.le.ac.uk/study/research/funding/computerscience-gta Applications by students interested in a PhD on Category Theory in Computer Science are particularly welcome, despite the fact that category theory is not listed under "topics of particular interest" in the advert, which was an oversight. I would be very grateful if you could pass this on to potential candidates. Ideally, interested students would get in touch with me directly before applying formally. Best wishes, Alexander [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

$B=8Cf9V5A$N$*CN$i$;(B
by Hasegawa Masahito 04 Jul '13

04 Jul '13

$B3'MM!"(B $B5~ETBg3XBg3X1!M}3X8&5f2J$G$O!"0J2<$NFbMF$G=8Cf9V5A!JA4#42s!K(B $B$rM=Dj$7$F$*$j$^$9!#9V;U$O!"El5~Bg3X$N2OB<>4@1@h@8$G$9!#(B $B7W;;2DG=2r@O3X$N4pAC$+$i:G6a$NOCBj$^$G$r2r@b$7$FD:$-$^$9!#(B $BM}3X8&5f2J$NBg3X1!@8$rBP>]$H$7$?3+9V2JL\$G$9$,!"4X?4$r$*;}$A$N(B $BJ}$O$I$J$?$G$b$*5$7Z$K$4MhD02<$5$$!#ITL@$JE@$,$"$j$^$7$?$i!"(B $BD9C+@n$^$G$*Ld$$9g$o$;2<$5$$!#(B $BD9C+@n???M(B <hassei at kurims.kyoto-u.ac.jp> $B5~ETBg3X?tM}2r@O8&5f=j(B ====================================================================== $B5~ETBg3XBg3X1!M}3X8&5f2J?t3X!&?tM}2r@O@l96?tM}2r@O7O(B $B?tM}2r@OFCJL9V5A#1(B $B7W;;5!2J3X!J=8Cf9V5A!K(B $B!V<B?t$N7W;;M}O@!W(B $B9V(B $B;U!'2OB<(B $B>4@1(B $B;a(B $B!JEl5~Bg3XBg3X1!>pJsM}9)3X7O8&5f2J!K(B $BF|(B $B;~!'#2#0#1#3G/#77n#2#2F|!&#2#3F|!&#87n#1F|!&#2F|(B $B$$$:$l$b#1#4;~3+;O(B $B>l(B $B=j!'Am9g8&5f#29f4[#43,(B $B#4#7#89f<<(B $B!JCm!'KLIt$N?tM}2r@O8&5f=jK\4[$G$O$"$j$^$;$s!#I4K|JW$NFnElB&$G$9!#(B $BCO?^$O(B http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg $B!K(B $B7W;;2DG=@-$d7W;;NL$ON%;6E*!&M-8BE*$JA`:n$K$h$k=hM}$NG=NO$H8B3&$r8l$k35(B $BG0$G$"$k$,!"E,@Z$JDj<02=$K$h$j<B?t!"<B?tCMH!?t!"<B?t$N=89g$H$$$C$?O"B3(B $BE*$JBP>]$K$b1~MQ$9$k$3$H$,$G$-$k!#K\9V5A$G$O7W;;2DG=2r@O3X$H8F$P$l$k$3(B $B$NJ,Ln$N4pAC$+$i:G6a$NOCBj$^$G2r@b$9$k!#(B $BFC$KM=HwCN<1$O2>Dj$;$:0lHLE*$J7W;;NLM}O@$N35@b$+$i;O$a$k!#$3$l$r<B?t$J(B $B$I$N2r@O3XE*BP>]$KEv$F$O$a$kOHAH$G$"$kFs7?7W;;$HI=8=$NM}O@$r2r@b$7!"$=(B $B$N1~MQ$H$7$F<BH!?t$d<B?t=89g$KBP$9$kMM!9$J6qBNE*A`:n$N7W;;NL$r07$&!#(B 1. $B7W;;NLM}O@$N4pAC(B $B!&LdBj$H;;K!(B $B!&;~4V!&6u4V$N@)8B(B $B!&Hs7hDj@-!&MpBr!&7W?t(B $B!&5"Ce$HAjBP2=(B 2. $B<B?t$N7W;;M}O@(B $B!&Fs7?7W;;$HI=8=$NM}O@(B $B!&<B?t$H<BH!?t$NI=8=(B $B!&=89g$NI=8=$H7W;;(B $B!&MM!9$J1i;;$N7W;;NL(B $B9V5A%&%'%VJG!'(B http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/teaching/rims_H25/ $B0u:~MQ0FFb!'(B http://www.kurims.kyoto-u.ac.jp/~hassei/kawamura2013.pdf ======================================================================

1 0

超準解析シンポジウム（第1報）
by Hiroshi Akiyama 04 Jul '13

04 Jul '13

皆様：静岡大学の明山です。 2013年度超準解析シンポジウムを下記のように開催いたしたいと存じます。よろしくお願いいたします。　　　　　　　　　　　　　　　　記 2013年度超準解析シンポジウム期間： 2013年9月17日(火)午後〜9月19日(木)午前　（予定）会場：静岡県浜松市中区城北3-5-1　静岡大学（浜松キャンハ゜ス）　　　工学部6号館（旧・共通棟）12教室　　　（北門のすぐそばの５階建ての建物の1階です）ご参加いただけるかたは　講演の有無　講演題目（仮題でも結構です）　講演できない日時(無・有) を下記期日までに下記世話人までお知らせください。　参加・講演申込締切：2013年8月23日(金) （おおよその人数把握のため，参加だけの方もお知らせいただければ幸いに存じます。）世話人：静岡大学工学部共通講座　　明山　浩　　　　　 e-mail：　tshakiy(a)ipc.shizuoka.ac.jp

1 0

Nagoya Logic Seminar
by 吉信康夫 01 Jul '13

01 Jul '13

皆様：以下の要領で名古屋数学基礎論セミナーを開催します。奮って御参加下さい。日時：7月5日(金) 15:30- 場所：名古屋大学全学教育棟3階 SIS5 教室 (http://www.nagoya-u.ac.jp/2012website/global-info/images/access-map/map2.pdf の地図でB4(1)の建物です。建物内配置図は http://www.ilas.nagoya-u.ac.jp/student/lectureroom/ でご覧になれます。 SIS5 教室は3階の中央より少し北, C36の北隣にあります。) 講演者：John Pardo (ペンシルバニア州立大学, JSPSサマープログラム研究員(北陸先端大)) 題： Forcing and Basis Theorems in Computability Theory アブストラクト：The technique of forcing, primarily known for its applications in set theory, has proven to be quite useful in computability theory as well. I will discuss how forcing is made effective in the computable sense, as well as use this technique to prove the Low Basis Theorem, the Hyper-immune free Basis Theorem, and the Cone-Avoidance Basis Theorem, all of which are due to Jockusch and Soare. (7/2 に神戸大学で予定されている講演と概ね同内容ですのでご注意下さい。)

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml