Kisoron-ml

1 participants
589 discussions

The 47th MLG Meeting
by Takahiro Seki 03 Oct '12

03 Oct '12

第47回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2012年度MLG数理論理学研究集会（第47回）を下記の要領で開催いたします。　多くの方のご講演・ご参加をお待ちしております。 ========================================= 　第47回 MLG 数理論理学研究集会開催要領 ========================================= 　期間: 2012 年 11 月 16 日(金) 〜 11 月 18 日(日) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2012 年 11 月 2 日（金）　世話人：関　隆宏（新潟大学），佐野勝彦（北陸先端科学技術大学院大学）　連絡先E-mail : mlg.logic.japan(a)gmail.com 　ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG47/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・11月17日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，11月17日（土）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。・講演・宿泊を希望される方は，11月2日(金)までに下記の形式で電子メールにて　mlg.logic.japan(a)gmail.com　まで申し込んでください。 ----------------------------------- 第47回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　16日(午後) / 17日(午前/午後) / 18日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　16日(夕食/宿泊) / 17日(朝食/昼食/夕食/宿泊) / 18日(朝食) 領収書について：　発行する / 発行しないその他：（講演時間の変更や講演日時の希望等） -----------------------------------

1 0

超準解析シンポジウム 2012 AN1
by MURAKAMI Masahiko 20 Sep '12

20 Sep '12

皆様, 超準解析シンポジウムのお知らせです. 2012年度超準解析シンポジウムを下記の要領で開催いたします. 皆様の講演の申し込みをお待ちしております. 講演申し込み締め切り: 2012年11月16日(金) 講演の申し込みは, 講演題目, 講演できない日時(無・有)を muramasa(a)ms.u-tokyo.ac.jp までご返送ください. また, 会場があまり広くないので, 参加だけの場合でも, ご一報いただければ助かります. 日時: 2012年12月6日(木)14:00 から 12月8日(土)13:00 まで. 場所: 東京医科大学第9校舎第5教室 (3階) http://www.ms.u-tokyo.ac.jp/~muramasa/nsa2012/ 世話人: 村上雅彦(muramamsa(a)ms.u-tokyo.ac.jp)

1 0

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

18 Sep '12

数理解析研究所の宮部です．ゲーム論的確率論の国際研究集会の案内を転送します．今回はランダムネスの発表も多くなる予定で，招待講演者としてLaurent Bienvenu, Bjorn Kjos-Hanssenが来る予定です．宮部 ----- ゲーム論的確率論と関連する話題に関する以下のような国際研究集会を開催いたします: 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 集会の狙い: ゲーム論的確率論を一つの接点として，ランダムネス，(測度論的)確率論，数理統計などの幅広い分野の基礎を統一的に議論する．今回は特にランダムネスに関する最近の研究成果も紹介します．つきましては，国内より講演を募集いたします．期限: 10月6日(土) までに，講演タイトルと要旨をそえて，竹村あるいは宮部までメールでお申し込みください．旅費については，予算の範囲で講演者を中心に配分いたします．なお，本集会は 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

SLACS2012参加案内およびプログラム（9/9 ver. 再送）
by Hiroyuki Miyoshi 10 Sep '12

10 Sep '12

（メールが一部上手く届かないようなので再送致します。重複された方は申し訳ありません。） SLACS2012講演者の方々および参加者を考慮されている皆様， 9/15-16に開催されるSLACS2012の参加案内およびプログラムの 9/9 ver.をお送りします。前回との変更点は以下の通りです。 * 司会のことを考慮して9/16の蓮尾一郎さん，丸山善宏さん， Michele Basaldellaさんの順序を変更しました。もしご都合が悪ければご連絡をよろしくお願いいたします。 * 蓮尾一郎さん，小林聡さん，佐藤雅大の講演時間短縮をなくしました。既に研究会直前ですので前回のアナウンス通りに 15分以上短縮されても昼食や終了が前倒しになるだけで大丈夫なようにしてあります。講演予定に合わせてお決め下さい。 * 懇親会の時間を30分繰り上げました。なお，ウェブページを作成いたしましたので今後の変更はそちらに反映していきます。 http://www.cc.kyoto-su.ac.jp/~hxm/slacs2012.html ---------------------------------------------------------- SLACS2012研究会への参加案内第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われています（http://www.math.s.chiba-u.ac.jp/SLACS/）。完成された研究のみならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも，圏論やアルゴリズム理論などコンピュータ科学に関わる講演が広く行われます。開催要項開催日：2011年9月15日（土）13:00 〜 9月16日（日）18:20 場所：京都産業大学むすびわざ館〒600-8533 京都市下京区中堂寺命婦町1-10 Tel.075-277-1600　Fax.075-277-1699 （京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス：最寄り駅はJR丹波口駅および阪急大宮駅 http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html 研究会参加について申し込みも費用も不要です（懇親会については後述）。皆様ふるってご参加よろしくお願いいたします。懇親会は9月15日18:00-20:00に予定しています．かごの屋五条七本松店 075-326-1165 http://www.kinrei.com/shop/spec/?shop_id=42 http://r.gnavi.co.jp/k539974/ （ぐるなび）懇親会の参加・不参加については事前に三好（hxm(a)cc.kyoto-su.ac.jp) まで連絡して頂けると助かります。（9/15の15:00頃に人数を確定して私が店に連絡致します。予算3-4千円程度）。梗概については本研究会のウェブページ http://www.cc.kyoto-su.ac.jp/~hxm/slacs2012.html を御覧下さい。現在まだ，題目・梗概が未定の方は連絡をよろしくお願い致します。 ---- 世話人：京都産業大が理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp ---------------------------------------------------------- SLACS2012 プログラム 9/15（土曜日） 13:00-13:30 三角形に関する平面ユークリッド幾何への数式処理の応用鴨浩靖，萩尾由貴子，溝口涼子（講演者）（奈良女子大学理学部） 13:35-14:05 オラクルの圏論的記述―終対象の一般化として― 吉村和人（JAIST） 14:10-14:40 Rewriting Apploaches to Computational Complexity and Complexity 江口直日（東北大学理学研究科） 14:40-15:00 休憩20分 15:00-15:30 論理CDの補完定理について河野友亮（東京工業大学情報理工学研究科） 15:35-16:05 様相Lukasiewicz論理の公理化について岩波克（東京工業大学情報理工学研究科） 14:40-15:00 休憩20分 16:10-16:40 Non-Commutative First-Order Sequent Calculus 龍田真（国立情報学研究所） 16:45-17:15 TLCA未解決問題20番: 遺伝的置換子の型龍田真（国立情報学研究所） 17:15-17:30 ビジネスミーティング（次回開催について） 18:00-20:00 懇親会 9/16（日曜日） 10:00-11:00 Duality, Quantum Symmetry and Categorical Logic 丸山善宏（Oxford University） 11:10-12:10 Nonstandard Static Analysis: Discrete Verification Methodologies 蓮尾一郎（東京大学情報理工学研究科） 12:10-13:30 昼食 13:30-14:15 An interactive semantics for classical arithmetic (in English) Michele Basaldella (JAIST) 14:15-15:00 On some variants of the Jayne-Rogers THeorem via the 木原貴行(JAIST) 15:05-15:35 ゲーム論的確率論入門宮部賢志（京都大学数理解析研究所） 15:35-15:55 休憩20分 15:55-16:40 戦略的論理式松尾亮太（名古屋大学大学院情報科学研究科計算機数理科学専攻） 16:45-17:30 未定小林聡（京都産業大学コンピュータ理工学部） 17:35-18:35 未定（Coqによる数学について）佐藤雅大（名古屋大学多元数理科学研究科） 18:35-18:40 次回予定アナウンスおよび挨拶 ----

1 0

SLACS2012プログラムおよび梗概(9/9 ver.)
by Hiroyuki Miyoshi 09 Sep '12

09 Sep '12

SLACS2012講演者および参加を考慮されている皆様，プログラムおよび梗概をお送り致します。京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp ---------------------------------------------------------- 9/15（土曜日） 13:00-13:30 鴨浩靖，萩尾由貴子，溝口涼子（講演者）（奈良女子大学理学部）題目：三角形に関する平面ユークリッド幾何への数式処理の応用梗概：未定 13:35-14:05 吉村和人（JAIST）題目：オラクルの圏論的記述―終対象の一般化として―TTE (Type-2 Theory of Effectivity) は計算可能解析学の枠組みの一つである．TTEでの初等的な事実の一つとして，(計算可能性概念の導入された) ある種の位相空間の間の写像に対してはオラクル計算可能性と位相的連続性が一致するというものがある．本発表では左記事実の圏論的特徴づけについて現状得られている結果の紹介を行う．具体的には，factorization systemを伴う圏のうち適当な性質を満たすものの上で: オラクルの概念の再現; オラクル計算可能性と位相的連続性の一致に相当する命題の特徴づけ: 左記2点を吟味する． 14:10-14:40 江口直日（東北大学理学研究科）題目：Rewriting Apploaches to Computational Complexity and Complexity Analysiss by Rewriting 梗概：関数型言語により定義できる関数の多くは停止性を持つ項書き換えシステムとして表現することができる．現在まで多項式解釈，行列解釈，リダクション順序など項書き換えシステムの停止性を証明する方法が知られている．こうした停止性の証明により，しばしば停止性だけでなく時間計算量と深く関係する書き換え回数の上限を求めることができる．本講演では経路順序と呼ばれるリダクション順序による計算量解析法についてM. Avanzini, G. Moser (共に University of Innsbruck)との共同研究の成果を報告する．さらに新しく導入する経路順序は多項式時間計算量に対して完全となることを説明する． 14:40-15:00 休憩20分 15:00-15:30 河野友亮題目：論理CDの補完定理について梗概：中間論理のひとつであるCD において、クレイグの補間定理が成り立たないことが[1]によって証明された。そのおおまかな内容の解説に加え、CDを少し変えた論理でもクレイグの補間定理が成り立たないことが[1]と同様の手法で証明できることを示す。 [1] Failure of interpolation in the intuitionistic logic of constant domains, Grigori Mints, Grigory Olkhovikov, Alasdair Urquhart 15:35-16:05 岩波克（東京工業大学情報理工学研究科）題目：様相Lukasiewicz論理の公理化について梗概：Lukasiewicz論理の様相論理化にはいくつかの流儀が知られているが、最も自然と思われる、Kripke modelを用いて様相論理化したものの公理について考える。 14:40-15:00 休憩20分 16:10-16:40 龍田真（国立情報学研究所）題目：Non-Commutative First-Order Sequent Calculus 梗概：非可換一階シーケント計算NCLKについて講演する。まず、非可換 positive fragment を普通の一階シーケント計算で前件にグループがあり右交換規則のない論理体系LK-に拡張する。次のことを示す。 (1) NCLK は LJ に同等、(2) NCLKに交換規則を追加するとLKに同等になる、(3) LK-はLJに同等、(4) LK-とNCLKの間の翻訳。 16:45-17:15 龍田真（国立情報学研究所）題目：TLCA未解決問題20番: 遺伝的置換子の型梗概：TLCA未解決問題20番とは遺伝的置換子を特徴付ける型システムを見つけよという問題である．本講演はこれに答える．まず，遺伝的置換子全体が枚挙不可能であることを示すことにより，そのような型システムが存在しないことを証明する．次に，最善解として，可算無限個の型を与え，項がそのすべての型をもつこととその項が遺伝的置換子であることが同等であることを証明する．本講演はLICS2008と同じ内容である。 17:15-17:30 ビジネスミーティング（次回開催について） 18:00-20:00 懇親会 9/16（日曜日） 10:00-11:00 丸山善宏（Oxford University）題目：Duality, Quantum Symmetry and Categorical Logic 梗概：After an introduction to duality theory, this talk is two-fold while duality works as a unifying theme. In the first part, we aim at articulating Chu Duality hidden in Categorical Quantum Mechanics (i.e., dagger-compact categories), thereby giving coalgebraic and logical characterizations of quantum symmetries. In the second part, we develop the framework of Categorical Universal Logic building upon Lawvere's idea of hyperdoctrine, in which duality theory can be exploited to find various models of logic and set theory. From this perspective, we discuss the following issues: Lawvere-Tierney topology; the tripos-topos construction; and categorical quantum logic. 11:10-12:10 Nonstandard Static Analysis: Discrete Verification Methodologies 蓮尾一郎（東京大学情報理工学研究科）題目：Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications 梗概： *Hybrid systems* are those which exhibit both discrete "jump" and continuous "flow" dynamics. Their importance---as components of *cyber-physical systems*---is paramount now that more and more physical systems (cars, airplanes, etc.) are controlled with computers. There are naturally two directions towards the study of hybrid systems: *control theory* (typically continuous) and *formal verification* (typically discrete). For us from the formal verification community, therefore, the big challenge is how to incorporate continuous "flow" dynamics. Many existing techniques---such as hybrid automaton or Platzer’s differential dynamic logic---include differential equations explicitly. This incurs a difficult (and very interesting) question of how to handle differential equations. In our project we take a different path of *turning flow into jump*---more precisely into infinitely many jumps each of which is infinitesimal (i.e. infinitely small). This makes everything discrete jump dynamics, to which all the discrete techniques accumulated in the community of formal verification readily apply. This venture is mathematically supported by *nonstandard analysis*, where we can rigorously speak about infinites and infinitesimals. In the talk I will lay out: 1) our framework of a while-language and a Hoare-style program logic, augmented with an infinitesimal constant, for modeling and verification of hybrid systems; 2) how discrete verification techniques can be *transferred*, as they are, to hybrid applications, via the celebrated *transfer principle* in nonstandard analysis; and 3) the overview of our prototype automatic prover. The talk is based on the joint work with Kohei Suenaga, Kyoto University. References: [1] Kohei Suenaga and Ichiro Hasuo. Programming with Infinitesimals: A While-Language for Hybrid System Modeling. Proc. ICALP 2011, Track B. LNCS 6756, p. 392-403. Springer-Verlag. [2] Ichiro Hasuo and Kohei Suenaga. Exercises in Nonstandard Static Analysis of Hybrid Systems. To appear in Proc. CAV 2012. 12:10-13:30 昼食 13:30-14:15 Michele Basaldella (JAIST) （この講演は英語で行われます）演題：An interactive semantics for classical arithmetic 梗概：In this talk, we introduce a sequent calculus which is a variant of some well-known proof-systems introduced by Novikoff, Tait, Coquand, and Herbelin. A common - and perhaps the most interesting - aspect of these kinds of calculi is that they can be used to provide a simple and elegant formulation of syntactical derivability for first order classical arithmetic... at a reasonable price: we have to consider infinitary formulas and infinitary derivations, rather than the usual finitary ones. In more detail, we will talk about a calculus which has the following features: * we derive sequents (finite multisets) of infinitary propositional formulas, * some inference rules may have an infinite number of premises, * derivations are infinitary trees made of sequents. We also require that both formulas and derivations are (infinitary) well-founded objects, which means that both formulas and derivations can be defined inductively. The main purpose of this talk is to define an interactive semantics for derivations strongly inspired by Girard's ludics. The target of this analysis is not the derivability predicate 'the formula A is derivable' as traditionally in logic, but the more subtle - and deeper - statement 'p is a proof of the formula A'. Specifically, we define a notion of untyped derivation and a procedure of interaction (a kind of cut-elimination procedure) between these untyped objects. Next, we we define two relations 'PROVES' and 'INTERACTIVELY' between untyped derivations 'p' and formulas 'A' such that * 'p PROVES A' is defined inductively, it corresponds to 'p is a proof of the formula A' in the sequent calculus. * 'p INTERACTIVELY A' holds whenever the interaction between 'p' and all the tests for 'A' (special derivations associated to 'A' ) terminates. We finally show a soundeness-and-completeness theorem: 'p PROVES A' if and only if 'p INTERACTIVELY A'. 14:15-15:00 木原貴行(JAIST) 題目：On some variants of the Jayne-Rogers THeorem via the Posner-Robinson Join THeorem 梗概：位相空間上の関数 F が (m,n)-可測であるとは，ボレル階層の第 m 段階に属す集合の F による逆像が常にボレル階層の第 n 段階に属すことである．20世紀初頭，ルージンは任意のボレル可測関数は可算個の連続関数に分解可能か，すなわち可算的連続かどうか尋ねた．ルージン問題は1930年代に否定的解決が与えられ，現在では，m が n 未満ならば，可算的連続でない (m,n)-可測関数が存在することが知られている．その一方，Jayne-Rogers (1984) は， (2,2)-可測性と区分的連続性が同値であることを示した． Jayne-Rogers の定理の(n,n)-可測性への拡張，乃至，ボレル可測関数の階層における可算的連続性の境界の発見は，現代の実解析学における重要な問題の一つである．本発表では，連続的(n,n)-可測性の概念を定義し，チューリング次数の代数的構造に関する Posner-Robinson Join Theorem (1981) を介して，次の 5条件の同値性を与える：「連続的 (n+1,n+1)-可測」「連続的(2,n+1)-可測かつ可算的連続」「離散ベール第 n 類」「 n 世代神託学習によって同定可能」「第 n 階区分的連続」 15:05-15:35 宮部賢志（京都大学数理解析研究所）題目：ゲーム論的確率論入門梗概：ゲーム論的確率論では測度を使わずに確率の理論を展開する．その手法はランダムネスの理論に強く影響を受けており，証明では多くの場面でアルゴリズムを作ることが要求される．そこで何らかの形でコンピュータ科学にも参考になることを期待して，ゲーム論的確率論の基本的な考え方を解説する． 15:35-15:55 休憩20分 15:55-16:40 松尾亮太（名古屋大学大学院情報科学研究科計算機数理科学専攻）題目：戦略的論理式梗概：戦略の定義を、Strategic formulaによって表現されるような写像のことと改めることによって、自然な戦略の理論の構築を目指す。R_G,n という命題論理の言語を定め、ここの論理式の内で戦略を表現するようなものをStarategic formula と呼ぶ。この枠組みによって、人が事実上用いることができる戦略の定義や、戦略の複雑さの妥当な定義が可能となる。我々の方法の応用として、ゲーム理論における最も有名な定理の一つであり、哲学的な問題点も併せ持った、The perfect folk theorem の解析を試みる。 16:45-17:30 小林聡（京都産業大学コンピュータ理工学部）題目：未定梗概：未定 17:35-18:35 佐藤雅大（名古屋大学多元数理科学研究科）題目：未定（Coqによる数学について）梗概：今回は私がCoqを用いて直観主義的集合論に基づいた数学の理論を構築したことについて発表する。Coqで集合論を展開するという試みはたくさん存在するが、今回は「Coqで集合論を展開した」ということより「Coqで展開できた集合論の上でどのように数学が展開できたか」という点に焦点を置いて発表したい。 18:35-18:40 次回予定アナウンスおよび挨拶

1 0

SLACS2012参加案内およびプログラム（9/9 ver.）
by Hiroyuki Miyoshi 09 Sep '12

09 Sep '12

SLACS2012講演者の方々および参加者を考慮されている皆様， 9/15-16に開催されるSLACS2012の参加案内およびプログラムの 9/9 ver.をお送りします。前回との変更点は以下の通りです。 * 司会のことを考慮して9/16の蓮尾一郎さん，丸山善宏さん， Michele Basaldellaさんの順序を変更しました。もしご都合が悪ければご連絡をよろしくお願いいたします。 * 蓮尾一郎さん，小林聡さん，佐藤雅大の講演時間短縮をなくしました。既に研究会直前ですので前回のアナウンス通りに 15分以上短縮されても昼食や終了が前倒しになるだけで大丈夫なようにしてあります。講演予定に合わせてお決め下さい。 * 懇親会の時間を30分繰り上げました。 ---------------------------------------------------------- SLACS2012研究会への参加案内第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われています（http://www.math.s.chiba-u.ac.jp/SLACS/）。完成された研究のみならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも，圏論やアルゴリズム理論などコンピュータ科学に関わるご講演を広く行われます。開催要項開催日：2011年9月15日（土）13:00 〜 9月16日（日）18:20 場所：京都産業大学むすびわざ館〒600-8533 京都市下京区中堂寺命婦町1-10 Tel.075-277-1600　Fax.075-277-1699 （京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス：最寄り駅はJR丹波口駅および阪急大宮駅 http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html 研究会参加について申し込みも費用も不要です（懇親会については後述）。皆様ふるってご参加よろしくお願いいたします。懇親会は9月15日18:00-20:00に予定しています．かごの屋五条七本松店 075-326-1165 http://www.kinrei.com/shop/spec/?shop_id=42 http://r.gnavi.co.jp/k539974/ （ぐるなび）懇親会の参加・不参加についても事前に連絡して頂けると助かります。（9/15の15:00頃に人数を確定して私が店に連絡致します。予算3-4千円程度）。梗概については長くなりますので別のメールでお送り致します。現在まだ，題目・梗概が未定の方は連絡をよろしくお願い致します。 ---- 京都産業大が理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp ---------------------------------------------------------- SLACS2012 プログラム 9/15（土曜日） 13:00-13:30 三角形に関する平面ユークリッド幾何への数式処理の応用鴨浩靖，萩尾由貴子，溝口涼子（講演者）（奈良女子大学理学部） 13:35-14:05 オラクルの圏論的記述―終対象の一般化として― 吉村和人（JAIST） 14:10-14:40 Rewriting Apploaches to Computational Complexity and Complexity 江口直日（東北大学理学研究科） 14:40-15:00 休憩20分 15:00-15:30 論理CDの補完定理について河野友亮（東京工業大学情報理工学研究科） 15:35-16:05 様相Lukasiewicz論理の公理化について岩波克（東京工業大学情報理工学研究科） 14:40-15:00 休憩20分 16:10-16:40 Non-Commutative First-Order Sequent Calculus 龍田真（国立情報学研究所） 16:45-17:15 TLCA未解決問題20番: 遺伝的置換子の型龍田真（国立情報学研究所） 17:15-17:30 ビジネスミーティング（次回開催について） 18:00-20:00 懇親会 9/16（日曜日） 10:00-11:00 Duality, Quantum Symmetry and Categorical Logic 丸山善宏（Oxford University） 11:10-12:10 Nonstandard Static Analysis: Discrete Verification Methodologies 蓮尾一郎（東京大学情報理工学研究科） 12:10-13:30 昼食 13:30-14:15 An interactive semantics for classical arithmetic (in English) Michele Basaldella (JAIST) 14:15-15:00 On some variants of the Jayne-Rogers THeorem via the 木原貴行(JAIST) 15:05-15:35 ゲーム論的確率論入門宮部賢志（京都大学数理解析研究所） 15:35-15:55 休憩20分 15:55-16:40 戦略的論理式松尾亮太（名古屋大学大学院情報科学研究科計算機数理科学専攻） 16:45-17:30 未定小林聡（京都産業大学コンピュータ理工学部） 17:35-18:35 未定（Coqによる数学について）佐藤雅大（名古屋大学多元数理科学研究科） 18:35-18:40 次回予定アナウンスおよび挨拶 ----

1 0

研究集会案内：証明論と複雑性
by Suzuki Toshio 07 Sep '12

07 Sep '12

　研究集会案内（複数お受け取りの場合はご容赦ください）首都大学東京の鈴木登志雄です。以下の研究集会に多数の講演・参加申込みをありがとうございます。参加申込みをされていない方の当日参加も歓迎しますので、お気軽にお越しください。 ------------------------------------------------------------------ ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」期間　２０１２年９月１２日（水）午後から１４日（金）午後場所　京都大学数理解析研究所４２０号室 http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html ------------------------------------------------------------------ 講演プログラムは上記サイトに掲載してあります。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki [atmark] tmu.ac.jp

1 0

SLACS 2012 Program　(9/6 ver.）
by Hiroyuki Miyoshi 07 Sep '12

07 Sep '12

SLACS 2012講演者・参加者の皆様， SLACS 2012について予想以上にたくさんの講演申し込みがありました。どうもありがとうございます。とりあえず暫定版のプログラムをお送り致します。梗概については後ほど別便でお送り致します。講演数が多くプログラムがかなりタイトになっていますがご容赦下さい。(*)印の方は講演時間の多少の短縮をお願い致したく思います。講演者で日程等ご都合の悪い方はお知らせ下さい。また，申し込んだはずなのにプログラムに名前がないという方も至急お知らせ下さい。現在最終日の撤収について事務と交渉中なので多少プログラムが変わることがあります。講演者でまだ題目・梗概が未定の方は連絡をよろしくお願いします。また参加には申し込みは必要ありませんが，懇親会に参加される予定の方については事前に連絡して頂けるとおおまかな人数の把握に助かりますのでご協力頂けると助かります。（9/15の15:00頃に人数を確定して店に連絡致します。予算3-4千円程度）。三好博之 ---- 9/15（土曜日） 13:00-13:30 三角形に関する平面ユークリッド幾何への数式処理の応用鴨浩靖，萩尾由貴子，溝口涼子（講演者）（奈良女子大学理学部） 13:35-14:05 未定吉村和人（JAIST） 14:10-14:40 Rewriting Apploaches to Computational Complexity and Complexity 江口直日（東北大学理学研究科） 14:40-15:00 休憩20分 15:00-15:30 論理CDの補完定理について河野友亮（東京工業大学情報理工学研究科） 15:35-16:05 未定岩波克（東京工業大学情報理工学研究科） 14:40-15:00 休憩20分 16:10-16:40 Non-Commutative First-Order Sequent Calculus 龍田真（国立情報学研究所） 16:45-17:15 TLCA未解決問題20番: 遺伝的置換子の型龍田真（国立情報学研究所） 18:00-20:00 懇親会 9/16（日曜日） 10:00-10:45 An interactive semantics for classical arithmetic (in English) Michele Basaldella (JAIST) 10:50-11:50 Duality, Quantum Symmetry and Categorical Logic 丸山善宏（Oxford University） 11:50-13:20 昼食 13:20-14:10 Nonstandard Static Analysis: Discrete Verification Methodologies 蓮尾一郎（東京大学情報理工学研究科）(*) 14:15-15:00 On some variants of the Jayne-Rogers THeorem via the 木原貴行(JAIST) 15:05-15:35 ゲーム論的確率論入門宮部賢志（京都大学数理解析研究所） 15:35-15:55 休憩20分 15:55-16:40 自然な戦略の理論松尾亮太（名古屋大学多元数理科学研究科） 16:45-17:15 未定小林聡（京都産業大学コンピュータ理工学部）(*) 17:20-18:10 未定（Coqによる数学について）佐藤雅大（名古屋大学多元数理科学研究科）(*) 18:10-18:30 ビジネスアナウンスメント（次回開催について）撤収

1 0

【懇親会情報】数学基礎論サマースクール 2012「計算可能性とランダムネス」
by Kohtaro Tadaki 29 Aug '12

29 Aug '12

＜重複してお受け取りの方はご容赦ください＞皆様：中央大学の只木孝太郎です。「数学基礎論サマースクール 2012」の開催まで、一週間を切りましたので、改めてご案内申し上げます.。加えて、懇親会情報をお知らせ致します。 -------------------------------------------------- 数学基礎論サマースクール 2012 ホームページ： http://www2.odn.ne.jp/tadaki/LSS2012.html ◆テーマ：計算可能性とランダムネス ◆日時： 2012年9月4日（火）午後 -- 9月7日（金）午前 ◆場所：東京工業大学　大岡山キャンパス ◆参加費：無料 ◆参加申込：不要 -------------------------------------------------- 【懇親会情報】数学基礎論サマースクールでは６日（木）の夜に、以下の内容で懇親会を開催することになりました。講師・参加者の気軽な交流の場にしたいと思いますので、皆さん奮ってご参加ください。日時：2012年9月6日（木）18時から場所：東工大生協第１食堂（立食形式）会費：3千円程度（予定）幹事：鹿島亮先生（東工大）参加される方は9月3日（月）までにメールで kashima(a)is.titech.ac.jp （鹿島亮先生）宛に連絡をください。それでは、宜しくお願い致します。 -- 只木孝太郎 (Kohtaro Tadaki) 中央大学研究開発機構〒112-8551 東京都文京区春日1-13-27 E-mail: tadaki(a)kc.chuo-u.ac.jp

1 0

証明論に関する２つのトーク (JAIST Seminar)
by Hiroakira Ono 28 Aug '12

28 Aug '12

　　　　JAIST 第41, 42回多次元セミナーの開催について以前にもご連絡しましたが来る9月7日(金)に、下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。　今回は10日（月）より金沢市で開催される LATD 2012 http://www.jaist.ac.jp/rcis/latd12/index.php?index へ出席のため来日される N. Galatos さん、G. Restall さんのお二人による証明論に関する２つのトークがあります。お気軽にご参加ください。　　　　　　　　　　　　記　　1. 日　　時　平成24年9月7日(金) 　　2. 場　　所　JAIST 情報科学研究科講義棟2階　I3・I4 http://www.jaist.ac.jp/general_info/access/index.html 　　3. 講演　　　(1) 14:00～15:30 Nikolaos Galatos, Department of Mathematics, University of Denver 「Rediscovering Structural Proof Theory: an algebraic account」 (2) 15:45～17:15 Greg Restall, School of Historical and Philosophical Studies, University of Melbourne 「Sequent Systems and Defining Rules」二つの講演のアブストラクトは以下をご覧下さい　 http://www.jaist.ac.jp/rcis/seminar/ 北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰　　 http://www.jaist.ac.jp/rcis/en

1 0

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml