Logic-ml May 2024

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

16 participants
18 discussions

東北大ロジックセミナーのご案内
by yuto.takeda.t8＠dc.tohoku.ac.jp 21 May '24

21 May '24

皆様，東北大学の竹田です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：5月24日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：鈴木悠大 (国立沖縄高専) 題目　 On the Pi^1_2, Sigma^1_2 and Boole(Pi^1_2) sentences provable from Pi^1_1-CA_0 概要　In [1], we introduced some characterizations of the set of Pi^1_2 sentences provable from Pi^1_1-CA_0 and a hierarchy dividing it. For a detailed study of the properties of this hierarchy, it was important to focus on the statements of the form [every coded beta-model satisfies sigma] for some specific sentences sigma. In this talk, we summarize a part of [1]. Then we give a characterization of the set of Sigma^1_2 or Boole(Pi^1_2) sentences provable from Pi^1_1-CA_0 by statements of the form [every coded beta-model satisfies sigma]. Here, Boole(Pi^1_2) is the class of formulas generated by disjunction, conjunction and negation starting from Pi^1_2. This is joint work with J. Aguilera and K. Yokoyama. [1] Suzuki, Y., & Yokoyama, K. (2024). On the $\Pi^ 1_2 $ consequences of $\Pi^ 1_1 $-$\mathsf {CA} _0$. arXiv preprint arXiv:2402.07136. オンライン参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b どうぞよろしくお願いいたします．竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

事務連絡: moderation について
by Atsushi Igarashi 16 May '24

16 May '24

logic-ml のみなさま， logic-ml 管理人の五十嵐です．本MLは，投稿は moderation が必要な状態で登録されます．これまで， moderation 待ちのメールがあることが管理人のところに通知されていたのですが，昨年末に mailman3 に切り替えて以来，通知がうまく受け取れないでおります．ついでがあった時に moderation 待ちがないか見るのですが，今回は間があいてしまってひと月も待ちになっておりました．投稿者の方には大変ご迷惑をおかけし申し訳ありません．投稿しても流れてないぞ，と思った時は遠慮なく，五十嵐までご連絡ください．通知が受け取れない問題など根本的な解決をしたいのですが時間が取れないでおります．ベストエフォート運営ということでご理解ください．一切合財引受けていただける方がいらっしゃると一番よいのですが… -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 1

准教授の公募
by SAKAI Hiroshi 14 May '24

14 May '24

皆様：東京大学の酒井です．東京大学数理科学研究科で准教授の公募をしております． https://www.ms.u-tokyo.ac.jp/news/kobojunkyoju20240630j.pdf ご興味のある方はご応募ください．よろしくお願いいたします．酒井拓史

1 0

【代理送信】東大数理5月の談話会(講演者：酒井拓史先生)のご案内
by yeongcheol-kwon＠g.ecc.u-tokyo.ac.jp 14 May '24

14 May '24

各位東大数理D3の権　英哲と申します。いつもお世話になっております。この度は、東大数理談話会委員長の宮本安人先生の代理として、お便り差し上げました。東大数理の5月の談話会にて、酒井拓史先生がご講演なさいます。以下が談話会委員長の宮本先生による案内文になります： ======================================== 日時：５月３１日（金）１５：３０～１６：３０場所：東京大学大学院数理科学研究科大講義室（対面のみ） https://www.ms.u-tokyo.ac.jp/access/ 講演者：酒井拓史氏 (東京大学大学院数理科学研究科) 題目：巨大基数について摘要：集合論は数学に現れる無限集合を調べる分野で，そこでは様々な無限基数が考えられています．これらのうち，自分自身より小さな基数に対して超越的な性質を持つ不可算基数は巨大基数とよばれます．これまでに多くの巨大基数が定式化されていますが，いずれもその名のとおり非常に大きな基数となり，その存在は集合論の標準的公理系 ZFC では証明できません．巨大基数の存在を主張する公理は巨大基数公理とよばれます．巨大基数は実数集合の濃度よりもはるかに大きくなりますが，巨大基数公理を仮定すると実数集合についての様々な命題が証明できるようになり，これは巨大基数の興味深いことのひとつです．この講演では，巨大基数理論の概要を紹介します．また，講演者が興味を持っている，小さな無限基数の巨大性についてもお話しします．東大数理メンバー以外の方が参加される場合は、以下のリンクから参加登録をお願いいたします． https://forms.gle/ZmHhZW6bxUyKewro8 多くの皆様のご参加をお待ちしております． 2024年度談話会委員足助太郎，寺田至，長谷川立，宮本安人（委員長）補足1：談話会の情報は，下記の談話会のホームページに掲載されております． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/ 補足2：6月の談話会は６月２１日（金），講演者はMircea Mustata氏（ミシガン大学）を予定しております． --------------------------- 宮本安人(MIYAMOTO, Yasuhito) miyamoto(a)ms.u-tokyo.ac.jp ======================================== 以上になります。よろしくお願い申し上げます [代理送信者] 東京大学大学院数理科学研究科博士課程3年権　英哲

1 0

【発表募集】第150回プログラミング研究発表会（PRO-2024-2）
by Ryoma Sin'ya 03 May '24

03 May '24

皆様（重複してお受け取りの場合はご容赦ください）第150回プログラミング研究発表会担当の秋大の新屋です。以下の通り、発表（同時投稿/発表のみ）を募集します。第150回プログラミング研究発表会は、2024年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2024）の一部として開催されます。発表申込期間は GW 明けです。論文誌への同時投稿・発表のみの申し込みのどちらも大歓迎です。たくさんのご投稿をお待ちしております。 ==================================================== 第150回プログラミング研究発表会 (PRO-2024-2) 発表募集第150回プログラミング研究発表会は，2024年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2024）の一部として開催されます．日程　：2024年8月7日(水)～8月9日(金) 　　（共催研究会と調整の上，PROのセッションのスケジュールを決定します）会場　：あわぎんホール　徳島県郷土文化会館（https://kyoubun.or.jp/ <https://kyoubun.or.jp/>）　　　　およびオンラインのハイブリッド開催を予定参加費：無料案内ページ： SWoPP 2024に関するご案内は，SWoPP ホームページ https://sites.google.com/site/swoppweb/ <https://sites.google.com/site/swoppweb/> にて随時更新される予定です．懇親会のご案内と申込もこちらで行いますので是非ご覧ください．発表申込期間：2024年5月10日(金)～5月16日(木) 23:59（厳守）（通常の発表と「短い発表」の両方とも）投稿論文原稿提出締切：2024年7月4日(木) プログラミング研究会（PRO）は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3～4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会から概ね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は 30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． http://sigpro.ipsj.or.jp/sigtra4/ <http://sigpro.ipsj.or.jp/sigtra4/> 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております． ■ 発表申込要領以下の手引きに従い，著者，タイトル，概要などの情報を記入した発表申込フォームを作成し，下記の送信Webページからお送りください． (1) 論文投稿を伴う発表申込：http://sigpro.ipsj.or.jp/trans-author/ <http://sigpro.ipsj.or.jp/trans-author/> (2) 発表のみの申込：http://sigpro.ipsj.or.jp/presentation/ <http://sigpro.ipsj.or.jp/presentation/> (3) 「短い発表」の申込：送信Webページにて「論文誌投稿なし・短い発表」を選んでください．発表申込送信Webページ： https://forms.gle/sEyqqTa9T1XaVGR38 <https://forms.gle/sEyqqTa9T1XaVGR38> ・発表申込を送信後，担当者より3日以内に，発表申込フォームの「代表者連絡先」宛に，発表申込を受理した旨のメールをお送りします．もし3日待ってもメールが来なかった場合，担当者までメールでお問い合わせください．・多数の発表申込がある場合には発表をお断りすることがございます．・研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ <https://sigpro.ipsj.or.jp/> をご参照ください．問合せ先：新屋良磨（秋田大学） E-mail: ryomasinya [at] gmail.com <http://gmail.com/> 担当者：新屋良磨（秋田大学），加藤弘之（国立情報学研究所） ====================================================

1 0

数学基礎論サマースクール
by YOKOYAMA Keita 01 May '24

01 May '24

みなさま，東北大学の横山です．今年度の数学基礎論サマースクールにつきまして，以下の要領で開催したいと考えております．日時: 9月17日〜20日(4日間) 場所: 東北大学情報科学研究科(青葉山キャンパス) テーマ: 算術の証明論と構成的数学講師: 倉橋先生，根元先生，横山，他1-2名にお願いする予定ですご質問等ございましたら，世話人の横山 keita.yokoyama.c2[at]tohoku.ac.jp までお問い合わせください．より詳しいことが決まりましたら，またご案内させていただきます．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University keita.yokoyama.c2(a)tohoku.ac.jp

1 0

静岡大学学術院理学領域数学系列　教員公募(1名)【6/28締切】
by Suzuki, Nobu-Yuki 01 May '24

01 May '24

みなさま静岡大学理学部数学科の鈴木信行です。重複して受け取られた方にはお詫び申し上げます。静岡大学学術院理学領域数学系列では、教員1名(常勤任期なし)を募集しています。公募人員准教授１名専門分野数学（幾何学、又はその関連分野）採用予定令和７年４月１日応募期限令和６年６月２８日（金）必着詳細は、次をご覧ください。 https://www.shizuoka.ac.jp/recruit/ お近くに適任の方がいらっしゃればご紹介いただければ幸いです。よろしくお願いいたします。静岡大学は、静岡大学男女共同参画憲章の基本方針に基づき、男女共同参画や女性教員の採用を推進しています。採用に当たって、業績及び人物評価において同等と認められた場合には、女性を優先します。

1 0

静岡大学学術院理学領域数学系列　教員公募(1名)【6/28締切】
by Suzuki, Nobu-Yuki 01 May '24

01 May '24

みなさま静岡大学理学部数学科の鈴木信行です。静岡大学学術院理学領域数学系列では、教員1名(常勤任期なし)を募集しています。公募人員准教授１名専門分野数学（幾何学、又はその関連分野）採用予定令和７年４月１日応募期限令和６年６月２８日（金）必着詳細は、添付のpdfまたは次をご覧ください。 https://www.shizuoka.ac.jp/recruit/ ぜひ、応募をご検討下さい。また、お近くに適任の方がいらっしゃればご紹介いただければ幸いです。よろしくお願いいたします。静岡大学は、静岡大学男女共同参画憲章の基本方針に基づき、男女共同参画や女性教員の採用を推進しています。採用に当たって、業績及び人物評価において同等と認められた場合には、女性を優先します。

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2024