Logic-ml July 2024

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

9 participants
15 discussions

数学基礎論若手の会2024開催のお知らせ
by 樋口幸治郎 24 Sep '24

24 Sep '24

皆様、日本大学の樋口幸治郎と申します。数学基礎論若手の会 2024 の開催 (対面で実施) をご案内いたします。数学基礎論若手の会は数学基礎論を専攻する学生および若手研究者の研究交流を目的とする研究集会です。講演はオリジナルの成果発表に限らず、研究の途中報告や研究内容の紹介など幅広く募集しております。また、これから数学基礎論を勉強したいと思っている方のご参加も歓迎します。 — 開催要領 — 日程：2024 / 10 / 12（土）～ 14（月, 祝日）会場：郡山市青少年会館（福島県郡山市大槻町字漆棒82番地）世話人：樋口幸治郎（日本大学）ウェブサイト： https://sites.google.com/view/mlwakatenokai2024/%E3%83%9B%E3%83%BC%E3%83%A0 参加申込み期限：2024 / 9 / 27 (金) 参加申込み(Googleフォーム)：https://forms.gle/kPSSzGkjNwH8RQE98 講演希望の方は、上記フォームの提出後、講演タイトル・アブストラクトのtexファイルを世話人へメールで送ってください。開催時期が近づきましたら、再度お知らせいたします。多くの皆様のご参加をお待ちしております。樋口幸治郎 (日本大学工学部)

1 2

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

10 Sep '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 2

RIMS共同研究（公開型）のご案内
by kota takeuchi 19 Aug '24

19 Aug '24

皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2023年12月4日(月)～2023年12月6日(水) 場所：京都大学数理解析研究所110室+オンライン(ZOOM) 代表者：竹内耕太（筑波大学）副代表：桔梗宏孝（神戸大学） Webページ： https://sites.google.com/gsuite.kobe-u.ac.jp/rimsmodeltheoryworkshop2023/ --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。筑波大学竹内耕太

2 3

【発表募集】第151回プログラミング研究発表会（PRO-2024-3）
by Sosuke MORIGUCHI 31 Jul '24

31 Jul '24

※重複してお受け取りの場合はご容赦ください．皆様東京工業大学の森口と申します．情報処理学会第151回プログラミング研究発表会（PRO-2024-3）の発表を募集しております．ご検討のほどよろしくお願いいたします． ==== 情報処理学会第151回プログラミング研究発表会発表募集 https://sigpro.ipsj.or.jp/pro2024-3/ 日時：2024年11月12日(火)〜11月13日(水) 会場：東京科学大学（9月まで東京工業大学）大岡山キャンパス　　　およびオンラインのハイブリッド開催を予定参加費：無料発表申込締切：2024年9月13日（金）投稿論文原稿提出締切：2024年10月7日（月）発表予稿提出締切：2024年11月08日（金）プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3〜4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会からおおむね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております．担当者：森口草介（東京工業大学），緒方一則（日本IBM）問い合わせ先：chiguri(a)c.titech.ac.jp

1 0

【申込期限8/14】SLACS 2024（8/21,22）講演・参加募集のお知らせ
by Kazuyuki Asada 29 Jul '24

29 Jul '24

皆様，（重複して受け取られた場合はご容赦ください．）第41回記号論理と情報科学研究集会（SLACS 2024）幹事の東北大学の浅田です．時期が近づいてまいりましたので，リマインドさせていただきます．現状発表スロットにかなり余裕がございますので，積極的にご発表いただけますと助かります．（HPのプログラムに発表申込件数を表記しております．） SLACS 2024は，2024年8月21日（水）～22日（木）に，東北大学電気通信研究所にて現地開催いたします．発表・参加のご検討のほど，どうぞよろしくお願いいたします． ==== SLACS 2024 開催要領 ==== 詳細：https://sites.google.com/view/slacs-2024 日程：2024年8月21日（水）～22日（木）の二日間形式：現地開催会場：東北大学電気通信研究所本館 1階 M153室（〒980-0812 宮城県仙台市青葉区片平２丁目１−１）講演申込： https://forms.gle/ZYdY1yV9RoZn1g649 参加申込： https://forms.gle/LnLKNrW1KNt5UUgB6 費用：参加費無料（懇親会費は別途徴収）幹事：浅田和之（東北大学電気通信研究所, E-mail: asada(a)riec.tohoku.ac.jp) ============================= 講演申し込み期限は 2024年8月14日（水）といたしますが，発表する意思がある方はお早めにお申し込みいただけると幸いです．研究集会への参加申し込みは開催当日まで受け付けます．以上，奮ってご参加ください．返信全員に返信転送リアクションを追加

1 0

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

25 Jul '24

Logic-ml の皆さま，筑波大学の高橋康博と申します．筑波大学システム情報系におきまして量子情報科学関連分野の助教の公募を開始致しました．締め切りは2024年8月26日となっております．関係者にご周知頂くと共に，適任者をご存じの場合には応募をお勧め頂けますと幸いです．何卒よろしくお願い致します． https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D124071981&ln=0 -- 以下は上記の JREC-IN に記載の情報と同様のものです．筑波大学システム情報系教員公募（量子情報システム分野、テニュアトラック制適用） 1. 募集機関：筑波大学　https://www.tsukuba.ac.jp/ 2. 関係組織：システム情報系　https://www.sie.tsukuba.ac.jp/ 情報学群情報科学類　https://www.coins.tsukuba.ac.jp/ 理工情報生命学術院システム情報工学研究群情報理工学位プログラム https://www.cs.tsukuba.ac.jp / 人工知能科学センター　https://air.tsukuba.ac.jp / 3. 職名：助教 4. 募集人数：1名 5. 着任時期：2025年4月1日以降のなるべく早い時期 6. 募集分野：量子情報科学関連分野 7. 応募資格：博士の学位を有し（着任時までに取得見込みも可），専門分野において研究業績があり，担当業務内容を意欲的に担当できる方．講義を日本語または英語で遂行できること．学内業務を日本語で遂行できること． 8. 担当業務：システム情報系における量子情報科学または情報物理学に関わる理論研究推進．大学院（理工情報生命学術院システム情報工学研究群情報理工学位プログラム）と学士課程(情報学群情報科学類)における教育．および人工知能科学センター量子システム情報分野の研究．（雇用期間中において、業務内容の変更は原則ありません。） 9. 勤務場所：筑波大学システム情報系（茨城県つくば市天王台1-1-1）（雇用期間中において、勤務場所の変更は原則ありません。） 10. 待遇：給与：基本年俸制、20号俸（基本年俸6,480,000円）勤務時間：1⽇7時間45分、週5⽇勤務、週38時間45分、専門業務型裁量労働制の適用に同意した場合は、１日7時間45分勤務したものとみなされます．雇用形態：常勤雇用期間：5年（最終年度にテニュア獲得審査を行い、テニュア獲得の有無を決定） ※テニュアトラック制について，詳細は下記をご覧ください．国立大学法人筑波大学大学教員のテニュアトラック制に関する規程 https://www.tsukuba.ac.jp/images/pdf/2007hkt08.pdf 時間外労働：必要に応じて、時間外勤務を命じる場合があります。休⽇：⽇曜日、⼟曜⽇、祝⽇、12⽉29⽇〜1⽉3⽇各種保険：文科省共済組合、雇用保険、労災保険等については法令の定めによるところにより加入。各種制度：通勤手当は本学規程により支給。受動喫煙防止措置：敷地内禁煙 11. 提出書類： (1) 応募概要(次の情報を記載した 1 ページの書類) 氏名、生年月日、現在の所属と職、査読付き学術誌掲載論文数、査読付き国際会議論文数、専門分野を表すキーワード 5 個 (2) 履歴書（写真貼付、連絡先，電子メールアドレス，高等学校卒業後の学歴・職歴・研究歴，所属学会等を記載すること．） (3) 研究業績一覧（査読付き学術誌掲載論文、査読付き国際会議論文、著書、査読無論文、解説、特許、受賞、競争的外部資金獲得実績 (期間、金額、研究代表者・分担者の区別を明記)、報道、その他などに分類したリスト。共著者名は全員記入すること。(4)に記載した論文にマークをすること。） (4) 主要論文リスト(5 編以内。査読付き学術誌掲載論文について、わかる場合は IF=Impact Factor、SNIP=Source Normalized Impact per Paper、SJR=Scientific Journal Rankings、被引用文献数(参照したデータベースも明記)を記載のこと。また、査読付き国際会議論文について、わかる場合は会議の h5-index、CORE rank、採択率、被引用文献数(参照したデータベースも明記)を記載のこと。) (5) 主要論文別刷((4)に記載したもの。) (6) 教育業績一覧（過去の担当科目・TA 経験、指導学生の受賞、学生の指導実績など） (7) これまでの研究の概要（1500 字程度 (4)の主要論文を適宜参照すること） (8) 着任後の研究と教育の抱負（1500 字程度） (9) 本人についての意見を求め得る方 2 名の氏名、所属、連絡先 (10) 特定類型自己申告書（本学所定様式） https://coi-sec.tsukuba.ac.jp/about/specific-categories/　 ※GDPR適用国（EU加盟国、アイスランド、リヒテンシュタイン、ノルウェー、英国）からの応募者については、必ずGDPR同意書を提出してください。 ※履歴書等に含まれる個人情報は、選考及び採用以外の目的には使用しません。 12. 応募締切：2024年8月26日（月）必着 13. 問合せ先：〒305-8573　茨城県つくば市天王台1-1-1 国立大学法人筑波大学　システム情報系教授　鹿野　豊 yshikano(a)cs.tsukuba.ac.jp 14. 備考：・本学は、「男女共同参画社会基本法」の精神及び「筑波大学ダイバーシティ基本理念・基本計画」の理念・方針に則った人事選考を行っております。・本学では、「外国為替及び外国貿易法」に基づき、「国立大学法人筑波大学安全保障輸出管理規則」を定め、外国人、外国の大学・企業・政府機関等出身者又は特定類型該当者の雇用に際し厳格な審査を実施しています。・この公募は、原則、応募書類を「JREC-IN Portal Web 応募」で受け付けています。それ以外の方法による応募にはご相談ください。応募書類は返却いたしません。なお、提出書類に含まれる情報は選考および採用以外の目的には使用いたしません。・書類選考の後、候補者に面接選考 (9月20日を予定) を実施します。対面を原則としますが、海外居住者等特別な理由がある場合にはオンライン面接も可とします。 -- 高橋康博 (Yasuhiro Takahashi) 筑波大学システム情報系 ya.takahashi(a)cs.tsukuba.ac.jp

1 0

『第二回若手による数理論理学研究集会』二次参加登録受付のお知らせ
by 西村祐輝 23 Jul '24

23 Jul '24

logic-ml の皆様、『第二回若手による数理論理学研究集会』運営の西村です。本研究集会について、会場に余裕があるため、追加の参加募集を行います。また、Zoom によるオンライン形式での参加募集も同時に行います。詳細は、研究集会のホームページをご覧ください。 https://sites.google.com/view/yorukai-2nd 皆様のご参加をお待ちしております。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

【重要】東北大ロジックセミナーの開催形式の訂正とお詫び
by 竹田侑人 19 Jul '24

19 Jul '24

皆様, 先ほどご案内いたしましたセミナーですが, 開催形式に誤りがございました. (誤) 場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) (正) 場所：zoom配信開催形式は完全オンラインとなっております. ご迷惑をおかけし, 大変申し訳ございません. 参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b. 竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

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

19 Jul '24

皆様，東北大学の竹田です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：7月26日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：織田幸弘 (東北大学情報) 題目帰納的定義付き一階述語論理の循環証明体系におけるカット除去の反例概要循環証明体系とは証明図にサイクル（循環）の存在を許容した証明体系である．このような体系は無限降下法の形式化とみなせる場合がある．そのため，循環証明体系は帰納法を使う証明体系の代替手段として証明探索の観点から注目されている．その一方で，循環証明体系の証明論的な性質についてはまだわかっていないことが多い．本講演では帰納的定義付き一階述語論理に対する循環証明体系のカット除去の反例を与える．反例の存在から帰納的定義付き一階述語論理に対する循環証明体系においてはカット除去性という基本的な性質が成り立たないことがわかる．オンライン参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b どうぞよろしくお願いいたします．竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

『第二回若手による数理論理学研究集会』の告知
by 西村祐輝 18 Jul '24

18 Jul '24

logic-ml のみなさま、『第二回若手による数理論理学研究集会』運営の西村です。本会の参加申し込み・ならびに講演申し込みの締め切りは、【7/21（日）】までとなります。発表枠にもまだまだ空きがございますので、ぜひ前向きに検討をいただければと思います。また、スタッフ間で協議の上、現在オンライン形式での配信も予定をしております。詳細が決まり次第 logic-ml にも告知いたしますので、今しばらくお待ちください。詳細はこちらのホームページもご覧ください。 https://sites.google.com/view/yorukai-2nd どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml July 2024