Logic-ml

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

1792 discussions

SAML 2024 の参加登録
by SAKAI Hiroshi 22 May '24

22 May '24

皆様：東京大学の酒井と申します． Symposium on Advances in Mathematical Logic (SAML) 2024 の参加登録を開始しましたので，アナウンスさせていただきます． SAML 2024 日程：7月9日(火) -- 12日(金) 形式：ハイブリッド形式対面会場：京都大学数理解析研究所ホームページ：https://sites.google.com/view/saml2024 上記ホームページにあるフォームから参加登録をしていただけます．不明な点がありましたら，下記連絡先にお問い合わせください．連絡先：酒井拓史 hrshsakai(a)gmail.com 皆様のご参加をお待ちしています．酒井拓史

1 0

第2回「若手による数理論理学研究集会」開催のお知らせ
by 西村祐輝 22 May '24

22 May '24

logic-ml のみなさま、東京工業大学の西村です。昨年開催しました『若手による数理論理学研究集会』について、第2回開催の告知をいたします。さしあたり、現在決定している事項は次の通りです。 - 日時：2024年8月7日-9日 - 場所：神奈川大学横浜キャンパス続報がありましたら、こちらのメーリスでお知らせします。また、こちらの公式サイトにも情報を掲載いたします。 https://sites.google.com/view/yorukai-2nd ご参加を検討いただけると幸いです。また、お近くに数理論理学に興味のある学生がいらっしゃる場合には、宣伝いただけるとありがたいです。どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

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

15 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

静岡大学学術院理学領域数学系列　教員公募(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

島根大学学術研究院理工学系（知能情報デザイン学）教員公募(2名)【7/30締切】
by Munehiro Iwami 24 Apr '24

24 Apr '24

皆様島根大学の岩見と申します。総合理工学部知能情報デザイン学科では教員2名(常勤任期なし)を募集しています。よろしくお願いします。 (1) https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 1.所　　　　　　属　　　　学術研究院理工学系 2.担　　　　　　当　　　　総合理工学部知能情報デザイン学科，自然科学研究科理工学専攻知能情報デザイン学コース 3.職名及び人員　　　准教授または助教　　1名 4.勤　務　形　態　　　常勤　任期なし 5.専　門　分　野　　　【雇入れ直後】情報学一般　　　【変更の範囲】変更なし 6.担当授業科目【雇入れ直後】大学院自然科学研究科知能情報デザイン学コースにかかわる専門科目および研究科共通科目：専門に応じた科目、セミナー、特別研究など総合理工学部知能情報デザイン学科にかかわる専門教育科目および基礎科目：情報処理演習、プログラミング、基本情報処理技術特論（OSなど）、PBL科目、コンピュータサイエンス研究演習、卒業研究など【変更の範囲】本学が指定する授業科目 8.採用予定時期　令和6年10月1日以降、出来るだけ早い時期 20.応募締切日　令和6年7月30日（必着） (2) https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 1.所　　　　　　属　　　　学術研究院理工学系 2.担　　　　　　当　　　　総合理工学部知能情報デザイン学科，自然科学研究科理工学専攻知能情報デザイン学コース 3.職名及び人員　　　准教授、講師または助教　　1名 4.勤　務　形　態　　　常勤　任期なし 5.専　門　分　野　　　【雇入れ直後】自然言語処理、コンピュータビジョン　　　【変更の範囲】変更なし 6.担当授業科目【雇入れ直後】大学院自然科学研究科知能情報デザイン学コースにかかわる専門科目および研究科共通科目：専門に応じた科目、セミナー、特別研究など総合理工学部知能情報デザイン学科にかかわる専門教育科目および基礎科目：データサイエンスに関する科目、プログラミング、基本情報処理技術特論（OSなど）、PBL科目、コンピュータサイエンス研究演習、卒業研究など【変更の範囲】本学が指定する授業科目 8.採用予定時期　令和6年10月1日以降、出来るだけ早い時期 20.応募締切日　令和6年7月30日（必着） -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

← Newer
1
...
5
6
7
8
9
10
11
...
180
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml