- Logic-ml - fos.kuis.kyoto-u.ac.jp

大阪府立大学情報数理談話会（12月10日金曜日/立木秀樹先生）
by Masaru Kada 22 Nov '10

22 Nov '10

logic-ml のみなさま：大阪府立大学嘉田です．下記の通り，大阪府立大学理学部情報数理科学科にて，立木秀樹先生（京都大学）を講師にお招きして談話会を実施いたしますので，ご案内申し上げます．学外からのご参加も歓迎です．お近くの方はどうぞお越しください． ======== 第35回大阪府立大学情報数理談話会講演題目：ボトム入り文字列を用いた、位相空間上の計算講師：立木秀樹（京都大学大学院人間・環境学研究科）日時：2010年12月10日（金） 17：00〜18：00 （16:45 から会場で茶菓を用意しています）場所：大阪府立大学中百舌鳥キャンパス A13棟323教室講演概要：実数空間などの1以上の位相次元をもつ可分距離空間は、０１の無限列空間（カントール空間）に埋め込むことはできません。しかし、０，１に加えて ⊥を含んだ無限列空間を考えたら、そこに埋め込むことができます。この埋め込みと、０１⊥無限列を入出力するマシンの概念（あるいは、そのような入出力が可能なプログラミング言語）を用いて、実数空間などの上の計算概念を導入しましょう。 ======== 情報数理談話会ウェブページ http://www.mi.s.osakafu-u.ac.jp/lec-meeting/ 交通案内・キャンパスマップ http://www.osakafu-u.ac.jp/access/index.html お問い合わせ：嘉田勝（大阪府立大学理学部情報数理科学科） kada(a)mi.s.osakafu-u.ac.jp -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Fwd: Leo Esakia
by Hiroakira Ono 21 Nov '10

21 Nov '10

> Dear friends, > > Please feel free to forward the letter to any appropriate mailing > lists. > > Thank, Guram > > --------------------------- > > Dear Colleagues, > > It is with great sadness that we announce the passing of Leo Esakia > on November 17, 2010. This is a big loss for all of Leo's friends, > colleagues, and students, but also for the logic community as a whole. > > Leo was the founder and the anchor of the logic school in Georgia. > He was a constant source of wisdom, inspiration, and encouragement > to all of his colleagues and students. Leo made numerous important > contributions to the study of algebraic and topological semantics of > intuitionistic and modal logics. Several landmark theorems in the > field bear his name. He also contributed immensely to establishing a > strong research community working on algebraic, topological, and > categorical methods in logic. > > Leo Esakia was not only a brilliant mathematician, but also an > extraordinary human being. He will stay in our memory as a > wonderful, charming, refined, and attentive person who was always > there to give his support, encouragement, and guidance. He will be > sorely missed. We believe his scientific legacy will be long > remembered, and his ideas will carry forward. > > Our thoughts are with Leo's family at these difficult times. > > Guram Bezhanishvili > Nick Bezhanishvili > David Gabelaia > Mamuka Jibladze > Dimitri Pataraia >

1 0

Talk by Kazushige Terui, next Thursday
by Ichiro Hasuo 19 Nov '10

19 Nov '10

Dear colleagues, Next Thursday our colleague Kazushige Terui is speaking on his recent work about implicit complexity. You're all welcome; no registration necessary. See you there! Best regards, Ichiro Hasuo --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: Kazushige Terui (RIMS, Kyoto U.) Title: Church => Scott = Ptime: an application of resource sensitive realizability Date: 11.00 - 12.00, Thu 25 Nov 2010 Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: We introduce a variant of linear logic with second order quantifiers and type fixpoints, both restricted to purely linear formulas. The Church encodings of binary words are typed by a standard non-linear type `Church,' while the Scott encodings (purely linear representations of words) are by a linear type `Scott.' We then give a characterization of polynomial time functions, which is derived from (Leivant and Marion 93): a function is computable in polynomial time if and only if it can be represented by a term of type Church => Scott. To prove soundness, we employ a resource sensitive realizability technique developed by Hofmann and Dal Lago. This is a joint work with Alois Brunel.

1 0

Kobe Colloquium on Logic, Statistics and Informatics のお知らせ
by SAKAI Hiroshi 17 Nov '10

17 Nov '10

皆様：神戸大学の酒井拓史と申します．以下の要領で Kobe Colloquium on Logic, Statistics and Informatics を開催します．直前のアナウンスで申し訳ありませんが，ご興味のある方は是非ご参加下さい：講演者：藤田博司氏 (愛媛大学) タイトル：不連続関数の微分可能点について日時：１１月１８日(木) 13:30 〜 15:00 場所：神戸大学自然科学総合研究棟３号館４階４２１号室 (渕野グループプレゼンテーション室) http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm よろしくお願いいたします． -------------------------------- 酒井拓史神戸大学大学院システム情報学研究科 Tel： 078-803-6242 e-mail： hsakai(a)people.kobe-u.ac.jp --------------------------------

1 0

数学基礎論若手の会2010 プログラム
by leibniz 14 Nov '10

14 Nov '10

logic-mlの皆様， 2010年度数学基礎論若手の会の幹事をしております愛知学院大学の山下と申します．大変遅れて申し訳ありませんが、本年度の若手の会（11月19日−21日）の講演プログラムができましたので、ご案内申し上げます．詳細は数学基礎論若手の会2010ホームページ http://www.aichi-gakuin.ac.jp/~yamasita/wakate-no-kai2010.html をご覧ください。なお，宿泊を伴う参加者は締め切りましたが，宿泊を伴わない参加者はまだ受け付けますので，ご検討いただければ幸いです． ----------- 11/19 （第３研修室） 13:30-14:00 朝比奈佑樹 (名古屋大学) Kripke models とScott-Montague semanticsについて 14:00-14:40 井澤昇平 (東北大学理学研究科数学専攻) 高階算術における抽象論 14:40-15:10 岩波克 (東京工業大学数理計算科学専攻) 未定 15:40-16:10 嘉田勝 (大阪府立大学大学院理学系研究科) 未定 16:10-16:40 上條良介 (早稲田大学　基幹理工学部) homeomorphisms on generalized planes 16:40-17:40 木原貴行 (東北大学大学院理学研究科) 未定 11/20 （第１研修室） 09:20-10:20 倉橋太志 (神戸大学) First-order provability logic 10:30-11:10 小島健介 (京都大学情報学研究科) 未定 11:10-11:50 竹内耕太 (筑波大学数理物質科学研究科) 未定 13:30-14:10 田中　勇一 (神戸大学大学院) モデル論における独立性について 14:10-14:40 中村　順 (早稲田大学　基幹理工学研究科) Uncountable Specker phenomenon and n-slender groups 14:50-15:30 石田和 (京都大学数理解析研究所) 未定 15:30-16:10 樋口幸治郎 (東北大学大学院理学研究科) 未定 16:20-17:20 藤原誠 (東北大学理学研究科) Satisfiability problem and resolution principle 11/21 （第１研修室） 09:30-10:30 渕野昌 (神戸大学大学院システム情報学研究科) Mystery train 10:40-11:40 松尾亮太 (名古屋大学情報科学研究科) ロジックのゲーム理論への応用 =========================================== 愛知学院大学教養部山下秀康 email: yamasita(a)dpc.aichi-gakuin.ac.jp leibniz7(a)gmail.com

1 0

The 45th MLG Meeting
by Takahiro Seki 14 Nov '10

14 Nov '10

第45回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。　多くの方のご講演・ご参加をお待ちしております。 =============================== 　第45回 MLG 研究集会開催要領 =============================== 　期間: 2011 年 1 月 6 日(木)〜 1 月 8 日(土) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2010 年 12 月 15 日（水）　世話人：関　隆宏（新潟大学）　ホームページ：　http://math.ed.niigata-u.ac.jp/~seki/MLG45/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・1月7日（金）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，1月7日（金）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,000円をいただきます。・講演・宿泊を希望される方は，12月15日(水)までに下記の形式で電子メールにて世話人（tseki(a)adm.niigata-u.ac.xn--jp)-u63b4bubm7eycb4w4io072fiwzc.xn--,-d8t9d650nogb 申し込みを含むMLGに関するメールには， Subjectのはじめに MLG45 とご記載ください。 ----------------------------------- 第45回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　6日(午後) / 7日(午前/午後) / 8日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　6日(夕食/宿泊) / 7日(朝食/昼食/夕食/宿泊) / 8日(朝食) その他：（講演時間の変更や講演日時の希望等） ----------------------------------- --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 0

Call for Papers: Infinity in Mathematics and Philosophy
by Makoto Kikuchi 12 Nov '10

12 Nov '10

Annals of the Japan Association for Philosophy of Science Call for Papers: Infinity in Mathematics and Philosophy On the occasion of the annual meeting of the Japan Association for Philosophy of Science 2010, 12.-13. June, 2010 on Ikuta Campus of Senshu University, Kawasaki, Japan, a symposium on "Infinity in Mathematics and Philosophy" was held with keynote lectures by Professors Juliet Floyd (Boston Univ.) and Akihiro Kanamori (Boston Univ.) and a panel discussion with a panel of speakers Professors Kanamori and Floyd as well as Professors Kazuhisa Todayama (Nagoya Univ.) and Yasuyuki Kawahigashi (Tokyo Univ.) facilitated by Sakaé Fuchino (Kobe Univ.) In connection with this symposium, a special section in an issue of Annals of the Japan Association for Philosophy of Science is planned with the invited papers including those by the keynote speakers and other participants of the panel discussion, as well as contributed papers. Potential authors of the contributed papers for this special section are encouraged to submit articles which should deal with the "infinity in mathematics and philosophy'' in a broad sense either from philosophical, mathematical, mathematically logical, historical or sociological point of view, or else from a view point consisting of any combination of these. The submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. The authors are kindly asked to prepare the manuscripts according to the guide lines of the journal (see "notes to contributors"http://phsc.jp/en/). The deadline of the submission is by March 31, 2011. A copy in the form of a pdf file and/or a file in any other common format should be sent to the association (kisoron(a)sasappa.co.jp) or directly to the guest editor of the special section: Sakaé Fuchino (fuchino(a)diamond.kobe-u.ac.jp).

1 0

Workshop (Mon 2010.11.08) in Kyoto
by Ichiro Hasuo 04 Nov '10

04 Nov '10

*** 重複ご容赦ください．ご興味がありそうな方に，ご転送ください *** みなさま，こんにちは！京都大学数理解析研究所の蓮尾と申します． 11/8(月)に京都大学で開催するワークショップ "Mathematical Theory of Processes and Operations: Concurrent, Quantum, and More" http://www.kurims.kyoto-u.ac.jp/~cs/mtpo の宣伝をさせてください．このワークショップは，Leicester 大学の Irek Ulidowski さん ( http://www.cs.le.ac.uk/people/iu3/ ) の来日にあわせて企画しました．Irek さんは以前京都大学に在籍されたコンピュータ・サイエンティストで，並列システム (concurrency)，特に reversible process calculi や mathematical model of true concurrency の分野で精力的に活躍されています．今回はさらに立命館大学の山下茂さんをお招きし，量子計算に関するご講演をお願いしました．(並列) process や (量子) operation のさまざまな数学的な定式化の中から，新たな統一的視点が浮かび上がってくるのを期待しています．みなさまのご参加をお待ちしております．それでは！オーガナイザー：結縁祥治(名古屋大学)，蓮尾一郎(京都大学) http://www.kurims.kyoto-u.ac.jp/~cs/mtpo ===================================== - 日時： 2010/11/8 (月)，10:00-16:45 - 場所：京都大学数理解析研究所 1階111号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html http://www.kurims.kyoto-u.ac.jp/en/access-01.html - 参加費：無料 - 講演は英語です． - 参加申し込みは必要ありませんが，夕食会に参加される方は以下のフォームからお知らせください． https://spreadsheets.google.com/viewform?formkey=dHNTTjlQeDhWdEpPUmtxZmE3Z0… - お問い合わせは，蓮尾 (ichiro[at]kurims.kyoto-u.ac.jp) までお気軽にお願いします． ==================================== プログラム（詳細は http://www.kurims.kyoto-u.ac.jp/~cs/mtpo） 10.00-11.00 Shigeru Yamashita (Ritsumeikan U.) Verification of Quantum Circuits 11.15-12.15 Irek Ulidowski (U. Leicester, UK) Bisimulations and Logics for Reversibility 14.00-14.45 Shoji Yuen (Nagoya U.) Priority in the pi-calculus 15.00-15.45 Masahito Hasegawa (RIMS, Kyoto U.) A quantum double construction in the non-deterministic setting 16.00-16.45 Ichiro Hasuo (RIMS, Kyoto U.) Probabilistic Simulations Revisited from the Coalgebraic Point of View

1 0

TPP10 (Theorem Proving and Provers Meeting) Program
by Jacques Garrigue 31 Oct '10

31 Oct '10

名古屋大学で開催されるTPP10の案内をお送りします。 TPP10 幹事 Jacques Garrigue ========================================================================= Call for participation for TPP 2010 in Nagoya 第6回 TPPミーティングを 11月 25日(木)-26日(金) に名古屋大学にて開催します．このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです．日時：11月25日(木) 13:00頃〜 11月26日(金) 15:00頃　場所：名古屋大学多元数理科学研究科理学部A館 A428号室 URL: http://www.math.nagoya-u.ac.jp/~garrigue/tpp10/ プログラムを同封しましたので、参加されたい方はご連絡を下さい．申込み・問い合わせ先：tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue) ========================================================================= The 6th Theorem Proving and Provers meeting will be held on November 25(Thu) - 26(Fri), 2010 at Nagoya University. Time: 11/25 around 1pm to 11/26 around 3pm Place: Nagoya Univ. Grad. School of Mathematics, Bld. Sci. A, Room A428 URL: http://www.math.nagoya-u.ac.jp/~garrigue/tpp10/ The program is enclosed. If you would like to attend, please drop me a mail. Submission/questions to: tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue) ========================================================================= TPP'10 Program Thursday, November 25 13:00-14:20 Balance Condition on Weight-Balanced Trees Youichi Hirai (University of Tokyo), Kazuhiko Yamamoto (IIJ Innovation Institute) Maximal Completion Dominik Klein (JAIST) 14:40-16:00 Formal Scientific Reasoning Rene Vestergard (JAIST) 16:20-17:40 Representing Polymorphic Higher-Order Abstract Syntax in Agda and Presheaves Makoto Hamana (Gunma University) Simpoulet: an attempt at proving behavioural bisimulations in Coq Jacques Garrigue (Nagoya University) and Pierre-Marie Pedrot (ENS Lyon) 18:30-20:30 Party Friday, November 26 9:00-10:20 IsaFoR/CeTA - Automatic Certification of Termination Proofs Christian Sternagel (University of Innsbruck) Complexity Analysis by Rewriting for Exponential Time Naohi Eguchi (JAIST) 10:40-12:00 証明支援器Coqのシステム開発実務への適用 (Applying Coq to practial software development) Yoshihiro Imai (IT Planning) Instrumenting Error-correcting codes with SSReflect (work in progress) Reynald Affeldt (AIST) 13:20-14:00 Formalizing Regular Expression Matching in Isabelle/HOL Yasuhiko Minamide (Tsukuba University) 14:00-15:00 Solutions to TPPmark10 (The problem can be found at the above URL)

1 0

Adventures of Categories: Applied Category Theory Colloquium
by Ichiro Hasuo 31 Oct '10

31 Oct '10

*** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください *** みなさま，こんにちは！京都大学数理解析研究所の蓮尾と申します． Adventures of Categories: Applied Category Theory Colloquium というプロジェクトの一環として，10月から12月にかけて6回，京大数理研で講演会を行っています．今週の金曜日の講演は小嶋泉氏 (京都大学数理解析研究所) による，数理物理学における「ミクロ・マクロ双対性」についての1時間です．講演会の詳細については以下を，プロジェクトの詳細についてはさらに下をご覧ください．みなさまのお越しを歓迎します．それでは！ "Adventures of Categories" 参加者有志： Piet Hut，Craig Pastro，荒井迅，一宮尚志，西郷甲矢人，長谷川真人，浜野正浩，春名太一，平岡裕章，蓮尾一郎 /////////////////////////////////////////////////////////////////////////////////////////// Date, Time: 14:00-15:00, Friday 22 Oct, 2010 Place: Room 111, RIMS, Kyoto University http://www.kurims.kyoto-u.ac.jp/en/access-01.html 京都大学数理解析研究所 1階 111号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html Speaker: Izumi Ojima (RIMS, Kyoto U.) http://www.kurims.kyoto-u.ac.jp/en/list/OJIMA,%20Izumi.html Title: "Micro-Macro duality" in physics as matching adjunctions between what to be described and what to describe Abstract: After explaining the basic scheme for describing the relations between "Micro" and "Macro" aspects (or levels) in nature, the duality, or more precisely, adjunction relations between them will be discussed from algebraic and categorical viewpoints, according to "Micro-Macro duality". //////////////////////////////////////////////////////////////////////// =============== "Adventures of Categories" プロジェクトについて数学における異分野協働の実験場として，数学の中でもそのわかりにくさにおいて定評のある圏論 category theory をコアに据えて， - 純粋数学における圏論ユーザー - 応用数学における圏論ユーザー - 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー (この立場から，プリンストン高等研究所の学際研究担当，Piet Hut 教授にも参加いただきます) の3者の交流の機会とすべく今回のプロジェクトを企画しました． 6回の講演会の中から， - いろいろな数学の分野でどのように圏論が使われているのか？ - 各分野間の知識移転によって，どのような成果が得られるか？ - 圏論的手法が有効な他の応用分野は？ - テクニカルに素人の方に対して，圏論をどのように説明し，アピールすることができるか？というような問に対して，何らかの答えが浮かび上がるのを期待しています．興味のおありの方，ご来聴を歓迎いたします！ Adventures of Categories というタイトルは，本プロジェクト参加者の西郷甲矢人さんの発案です．A.N. Whitehead の本， Adventures of Ideas にかかっています．次回以降，代数学・幾何学における圏論や数理物理学における圏論，さらに Hut 教授による講演 "How to motivate non-mathematicians to explore category theory"など，企画しております．こちらもどうかご期待ください．日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です． # 本プロジェクトは，(独) 科学技術振興機構さきがけプログラムから支援 # を受けています． http://math.jst.go.jp/

1 1

SLACS 2010 開催のご案内
by Yoshihito Toyama 28 Oct '10

28 Oct '10

以下の日程で SLACS 2010 - 記号論理と情報科学研究集会を開催いたします。ご興味のある方はご参加ください．開催日：2010年11月1日(月)午後〜 11月2日(火)午後場所：東北大学（片平キャンパス電気通信研究所 2号館 4階大会議室) 懇親会：11月1日夜に懇親会を予定しています．参加費，参加申込はともに不要です．詳細につきましては， http://www.nue.riec.tohoku.ac.jp/slacs2010/ をご参照ください．問い合わせ先菊池健太郎（東北大学電気通信研究所） kxe-slacs2010(a)memoad.jp ------------------------------------------------------ SLACS 2010 - プログラム 11月1日（月） 13:50-14:00 オープニング＋連絡など 14:00-15:00 　　蓮尾一郎（京都大学・JSTさきがけ）「Theory of Coalgebra: Towards Mathematics of Systems」梗概 (60分) 15:00-15:20 休憩 15:20-16:50 　　星野直彦（京都大学）「A modified GoI interpretation for a linear functional programming language」 (45分) 　　石田和（京都大学）「線形論理における非可換モデル」 (45分) 16:50-17:10 休憩 17:10-17:30 　　山西康世（奈良女子大学）「MUAでの分類予測学習機能の実装」 (20分) 18:30- 懇親会 11月2日（火） 10:00-11:15 　　中澤巧爾（京都大学）「Monadic translation of classical sequent calculus」 (30分) 　　鴨浩靖（奈良女子大学）「Malfattiの三角形の大きさを数式処理で計算する」梗概 (45分) 11:15-11:30 休憩 11:30-12:15 　　宮部賢志（京都大学）「Frequency and belief are probability」梗概 (45分) 12:15-13:30 昼食・休憩 13:30-14:10 　　小島健介（京都大学）「Neighborhood Semantics for Intuitionistic Monotone Modal Logic」 (40分) 14:10-14:30 休憩 14:30-16:00 　　佐々木克巳（南山大学）「S4を含む正規様相論理における、標準形の論理式とexactモデル」梗概 (60分) 　　佐々木克巳（南山大学）「様相論理S4.1とS4.2」梗概 (30分)

1 0

Kobe Colloquium in Logic (Lajos Soukup)
by Joerg Brendle 27 Oct '10

27 Oct '10

Kobe Colloquium in Logic 以下の要領でコロクウィウムを開催します．日時：2010年11月1日（月）17:00 〜場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：Lajos Soukup（はんがりーかがくあかd）題目：On splitting infinite-fold covers アブストラクト： Let X be a set, kappa be a cardinal number and let H be a family of subsets of X which covers each x in X at least kappa times. What assumptions can ensure that H can be decomposed into kappa many disjoint subcovers? We examine this problem under various assumptions on the set X and on the cover H: among other situations, we consider covers of topological spaces by closed sets, interval covers of linearly ordered sets and covers of the Euclidean space R^n by polyhedra and by arbitrary convex sets. We focus on these problems mainly for infinite kappa. Besides numerous positive and negative results, many questions turn out to be independent of the usual axioms of set theory. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

Kobe Colloquium in Logic (Christoph Weiss)
by Joerg Brendle 27 Oct '10

27 Oct '10

Kobe Colloquium in Logic 以下の要領でコロクウィウムを開催します．日時：2010年11月1日（月）17:00 〜場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：Christoph Weiss（ミュンヘン大学）題目：The principles ITP and ISP and their related theorems アブストラクト： We define combinatorial principles ITP and ISP that do for supercompactness what the tree property does for weak compactness. We will then present the proof that these principles follow from the Proper Forcing Axiom and give some applications of them. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

総合研究大学院大学情報学専攻入試説明会についてご案内
by Makoto Kanazawa 26 Oct '10

26 Oct '10

メーリングリストのみなさま大学院の入試説明会に関する宣伝です。関心のありそうな学生さんに知らせて頂けると幸いです。国立情報学研究所／総合研究大学院大学金沢　誠 ---------------------- 総合研究大学院大学　複合科学研究科　情報学専攻は，以下のとおり入試説明会を開催いたします。本専攻は，わが国唯一の情報学の学術総合研究所である，国立情報学研究所に設置されています。都心に位置した好立地条件のもとで，社会人の方も仕事をしながら学び，研究することができます。今回の入試説明会は，主に2011年2月に実施される入試の受験希望者を対象としたものですが，それ以外でも，本専攻の研究・教育にご興味のある皆さまのご参加を歓迎いたします。ぜひ積極的なご参加とご周知を頂ければ幸いです。 ●入試説明会日　時：11月10日（水）17:00-19:00 会　場：12階会議室対　象：5年一貫制博士課程（学部卒業者及び卒見込者）／　　　　博士後期課程（修士課程修了者及び修了見込者）内　容（予定）： 17：00～18：30　出願について、学生生活紹介、所内見学 18：30～19：00　個別相談会 ※詳細はＨＰをご覧ください。　http://www.nii.ac.jp/graduate/guidance/ ○情報学専攻入学試験概要についてはこちら　http://www.nii.ac.jp/graduate/applications/index.html ○情報学専攻アクセス支援制度　入学を希望される方が、事前相談等で本専攻を訪問される際に　交通費を支給する制度があります。本説明会も対象です。　詳しくはこちら　http://www.nii.ac.jp/graduate/aid/access-aid.html ○情報学専攻についてのお問い合わせや募集要項等の資料請求はこちら　http://www.nii.ac.jp/graduate/contact/index.php ○総合研究大学院大学複合科学研究科情報学専攻HP http://www.nii.ac.jp/graduate/index.html ○国立情報学研究所HP http://www.nii.ac.jp/

1 0

CFP: LENLS 7 (Logic and Engineering of Natural Language Semantics 7)
by BEKKI Daisuke 26 Oct '10

26 Oct '10

（重複して受け取られた場合はご容赦ください）　11/18-19に開催される LENLS 7 国際ワークショップのプログラムのご案内をお送りします。事前登録は11/12(金)が〆切です。　また、11/20(土)には、お茶の水女子大学において、Alexandru Baltag 氏（オックスフォード大）と、Sonja Smets氏（グローニンゲン大）によるQuantum logicをテーマとしたチュートリアルも予定しています。　多数の方々のご参加をお待ちしています。戸次大介（お茶の水女子大学） [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 7 (LENLS7) Workshop Site : Campus Innovation Center Tokyo, Minato-ku, Tokyo Dates : November 18-20, 2010 Workshop URL : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: * Eric McCready (Aoyama Gakuin University) Invited Speakers: * Alexandru Baltag (Oxford University) * Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology (AIST)) LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of workshops of JSAI isAI2010, sponsored by The Japan Society for Artificial Intelligence (JSAI). (http://ai-gakkai.or.jp/jsai-isai/2010/) On the 20th, there will also be a special tutorial lecture at Ochanomizu University by A. Baltag (Oxford Univ, UK) and S. Smets (University of Groningen, The Netherlands). Registration ============ The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until 12th November 2010. http://www.ai-gakkai.or.jp/jsai-isai/2010/index.html#registration Program ======= November 18th (Thu), 2010 ------------------------- Location: Campus Innovation Center Tokyo (Tamachi, Tokyo) 10:00-10:15 Coffee Break 10:15-10:20 Opening Remarks 10:20-11:50 Session 1: General Semantics 1 * Joo Chung "Uncommon common grounds and the Korean reportative evidential -tay" * Myoung Hyoun Song, Chungmin Lee "CF-reduplication: Dynamic Prototype and Contrasting Alternatives" * Arndt Riester "Restriction triggers alternative presuppositions" 11:50-13:30 Lunch 13:30-15:00 Session 2: Formal Pragmatics * J.-R. Hayashishita "On the focus sensitivity of so-called focus-sensitive particles" * Anton Benz "Optimal Completion and Implicatures of Complex Sentences --- A Game Theoretic Approach" * Nicholas Asher, Sylvain Pogodalla "SDRT and continuation semantics" 15:00-15:20 Coffee Break 15:20-16:50 Sesson 3: Formal Grammar * BEKKI Daisuke "Combinatory Categorial Grammar as a Substructural Logic --- Preliminary Remarks ---" * Nakamura Hiroaki "Biding of Relational Nouns and the Variable-free Semantics" * Alastair Butler, Kei Yoshimoto "Interpreting Japanese Dependency Structure" 16:50-17:50 Invited Talk 1 * Alexandru Baltag (TBA) November 19th (Fri), 2010 ------------------------- Location: Campus Innovation Center Tokyo (Tamachi, Tokyo) [info] 10:00-10:20 Coffee Break 10:20-11:50 Sesson 4: General Semantics 2 * Fabienne Martin "Relative stupidity and past tenses" * Stephanie Solt " Varieties of /Most/" * Richard Zuber "Factives and intensionality" 11:50-13:30 Lunch 13:30-15:00 Sesson 5: NPI * Csipak, Eva "how to be literally minimal" * Yasutada Sudo "The Small Reading of the Scalar Particle Mo in Japanese and Negative Polarity" * Tomohide KINUHATA "The Scope of Pronounced and Unpronounced Negation: A Case of Japanese Sika-nai and its Correlates" 15:00-15:20 Coffee Break 15:20-16:50 Sesson 6: Vagueness * Satoru SUZUKI "Prolegomena to Salient-Similarity-Based Vague Predicate Logic" * David Etlin "Vague Desire: The Sorites and the Money Pump" * Michael Franke, Gerhard Jaeger, Robert van Rooij "Signaling, stochastic choice, and vagueness" 16:00-17:50 Invited Talk 2 * Shunsuke Yatabe "Yablosque paradoxes and co-induction" November 20th (Sat), 2010 ------------------------- "Tutorial Session on Quantum Logic" Lecturer: Alexandru Baltag (Oxford Univ, UK) Sonja Smets (University of Groningen, The Netherlands). Title: (TBA) Location: Ochanomizu University, Faculty of Science, Building 3, 2F, room 209 IMPORTANT: You'll have to show your ID card and a hard copy of this webpage to get into the campus on Saturday. Schedule -------- 10:00-12:00 Session 1 12:00-14:00 Lunch 14:00-17:00 Session 2 Organizing Committee ==================== Eric McCready (Chair) Daisuke Bekki Yoshiki Mori Yasuo Nakayama Katsuhiko Yabushita Tomoyuki Yamada Kei Yoshimoto

2 1

Set Theory Seminar in Kobe
by Joerg Brendle 18 Oct '10

18 Oct '10

Set Theory Seminar in Kobe 以下の要領でセミナーを開催します．日時：2010年10月21日（木）15:00-17:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：池上大祐（ヘルシンキ大学）題目：Wadge reducibility for the real line アブストラクト： In 1968, Wadge introduced Wadge reducibility for the Baire space, that is an analogue of many-one reducibility in recursion theory. For two subsets A, B of Baire space, we say A is Wadge reducible to B if there is a continuous function from the Baire space to itself such that A = f^{-1} (B). We can introduce Wadge degrees in the same way as many-one degrees. In the 1970s and 1980s, set theorists in California developed a beautiful theory of Wadge degree structure under ZF+AD+DC. On the other hand, we can easily introduce Wadge reducibility on any topological space as above. In 1998, Woodin claimed that Wadge reducibility on the real line is totally different from that on the Baire space. In this talk, we compare them and claim how different they are. This is joint work with Hisao Tanaka and Philipp Schlicht. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

数学基礎論若手の会2010・締切延長
by leibniz 18 Oct '10

18 Oct '10

logic-mlの皆様，数学基礎論若手の会の幹事の山下です。昨日10月18日（月）に募集を締め切ったのですが，講演枠，宿泊・食事にまだ余裕があるため締め切りをあと1週間延長し、10/26 （火）とします。いずれも先着順とし，枠が埋まり次第終了とします． ------- 日時：　11月19日（金）午後〜21日（日）午前場所：　愛知県青年の家（愛知県岡崎市, http://aichi-yh.jp/) 参加費用：フル参加でも1万円以内に収まると思います（多分8000円くらい）締め切り：10月18日（月）申し込みは下記情報を今年度幹事の山下 (leibniz7(a)gmail.com) までお知らせください．確認のメールを差し上げます．氏名性別メールアドレス所属身分宿泊・食事（全参加の場合は2泊5食となります）講演のご希望詳しくは2010年数学基礎論若手の会のページをごらんください： http://www.aichi-gakuin.ac.jp/~yamasita/wakate-no-kai2010.html =========================================== 愛知学院大学教養部山下秀康 email: yamasita(a)dpc.aichi-gakuin.ac.jp, leibniz7(a)gmail.com

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml