Kisoron-ml

1 participants
589 discussions

講演のお知らせ
by minami＠kurt.cla.kobe-u.ac.jp 12 Dec '12

12 Dec '12

皆様，重複してお受け取りの際はご容赦ください。以下の要領で名古屋数学基礎論/集合論セミナーを開催します．興味のある方は是非参加を検討ください．日時：12月14日（金）15：30〜場所：場所：名古屋大学情報科学（研究科）棟1階105 講演者：嘉田勝（大阪府立大学）講演タイトル：強制拡大で位相空間の性質は保存されるか位相空間論の未解決問題に集合論的手法でアプローチするうえで、「強制拡大で位相空間の性質が保存されるか否か」が重要な鍵となることがある。ここで、位相空間の性質の保存とは、基底モデルに属する位相空間に対して、その強制拡大における対応物として「同一の点集合と開基で定まる位相空間」を考えるときに、基底モデルでみたされる空間の性質が強制拡大でもみたされることを意味するものとする。本講演では、半順序がみたす性質と、その半順序による強制拡大で保存される位相空間の性質との関係について、いくつかの結果を紹介する。 ================================================= アクセス：地下鉄名城線名古屋大学駅から徒歩5〜10分． http://www.nagoya-u.ac.jp/global-info/access-map/higashiyama/index.html http://www.is.nagoya-u.ac.jp/intro/contact.html この講演に関する情報は以下のHPでもご覧になれます． http://researchmap.jp/cardinal_invariants/research-blog/

1 0

集中講義のお知らせ、続き
by 渡辺純成 12 Dec '12

12 Dec '12

皆様、東京学芸大の渡辺純成です。以前お知らせした、東京大数理科学研究科での集中講義について、時間帯と部屋をお知らせします。担当者：川原秀城講義内容： http://www.ms.u-tokyo.ac.jp/kyoumu/shuchunaiyou.html#kawahara に出る予定、だそうです。日時：2013年1/21（月）〜1/25（金）　 14時50分〜16時50分場所：122、126講義室（いつもの集中講義用123ではない）なお、広くお知らせするために複数のメーリングリストに投稿しておりますが、重複して受け取られた方々にはご海容いただけますと幸いです。 2012年12月12日　渡辺純成

1 0

超準解析シンポジウム 2012 AN2ml
by MURAKAMI Masahiko 14 Nov '12

14 Nov '12

皆様, 2012年度超準解析シンポジウムを下記の要領で開催いたします. 講演申し込み締め切りは今週の金曜日 11月16日です. 皆様の講演の申し込みをお待ちしております. 講演申し込み締め切り: 2012年11月16日(金) 日時: 2012年12月6日(木)14:00 から 12月8日(土)13:00 まで. 場所: 東京医科大学第9校舎第6教室 (3階) (第5教室から隣の第6教室に変更になりました) 講演の申し込みは, 講演題目, 講演できない日時(無・有)を muramasa(a)ms.u-tokyo.ac.jp までご返送ください. 12月7日(金) 19:00 から, 会場のすぐ近くのホテルリステル新宿(1階あけぼの) にて懇親会を予定しています. 懇親会参加は, 12月10(月)までにお知らせください. 懇親会は立食-ビュッフェ形式ですので, 気軽にご参加ください, 懇親会だけの参加も歓迎いたします. また, 会場があまり広くないので, 参加だけの場合でも, ご一報いただければ助かります. (必須ではありません) 会場使用料がかかりますので, 参加費として一人千円程度を予定しています. 以後, プログラムなどは, 随時, ホームページ: http://www.ms.u-tokyo.ac.jp/~muramasa/nsa2012/ にて, お知らせいたしますので, こちらをご覧ください. 世話人: 村上雅彦(muramamsa(a)ms.u-tokyo.ac.jp)

1 0

The 47th MLG Meeting: Program
by Takahiro Seki 12 Nov '12

12 Nov '12

第47回 MLG 数理論理学研究集会のご案内（重複してお受け取りの際はご容赦ください。）　新潟大学の関です。　2012年度MLG数理論理学研究集会（第47回）を下記の要領で開催します。　講演・宿泊の申し込みは締め切りましたが，参加することは可能です。その場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。 ========================================= 　第47回 MLG 数理論理学研究集会開催要領 ========================================= 　日時: 2012 年 11 月 16 日(金) 13:30 〜 11 月 18 日(日) 12:10 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　MLG47ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG47/ 　講演プログラム： ○　11月16日（金）　13:30〜13:40　開会・事務連絡　13:40〜14:20　関　隆宏（新潟大学）　　A Genzenization of some involutive non-associative substructural 　 logics 　14:20〜15:00　山川郁加（千葉大学）　　The system of CLλ and a method to calculate β-normal forms 　　without β-reductions 　15:10〜15:50　河野友亮（東京工業大学）　　中間論理CDの補間定理について　15:50〜16:30　プライニング・ノルベルト（北陸先端科学技術大学院大学）　　A decidable subclass of monadic Goedel logics for medical reasoning ○　11月17日（土）　 9:05〜 9:10　事務連絡　 9:10〜 9:50　Minghui Ma（Southwest University）　　Bull's logics in NExt(S4) revisited 　9:50〜10:30　佐野勝彦（北陸先端科学技術大学院大学）　　Actuality in coalgebraic modal logic 　10:40〜11:20　本浦庄太（京都大学）　　On the semantic meaning of reduction axioms in public announcement 　　logic 　11:20〜12:00　佐々木克巳（南山大学）　　シークエントによる実証明の分析　13:00〜13:40　金子　守（筑波大学）　　Infinite regress from prediction-decision making in games: Playability - decidability/undecidability 　13:40〜14:20　松尾亮太（名古屋大学）　　与えられた論理式が戦略的かを決定するアルゴリズムの計算量　14:30〜15:10　照井一成（京都大学）　　Herbrand's theorem via hypercanonical extensions 　15:10〜15:50　Conrad Asmus（北陸先端科学技術大学院大学）　　Henkin dependence logic 　15:50〜16:30　佐藤雅彦（京都大学）　　Essence of de Bruijn index ○　11月18日（日）　 9:05〜 9:10　事務連絡　 9:10〜 9:50　Michele Basaldella（北陸先端科学技術大学院大学）　　An interactive semantics for classical arithmetic 　 9:50〜10:30　横山啓太（東京工業大学）　　Reverse mathematics and second-order categoricity 　10:40〜11:20　松田直祐（千葉大学）　　古典論理と直観主義論理の汎用性　11:20〜12:00　鈴木信行（静岡大学）　　Ono's problem N52 　12:00〜12:10　事務連絡・閉会 --- MLG47世話人　関　隆宏（新潟大学）　佐野勝彦（北陸先端科学技術大学院大学） E-mail : mlg.logic.japan(a)gmail.com

1 0

講演のお知らせ
by minami＠kurt.cla.kobe-u.ac.jp 04 Nov '12

04 Nov '12

皆様，重複してお受け取りの際はご容赦ください。名古屋大学の南裕明と申します．以下の要領で名古屋数学基礎論/集合論セミナーを開催します．興味のある方は是非参加を検討ください．日時：11月9日（金）15：00〜場所：名古屋大学情報科学（研究科）棟1階第2講義室(122) 講演者：根元　多佳子 (北陸先端科学技術大学大学院情報科学研究科）タイトル： The proof theoretic strength of between \Sigma^0_1 and \Delta^0_2. アブストラクト：弱い決定性の逆数学的研究の進展により、決定性のなす細階層について明らかになりつつあるが、今回は \Sigma^0_1 と \Delta^0_2 の間の difference hierarchy のなす決定性の階層についての証明論的結果及び、そこから得られる記述集合論的結果について紹介する。アクセス：地下鉄名城線名古屋大学駅から徒歩5〜10分． http://www.nagoya-u.ac.jp/global-info/access-map/higashiyama/index.html http://www.is.nagoya-u.ac.jp/intro/contact.html この講演に関する情報は以下のHPでもご覧になれます． http://researchmap.jp/cardinal_invariants/research-blog/ それではよろしくお願いします. 南裕明名古屋大学情報科学研究科共同研究員

1 0

講演のお知らせ（名古屋数学基礎論/集合論セミナー）
by minami＠kurt.cla.kobe-u.ac.jp 28 Oct '12

28 Oct '12

皆様，重複してお受け取りの際はご容赦ください。名古屋大学の南裕明と申します．以下の要領で名古屋数学基礎論/集合論セミナーを開催します．興味のある方は是非参加を検討ください．日時：11月2日（金）15：00〜場所：名古屋大学情報科学(研究科)棟1階第2講義室(122) 講演者：横山啓太（東京工業大学　大学院情報理工学研究科）タイトル：組み合わせ論と逆数学の広がりアブストラクト： 1970年代にH. Friedmanによって提唱されS. Simpsonらによって推し進められてきた逆数学研究では，解析・代数・幾何学の基礎を始めとした多くの定理の強さが調べられてきた．逆数学による定理の分類を行うと，多くの場合で数学の定理の強さが"big five"と呼ばれる2階算術の部分体系のいずれかと同値になることが知られている．しかし，特に2000年以降の研究では組み合わせ命題等を中心に，"big five"に分類されない数多くの「例外」が知られるようになり，最近ではむしろ"big five"を広げた2階算術の「地図」が逆数学の手法により幅広く調べられている．この講演では，こうした組み合わせ命題に関連する逆数学の話題をいくつか紹介する．アクセス：地下鉄名城線名古屋大学駅から徒歩5〜10分． http://www.nagoya-u.ac.jp/global-info/access-map/higashiyama/index.html http://www.is.nagoya-u.ac.jp/intro/contact.html この講演に関する情報は以下のHPでもご覧になれます． http://researchmap.jp/cardinal_invariants/research-blog/ 南裕明名古屋大学情報科学研究科共同研究員

1 0

ゲーム論的確率論に関する研究集会のご案内および参加募集 11/12~11/14
by Kenshi Miyabe 26 Oct '12

26 Oct '12

ゲーム論的確率論と関連する話題に関する以下のような国際研究集会を開催いたします: http://kenshi.miyabe.name/gtp2012/ 集会名: Fourth Workshop on Game-Theoretic Probability and Related Topics (GTP2012) 日時: 2012年11月12日(月)〜14日(水) 場所: 東京大学本郷工学部6号館セミナー室A,D 招待講演者: Laurent Bienvenu, Gert de Cooman, Bjorn Kjos-Hanssen, Alexander Outkin, Glenn Shafer, Kazuyuki Tanaka, Vladimir Vovk, Vladimir V'yugin 集会の狙い: ゲーム論的確率論を一つの接点として，ランダムネス，(測度論的)確率論，数理統計などの幅広い分野の基礎を統一的に議論する．今回は特にランダムネスに関する最近の研究成果も紹介します．プログラムおよびアブストラクトが以下で見ることができます． http://kenshi.miyabe.name/gtp2012/programme.php 皆様のご参加お待ちしております。なお，本集会は FIRST 合原最先端数理モデルプロジェクト及び科学研究費基盤(A) 22240029 の支援を受けております．東京大学情報理工学系研究科竹村彰通 takemura(a)stat.t.u-tokyo.ac.jp 京都大学数理解析研究所宮部賢志 kmiyabe(a)kurims.kyoto-u.ac.jp -- Kenshi Miyabe email: kmiyabe(a)kurims.kyoto-u.ac.jp Researcher Research Institute for Mathematical Sciences, Kyoto University Kyoto 606-8502 Japan Tel: +81-75-753-7202 / Fax: +81-75-753-7272

1 0

Dr. Sylvain Salvati Lecture at NII Logic Seminar
by Makoto Tatsuta 24 Oct '12

24 Oct '12

Dr. Sylvain Salvati Lecture at NII Logic Seminar Date: October 31, 2012, 13:30--15:30 Place: National Institute of Informatics, Lecture Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Dr. Sylvain Salvati (INRIA Bordeaux Sud-Ouest) Title: Myhill-Nerode, Loader, Urzyczyn and logical relations Abstract: When trying to define a notion of recognizability on languages over a particular class of structures, it is customary to prove an equivalence between a class of machines and congruences of finite index on those structures. Such equivalences can be coined as "Myhill-Nerode theorems". This talk is going to be centered on such an equivalence concerning languages of simply typed lambda-terms. Here machines are type-checkers based on "uniform intersection types" and finite index congruences are "extensional finite models" of the lambda-calculus. The use of logical relations give a nice way of proving that uniform intersection types and extensional finite models allow to define exactly the same sets of lambda-terms. This result relates two important results of the literature on lambda-calculus: the undecidability of lambda-definability in finite standard models by Loader (2001) and the undecidability of the inhabitation problem for intersection types by Urzyczyn (1999). It shows in particular that these two problems are turing-equivalent, and provides a refinement of Urzyczyn's result. (Joint work with Giulio Mazonetto, Mai Gehrke and Henk Barendregt) 問合せ先: 金沢誠 (国立情報学研究所) e-mail: kanazawa(a)nii.ac.jp

1 0

JAIST 多次元セミナー（１１月）
by Hiroakira Ono 16 Oct '12

16 Oct '12

　　　　　JAIST 多次元セミナーの開催について下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。 (I)　1. 日　　時　平成24年11月9日 (金) 15:15〜16:45 　　2. 場　　所　JAIST 知識科学研究科講義棟1階　 K-1,2 　　3. 講演者　Sebastiaan A. Terwijn 　　　 Department of Mathematics, Radboud University Nijmegen 　　4. 講演題目 Information distance ============= (II)　1. 日　　時　平成24年11月13日（火） 13:15〜15:00 　　2. 場　　所　JAIST 知識科学研究科講義棟2階　 K-3,4 　　3. 講演者　Rosalie Iemhoff 　　　 Department of Philosophy, Utrecht University 　　4. 講演題目 Substitutions and rules ============== なおすでにお知らせしましたように、つぎの講演が１日にあります。　　1. 日　　時　平成24年11月1日 (木) 15:00〜16:30 　　2. 場　　所　JAIST 知識科学研究科講義棟2 階　中講義室　　3. 講演者　Melvin Fitting 　　　 Department of Mathematics and Computer Science Lehman College, City University of New York 　　4. 講演題目　Tableau/Sequent Duality ============== これらの講演のアブストラクトは以下をご覧下さい　　http://www.jaist.ac.jp/rcis/seminars また講演会場については以下をご覧下さい　　　http://www.jaist.ac.jp/general_info/access/index.html 　　　北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰、ノルベルト　プライニング　　 http://www.jaist.ac.jp/rcis/en _______________________________________________ Logic-ml mailing list Logic-ml(a)fos.kuis.kyoto-u.ac.jp http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 0

JAIST 多次元セミナー (11月１日）
by Hiroakira Ono 06 Oct '12

06 Oct '12

　　　　JAIST 第43回多次元セミナーの開催について下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。　　1. 日　　時　平成24年11月1日 (木) 15:00〜16:30 　　2. 場　　所　JAIST 知識科学研究科講義棟2 階　中講義室 http://www.jaist.ac.jp/general_info/access/index.html 　　3. 講演者　Prof. Melvin Fitting 　　　 Department of Mathematics and Computer Science Lehman College, City University of New York 　　4. 講演題目「Tableau/Sequent Duality」講演のアブストラクトは以下をご覧下さい　　 http://www.jaist.ac.jp/rcis/seminar/multi-dimension/43 北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰　　 http://www.jaist.ac.jp/rcis/en

1 0

← Newer
1
...
48
49
50
51
52
53
54
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml