Logic-ml

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

1792 discussions

セミナー案内
by KASHIMA Ryo 17 Nov '15

17 Nov '15

数理論理学セミナーのお知らせ日時：1月23日(金) 16:00から場所：東京工業大学大岡山西８号館Ｗ棟10階 W1008 話者：鈴木信行（静岡大学）題目：中間述語論理におけるExistence Propertyに関する話題 --- 小野の問題P52とその周辺 --- 概要：始めに中間述語論理の簡単な紹介をします。ざっくり言うと、中間述語論理とは、直観主義述語論理と古典述語論理の「中間」にある述語論理です。つぎに、existence property と disjunction property と言う性質を考えます。これらは、直観主義論理の構成性(constructivity)を示す顕著な性質として知られています。中間述語論理の枠組みでこれらを考察してみると、この2つの性質が独立であることが解ります。これは、小野の問題P52として知られる問題に否定的解決を与えます。今回は、これにまつわる若干のことがらも報告したいと思います。 ------ 本セミナーは定期的に東工大で開催しているものです。初めて参加を希望される方はご一報ください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 3

Kyoto Nonclassical Logic Workshopのご案内
by Hitoshi Omori 16 Nov '15

16 Nov '15

Kyoto Nonclassical Logic Workshopのご案内 (重複してお受け取りの際はご容赦ください。) 京都大学の大森仁です。直前の案内になってしまいましたが、以下の通り非古典論理に関するワークショップを開催いたします。概要などの詳細はウェブサイトをご覧ください。 ------------------------------------- Kyoto Nonclassical Logic Workshop 【日時】2015年11月19日、20日【場所】京都大学吉田泉殿【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kncl2015 【プログラム】 11月19日 13:00-14:10: Zach Weber: On closure and truth in substructural theories of truth 14:10-15:20: Hidenori Kurokawa: Labelled sequent calculi for substructural logics I: relevant logics 15:20-15:40: coffee break 15:40-16:50: Ryosuke Igarashi: Inferentialism on Negation 16:50-18:00: Shunsuke Yatabe: A constructive naive set theory and infinity 11月20日 10:30-11:40: Kazushige Terui: Substructural logics and fixed points 11:40-13:00: lunch break 13:00-14:10: Colin Caret: Pluralism and Contextualism 14:10-15:20: Yasuo Deguchi: Compartmentalizing Trivialism; Nishida's Contradictory Self-identity Viewed from a Non-classical Logic 15:20-15:40: coffee break 15:40-16:50: Katsuhiko Sano: Cut-Elimination Theorem for Expansions of Belnap-Dunn's Four Valued Logic via Functional Weak-Completeness 16:50-18:00: Petr Cintula: Substructural Logics: Deduction theorems and generalized disjunctions ------------------------------------- 会場の都合上、参加を希望される場合は hitoshiomori[at]gmail[dot]com までご一報いただければ幸いです。どうぞよろしくお願いいたします。大森仁

1 0

「証明、計算、哲学」International Workshop "Proofs, Computation and Philosophy"
by Mitsuhiro Okada 16 Nov '15

16 Nov '15

*************************************************************** 「証明、計算、哲学」International Workshop "Proofs, Computation and Philosophy" 11月28-29日Nov28-29th慶応大三田Campus Mita,Keio Univ (Mita Campus) (Apologies for multiple copies due to cross posting) ***************************************************************** 証明とカット消去の概念について議論することを目的として、「証明」の哲学と計算機科学について、次のような国際ワークショップの開催を予定しています。参加自由です。またこの案内は転送自由です。会議のupdated informationについてはつぎのURLをご覧ください。 http://abelard.flet.keio.ac.jp/seminar/girard2015.html 到着したAbstractsもここに貼っていきます。（この国際ワークショップとは別に、Girard教授による連続講義が開催されています。この案内の最後を参照ください。） ****国際ワークショップ情報International Workshop Information***** Date: November 28th(Sat)-29th(Sun), 2015 日時: 2015年11月28日(土)-29日(日) Place: Conference Hall, 3F of North Building, Mita campus of Keio University 場所: 慶應大学三田キャンパス北館3階会議場　 Campus Maphttp://www.keio.ac.jp/en/maps/mita.html Building #1 on this map. / 1番の建物です。注意：２８日土曜日はどの門からもお入りに慣れますが、２９日日曜日は正門のみしか書いていない場合がありますので、ご注意ください。 One can access to the North Building through any gates on Saturday 28^th , but We strongly recommend to use the MAIN GATE on SUNDAY because other gates Often close on Sundays. List of the invited speakers: １・Jean-Yves Girard, (Mathematics Institute of Marseille, Univ Marseille/CNRS) Special Lectures　　（上記連続講義とは独立なself-containedな証明論レクチャーです。Transcendental syntaxを別な観点から、より技術的に導入なさいます。　） 2. Philip Scott (Dept. of Mathematics and Statistics, University of Ottawa) "AF Inverse Monoids and the Coordinatization of MV-algebras" 3. Jean-Baptiste Joinet (Faculte de philosophie, Universite Jean Moulin - Lyon 3) "Logic and Naturalness : from Gentzen to Girard" 4. Paolo Pistone (Philosophy, IMM, Univ Marseille/CNRS) "Proofs, programs and the library of Babel" 5. V. Michele Abrusci (Philosophy, Univ Rome 3) “Philosophical aspects of proof-nets” 6. Masahiro Hamano "Geometry of Interaction for MALL via Hughes-van Glabbeek Proof-Nets" 7Kazushige Terui (Research Institute for Mathematical Sciences, Kyoto University) TBA 8. Takeshi Tsukada (Graduate School of Information Science and Technology, University of Tokyo) "A bifibrational account of LC" 9. Naohiko Hoshino (Research Institute for Mathematical Sciences, Kyoto University) "Geometry of Interaction and coherence spaces" ------- Tentative PROGRAM (see the Workshop webpage for updated information) November 28^th (Saturday) 9:30- registration 9:50-10:00 Introductory Remark, Mitsuhiro Okada 10:00-11:20 Jean-Yves Girard Special lecture, Some technical aspects of transcendental syntax I (tentative) (Univ Lyon 3 and ENS-Paris) 11:20-11:30 Break 11:30-12:30 Michele Abrusci (Univ Rome 3),” Philosophical aspects of proof-nets” 12:30-14:00 Lunch Break 14:00-15:00 Jean-Baptiste Joinet (Univ Marseille), "Logic and Naturalness : from Gentzen to Girard" 15:00-15:10 Break 15:10-15:50 Takeshi Tsukada (Univ Tokyo) , "A bifibrational account of LC" 15:50-16:50 Paolo Pistone (Univ Marseille/CNRS) "Proofs, programs and the library of Babel" 16:50-17:40 Discussion with the speakers of the first day ( coordinator: M. Okada) November 29^th (Sunday) 10:00-11:20 Jean-Yves Girard Special Lecture , Some technical aspects of transcendental syntax II (tentative) 11:20-11:30 Break 11:30-12:10 Naohiko Hoshino (RIMS, Univ Kyoto) "Geometry of Interaction and coherence spaces" 12:10-12:30 Discussion 12:30-14:00 Lunch Break 14:00-15:00 Phil Scott (Univ Ottawa) "AF Inverse Monoids and the Coordinatization of MV-algebras" 15:00-15:40 Masahiro Hamano, "Geometry of Interaction for MALL via Hughes-van Glabbeek Proof-Nets" 15:40-16:00 Break 16:00-16:40 Kazushige Terui (RIMS, Univ Kyoto) TBA 16:40-17:30 Discussion with the speakers of the second day (coordinator: M.Okada9 Local organizing committee: Mitsuhiro Okada, Keio University(Chair) Yutaro Sugimoto, Keio University Yuta Takahashi, Keio University 主催: Mita Logic Seminar 事務局(科学研究費　新学術領域　「予測と行動判断の論理と計算」）共催: 慶應義塾大学論理と感性のグローバル研究センター問合せ先: Mita Logic Seminar 事務局 logic(a)abelard.flet.keio.ac.jp ------------------------- なお、このワークショップとは別に、１１月１７日、２４日の午後６時より、大学院棟１階３１３番教室でGirard教授の公開講義が行われます。参加自由です。

1 1

Kobe Colloquium: Nov 19, 2015, Matthias Schirn
by Makoto Kikuchi 14 Nov '15

14 Nov '15

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。 Date: 2015/11/19 (Thu) 1.30pm - 5.00pm Place: Room 421 Speaker: Matthias Schirn (Munich) Time: 1.30pm - 3.00pm Title: Second-ordert abstraction before and after Russell's paradox Abstract: In this talk, I analyze several aspects of Frege’s paradigms of second-order abstraction: Axiom V and Hume’s Principle. The issues dealt with include self-evidence and epistemic (non-)triviality with particular emphasis on Axiom V, Frege’s attitude towards Axiom V before and after Russell’s discovery of the contradiction, as well as the possible role and the status of Hume’s Principle in the face of Russell’s paradox. In the central part, I pursue a threefold aim: (a) to shed new light on the connection between Frege’s way of introducing the primitive function-names of his logical system and the requisite self-evidence of his axioms in whose expression such a function-name occurs; (b) to analyze the semantic nature of the formal linguistic expression of Axiom V, and (c) to examine the conflict between the requirements of self-evidence and real epistemic value or genuine knowledge arising inevitably and invariably from Fregean abstraction principles, if they are singled out as axioms of a theory T. If time allows, I conclude by making some critical remarks on Frege’s reactions to Russell’s paradox in the period 1902-1906. Time: 3:30pm - 5.00pm Title: Truth and judgement Abstract: What the German logician and philosopher Gottlob Frege has bequeathed to us regarding the concept of truth is not a homogeneous, coherent and systematically worked out conception. It is rather an agglomeration of remarks, scattered throughout several of his writings, on the nature of judgement and assertion, the conception of the two truth-values the True and the False as the references of assertoric sentences (as objects), the relation of a (true) thought to the True, the role and the purportedly unique sense of the word “true” and its alleged redundancy on the level of both sense and assertion, the characterization of logic as the science of the most general laws of truth, the “truth-conditional“ approach concerning the semantics of his formal language — to mention some issues, but not all. The core of my lecture will be a critical examination of what Frege says in some key passages about truth, the True and “is true”. Where it seems useful and enlightening, aspects of the current discussion of the concept of truth (for example, the role of this concept in minimalism about truth) will be taken into account. I shall argue (a) that Frege’s reflections on the relation of a (true) thought to the True are incoherent; (b) that he fails to offer a convincing argument for rejecting the view according to which a sentence of the form “The thought that p is true” expresses the subsumtion of a thought (qua object) under the concept is true; (c) that Frege seems to overlook the fact that in such a sentence, even if it is interpreted as expressing a subsumtion of this kind, we still have the relation of sense to reference, of a thought to a truth- value; (d) that he falls short of providing a cogent argument for the purported synonymy of “p” and “The thought that p is true” and thus for the alleged redundancy of “is true” on the semantic level; (e) that, contrary to what he says, he has to concede that the word “true” makes an essential contribution to the thought expressed by “The thought that p is true”; (f) that there are indispensable uses of the truth-predicate anyway, not only in sentences such as „Everything Peter says is true“ but also, for example, in informal “metalogical” discourse; (g) that, contrary to what Frege appears to claim, he is committed to acknowledging that true is a property (of true thoughts); (h) that it remains unclear what truth qua that which is acknowledged (not predicated) in a judgement is supposed to be if it is neither the True nor the concept is true. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

CFP: PPL2016 第18回プログラミングおよびプログラミング言語ワークショップ論文募集
by Takahito Aoto 12 Nov '15

12 Nov '15

今年も皆様のご投稿，ご参加をお待ちしております．--- 青戸等人(新潟大学) ====================================================================== 第18回プログラミングおよびプログラミング言語ワークショップ (PPL2016) http://logic.cs.tsukuba.ac.jp/ppl2016/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2016年3月7日(月)〜3月9日(水) 会場: 岡山県玉野市たまの温泉「ダイヤモンド瀬戸内マリンホテル」http://www.marine-hotel.co.jp/ PPL2016は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません) カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問いません) カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションには発表賞(一般の部，学生の部，既受賞者は除く)，最も優秀なポスター・デモにはポスター賞を授与する予定です．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です(ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません)．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布はウェブを用いる場合を含め，参加者のみへの限定的なものとします．カテゴリ1で発表された研究のうち，PPL2016プログラム委員会により優れていると認められたものは，PPL2016終了後(2016年4月下旬予定)，「コンピュータソフトウェア」誌のPPL2016推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会での選考により，発表をご遠慮いただく可能性もございますので，その旨をご了承の上ご投稿ください．カテゴリ3 (ポスター・デモ発表) ----------------------------- 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申し込み多数の場合はプログラム委員会での選考により採否を決定します．会場の状況により，ポスターの常設展示を可能とします．ショートプレゼンテーションは行いません．カテゴリ4 (サーベイ・チュートリアル発表) -------------------------------------- 研究動向の紹介(発表者の研究も含む)や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．発表後，発表スライドをPPL2016ウェブページ上にて公開して頂く予定です．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．なお，PPL2015と同様，PPL2016の終了は夕刻(14:00〜16:00頃)を予定しています． ====================================================================== 投稿・発表申込要領すべてのカテゴリの投稿・発表について，次のURLから申し込んでください． https://www.easychair.org/conferences/?conf=ppl2016 申込にあたってはEasyChairのアカウントが必要です．4つのカテゴリそれぞれに対する申込要領の詳細は以下の通りです．最新の情報は上記ウェブページでご確認ください．カテゴリ1 (国内外未発表論文) --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込締切: 2015年12月21日(月) 17:00 (JST) 著者名，所属，論文タイトル，論文概要(日本語300〜400字程度もしくは英語200 words 程度)，キーワード(3つ以上)を提出してください．論文提出締切: 2016年1月8日(金) 17:00 (JST) 10ページ程度(最大15ページ)の論文(日本語もしくは英語，PDF形式． PPL2016ウェブページにて指定のスタイルファイルを利用のこと)を提出してください．採否通知: 2016年2月2日(火) 最終原稿締切: 2016年2月15日(月) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします．ページ数制限は投稿版と同じ予定です． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください． (注) 投稿論文と類似の論文を，他の会議(予稿集を出版するもの)・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります (他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります)．カテゴリ2 (国外既発表論文) ------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌等の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込締切: 2016年1月25日(月) 17:00 (JST) 原論文(ページ数不問，PDF形式)と論文概要(テキスト形式)を，著者名，所属，論文タイトル，キーワード(3つ以上)と併せて提出してください．論文概要にて，原論文の出典(発表会議名，掲載済／予定の別等を含む)についても明記してください．採否通知: 2016年2月5日(金) カテゴリ3 (ポスター・デモ発表) ----------------------------- ポスター・デモの区別を行わずに募集いたします．デモを行う場合は，発表概要においてその旨を説明してください．発表申込締切: 2016年2月8日(月) 17:00 (JST) 希望する発表形態(ポスター・デモの別)を明記して，著者名，所属，発表タイトル，発表概要(200〜300字程度)，キーワード(3つ以上) を提出してください．採否通知: 2016年2月15日(月) カテゴリ4 (サーベイ・チュートリアル発表) --------------------------------------- 発表申込締切: 2016年1月25日(月) 17:00 (JST) 著者名，所属，発表タイトル，キーワード(3つ以上)，発表概要 (3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの)を提出してください．採否通知: 2016年2月5日(金) ====================================================================== ワークショップ全般に関する問い合わせ先： ppl2016-oc(a)logic.cs.tsukuba.ac.jp ====================================================================== プログラム委員会青戸等人新潟大学安部達也理化学研究所岩崎英哉電気通信大学上野雄大東北大学鵜川始陽高知工科大学江本健斗九州工業大学角谷良彦東京大学河内谷清久仁日本IBM 木村大輔東邦大学櫻井孝平金沢大学佐藤重幸東京大学佐藤芳樹東京大学佐藤亮介東京大学滝本宗宏東京理科大学田辺良則鶴見大学対馬かなえ国立情報学研究所平井洋一 FireEye Dresden 平石拓京都大学森口草介関西学院大学八杉昌宏九州工業大学横山哲郎南山大学組織委員会海野広志筑波大学 [組織委員長] 塚田武志東京大学対馬かなえ国立情報学研究所松田一孝東北大学末永幸平京都大学上野雄大東北大学青戸等人新潟大学 [プログラム共同委員長] 鵜川始陽高知工科大学 [プログラム共同委員長] ======================================================================

1 0

数学基礎論若手の会　追加募集
by kota takeuchi 10 Nov '15

10 Nov '15

筑波大学の竹内耕太と申します。11月末に行われる数学基礎論若手の会にたくさんの申し込みをいただきありがとうございます。申し込み締め切り後に調整しましたところ、「宿泊・食事申し込み」に多少の余裕がありましたので11月15日日曜日まで参加を受け付けることとしました。（多数の場合は先着順。講演申し込みは締め切りました。）プログラムも公開されておりますので参考にしていただければと思います。若手の会2015webページ：http://www.math.tsukuba.ac.jp/~kota/wakate2015.html プログラム：http://www.math.tsukuba.ac.jp/~kota/wakate2015program.pdf 竹内耕太

1 0

[CSC Journals] : INVITATION FOR OPEN ACCESS PUBLICATIONS
by J. Steward 05 Nov '15

05 Nov '15

CALL FOR PAPERS International Journal of Computational Linguistics (IJCL) ISSN - 2180-1266 http://www.cscjournals.org/journals/IJCL/description.php Computational linguistics is an interdisciplinary field dealing with the statistical and/or rule-based modeling of natural language from a computational perspective. Today, computational language acquisition stands as one of the most fundamental, beguiling, and surprisingly open questions for computer science. International Journal of Computational Linguistics (IJCL) is a peer review open access bi-monthly journal providing a scientific forum where computer scientists, experts in artificial intelligence, mathematicians, logicians, cognitive scientists, cognitive psychologists, psycholinguists, anthropologists and neuroscientists can present research and experimental studies. The journal publishes papers that describe state-of-the-art techniques, scientific research studies and results in computational linguistics in general but computational models, corpus linguistics, computational theories, information retrieval and extraction, linguistics modeling techniques, linguistics theories, machine translation, natural language processing, quantitative linguistics, speech analysis and speech recognition in particular. IJCL invite linguistic specialists, researchers and scientists from different domains to share their understanding and contributions towards linguistics that set scientific objectives and demonstrate the operation of new methods in the field of computational linguistics. EDITORIAL BOARD MEMBERS Dr. Michal Ptaszynski - Hokkai-Gakuen University (Japan) Dr. Pascaline Merten - HEB-ISTI (Belgium) Dr. Pawel Dybala - Otaru University of Commerce (Japan) Dr. John Hanhong LI - (China) Dr. Stephen Doherty - Dublin City University (Ireland) LIST OF TOPICS Comparative Surveys that Critique Previously Repor Computational Linguistics Computational Models Computational Theories Corpus Linguistics Formal Linguistics-Theoretic and Grammar Induction Information Retrieval and Extraction Language Generation Language Learning Linguistics Modeling Techniques Linguistics Theories Machine Translation Models of Language Change and its Effect on Lingui Models that Address the Acquisition of Word-order Models that Combine Linguistics Parsing Models that Employ Statistical/probabilistic Gramm Models that Employ Techniques from machine learnin Natural Language Processing Quantitative Linguistics Speech Analysis/Synthesis Speech Recognition/Understanding Spoken Dialog Systems Web Information Extraction/Mining IMPORTANT DATES Paper Submission - November 30, 2015 Author Notification - December 31, 2015 Issue Publication - January 2016 PAPER SUBMISSION DETAILS In order to submit the paper, you need to register as author and then submit the paper through Author Dashboard. It is also important to ensure that the manuscript must be formatted as per IJCL Manuscript Preparation Guidelines. For further information, please refer to the following information. IJCL Website - http://www.cscjournals.org/journals/IJCL/description.php Submission Guidelines - http://www.cscjournals.org/journals/IJCL/submission-guidelines.php Register as Author - http://www.cscjournals.org/login.php CSC-OpenAccess Library - http://www.cscjournals.org/library/oa-library.php Please do not hesitate to contact us at cscpress(a)cscjournals.org if you require more information prior to submission. Our team is committed to provide quick response and support from submission to final publication. Sincerely Editorial Board Members International Journal of Computational Linguistics (IJCL) Thank you, J. Stewart Computer Science Journals (CSC Journals) B-5-8 Plaza Mont Kiara, Mont Kiara 50480, Kuala Lumpur, Malaysia Phone: 00603 6204 5627 Fax: 00603 6204 5628 Url: http://www.cscjournals.org

1 0

研究会のご案内
by Suzuki, Nobu-Yuki 04 Nov '15

04 Nov '15

皆様早稲田大学の金子守先生の代理で研究会のご案内をお送りします。重複してお受け取りのお方には、ご寛恕を賜りますよう。認識論理・様相論理研究会日時：２０１５年１２月４日（金）―５日（土）場所：早稲田キャンパス１０号館２０５室（正門から入って正面奥）この研究会は研究情報・考え・意見の交換を目的としています。興味のある方の参加を歓迎します。また懇親会に参加希望の方は金子守（mkanekoepi(a)waseda.xn--jp)-373b4ak8d3b3b5762mgesb い（２０００円程度）。幹事：金子守、黒川英徳、秋吉亮太プログラムは添付のpdfファイルをご覧ください。 2015/11/04(水) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 鈴木信行(Nobu-Yuki SUZUKI) 静岡大学理学部数学教室〒422-8529 静岡市駿河区大谷836 電話 054-238-4729(dial in) Fax 054-238-4549(学科共通) 電子メイル：suzuki.nobuyuki(a)shizuoka.ac.jp 静岡大学では、上記の新アドレスに移行中です。しばらくは、旧アドレスも併用されます。

1 0

ジャンイヴ・ジラール教授公開連続講義（１１月１０日より）のお知らせ
by Mitsuhiro Okada 03 Nov '15

03 Nov '15

次の講演会の案内をさせていただきます。慶應義塾大学文学部哲学専攻　岡田光弘ーーーー ----------------------------------------------------------------------------------------------------------------- ジャンイヴ・ジラール教授公開連続講義（１１月１０日より）のお知らせ Jean-Yves GIRARD open lectures (Nov. 10^th , 17^th , 24^th, ) (三田ロジックセミナー) ***Apologies for multiple copies due to cross-posting*** ------------------------------------------------------------------------------------------------------------------ 慶應義塾大学に滞在されているジャンイヴ　ジラール教授に、インフォーマルな連続講義をお願いしていますので、ご案内させていただきます。 Transcendental Syntaxをテーマとした連続講義です。(同一タイトルの近刊書籍の中核的部分を解説していただきます。)　Proof-Normalization, 線形論理、Proofnests, Geometry of Interaction、ludicsなどのこれまでのご研究を基にした,　証明論、証明論の哲学についての彼の新しい研究パラダイムをご紹介いただきます。（初回は、証明論の初歩以外の専門的知識なしで聴講できるIntroductionから始めていただきます。） In this series of lectures Prof. Jean-Yves Girard is giving his new research paradigm“Transcendental Syntax”, which is based on his past researches (such as proof normalization, linear logic, proofnets, geometry of interaction, Ludics and others)　No particular background knowledge is required except for elementary proof theoretic ideas.. 講師　Jean-Yves Girard (Ｍathematics Institute, Univ de Marseille/CNRS, 現在慶應義塾大学にDistinguished Guest Professor (Global)として滞在中) Ist lecture １１月１０日１８：００－１９：３０（Nov,10^th 18:00-19:30） 2^nd lecture １１月１７日１８：００－１９：３０（Nov,17th 18:00-19:30） 3^rd Lecture １１月２４日１８：００－１９：３０（Nov,24th 18:00-19:30）会場慶應義塾大学三田キャンパス大学院棟１階３１３号 Graduate School Building the ground floor, room 313. なお、これとは別に、１１月２８日―２９日に証明論、証明論の哲学、計算機科学についての国際ワークショップを予定しております。詳細が決まりましたらお知らせいたします。 JR-田町駅、地下鉄三田駅、地下鉄赤羽橋駅から徒歩約7分 7 minutes along distance from JR-Tamachi, Subway-Mita, Subway-Akabanebashi See campus-map below/ http://www.keio.ac.jp/en/maps/mita.html 大学院棟は８番の建物です。Graduate School Building is #8 on this map. この会合案内は転送自由です。 ――――――――――――――――――――――――――――――――― お問い合わせ先：慶應義塾大学文学部哲学専攻岡田光弘研究室三田ロジックセミナー講演会事務局 philosophy(a)abelard.flet.keio.ac.jp

1 0

Talk by Bart Jacobs, Mon 2 Nov
by Toshiki Kataoka 29 Oct '15

29 Oct '15

皆様，以下のように，来週月曜日，Radboud大学のBart Jacobsさんをお招きして講演をしていただきます。 Jacobsさんは量子計算等の圏論的意味論において先進的な研究をされている方です。ぜひご参加ください。 -- 片岡俊基 (Toshiki Kataoka, http://www-mmm.is.s.u-tokyo.ac.jp/~tos/) -------------------- Mon 2 Nov 2015, 16:30–18:00 Room 214, School of Science Bldg. No. 7 (理学部7号館214) Access: http://www-mmm.is.s.u-tokyo.ac.jp/access.html Bart Jacobs (Radboud U.), Introduction to Effectus Theory Effectus theory provides a novel categorical approach to models of probabilistic and quantum computation and logic. The talk will introduce the main aspects and examples of effectuses. http://lmcs-online.org/ojs/viewarticle.php?id=1766&layout=abstract

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml