Kisoron-ml

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

599 discussions

モデル理論研究集会のお知らせ
by ikeda＠hosei.ac.jp 04 Jun '15

04 Jun '15

皆様，法政大学の池田と申します．今年８月に法政大学で研究集会「モデル理論夏の学校2015」が開催されます．この研究集会は毎年夏に開催されるモデル理論および関連分野に関する研究集会です．モデル理論に興味のある方の参加をお待ちしております．・日程：２０１５年８月２２日（土）- ２４日（月）・会場：法政大学市ヶ谷キャンパス５５年館５５１教室・所在地：〒102-8160東京都千代田区富士見2-17-1 ・世話人：池田宏一郎（法政大学経営学部，ikeda(at)hosei.ac.jp）・Web page：https://sites.google.com/site/modeltheorysummer2015/ 参加を希望される方は，下記のフォームに必要事項を記入の上，池田宛に電子メールでお申し込みください．（講演申込み締切は６月３０日） %%%%%%%%%%モデル理論夏の学校・参加申し込みフォーム%%%%%%%%%% ・氏名：・所属機関：・職名／学年：・講演：する／しない・講演題目： %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 池田宏一郎（法政大学）

1 0

秋の学会　一般講演申し込み開始のお知らせ
by ikeda＠hosei.ac.jp 01 Jun '15

01 Jun '15

数学基礎論および歴史分科会　会員の皆様，連絡責任評議員の池田です．秋の学会（2015年9月13日-9月16日，京都産業大学）の一般講演申し込みが始まりました．オンライン申し込み締切は6月19日となります． https://app.mathsoc.jp/ 多くの方々に発表をしていただけると幸いです．よろしくお願いいたします．開催情報は以下をご覧ください． http://mathsoc.jp/meeting/kyoto-sangyo15sept/ 池田宏一郎（分科会連絡責任評議員，法政大学）

1 0

数学会からのお知らせ（秋季賞）
by Suzuki Toshio 25 May '15

25 May '15

日本数学会　数学基礎論及び歴史分科会の皆様評議員１年目（受賞候補推薦委員）の鈴木登志雄です。　さて、秋季賞について念押しです。２０１５年度日本数学会賞秋季賞受賞候補者について、いまのところ当分科会各位から当方へ推薦の打診をいただいておりません。すでに他の経路で推薦されていて行き違いの場合はご容赦下さい。もし、これから推薦される場合は、わかる範囲の情報だけでも至急、ご連絡下さい。　推薦票には以下が必要です。候補者氏名・所属・職名・住所・電話・E-mail 業績の題目とその英訳生年月日・略歴（わかる範囲で８行以内程度）業績対象の業績をよく知っている人の名（内、外国人は１名以上）［引用者注：外国人の定義はとくに詳しく規定されていません。］推薦者氏名・所属・職名・住所・電話・E-mail 推薦理由・論文リスト（理由とリストを合わせてＡ４用紙１枚弱程度）　推薦票は数学会へ５月２９日（金）必着です。最悪の場合、５月２８日（木）の正午までに鈴木 toshio-suzuki(a)tmu.ac.jp へご連絡いただければ当方で所定の様式へ記入の上、間に合うように日本数学会本部（東京・秋葉原）へ届けます。 -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Fwd: CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15

皆様、北陸先端大の横山です。たびたび申し訳ありません。先ほどのメールの情報が一部間違っておりましたので、再送致します。 ****************************** 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 講演の募集の締め切りは6月15日となっております。また、講演受理の連絡は6月25日までにお送りする予定です。宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Submission deadline for Presentations: June 15, 2015 -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Guohua Wu (Nanyang Technological University) Stephen Binns (King Fahd University of Petroleum and Minerals) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15

皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 講演の募集の締め切りは6月15日となっております。また、講演受理の連絡は6月25日までにお送りする予定です。宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Submission deadline for Presentations: June 15, 2015 -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Guohua Wu (Nanyang Technological University) Stephen Binns (King Fahd University of Petroleum and Minerals) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) (to be more) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

数学会からのお知らせ
by ikeda＠hosei.ac.jp 28 Apr '15

28 Apr '15

日本数学会数学基礎論および歴史分科会会員の皆様，数学会からのお知らせです．よろしくお願いいたします．池田宏一郎（2015年度分科会連絡責任評議員，法政大学） %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 皆様大韓数学会から、今年6月29日〜7月10日の期間、NIMS (National Institute　for Mathematical Sciences) において開催されるサマースクール「ランダム行列理論」に、日本数学会が推薦する大学院生1名を招待するとの通知がありました。詳しくは下記をご覧ください。日本数学会では、次の要領で募集を行います。応募は、自薦（日本数学会会員である必要はない）としますが指導教員の方は指導学生に積極的に応募をお勧めください。サマースクールの対象は院生に限るとのことですからテーマに直接関わる研究を行っている必要はないと思われます。応募に当たっては「氏名、所属、学年、指導教員名とそのメールアドレス、研究内容（あるいは勉強中の内容）、応募動機」を明記の上、メールで president(a)mathsoc.jp あてに申し込んでください。件名は「韓国サマースクール応募」としてください。締め切りは5月15日（金）とします。 5月24日に開催される理事会で選考し、決定後直ちに本人に連絡いたします。なお、推薦が決定した後に、5月30日（土）までにレジストレーションを行う必要がありますので、ご注意ください。皆様の積極的な応募をお待ちしています。　　　　　　　　　　　　　　日本数学会理事長　　　　　　　　　　　　　　　　　舟木直久 =================================== MSRI-NIMS Summer School on Random Matrix Theory 1. Overview MSRI in Berkeley and NIMS in Daejeon are jointly organizing a summer graduate school on Random Matrix Theory. This will take place at the National Institute for Mathematical Sciences in Daejeon, South Korea, during June 29 ~ July 10, 2015. The purpose of this summer school is to introduce some of the basic ideas and methods of random matrix theory to graduate students. In particular, Jinho Baik (University of Michigan), Sasha Sodin (Tel Aviv University) and Jun Yin (University of Wisconsin, Madison) will give three lecture series on random matrix theory from three different perspectives: from the view points of the integrable structures, the moment method, and the Stieltjes transform technique. In addition to the lectures, there will be discussion sessions, and the students will also have plenty of time to interact with the lecturers and with other students. Please note that this summer school is for graduate students ONLY. 2. How to apply We would like MSJ to nominate one student for the summer school. We would be grateful if MSJ could confirm us the details of their selected participant and ask him/her to register online until the 30th of May. 3. Support Accepted students will be provided up to $1000 in travel reimbursement, in addition to meals and accommodations during the entire school period. 4. Contact Please feel free to contact us if you have any enquiries. Homepage: camp.nims.re.kr Email: seungyeon(a)nims.re.kr ====================================

1 0

数学会よりお知らせ（数学通信，雑誌数学）
by ikeda＠hosei.ac.jp 25 Mar '15

25 Mar '15

日本数学会　数学基礎論および歴史分科会の皆様，３月より分科会連絡責任評議員になりました池田と申します．よろしくお願いいたします．連絡事項が２点ございます． (1) 5月20日発行予定の「数学通信」誌上で全会員にお知らせすべき情報（研究集会情報等）を池田（ikeda(a)hosei.ac.xn--jp)-u63b3a4a5b7b6byd5nwe5834h. 締切：4月13日（月） (2) 今年度のシンポジウム・研究集会記録についてお知らせください．毎年，数学会がシンポジウム・研究集会の年度ごとの一覧表を作り，雑誌「数学」に掲載しています．各集会に関する最小限の情報を集めて会員に供覧することが目的です．該当するシンポジウム・研究集会記録は，原則として20人以上の集会，または（ 20人以下でも）報告集のある集会に限ります．（ただし，平成２６年度RIMS共同利用研究計画に掲載されたものは除きます．）年度ごとの一覧表は「数学」4号に掲載する予定です．今回お送りいただくものは 2014年4月1日から2015年3月31日までに開催されたものです．そこで・名称(主題) ・主催者(所属) ・開催場所・開催時期・報告集の有無と入手可能な場合の連絡先の順に池田(ikeda(a)hosei.ac.xn--jp)-u63bal0ac5d5cses1dp1i7rhaf9qna90031brmtbqk2g. 所属は学部までで，できるだけ名簿の省略形にならっていただけますと幸いです．締切：5月25日（月）以上，よろしくお願いいたします．池田宏一郎（連絡責任評議員，法政大学）

1 0

数学会よりお知らせ（数学通信，雑誌数学）
by ikeda＠hosei.ac.jp 24 Mar '15

24 Mar '15

1 0

Prof. Giovanni Sambin at NII Logic Seminar
by Makoto Tatsuta 16 Mar '15

16 Mar '15

Prof. Giovanni Sambin at NII Logic Seminar Date: March 23, 2015, 13:30--15:30 Place: National Institute of Informatics, Room 1716 (17th floor) 場所: 国立情報学研究所 17階 1716室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Giovanni Sambin (University of Padova) Title: Realizability interpretation of topology Abstract: It is a fact of life that the classical notion of topological space can be obtained in a constructive (intuitionistic and predicative) way by starting from neighbourhoods and defining points as specific subsets of neighbourhoods. Beginning in the 80s, we introduced what is now called formal topology: a predicative and intuitionistic pointfree approach to topology. The key ingredient of a formal topology is a relation, called cover, between elements and subsets of a given set S of formal neighbourhoods, or observables. In the 90s, we showed that the cover relation of formal topologies can be generated by induction. Given a set of observables S, a family of sets I(a) set (a in S) and a family C(a,i) of subsets of S, for a in S and i in I(a), one can generate by induction the least cover such that every C(a,i) is a cover of a. We call this an axiom-set. Soon after, I also added a positivity relation, again between elements and subsets of S, which provides a way to introduce closed subsets in a pointfree way. We showed that positivity relations can be generated coinductively from an axiom-set. It turns out that generation, by induction and by coinduction, from axiom-sets is the only postulate over a very elementary foundation, which have been shown to admit a realizability interpretation. So to obtain a realizability interpretation of constructive topology one only need to find a realizability interpretation for the principle of generation from axiom-sets. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

島根大学教授(任期なし) 公募【5/28締切】について
by Munehiro Iwami 11 Mar '15

11 Mar '15

皆様島根大学の岩見と申します。浜口先生の代理で「島根大学教授(任期なし) 公募【5/28締切】」の情報を送ります。 ------------------------------------------------------------------- 島根大学教授(任期なし) 公募【5/28締切】大学院総合理工学研究科情報システム学領域１．職名及び人数：教授　１名２．所属：島根大学大学院総合理工学研究科　情報システム学領域３．担当専門分野：情報科学／情報工学(ソフトウェア工学が望ましい) ４．担当予定授業科目　　　大学院総合理工学研究科情報システム学コースに関わる専門科目及び　　数理・情報システム学科（情報系）に関わる専門科目および全学基礎科目　　　大学院：専門分野に関連する科目，セミナー，特別研究　　　学　部：プログラミング関連および専門分野に関連する講義・演習科目，　　　　　　　　情報科学(全学基礎科目)，卒業研究５．任用予定年月日：平成２７年　１０月　１日以降のできるだけ早い時期６．応募資格　　　・博士の学位を有すること．　　・国籍は問わないが，日本語で授業ができること．７．提出書類　　　(1) 履歴書（写真貼付のこと）　　(2) 研究業績リスト　　　　研究費の獲得実績，および学会活動・社会活動の実績を含む　　(3) 論文別刷3編程度（コピー可）　　(4) 上記(3)の論文の概要（各論文について200字以内）　　(5) 教育研究に対する抱負　　(6) 業績を評価できる方2名の氏名及び連絡先　　応募書類は原則として返却しません。 ※ 提出書類に含まれる個人情報は，選考及び採用以外の目的には使用しま　せん。８．選考方法　　　書類選考及び必要に応じ本学において面接等を行います。その際の旅費・宿泊費は応募者の負担となります。また，島根大学では男女共同参画社会の実現を目指しています。「男女共同参画社会基本法」の趣旨に則り，業績（研究　業績，教育業績，社会的貢献等）及び人物の評価において同等と認められた場　合は女性を採用します。選考結果は応募者本人に通知します。９．応募締め切り：平成２７年５月２８日（木）必着　 10．応募書類の送付先　　〒690-8504　松江市西川津町１０６０　　島根大学大学院総合理工学研究科長　服部　泰直　　封筒の表に，「情報システム学領域教員応募書類在中」と朱書し，　　「（簡易）書留郵便」で郵送して下さい。 11．問い合わせ先　　島根大学大学院総合理工学研究科　情報システム学領域　領域長浜口　清治　　　TEL/FAX: 0852-32-6468 　　　E-mail: hama(a)cis.shimane-u.ac.jp (備　考) 本学は，「男女共同参画社会基本法」の趣旨に則り，男女共同参画を推進しています。以上． ------------------------------------------------------------------------ -- 以上、よろしくお願い致します。岩見宗弘島根大学総合理工学研究科情報システム学領域 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

← Newer
1
...
39
40
41
42
43
44
45
...
60
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml