Logic-ml

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

1792 discussions

04 Jul '22

メーリングリストのみなさま法政大学理工学部創生科学科では，情報科学・情報工学の分野の専任教員（教授，准教授または専任講師，任期の定めなし）を2名募集しています。研究分野については，JREC-INの分類で，大分類は「情報学」，小分類は「計算基盤」・「情報学基礎」・「人間情報学」の3つです．分野についてそれ以上の特定はしていません。より詳しくは，JREC-IN Portalの求人公募情報をご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=1&id=D122051527&ln_jor=0 不明な点についてはお気軽にお問い合わせください。また，このメーリングリストの案内を受け取っていない方で適任の方をご存知でしたら，転送していただけると幸いです。法政大学理工学部創生科学科金沢　誠

1 0

前原昭二先生について
by Kazushige TERUI 26 Jun '22

26 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

東北大学ロジックセミナーのご案内
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

【第二回参加・講演募集】FLOPS 2022: the 16th International Symposium on Functional and Logic Programming
by Taro Sekiyama 26 Apr '22

26 Apr '22

皆様 (重複ご容赦下さい) 国立情報学研究所の関山です。関数型および論理プログラミングの国際会議 FLOPS 2022 のプログラムが確定いたしましたのでご案内いたします。 FLOPS 2022 は 5/10(火)-12(木) 夜間（+初日のみ午前）のオンライン開催です。プログラムなどの詳しい情報は以下のページをご覧ください。 https://conf.researchr.org/home/flops-2022 参加登録は以下のページからお願いいたします。 https://conf.researchr.org/attending/flops-2022/registration 早期参加登録締切は 2022 4/27 23:59 (UTC)、最終参加登録締切は 2022 5/5 23:59 (UTC) となっていますのでご注意ください。また、空いている午後の時間にインフォーマルなワークショップ AiDL 2022 を開催いたします。京都大学数理解析研究所での対面と、Zoomのハイブリッド開催の予定です。引き続き講演提案を募集していますので、併せて応募をご検討下さい。 AiDL 2022 講演募集： https://conf.researchr.org/track/flops-2022/aidl-2022 講演募集締切：4/30 AoE (前回の募集から延長しています) AiDL 2022 の参加登録も https://conf.researchr.org/attending/flops-2022/registration で受け付けています。対面ワークショップは「新型コロナウイルスに関するRIMS共同研究の対応について」 https://www.kurims.kyoto-u.ac.jp/kyoten/ja/covid-19.html に沿って実施いたします。最新の情報は FLOPS 2022 のウェブサイト https://conf.researchr.org/home/flops-2022 をご覧下さい。皆様のご参加をお待ちしております。 ============================================================================ Call For Participation & Workshop talk proposals (extended) FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Online Registration is open for FLOPS 2022. https://conf.researchr.org/attending/flops-2022/registration Deadlines for registration are: (Early) 27 April, 2022, 23:59 (UTC) (Late) 5 May, 2022, 23:59 (UTC) *** Call for talk proposals: AiDL 2022 *** An extra workshop, AiDL 2022 (Workshop on Advances in Declarative Languages), will be held in hybrid (online / physical) format in Kyoto, Japan. Venue: Hybrid (Online / RIMS, Kyoto University, Japan) Talk proposal deadline (extended): April 30, 2022 (AoE) Details: https://conf.researchr.org/track/flops-2022/aidl-2022 *** Venue / Dates for the extra workshop *** This extra event will take place early afternoon (UTC+9), 10-12 May at the venue, RIMS - Research Institute for Mathematical Sciences, Kyoto University, Japan, without any interference with the main FLOPS conference slots, and remote participants are able to attend via Zoom. *** FLOPS 2022 Accepted Papers *** The list of FLOPS 2022 accepted papers is at https://conf.researchr.org/track/flops-2022/flops-2022-papers#event-overview *** FLOPS 2022 Invited Speakers *** Lindsey Kuper (University of California at Santa Cruz) Akimasa Morihata (University of Tokyo) Peter J. Stuckey (Monash University) *** FLOPS 2022 Program Committee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard Universuty, USA Davide Ancona Univ. Genova, Italy William Byrd University of Alabama, USA Matteo Cimini UMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Ekaterina Komendantskaya Heriot-Watt University, UK Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Klaus Ostermann University of Tuebingen, Germany Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium Harald Sondergaard University of Melbourne, Australia Hiroshi Unno University of Tsukuba, Japan Niki Vazou IMDEA, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Nicolas Wu Imperial College, UK Ningning Xie University of Hong Kong, China Jeremy Yallop University of Cambridge, UK Neng-Fa Zhou City University of New York, USA *** FLOPS 2022 Organizers *** Michael Hanus Kiel University, Germany (PC Co-Chair) Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair) Keigo Imai Gifu University, Japan (Local Co-Chair) Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair) -- 国立情報学研究所関山太朗

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml