Logic-ml

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

5 participants
1753 discussions

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

15 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 15 Nov '10

15 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 01 Nov '10

01 Nov '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 01 Nov '10

01 Nov '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 29 Oct '10

29 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 28 Oct '10

28 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 28 Oct '10

28 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 27 Oct '10

27 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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml