Logic-ml November 2015

11 participants
12 discussions

研究会のご案内
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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml November 2015