Kisoron-ml November 2014

3 participants
3 discussions

JAIST Logic Workshop Series 2015
by Hajime Ishihara 03 Feb '15

03 Feb '15

皆様来年3月に金沢で開催されるJAIST Logic Workshop Series 2015のお知らせです。ふるってご投稿・ご参加ください。問合せ先：石原　哉・木原貴行・根元多佳子・横山啓太北陸先端科学技術大学院大学情報科学研究科 e-mail: jlws2015(a)jaist.ac.jp -------------------------------------------------------- *Call for Abstracts* JAIST LOGIC WORKSHOP SERIES 2015 Constructivism and Computability 2 March 2015 – 6 March 2015 Shiinoki Cultural Complex, Kanazawa, Japan http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/ -------------------------------------------------------- IMPORTANT DATES November 30 - deadline for abstract submissions December 25 - notification of accepted contributions February 15 - deadline for registrations March 2-6 - Constructivism and Computability workshop TUTORIALS * Giovanni Sambin (University of Padova) * Hideki Tsuiki (Kyoto University) * Stanley Wainer (University of Leeds) INVITED SPEAKERS * Ulrich Berger (Swansea University) * Takayuki Kihara (JAIST) * Graham Leigh (Vienna University of Technology) * Michael Rathjen (University of Leeds) * Masahiko Sato (Kyoto University) * Makoto Tatsuta (National Institute of Informatics) PROGRAM COMMITTEE * Toshiyasu Arai (Chiba University) * Andrej Bauer (University of Ljubljana) * Ulrich Berger (Swansea University) * Hajime Ishihara (co-chair, JAIST) * Masahiro Kumabe (Open University of Japan) * Erik Palmgren (Stockholm University) * Peter Schuster (University of Leeds) * Helmut Schwichtenberg (co-chair, LMU Munich) * Dieter Spreen (University of Siegen, UNISA Pretoria) * Kazuyuki Tanaka (Tohoku University) SUBMISSIONS Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org, see https://easychair.org/conferences/?conf=jlws2015 DESCRIPTION JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. Previous workshops have been held in Kanazawa 2013, 2014 and 2014: http://www.jaist.ac.jp/~hirokawa/pr2013/ http://www.jaist.ac.jp/~preining/wpp/ http://www.jaist.ac.jp/~v-sano/jw2014/index.html In 2015, JAIST Logic Workshop Series focuses on “Constructivism and Computability” aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/), but is open to all researchers in the areas. SCOPE Constructive mathematics and computability, and related areas including but not limited to: intuitionistic logic and type theory, proof theory, constructive analysis and topology, program extraction from proofs, recursion theory, computable analysis and topology, classical/constructive reverse mathematics, algorithmic randomness, real number computation etc. LOCAL ORGANIZERS * Hajime Ishihara (JAIST) * Takayuki Kihara (JAIST) * Takako Nemoto (JAIST) * Keita Yokoyama (JAIST) The workshop is supported by: * Japan Advanced Institute of Science and Technology (JAIST) CO-LOCATED WORKSHOP * JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of Mathematics (6-7 March 2015, at the same venue)

1 2

東大数理集中講義のお知らせ
by 渡辺純成 09 Dec '14

09 Dec '14

基礎論歴史分科会MLの皆様、東京学芸大の渡辺純成です。数学史を主題とする集中講義（東京大数理科学研究科）のお知らせです。入試で忙しい時期になりますが、皆様、お誘い合わせの上、お出で下さい。なお、広くお知らせするために複数のメーリングリストに投稿しておりますが、重複して受け取られた方々にはご海容いただけますと幸いです。 ────2014年11月13日　渡辺純成 ============= 講師：中根美知代氏（日本大学理工学研究所）期日：2015 年 1 月 5 日（月）から 9 日（金）まで時間：１４時５０分から１６時５０分まで場所：東京大学大学院数理科学研究科（駒場）１２３講義室題名：解析学への歴史の試み：「代数解析」の新系譜概要：「解析」という語は、古代ギリシアから導入されているが、時代とともに、その意味が異なっている。「代数解析」で示される事柄も、近代・18世紀・19 世紀・現代では大きく変化している。この言葉を手がかりに、今日、「解析学」と呼ばれている分野が形成されていく過程を部分的に明らかにする。古代から18世紀までの「解析」の変化を概観して歴史の流れを掴んだ上で、19世紀の数学者たちの原論文を参照しながら、実際に理論が作られていく過程を見ていく。自分で数学史に取り組んでみようとするときに有用な、基礎的な知識もあわせて紹介していきたい。以下のような順序ですすめていく。 1．代数解析前史　古代ギリシアの解析・イスラームの「代数＝解析」との捉え方 2. 代数解析から無限小解析へ　Viète・Descartesによる代数＝解析の捉え方　17-18世紀における無限小解析の形成 3．教科としての「代数解析」　Euler の『無限解析序説』・Lagrange が名づけた「代数解析」　Cauchyが「代数解析」で講義したもの 4. 今日の微積分学の起源　Cauchyの教科書の成果と限界 Cauchyの不備はどのように乗り越えられたかエピローグ：Euler　と「今日の代数解析」

2 2

再送：数学基礎論若手の会2014
by YOSHIDA Satoru 04 Nov '14

04 Nov '14

皆様重複して受け取られた場合はご容赦ください。数学基礎論若手の会2014について、参加申込み締切を下記の通り延長致しました：講演、参加、宿泊の申込み： 2014年11月18日15時（開催日前日）. 宿泊施設での食事の申込み：2014年11月13日15時. まだ多少時間がありますので、講演をご検討頂けたらと思います。また、講演プログラム（暫定版）および参加者リストを後述の若手の会webサイト内に掲載しました。以上、よろしくお願い致します。 2014年9月22日 19:04 YOSHIDA Satoru <satoru-y(a)kankyo-u.ac.jp>: > 皆様 > > 重複して受け取られた場合はご容赦ください。 > > 数学基礎論若手の会2014のご案内です。 > > 数学基礎論を専攻する学生および若手研究者の研究交流を目的とす > る合宿形式の研究集会です． > 講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております． > また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します． > 多くの方々のご参加およびご講演をお待ちしています． > > 日程：11月19日（水）午後－21日（金）午前 > 場所：鳥取市サイクリングターミナル砂丘の家（鳥取砂丘付近） > http://www.city.tottori.lg.jp/www/contents/1198114185831/ > 幹事：吉田聡（鳥取環境大学） satoru-y(a)kankyo-u.ac.jp > ホームページ： http://misc.kankyo-u.ac.jp/~satoru-y/wakate14/ > > 今年度若手の会申込み要領については上記ホームページをご参照ください。 > > > -- > 吉田聡<YOSHIDA, Satoru> > 鳥取環境大学 > -- 吉田聡<YOSHIDA, Satoru> 鳥取環境大学

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml November 2014