Kisoron-ml

1 participants
589 discussions

新しい研究課題
by Saburou Saitoh 22 Oct '20

22 Oct '20

*日本数学会数学基礎論および歴史関係の皆様－ * *新しい研究課題：* *うすうすゼロ除算関係の情報は皆様にも伝わっているかと思います。しかしながら、余りにも永い伝統と強い思い込みに支配されていて、真相ではなく、誤解や忌避の感情に支配されているようにも感じられる面があるのではないかと危惧しています。* *何と畏れ多くも現代数学には基本的な欠陥があり、我々の空間の認識はアリストテレス、ユークリッド以来、数学的にはおかしいと公言しています。理由は、有名なゼロ除算、ゼロで割ることを考え、それを不可能であるとしてきたことに由来しています。* *実は、多くの不可能であった数学的な事実が、概念を拡張するなどして、可能にしてきた数学の歴史があります。それと同様に自然な割り算、ゼロ除算を考えれば可能に成り、何とその意味で 1/0=0 が帰結されます。超古典的な結果、無限遠点が実はゼロで表されるとなって、古典的なリーマン球面のモデルはゼロと無限遠点が一致するホーントーラスに変えるべきであると大きな世界観の変更が要求されています。そこで学部までの広範な数学には欠陥があり、修正されるべきであるとしています。 3つの典型的な結果は：* *for the elementary function f(x) = 1/x, f(0) = 0,* *for the function f(x) = tan x, f(\pi/2) = 0,* *and* *for the function f(x) = a^x/x ( a >0), f(0) = log a* *数学の基礎に関わる問題で、基礎論の観点では* １） *数学の公理系における問題* ２） *計算可能性の計算機科学における問題* ３） *計算機のゼロ除算トラブルの問題* ４） *数学の基礎教育上の問題* *などが関係していると考えられるので、皆様のご関心を頂ければ幸いです。私は、現代数学には基本的な欠陥があると公言していますので、どうか真相を明らかにして欲しいと考えます。* *ご関心を頂ける方には、現在の全貌の様子を纏めた353ページの著書案を直接メールにてお送りさせて頂きます。重要性と一般性のため、研究は公開方式で進めています。どうぞ宜しくお願いします。* *また関心を持って頂けるような方をご存知でしたら、このメールを転送などして頂ければ幸いです。広く自由な討論が展開されれば幸いです。* *さらに、このサイトが* · *isabelle-users(a)cl.cam.ac.uk* <isabelle-users(a)cl.cam.ac.uk> provides a forum for Isabelle users to discuss problems, exchange information, and make announcements. Users of official Isabelle releases should *subscribe* <https://lists.cam.ac.uk/mailman/listinfo/cl-isabelle-users> or see the *archive* <https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html>. · *isabelle-dev(a)in.tum.de* <isabelle-dev(a)in.tum.de> covers the Isabelle development process, including intermediate repository versions, and administrative issues concerning the website or testing infrastructure. Early adopters of *development snapshots* <https://isabelle.sketis.net/devel> or *repository versions* <https://isabelle-dev.sketis.net/source/isabelle> should *subscribe* <https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev> or see the *archive* <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev> (also available at *mail-archive.com* <https://www.mail-archive.com/[email protected]…> ). *のように、各論について討論や意見表明、情報交換などの役割を果たすならば、素晴らしい存在になると考えます。* *敬具* *齋藤三郎* ２０２０．*１０．２２．１１：０６* *基礎資料：* *viXra:2010.0026* <https://vixra.org/abs/2010.0026> *submitted on 2020-10-04 16:06:00*, Philosophy of Mathematics and Division by Zero *＿＿＿＿＿＿＿＿＿＿＿＿*

1 0

RIMS Model Theory Workshop 2020
by kota takeuchi 21 Oct '20

21 Oct '20

皆様以下の要領で RIMS共同研究（公開型）モデル理論研究集会が開かれます。Online開催ですので、ぜひ積極的にご参加いただければ幸いです。 RIMS研究集会「モデル理論における独立概念と次元の研究」 URL: https://sites.google.com/view/rimsmodeltheoryworkshop2020/ 日程：2020年12月7日午後－9日午前場所：Online（Zoom）研究代表者：竹内耕太（筑波大学）kota(at)math.tsukuba.ac.jp 講演申込：以下の情報を世話人にお知らせください。氏名、所属、職名/学年、講演タイトル、短いアブストラクト(option)、あれば希望の日程講演申込締め切り：11月6日参加を希望される方は世話人までご連絡ください。詳しい参加方法を後ほどお知らせします。またwebpage上でも情報を更新していく予定です。竹内耕太

1 0

日本数学会　秋季総合分科会総会
by kota takeuchi 21 Sep '20

21 Sep '20

皆さま数学基礎論および歴史分科会総会の案内を代理投稿させていただきます。筑波大学竹内耕太 -------------------------------------------------- 日本数学会「数学基礎論および歴史分科会」評議員の佐々木です．お世話になります．この場をおかりして，例年秋季総合分科会開催期間中に行っている分科会総会について案内させてください．例年分科会総会で審議されている案件について，分科会のwebページ https://old.mathsoc.jp/section/logic_and_history/ においています．内容をご確認の上，ご意見のある場合は，そのページの案内に従ってください．どうかよろしくお願いいたします．なお，特別講演の配信については，上の分科会webページにも案内していますが， https://www.mathsoc.jp/activity/meeting/kumamoto20sept/news20200916.html にも案内されています．佐々木克巳 -------------------------------------------------------------

1 0

RIMS Set Theory Workshop 2020 (call for participation)
by Diego A. Mejía 11 Sep '20

11 Sep '20

(English version of the announcement below) 京都大学数理解析研究所集合論：連続体上の組合せ論と位相空間論 2020年11月16日～20日 http://strims2020.sa-suke.com 一般講演・参加募集現在のCOVID-19禍の状況を鑑みて、今回の研究集会はオンラインで行います。毎年、京都大学RIMS（数理解析研究所）で国内外の研究者による国際集合論研究集会が開催されています。今回の研究集会のタイトル「集合論：連続体上の組合せ論と位相空間論」の通り、今年度のテーマは集合論および連続体上の組合せ論・位相空間論との関連です。国内外からの集合論研究者の一般講演・参加を募集しています。若手研究者の一般講演・参加も歓迎します。集合論研究者および大学院の多い参加を期待されます。登録は必須です（ホームページ、またはこのメールの下をご覧ください）。申し込み締め切り一般講演：2020年10月1日参加（講演なし）：2020年10月15日短期コース Osvaldo Guzmán (Universidad Nacional Autónoma de México) Ashutosh Kumar (Indian Institute of Technology Kampur) 招待講演 Martin Goldstern (TU Wien) Ulises Ariet Ramos-García (Universidad Nacional Autónoma de México) 代表者 Diego A. Mejía（静岡大学） diego.mejia(a)shizuoka.ac.jp 研究集会委員依岡輝幸（静岡大学） Dilip Raghavan (National University of Singapore) --------------------------------登録方法-------------------------------- 代表者宛にメールで以下の情報をご送信ください。＊1～４は日本語で、６は英語で入力してください。 1. 氏名： 2. 所属機関： 3. 学部・学科など： 4. 職名／学年： 5. メールアドレス： 6. 講演予定：あり／なし「あり」の場合、以下の情報を英語で入力してください。 (ア) 講演題目： (イ) アブストラクト： (ウ) 講演時間（15分～40分の間）：注意：登録していただいた一般講演の数によって、講演時間は（ウ）に入力した時間より短くなる可能性があります。 --------------------------------English Version-------------------------------- Kyoto University Research Institute for Mathematical Sciences Set Theory Workshop 2020 Set Theory: Reals and Topology November 16-20, 2020 http://strims2020.sa-suke.com Call for lectures and participation Due to the COVID-19 pandemic, the workshop will take place online. This is the first online version of this workshop. Every year, set theory researchers from Japan and abroad gather at the RIMS (Research Institute for Mathematical Sciences) of Kyoto University and hold an international workshop that brings together both expert and young researchers of set theory. As indicated in the title “Set Theory: Reals and Topology”, the main topic this year is about the developments of set theory and its interaction with combinatorics of the reals and topology. We encourage both young researchers and experts, from Japan and abroad, to contribute with lectures in any topic of Set Theory (not necessarily in the main topic). We expect participation (even without lecture) of many researchers in the area and graduate students. Registration is required for participation (see details on the webpage). Registration deadlines: For contributed lectures: October 1st, 2020. For participation (without lecture): October 15th, 2020. Minicourse Speakers Osvaldo Guzmán (Universidad Nacional Autónoma de México) Ashutosh Kumar (Indian Institute of Technology Kampur) Invited Speakers Martin Goldstern (TU Wien) Ulises Ariet Ramos-García (Universidad Nacional Autónoma de México) Organizer: Diego A. Mejía (Shizuoka University) Scientific Committee: Teruyuki Yorioka (Shizuoka University) Dilip Raghavan (National University of Singapore) -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

第31回 ALGI（2020年9月3日〜9月4日）告知【直前版】
by MIYOSHI HIROYUKI 31 Aug '20

31 Aug '20

各メーリングリストの皆様， 2日後に迫りましたが，第31回 ALGIについて再度告知をいたします。聴講のみの参加も歓迎いたしますが，まだ講演のスロットが空いていますので講演申し込みも直前まで受付いたします（進行途中の仕事やサーベイなどでも構いません）。ふるってご参加ください。第31回 ALGI（代数，論理，幾何と情報科学研究集会） 2020年9月3日（木）〜9月4日（金） Zoomによるオンライン開催 https://sites.google.com/site/algimeeting/home/31 幹事：西澤弘毅（神奈川大学）津曲紀宏（崇城大学）三好博之（京都産業大学）過去のALGIについては以下のページをご覧ください： https://sites.google.com/site/algimeeting/home -------- 京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

モデル理論夏の学校２０２０のご案内（変更あり）
by Hirotaka Kikyo 18 Aug '20

18 Aug '20

皆様（以前にお知らせした集会ですが、オンライン開催に変更します）下記の要領で「研究集会：モデル理論夏の学校２０２０」を開催いたします。 http://www2.kobe-u.ac.jp/~kikyo/Sites/mtsummer20/yamanakako2020.html 皆様の参加をお待ちしております。諸般の事情によりオンライン開催に変更いたします。よろしくお願いします。申し込み期限も少し延長いたします。桔梗宏孝（神戸大学大学院システム情報学研究科） --------- 研究集会：モデル理論夏の学校２０２０期間：2020年9月9日（水）午後～9月11日（金）午前場所：オンライン開催（申し込んだ方に必要な情報をお知らせします）世話人：桔梗宏孝 (kikyo[at]kobe-u.ac.jp) モデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．モデル理論に興味のある幅広い分野の方を歓迎します．参加申し込み：参加希望者は世話人（上記）まで以下の情報をご連絡ください：氏名所属講演希望かどうか. 希望の場合は講演題目（仮で結構です）申し込み期限： 2020年8月31日（月）以上

1 0

研究集会：モデル理論夏の学校２０２０
by Hirotaka Kikyo 10 Jun '20

10 Jun '20

皆様下記の要領で「研究集会：モデル理論夏の学校２０２０」を開催いたします。次のリンクに随時、新しい情報を載せる予定です。 http://www2.kobe-u.ac.jp/~kikyo/Sites/mtsummer20/yamanakako2020.html 皆様の参加をお待ちしております。桔梗宏孝（神戸大学大学院システム情報学研究科） --------- 研究集会：モデル理論夏の学校２０２０期間：2020年9月9日（水）午後～9月11日（金）午前場所：東海大学山中湖セミナーハウス〒401-0501 山梨県南都留郡山中湖村山中323-1 (Phone 0555-62-4100) 会場：中セミナー室世話人：桔梗宏孝 (kikyo[at]kobe-u.ac.jp) モデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．今年も昨年と同様に山中湖セミナーハウス（東海大学）で開かれます．モデル理論に興味のある幅広い分野の方を歓迎します．参加申し込み：参加希望者は世話人（上記）まで以下の情報をご連絡ください：氏名所属講演希望かどうか. 希望の場合は講演題目（仮で結構です）参加予定期間セミナーハウスに宿泊するかどうか. セミナーハウスに宿泊する場合は性別（部屋割りのため）宿泊希望日（９日夜，１０日夜）もお知らせください． 4人部屋(１泊5,500円)と個室(１泊6,500円)をいくつか押さえてあります．これについてもご希望があればご連絡ください. ただしご希望に添えないこともあります．また，宿泊人数には限りがあることもご承知おきください．申し込み期限： 2020年8月21日（金）以上 --------

1 0

助教の公募（九州大学　情報学部門）
by Akitoshi Kawamura 13 Mar '20

13 Mar '20

皆様九州大学の櫻井先生のご依頼により、以下の公募情報をお送り致します。募集分野: 情報論、発見・学習論、人工知能・データサイエンス、計算論、アルゴリズム、暗号とセキュリティ論、数理論理、情報理論、量子情報をはじめとする数理・計算機科学分野となっております。期限が近づいていますが、どうぞ宜しくお願い致します。 > 九州大学の櫻井幸一です． > > 以下Jrecの通り，助教(任期なし)の公募についてご案内申し上げます： > > https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D120020725&ln_jor=0 > > お近くに適任の方がおられましたら，お知らせいただけますと幸いです. > 応募期限は，2020年3月30日です． > > よろしくお願いいたします． -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 0

Workshop on Computablity, Algebraic Structures, and Algorithmic Randomness
by YOKOYAMA Keita 11 Mar '20

11 Mar '20

みなさま，北陸先端科学技術大学院大学の横山です． 4月20-24日の日程で京都大学数理解析研究所におきまして下記の要領でワークショップを開催する予定です．お忙しい時期かと思いますが，ご参加をご検討いただければ幸いです．また，今のところ講演枠に若干の余裕がありますので，もしご講演に興味がある方がいらっしゃいましたら横山までご連絡ください．どうぞよろしくお願いいたします．横山啓太 ************************ Computablity, Algebraic Structures, and Algorithmic Randomness 20-24 April 2020, RIMS, Kyoto, Japan Tutorials: - Computable structures, Antonio Montalban and Matthew Harrison-Trainor - Reverse Mathematics, Denis Hirschfeld and Ludovic Patey - Algorithmic randomness, Rod Downey and Kenshi Miyabe - Category theory, Matthew de Brecht Confirmed speakers: Sasha Melnikov Michael Rathjen Damir Dzhafarov Dan Turetsky Bakh Khoussainov Takayuki Kihara Toshio Suzuki Toru Takisaka (to be added) Organizers: Bakhadyr Khoussainov Masahito Hasegawa Keita Yokoyama ************************ -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 1

嘱託職員の募集
by 泉英明 21 Jan '20

21 Jan '20

皆様千葉工業大学では下記の嘱託職員の公募を行っております。関係各位にご周知いただくとともに，適任者をご存知の場合は応募をお薦め下さいますようお願い申し上げます。千葉工業大学教育センター泉英明 --------------------------------------------- 千葉工業大学学生サポートセンター学習指導員(数学) 募集千葉工業大学教育センター数学教室山田宏文 1. 公募人員: 嘱託職員(教育系) １名 2. 応募資格: 修士以上の学位を有し，工業系大学の数学基礎教育に熱意のある方。 3. 業務内容: 高校数学および大学初年時の基礎的な数学に関する補習教育 (学生の質問への対応，工学系学部 1・2 年生を対象とした補習授業を週に数回担当，数学補習授業等の教材の開発，補習教育に関わるデータ分析など) 4. 勤務日及び時間: 勤務日は月曜日から金曜日までの週 5 日。修業時間は午前 10時00分から午後6時00分(うち休憩時間60分) 。休暇は, 初年度年次有給休暇 10 日付与，以後法令の定める範囲で付与。その他の休暇に関しては専任職員に準ずる。 5. 賃金: (1) 基本給: 月給 200,000 円 (2) 諸手当:通勤手当 6ヶ月定期代を年2回 (3) 賃金支給日: 毎月 20 日 (4) 昇格無 (5) 賞与有(1年に合計2ヶ月分を4回に分けて支給，ただし初年度6月賞与は3分の 2を支給) (6) 退職金無 6. 任期: 最長5 年(毎年更新の単年度契約) 、着任時期:2020年4月1日 7. 勤務地: 千葉工業大学新習志野キャンパス(千葉県習志野市芝園2-1-1) 8. 応募方法: メールに履歴書ファイルを添付し, 下記にご応募ください。 yamada.hirofumi(a)p.chibakoudai.jp 履歴書には、「高校卒業時からの学歴、取得学位、職歴、論文等の業績一覧、応募者の電子メールアドレス」、を記載のこと。 9. 締め切り: 2020年3月13日（金曜日）ただし、適任者が決まり次第、本公募は締め切りを待たず終了とする場合があります。 10. その他: 問い合わせは、山田宏文（千葉工業大学教育センター数学教室 yamada.hirofumi(a)p.chibakoudai.xn--jp)-u63b3a3fo4hi4bzog59j9dyk6332m. 以上

1 0

← Newer
1
...
16
17
18
19
20
21
22
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml