Logic-ml

9 participants
1781 discussions

reseach on the theory of quanta
by logic 13 Sep '20

13 Sep '20

このmailing listにquantum computingがらみの話なんかも流されているようですので、ご案内しておきます。近くde Broglie（ドブロイ）の1924年のフランス語の学位論文の英訳が出版されます。添付fileをご覧ください。この論文は博士の学位のためにSorbonneに提出されたものです。この論文の審査委員会は 4名からなり、H.Cartanも名を連ねているのですが、何分ideaが電子も波動だという途轍もない話で取り扱いに困り、当代切っての物理学者Einsteinに意見を求めています。Einsteinの返答は振るっていてこの論文は博士の学位なんかよりNobel賞が相応しいというもので、博士の学位は恙なく授与されます。この de Broglieのideaは1927年に実験的に検証され、その2年後に彼はEinsteinの言葉通り、Nobel賞を勝ち得ています。私がこの英訳本に寄せた序文をご案内しておきます。 http://hdl.handle.net/2241/00161150 それから独訳は既に1927年に出版されています。 https://zbmath.org/?q=an%3A53.0875.10 にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura

1 2

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

modal homotopy type theory
by logic 11 Sep '20

11 Sep '20

少し面白い本を reviewしたので、ご案内しておきます。 https://zbmath.org/?q=an%3A07162136 Homotopy type theoryというのは Martin Lofのtype theoryの延長上にあるもので、既に本も出版されていて無償で手に入ります。 https://homotopytypetheory.org/book/ http://www.kurims.kyoto-u.ac.jp/~uemura/files/hott-intro-ja.pdf http://pantodon.shinshu-u.ac.jp/topology/literature/homotopy_type_theory.ht… Voevodsky達のideaは壮大で、 ZFCではなく、このHoTTを数学の基礎付けに使おうという話です。ZFCはUndecidableですが、 HoTTはDecidableです。Type theoryだから Godelの不完全性定理が適用されないのです。この提案はずっとPracticalな側面をもっていて、遠くない将来には数学の論文を雑誌に投稿するに当たってはこのHoTTの中での完全無欠な証明の Fileを必ず付けなくならず、そのFileは人間と機械のInteractiveな作業で作成されます。例えて言えば、現在論文は必ずTexで作成しなければいけないことになっていますが、そのような話です。こうなってくると証明に論理的Gapがあるなんて話は過去のものになります。投稿した段階で既にその論文は少なくとも論理的には完璧であることが担保されているからです。にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura

1 0

専任教員採用公募（法政大学理工学部）
by Makoto Kanazawa 01 Sep '20

01 Sep '20

Logic-mlのみなさま法政大学の金沢です。法政大学理工学部創生科学科では，情報科学・情報工学分野の専任教員を公募しています。研究分野は大分類「情報学」のすべての分野が該当します。詳しくはJREC-INの公募情報をご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D120071477&ln_jor=0 応募締め切りは9月21日です。お近くに適任の方がいらっしゃればお知らせいただけると幸いです。法政大学理工学部創生科学科金沢　誠

1 0

FLOPS 2020: Call for Participation
by Keisuke Nakano 01 Sep '20

01 Sep '20

logic-MLの皆様，東北大学の中野です．来たる 9/14-16 に FLOPS 2020 がオンラインで開催されます．（参加費無料です！） https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ 日本時間では少し遅い時間 (20:00-23:30頃) での開催となりますが，　群馬大学の浜名誠先生　MITのAdam Chlipala先生の招待講演も予定されておりますので，ぜひ参加をご検討ください．参加費は無料ですが，9/9 21:00までに参加登録をお願いします． -- 中野圭介東北大学電気通信研究所 ksk(a)riec.tohoku.ac.jp

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

CfP: Computability and Complexity in Analysis (CCA 2020)
by Matthew 26 Aug '20

26 Aug '20

logic-ml の皆様京都大学人間・環境学研究科の Matthew de Brechtです。（私の勘違いでCCC 2020の案内が更に遅れましたが、今日(8月26日）の時点でも参加登録はまだできそうです）。紛らわしいですが、ついでにもう一つのオンライン・ワークショップを案内させていただきます。 Computability and Complexity in Analysis (CCA 2020)は9月11日～9月13日にオンライン(Zoom)で開催されます（CCC 2020とはまた別な学会です）。計算可能解析学や構成的解析学等にご興味のある方は是非ご参加ください。詳細は下記のウェブサイトをご覧下さい。 http://cca-net.de/cca2020/ 参加登録の締め切りは9月1日（火）です。 ============================================================= Call for Participation Seventeenth International Conference on Computability and Complexity in Analysis (CCA 2020) http://cca-net.de/cca2020/ September 9-11, 2020, virtual (originally planned for Bologna, Italy) Registration deadline: September 1, 2020 ______________________________________________________________ Due to the ongoing COVID-19 pandemic CCA 2020 cannot take place in Bologna, as originally intended. The entire conference will take place virtually on the Zoom online conference platform. The conference link will be distributed to all registered participants. ______________________________________________________________ Invited Speakers * Olivier Bournez (Palaiseau, France) * Douglas Cenzer (Gainesville, USA) * Eva Darulova (Kaiserslautern, Germany) * Makoto Fujiwara (Munich, Germany) * Mathieu Hoyrup (Nancy, France) * Alberto Marcone (Udine, Italy) * Eike Neumann (Oxford, UK) * Arno Pauly (Swansea, UK) Scientific Program Committee * Andrej Bauer (Ljubljana, Slovenia) * Matthew de Brecht (Kyoto, Japan) * Pietro Di Gianantonio (Udine, Italy) * Daniel Graça (Faro, Portugal) * Peter Hertling (Munich, Germany) * Hajime Ishihara (Ishikawa, Japan) * Zvonko Iljazovic, chair (Zagreb, Croatia) * Matthias Schröder (Darmstadt, Germany) * Holger Thies (Fukuoka, Japan) * Ning Zhong (Cincinnati, USA) Organizing Committee * Melissa Antonelli (Bologna, Italy) * Francesco Bianchini (Bologna, Italy) * Guido Boccali (Bologna, Italy) * Giovanna Corsi (Bologna, Italy) * Ugo Dal Lago (Bologna, Italy) * Cecilia Di Florio (Bologna, Italy) * Guido Fiorillo (Bologna, Italy) * Guido Gherardi, chair (Bologna, Italy) * Leonardo Mazzanti (Bologna, Italy) * Eugenio Orlandelli (Bologna, Italy) * Sofia Pierini (Bologna, Italy) * Gioia Susanna (Bologna, Italy) * Riccardo Zanichelli (Bologna, Italy) Conference Web Page http://cca-net.de/cca2020/ Registration deadline: September 1, 2020

1 0

Fwd: CCC 2020; call for participation
by Matthew de Brecht 26 Aug '20

26 Aug '20

logic-ml の皆様京都大学人間・環境学研究科の Matthew de Brechtです。今年のContinuity, Computability, Constructivityワークショップ(CCC 2020)は来週(8月31日～9月4日)オンライン(Zoom)で開催されます。計算可能解析学、ポイントレス・トポロジー、構成的論理等にご興味のある方は是非ご参加ください。人間・環境学研究科の立木秀樹教授による招待講演も予定されています。突然で申し訳ございませんが、参加される方は本日中に下記のウェブページで登録してください。 http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-fr… （登録締め切りは既に過ぎていますが、本日中ならまだ間に合うようです。） __________________________________ * Continuity, Computability, Constructivity – From Logic to Algorithms* * (CCC 2020)* * Online workshop* * 31 August - 4 September 2020* *Call for participation* http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-fr… <http://ccc2014.fmf.uni-lj.si/> CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation. *Due to the COVID-19 pandemic and its consequences with respect to travelling and gathering together, the workshop will take place online. * Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, and Ljubljana 2019. The workshop is open to all researchers in the area. *Scope: *The workshop specifically invites contributions in the areas of - Exact real number computation, - Correctness of algorithms on infinite data, - Computable analysis, - Complexity of real numbers, real-valued functions, etc. - Effective descriptive set theory, - Domain theory, - Constructive analysis, - Category-theoretic approaches to computation on infinite data, - Weihrauch degrees, - And related areas. *Invited Speakers:* - Holger Boche (Munich) - Elvira Mayordomo (Zaragoza) - Eike Neumann (Oxford) - Hideki Tsuiki (Kyoto). *Tutorial Speaker:* - *Hongseok Yang (KAIST)* * Programme Committee:* - Matthew de Brecht (Kyoto) - Daniel Graça (Faro) (co-chair) - Michal Konečný (Aston) - Monika Seisenberger (Swansea) - Alex Simpson (Ljubljana) - Dieter Spreen (Siegen) (co-chair) - Holger Thies (Kyushu) - Martin Ziegler (Daejeon). *Organizing Committee:* - Daniel Graça (Faro) - Dieter Spreen (Siegen)

2 1

第三十一回 ALGI（代数・論理・幾何と情報科学研究集会）開催のお知らせ
by 西澤弘毅 28 Jul '20

28 Jul '20

logic-mlメーリングリストの皆様神奈川大学の西澤と申します。今年のALGIの開催についてお知らせ致します。 ************************************************** 第三十一回 ALGI（代数・論理・幾何と情報科学研究集会）令和2年9月3日（木）～9月4日（金） ZOOMによるオンライン開催開催のお知らせと講演の募集 https://sites.google.com/site/algimeeting/ ************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年は、COVID-19の感染拡大防止のため、 ZOOMによるオンライン開催とします。奮ってご参加ください。 ●日程令和2年（2020年） 9/3（木）10:00〜遅くても15:00程度 9/4（金）10:00〜遅くても15:00程度 ●ZOOM ID等京都産業大学の三好博之先生が手配してくださいます。詳細は後日アナウンスします。講演を希望される方は、・講演者名・所属・学生 / 非学生・講演日時や講演時間に関する希望（基本は質疑応答含め30分です）・題目（後日でも構いません）・梗概（後日でも構いません）などの情報を、幹事の西澤 nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。参加自体は申込不要で自由にご参加いただけます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。幹事・世話人西澤弘毅（神奈川大学）津曲紀宏（崇城大学）三好博之（京都産業大学） -------------------------------------------------------------- -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

量子ソフトウェア研究会
by NISHIMURA Harumichi 26 Jul '20

26 Jul '20

logic-mlの皆様名古屋大学の西村と申します．この度，情報処理学会の研究会として量子ソフトウェア研究会 https://sigqs.ipsj.or.jp/ という研究会が立ち上がりました．つきましては，最初の研究会が以下のように１０月に開催されますので，関連する話題をお持ちの皆様の投稿をお待ちしております．よろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 --------- 情報処理学会第1回量子ソフトウェア研究発表会の発表を募集しております。https://www.ipsj.or.jp/kenkyukai/event/qs1.html ● 日程： 2020年10月16日(金) ● 会場：オンライン (ビデオ会議システムとしてZoomを利用予定) ● 発表申込締切： 2020年8月20日（木）23:59 ● 原稿提出締切： 2020年9月16日（水）23:59 ※厳守 ● 原稿ページ数 : 6～8ページ推奨 ● 査読: なし ● 発表時間予定: 一般講演形式 1件30分 (発表20分、質疑10分) --------

2 3

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml