Logic-ml

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

1792 discussions

第8回ステアラボソフトウェア技術セミナー「量子確率的プログラミング: 量子物理学を介さない量子プログラミング」のご案内
by 安部達也 31 Oct '24

31 Oct '24

皆様、千葉工大の安部達也です。産総研の井上純さんに量子確率的プログラミングにおける最新の結果についてお話しいただけることになりました。本セミナーに先んじて京都で開催される APLAS'24でも井上さんは講演しますが、都合がつかずAPLAS'24に参加できないという方や日本語で長く聴きたいという方もいらっしゃると思いますので、ぜひ本セミナーをご利用ください。日時：2024年11月1日（金）15:00〜16:00 場所：オンライン参加費：無料参加方法：https://stair-st.connpass.com/ 講師：井上純様演題：量子確率的プログラミング: 量子物理学を介さない量子プログラミング概要：現在、量子プログラミング言語はほぼ全てが量子ビットを基礎単位とする量子データを操作する体系になっているが、そうしたデータの振る舞いの記述は普通プログラマが習う機会の無い高度な線形代数に依拠している上、振る舞い自体も直観に反する部分が多々あり、それらを理解するには量子物理学の造詣が要求されるため、非常に敷居が高い。量子確率的プログラミングでは、量子的振る舞いの源を「負の確率で返す結果がある乱数生成器」で特徴づけられる量子非決定性の計算効果に求めることで、量子データの概念を不要とした。こうする事で、量子プログラミングの中心的な概念や制約を、物理学的観念に言及すること無く、計算的直観に訴える「負の確率」一本槍で説明することができる。この講演では、量子確率的プログラミングの基本的な考え方と、量子並列性やユニタリ性といった諸概念が確率過程に関して誰でも持っている直観と「負の確率」という唯一の非古典的異物からごく初等的な数学のみで導ける事を説明し、測定もこの枠組みで十全に説明できることを紹介する。問合せ先：安部達也 <abe.tatsuya(a)it-chiba.ac.jp>

1 1

受付開始】第151回プログラミング研究発表会：プログラム公開と参加申し込み受付開始のおしらせ
by Sosuke MORIGUCHI 31 Oct '24

31 Oct '24

※重複してお受け取りの場合はご容赦ください．皆様第151回プログラミング研究発表会担当、東京科学大学（旧称東京工業大学）の森口です。第151回プログラミング研究発表会を、 11/12～11/13に東京科学大学大岡山キャンパスとオンラインのハイブリッド開催します。参加費は無料となっております。多くの皆様のご参加をお待ちしています。 ======= 情報処理学会第151回プログラミング研究発表会（PRO2024-3）参加募集 https://sigpro.ipsj.or.jp/pro2024-3/ 日程：2024年11月12日(火) ～ 11月13日(水) 会場：東京科学大学大岡山キャンパス西8号館E棟 10階 1004号室　　　およびオンラインのハイブリッド開催　　　〒152-8550 東京都目黒区大岡山2-12-1 参加費：無料プログラム：https://sigpro.ipsj.or.jp/pro2024-3/program/ ＊初日（11月12日）の発表会終了後、現地での懇親会を予定しております。下記の参加申込ページより11/6（水）中にお申し込みください。 https://sigpro.ipsj.or.jp/pro2024-3/party/ ＊参加方法：参加申込を頂いた方にZoomのミーティングへのアクセス方法等をご案内いたします。参加申込は下記のページからお願いします。発表会当日も受け付けております。 https://www.ipsj.or.jp/kenkyukai/event/pro151.html ======= 11月12日(火) ＊セッション1（14:00-15:45）：座長　未定 2024-3-(1)：14:00-14:45 「Functional Reactive Animation with Functions of Time」 ○Katsuhiro Ueno, Haru Karato (Niigata University) 2024-3-(2)：14:45-15:15（短い発表）「重なりのある正則項書き換えシステムの合流性条件」 ○伊井亮祐, 青戸等人 (新潟大学大学院自然科学研究科) 2024-3-(3)：15:15-15:45（短い発表）「等式論理の帰納的定理証明のための無限の導出木を持つ証明体系EqID$^¥omega$の提案に向けて」 ○嶋貫凌, 青戸等人 (新潟大学大学院自然科学研究科) ＊2023年度CS領域功績賞・2024年度CS領域奨励賞授与式および拡大運営委員会（15:45-16:15）＊懇親会 18:00-20:00（予定） 11月13日(水) ＊セッション2（9:30-11:00）：座長　未定 2024-3-(4)：9:30-10:15 「プログラミング言語処理系を実装するためのRust上の環境」 ○中神悠太 (筑波大学理工情報生命学術院システム情報工学研究群), 中井央 (筑波大学図書館情報メディア系), 三宮秀次 (筑波大学システム情報系) 2024-3-(5)：10:15-11:00 「否定標準回路を用いた問題の計算複雑性の解析」 ○小林弘二 (個人)

1 0

東北大ロジックセミナーのご案内
by 竹田侑人 25 Oct '24

25 Oct '24

皆様，東北大学の竹田です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：11月1日(金)14:30〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：鈴木悠大 (小山高専) 題目 On some restricted variants of the leftmost path principle 概要 In the studies of reverse mathematics and problem reductions, principles stating the existence of a path through a given tree play a central role. For example, WKL, KL, C_{ω^ω} and LPP are widely studied in those contexts. Here, WKL is the assertion that any infinite binary tree has a path, KL is the assertion that any finitely branching infinite tree has a path, C_{ω^ω} is the principle to find a path from an ill-founded tree, and LPP is the assertion that any ill-founded tree has a leftmost path. Recently, Towsner[Tow] introduced a new principle called the relative leftmost path principle stating the existence of a pseudo leftmost path. It is known that the proof-theoretic strength of relative LPP is strictly between ATR_0 and Pi^1_1-CA_0, and relative LPP is useful to study the complexity of some theorems which are stronger than ATR_0[FDSTY]. In this talk, I will present my contribution[SuY, Suz] to the studies of relative LPP, and consider LPP and relative LPP restricted to WKL or KL. A part of this talk is joint work with Keita Yokoyama. [Tow] Henry Towsner. Partial impredicativity in reverse mathematics. J. Symb. Log., 78(2):459–488, 2013 [FDSTY] David Fern´andez-Duque, Paul Shafer, Henry Towsner, and Keita Yokoyama. Metric fixed point theory and partial impredicativity. Philosophical Transactions of the Royal Society A, 381(2248):20220012, 2023. [SuY] Yudai Suzuki and Keita Yokoyama. Ann. Pure Appl. Logic 175, No. 10, Article ID 103488, 31 p. (2024; Zbl 07894021) [Suz] Yudai Suzuki Relative leftmost path principles and omega-model reflections of transfinite inductions’, Preprint, arXiv:2407.13504 [math.LO] (2024) オンライン参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b. どうぞよろしくお願いいたします．竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

日本数学会2025年度年会（講演申込の受付開始）
by Takahiro Seki 25 Oct '24

25 Oct '24

みなさま（重複して受け取られた方は申しわけございません。）　日本数学会の数学基礎論および歴史分科会で連絡責任評議員を務めております新潟大学の関です。　日本数学会2025年度年会は以下のとおり開催されます。本日から一般講演の申込受付を開始しました。　日本数学会2025年度年会　　https://www.mathsoc.jp/activity/meeting/waseda25mar/index.html 　日程：3月18日（火）～21日（金）　　　（数学基礎論および歴史分科会は 18日（火）、19日（水）の予定）　会場：早稲田大学早稲田キャンパス　講演申込期間：10月25日（金）～11月15日（金）　みなさまのご参加とご講演をお待ちしております。　よろしくお願いいたします。 --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

証明論シンポジウム2024 (12/16〜18)
by Takayuki Kihara 20 Oct '24

20 Oct '24

皆様お世話になっております．名古屋大学の木原貴行です．以下の要領で証明論シンポジウム2024を開催いたしますのでご案内をいたします． +++++ 日時: 2024/12/16 (月) 〜 2024/12/18 (水) 場所: 名古屋大学東山キャンパス野依記念物質科学研究館 https://sites.google.com/view/proof-theory-2024/home +++++ 以上どうぞよろしくお願いいたします．木原 -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

2024年度ジェネラルトポロジーシンポジウムについて
by FUJITA Hiroshi 08 Oct '24

08 Oct '24

Logic-MLのみなさま、愛媛大学の藤田です。 2024年度ジェネラルトポロジーシンポジウムを、下記の要領で愛媛大学にて開催します。今回はNankai UniversityのSu Gao先生が来日され、同シンポジウムで "The descriptive set theory of Polish group actions" というタイトルで2回の講演をされます。ご興味のある方は、ぜひご参加ください。日時：2024年 11月27日(水) 9:20 〜 28日(木) 16:00 会場：愛媛大学理学部（城北キャンパス）講義棟3階 S31講義室 URL: https://sites.google.com/view/gts2024 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

名古屋ロジックセミナー (10/11) 上村太一さん
by Takayuki Kihara 08 Oct '24

08 Oct '24

皆様名古屋大学の木原貴行です．以下の要領で名古屋ロジックセミナーを開催いたしますのでご案内いたします． +++++ 日時：10/11 (金) 15:30-17:00 場所：名古屋大学情報学研究科棟 322室講演者：上村太一 (名古屋大学) タイトル: Towards synthetic topos theory 概要: トポス理論を総合的(synthetic)に展開するアイディアについて議論する。トポスは空間概念として導入され、ロジックや型理論とも深い関連がある。各トポスはgeometric theoryの分類トポスである他、トポス上の層の圏は依存型理論を内部論理として持つ。通常の教科書ではトポスとは何かを公理化する分析的(analytic)なアプローチが採られるが、総合的なアプローチではトポスを原始的な概念とし、トポスを使って何ができるかを公理化する。各トポスの内部論理とも統合し、すべてのトポスの内部論理を内包する一つのシステムの構築を目指す。 +++++ 以上どうぞよろしくお願いいたします．木原 -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

助教公募（筑波大学システム情報系，量子情報科学分野）
by Yasuhiro Takahashi 04 Oct '24

04 Oct '24

Logic-ml の皆さま，筑波大学の高橋康博と申します．筑波大学システム情報系におきまして量子情報科学分野の助教の公募を開始致しました．詳細は下記をご覧ください． https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D124100084 関係者にご周知頂くと共に，適任者をご存じの場合には応募をお勧め頂けますと幸いです．何卒よろしくお願い致します． -- 高橋康博 (Yasuhiro Takahashi) 筑波大学システム情報系 ya.takahashi(a)cs.tsukuba.ac.jp

1 0

CADE-30: Call for Papers
by Nao Hirokawa 04 Oct '24

04 Oct '24

皆様来年7月末にドイツのシュトゥットガルトで開催されます、自動演繹に関する国際会議 CADE-29 の論文募集案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川 (JAIST) ********************************************************************** CALL FOR PAPERS CADE-30: 30th international Conference on Automated Deduction DHBW Stuttgart Stuttgart, Germany, July 28th - August 2nd, 2025 https://www.dhbw-stuttgart.de/cade-30/ ********************************************************************** CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. CADE-30 proceedings will be published in Springer's Lecture Notes in Artificial Intelligence series in Gold Open Access mode at a CADE special rate of EUR 200 per paper. Authors of accepted papers who cannot cover the fee can apply for funding. SUBMISSION INSTRUCTIONS Submissions can be made in two categories: * Regular papers. Up to 15 pages in LNCS style, excluding references. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. * Short papers. This includes system descriptions, user experiences, case studies and domain models. Up to 10 pages in LNCS style, excluding references. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, significance, originality, correctness, and readability. Reviewers may consider material provided in appendices, but submissions must be self-contained within the page limit. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. The review process will include a feedback/rebuttal period, where authors will have the option to respond to reviewer comments. The Program Committee Chairs may solicit further reviews after the rebuttal period. Selected accepted papers will be considered by the Program Committee for the CADE Best Paper Award or Best Student Paper Award (provided that at least one author is a student). Papers must be submitted to https://easychair.org/conferences/?conf=cade30 in the Main Conference track. All submissions must be formatted in the LNCS style and must include the ORCID id of at least the corresponding author, and preferably of all authors. IMPORTANT DATES Abstract deadline: February 17, 2025 Submission deadline: February 24, 2025 Rebuttal period: April 14-18, 2025 Notification: April 28, 2025 Final version deadline: May 30, 2025 Main conference: July 28-31, 2025 Satellite events: August 1-2, 2025 PROGRAM COMMITTEE CHAIRS Clark Barrett, Stanford University Uwe Waldmann, Max Planck Institute for Informatics PROGRAM COMMITTEE Erika Ábráham, RWTH Aachen Haniel Barbosa, Universidade Federal de Minas Gerais Clark Barrett, Stanford University Jasmin Blanchette, Ludwig-Maximilians-Universität München Maria Paola Bonacina, Università degli Studi di Verona Liron Cohen, Ben-Gurion University Stéphane Demri, LMF, CNRS & ENS Paris-Saclay Huimin Dong, TU Wien Katalin Fazekas, TU Wien Mathias Fleury, University of Freiburg Pascal Fontaine, Université de Liège Carsten Fuhs, Birkbeck, University of London Silvio Ghilardi, Università degli Studi di Milano Alessandro Gianola, INESC-ID and Universidade de Lisboa Iris van der Giessen, University of Birmingham Alberto Griggio, Fondazione Bruno Kessler Nao Hirokawa, JAIST Mikolas Janota, Czech Technical University in Prague Moa Johansson, Chalmers University of Technology Martin Jonáš, Masaryk University, Czechia Cezary Kaliszyk, University of Innsbruck Konstantin Korovin, The University of Manchester Katherine Kosaian, Iowa State University Laura Kovács, TU Wien Peter Lammich, University of Twente Kuldeep S. Meel, University of Toronto Stephan Merz, Inria Nancy Cláudia Nalon, University of Brasília Jakob Nordström, University of Copenhagen and Lund University Nicola Olivetti, LSIS, Aix-Marseille University Elaine Pimentel, University College London André Platzer, Karlsruhe Institute of Technology Florian Rabe, FAU Erlangen-Nürnberg Andrew Reynolds, University of Iowa Philipp Rümmer, University of Regensburg Tanja Schindler, University of Basel Renate A. Schmidt, The University of Manchester Carsten Schuermann, IT University of Copenhagen Mihaela Sighireanu, ENS Paris-Saclay Alexandra Silva, University College London Viorica Sofronie-Stokkermans, University of Koblenz Martin Suda, Czech Technical University in Prague Yong Kiam Tan, Institute for Infocomm Research and NTU Singapore Guilherme Toledo, State University of Campinas Sophie Tourret, INRIA Nancy Ali Kemal Uncu, University of Bath Uwe Waldmann, MPI for Informatics Christoph Weidenbach, MPI for Informatics Bohua Zhan, Huawei Technologies Co., Ltd. Yoni Zohar, Bar-Ilan University CONFERENCE CHAIR Stephan Schulz, DHBW Stuttgart WORKSHOP CHAIR Sophie Tourret, INRIA Nancy PUBLICITY CHAIR Geoff Sutcliffe, University of Miami CONTACTS All questions about CADE-30 paper submissions should be emailed to the Chairs (cade30 AT easychair.org).

1 0

【発表募集】第152回プログラミング研究発表会（PRO-2024-4）
by Sato, Ryosuke 30 Sep '24

30 Sep '24

皆様、東京農工大学の佐藤亮介です。第152回プログラミング研究発表会 (PRO-2024-4) の発表を募集しております。発表申込締切は2024年11月15日です。是非投稿をご検討ください。 ==================================================== 第152回プログラミング研究発表会 (PRO-2024-4) 発表募集 https://sigpro.ipsj.or.jp/pro2024-4/ 日程　：2025年1月15日(水)～1月16日(木) 会場　：秋田拠点センターALVE（https://www.alve.jp/）　　　　およびオンラインのハイブリッド開催を予定参加費：無料発表申込締切：2024年11月15日（金）投稿論文原稿提出締切：2024年12月6日（金）発表予稿提出締切：2025年1月10日（金）プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3〜4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会からおおむね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております．問合せ先：佐藤亮介（東京農工大学） E-mail: rsato [at] acm.org 担当者：佐藤亮介 (東京農工大学)，川端英之（広島市立大学）

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml