Logic-ml May 2022

5 participants
6 discussions

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 15 Mar '23

15 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

東北大学ロジックセミナーのご案内
by YOKOYAMA Keita 17 May '22

17 May '22

皆様，東北大学の横山です．以下の通りセミナーを開催いたします．オンライン開催で，どなたでもご参加できますので，ご興味がありましたら是非お越しください． https://sites.google.com/view/sendai-logic/ (セミナーのリンク等は yudai.suzuki.q1(at)dc.tohoku.ac.jp までご連絡ください．) 日時: 5月19日15:00〜(オンライン開催) 講演者：新屋良磨 (秋田大学) 題目：形式言語理論への測度論的アプローチ概要：形式言語理論は語の集合の種々の性質や「複雑さ」を調べる学問であり，その「複雑さ」の指標には様々なものがある．伝統的には正規言語や文脈自由言語などの計算モデル・文法的な「複雑さ」によって定義された言語族がよく研究されたきた．本講演ではこれら伝統的な言語族の紹介からはじめ，講演者が提案した測度論的な「複雑さ」の指標を導入し，その背景や最近の結果について解説を行う．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

公募情報（愛知学院大学教養部，情報科学担当，講師・准教授）
by minami0minami 17 May '22

17 May '22

Logic-MLのみなさま，こんにちは，愛知学院大学の南です．愛知学院大学にて、情報科学担当の教員公募を行なっているのでお知らせいたします。愛知学院大学教養部情報科学専任教員（准教授または講師）応募締め切りは2022 年（令和 4 年）６月 30 日（木）必着となっております。担当科目はデータサイエンス入門（文系向け）とともに学部向けの統計学，文系向けの数学，薬学系向けの数学(微分積分や微分方程式）も担当することになるかもしれないので数学専攻の方も応募をご検討下さい．詳しくは次のリンクをご参照ください。 https://www.agu.ac.jp/recruit/img/kyoyo20220410.pdf お近くの研究者の方々にもお伝えいただければ幸いです．南裕明 hminami0(a)dpc.agu.ac.jp

1 0

ERATO Project Colloquium by Nuiok Dicaire and Jean-Simon Pacaud Lemay (16:00- and 17:00- on 10 May, 2022)
by Shinya KATSUMATA 07 May '22

07 May '22

ERATO蓮尾プロジェクトの勝股です。もう一つの講演のご案内をいたします。 Dear all, On Tuesday 10 May, Nuiok Dicaire and Jean-Simon Pacaud Lemay will give talks for our project colloquium during 16:00-18:00. Further details can be found below. If you would like to attend, please register through the following Google form: https://forms.gle/6PoGNEfJVHLYDAdKA We later send you a zoom link by an email (using BCC). For the latest information about ERATO colloquium / seminar, please see the webpage https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTp… . Shin-ya Katsumata (ERATO MMSD Colloquium Organizer) Email: s-katsumata(a)nii.ac.jp ------- Tuesday 10 May 2022, 16:00-17:00 Nuiok Dicaire, the University of Edinburgh Title: A new approach to localising monads Abstract: Monads have many useful applications both in mathematics and in computer science. Notably they provide a convenient way to describe computational side-effects. An important question is how to handle several instances of such side-effects or a graded collection of them. The usual approach consists in defining many “small” monads and combining them together using distributive laws. In this talk, we take a different approach and look for a pre-existing internal structure to a monoidal category that allows us to develop a fine-graining of monads. This uses techniques from tensor topology and provides an intrinsic theory of local computational effects without needing to know how the constituent effects interact beforehand. We call the monads obtained "localisable" and show how they are equivalent to monads in a specific 2-category. To motivate the talk, we will briefly consider applications in concurrency and quantum theory. We will conclude the talk by looking at how the theory of localisable monads can be combined with graded-monads and category-graded monads. Tuesday 10 May 2022, 17:00 - 18:00 Jean-Simon Pacaud Lemay (JSPS postdoctoral fellow) Title: A tour around the world of differential categories Abstract: The theory of differential categories uses category theory to provide the abstract foundations of differential calculus in both mathematics and computer science. Differential categories have recently gained lots of interest and popularity. In mathematics, differential categories have found applications in commutative algebra, differential geometry, algebraic geometry, and synthetic differential geometry. In computer science, differential categories have found applications in differential linear logic, differential lambda calculus, differentiable programming, automatic differentiation, and machine learning. In this talk, I will provide a tour on the world of the differential categories. We will visit the four chapters of differential categories: 1. Differential categories, which axiomatize the algebraic foundations of differentiation. 2. Cartesian differential categories, which axiomatize differential calculus over Euclidean spaces. 3. Differential restriction categories, which axiomatize differential calculus over open spaces. 4. Tangent categories, which axiomatize differential calculus over smooth manifolds. We will talk about the famous "map of differential categories", and also the history and applications of differential categories.

1 0

ERATO Project Colloquium by Nick Hu (16:30 on May 17th)
by Shinya KATSUMATA 05 May '22

05 May '22

皆様、 ERATO蓮尾プロジェクトで以下の講演を予定しており、ご案内いたします。勝股 ---------- Dear all, On Tuesday May 17th, Nick Hu, (a doctoral student at the University of Oxford) will give a talk, homotopy.io: a proof assistant for finitely-presented globular n-categories, for our project colloquium at 16:30. Further details can be found below. If you would like to attend, please register through the following Google form: https://forms.gle/6PoGNEfJVHLYDAdKA We later send you a zoom link by an email (using BCC). For the latest information about ERATO colloquium / seminar, please see the webpage https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTp… . Clovis Eberhart (ERATO MMSD Colloquium Organizer) Email: eberhart(a)nii.ac.jp ------- Tuesday May 17th, 16:30 Speaker: Nick Hu (University of Oxford) Title: homotopy.io: a proof assistant for finitely-presented globular n-categories Abstract: String diagrams present a convenient calculus for monoidal categories which appeal to topological intuitions and quotient out 'bureaucratic' coherence data. When regions are coloured (i.e. information-carrying), they analogously provide a graphical calculus for bicategories. Generalising, n-categories are difficult to define and manipulate algebraically, but intuitively correspond to an n-dimensional string diagram calculus. For n > 3, manipulating n-dimensional string diagrams quickly becomes unwieldy and error-prone. Towards this aim, we introduce the proof assistant homotopy.io.

1 0

雑誌「数学」シンポジウム・研究会記録について
by Yoshihito Tanaka 01 May '22

01 May '22

日本数学会数学基礎論および歴史分科会連絡責任評議員の田中義人です．雑誌「数学」編集部より，以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました：・開催期間： 2021年4月1日から2022年3月31日まで・開催地：日本国内（オンライン開催も含む）・原則として20人以上の集会，または (20人以下でも) 報告集のある集会・ただし，「数学」73巻2号に掲載された京大数理研と九大IMIの共同利用計画に掲載されたものは除く該当するシンポジウム・研究集会の幹事の方は，連絡責任評議員田中義人：ytanaka(a)ip.kyusan-u.ac.jp まで，以下の事項をご報告いただけると助かります：・名称（主題）・主催者（所属）・開催場所・開催時期・報告集の有無と入手可能な場合の連絡先（氏名と所属）数学会編集部への締切が，5月31日（「数学」4号に掲載予定）ですので，それまでにお送りください．すでにお送りいただいた方は，ご放念ください．以上，よろしくお願いいたします． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2022