Logic-ml June 2022

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

4 participants
4 discussions

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

14 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 Kazushige TERUI 25 Jun '22

25 Jun '22

logic-mlのみなさま前原昭二先生がお亡くなりになってもう30年になります。数理論理学に対して多大な貢献をされたことは、みなさまご存知のとおりと思います。私自身は生前おめにかかったことはないのですが、先生の最晩年の仕事（カット除去定理の代数的表現）の延長線上で仕事をしたこともあり、先生についてより深く知りたいと思うようになりました。よろしければ前原先生の業績や個人的な思い出について語りあいませんか？直接このメーリングリストにご寄稿いただいても構いませんし、あるいは terui(a)kurims.kyoto-u.ac.jp にメールをいただければ、後日要約を報告させていただきます。どうぞよろしくお願いします。京都大学数理解析研究所照井一成

1 0

教授、准教授または専任講師の公募（早稲田大学基幹理工学部情報理工学科）
by Tachio Terauchi 08 Jun '22

08 Jun '22

皆様、公募案内をお送りいたします。寺内 ---- 教授、准教授または専任講師の公募 [所属] 早稲田大学理工学術院基幹理工学部情報理工学科 [募集人数] 1名 [勤務形態] 常勤（任期なし） [採用資格] 教授、准教授または専任講師 ※職位は、教育・研究歴、年齢などに応じて早稲田大学が決定し、最終面接までに提示します。 ※教授、准教授または専任講師として採用された場合、任期の定めはありません。なお、着任時に61歳以上の方は特任教授としての嘱任となり、待遇は本学の規程によります。 ※資格に関わらず満 70 歳に達する年度を超えて契約を更新することはできません。 [教育・研究領域の分野] 情報セキュリティ、人工知能。ただし、情報理工学分野全般の中で情報セキュリティ・人工知能以外の分野であっても実績等が優れている場合は考慮します。 [採用年月日] 2023年4月1日、またはそれ以降のなるべく早い時期 [応募締め切り] 2022年7月25日（月）23時日本時間（必着） ※電⼦データの提出のみ受け付けます。 [詳細] JREC-INをご覧ください： https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D122041850&ln_jor=0 ----

1 0

ERATO Project Colloquium by Masahiro Hamano (16:30 on Tuesday June 21st)
by Shinya KATSUMATA 07 Jun '22

07 Jun '22

Dear all, On Tuesday June 21st, Masahiro Hamano (Miin Wu School of Computing, National Cheng Kung University) will give a talk, A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces, for our project colloquium during 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) Shin-ya Katsumata Email: eberhart(a)nii.ac.jp, s-katsumata(a)nii.ac.jp ------- Tuesday June 21st 16:30 Speaker: Masahiro Hamano (Miin Wu School of Computing, National Cheng Kung University) Title: A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces Abstract: This talk presents a novel construction of linear exponential comonad arising properly in the continuous measure-theory. Our construction in particular gives a discrete measure account of Danos-Ehrhard 's probabilistic coherent spaces. The talk starts with constructing a linear exponential comonad over a symmetric monodical category of transition kernels, relaxing Markov kernels of Panangaden’s stochastic relations into Staton's s-finite kernels. Our model supports an orthogonality in terms of an integral between measures and measurable functions, which can be seen as a continuous extension of Girard-Danos-Ehrhard’ s linear duality for probabilistic coherent spaces. The orthogonality is formulated by Hyland-Schalk double glueing construction, into which our measure theoretic monoidal comonad structure is accommodated. As an application to countable measurable spaces, a dagger compact closed category is obtained, whose double glueing gives rise to the familiar category of probabilistic coherent spaces.

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml June 2022