Logic-ml

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

3 participants
1740 discussions

【締切延長】第149回プログラミング研究発表会（PRO-2024-1）
by KAMINA Tetsuo 16 Apr '24

16 Apr '24

皆様大分大学の紙名です。第149回プログラミング研究発表会の申込締切を延長しました。　発表申込締切：　2024年4月28日（日）（通常の発表・短い発表の両方とも）引き続き、たくさんの申し込みをお待ちしています。 ==== 第149回プログラミング研究発表会発表募集日程：2024年6月13日（木）～14日（金）会場：オンライン開催参加費：無料案内ページ：https://sigpro.ipsj.or.jp/pro2024-1/ 発表申込ページ：https://forms.gle/P4qpDTd9PojkHZwz7 --- プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3～4回のペースで発行しており，研究会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究会からおおむね3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します．1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は 30分（発表20分，質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております． ■ 発表申込要領以下の手引きに従い，著者，タイトル，概要などの情報を記入した発表申込フォームを作成し，下記の送信Webページからお送りください． (1) 論文投稿を伴う発表申込：https://sigpro.ipsj.or.jp/trans-author/ (2) 発表のみの申込：https://sigpro.ipsj.or.jp/presentation/ (3) 「短い発表」の申込：(2)に加え，フォームの「『短い発表』の希望」欄で「希望する」を選択してください．発表申込送信Webページ： https://forms.gle/P4qpDTd9PojkHZwz7 発表申込締切： 2024年4月28日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切： 2024年5月07日（火）注意事項 * 発表申込を送信後72時間以内に，担当者から受領確認メール（≠回答のコピー）をお送りします． * 多数の発表申込がある場合には発表をお断りすることがございますので，お早めにお申し込みください． * 研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ をご参照ください．次のいずれかに該当する場合，下記の問合せ先にメールでご連絡下さい． * 送信後72時間以内に担当者から受領確認メール（≠回答のコピー）が来なかった * 発表申込フォームの内容を更新する（連絡事項の追記を含む） * 発表を取り下げる問合せ先：ipsj-pro-2024-1-organizer(a)googlegroups.com 担当者：佐藤重幸（電気通信大学），紙名哲生（大分大学）

1 0

４月１６日火曜日　van Atten 教授の２つのレクチャーと討論　（BrouwerとHusserlの論理）
by Mitsu Okada 14 Apr '24

14 Apr '24

直前ですが、次の数学と論理の哲学分野の会合案内をこのメールリストで流させていただきます。ハイブリッド形式、要事前登録、途中入退室自由です。慶應義塾大学岡田光弘ーーーー BrouwerとHusserlの論理の諸問題に関するMark van Atten 教授の２つのレクチャーと討論Two lectures and discussion by Prof. Mark van Atten on various issues in Brouwer and Husserl's logic Apr 16th, 2024, at Keio University 日時：2024年4月16日（火）日本時間16:30-19:40 (JST) 最新情報は次のページをご覧ください。４月１２日中に開設予定です。See below for the updated information after April 12th. https://abelard.flet.keio.ac.jp/Two_lectures_and_discussion_by_Prof_Mark_va… ------------------------------ ------------------------------ 事前登録 / Pre-registration*事前登録フォームはこちら (要事前登録):https://forms.gle/vKdraEaFakMZTnLw7 <https://forms.gle/vKdraEaFakMZTnLw7>**Preregistration is HERE (required) : https://forms.gle/vKdraEaFakMZTnLw7 <https://forms.gle/vKdraEaFakMZTnLw7>* ハイブリッド形式会議です。対面参加かオンライン参加可を選択して事前登録してください。 Pre-registration required: Please select “in person” or “online” ------------------------------ ------------------------------ 会場 / Venue 慶應義塾大学三田キャンパス南校舎7階471, the South School Building 7th Floor, Room 471 （正門からすぐの校舎です. The first building after the Main Gate of the Campus） Mita Campus, Keio University (7 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi) キャンパスマップ 4番の建物: https://www.keio.ac.jp/ja/maps/mita.html Campus Map Building #4: https://www.keio.ac.jp/en/maps/mita.html プログラム / PROGRAM Mark van Atten教授(Professor, Husserl Archives (CNRS/ENS))の下記の２つの講義をもとに次のテーマを討論します。第1部 BROUWERとHeytingのInductive definition について第２部 HUSSERLと完全性定理討論：Husserlと論理学完全性/不完全性定理―FTL（「形式論理学と超越論的論的論理学」）解釈に与える影響について Discussion Coordinator for Part 1: Ryota Akiyoshi (Keio University) Discussion Coordinator for Part 2: Mitsuhiro Okada (Keio University) ABSTRACTS of the TWO LECTURES Lecture 1: Brouwer and Heyting on intuitionistic inductive definitions Here is the Abstract: "Neither Brouwer nor Heyting has offered an explicit foundational analysis of inductive definitions. This paper argues that they had an implicit one, and makes it explicit. The clauses must be understood neither as propositions nor as permissions, but as commands. Correspondingly, inductive definitions are governed by the grammar of the imperative. Three consequences of this analysis are noted: (1) The extremal clause is redundant. (2) The logic to be used in the conditions is coherent logic. (3) On account of (2), the intuitionistic analysis in effect meets a desideratum on analyses of inductive definitions formulated by Kreisel. Overall, this reconstructed analysis provides an example of how, in intuitionism, pragmatic aspects of a definition can contribute to its mathematical content." Lecture 2: Husserl and the incompleteness theorems Here is the Abstract: "By way of commenting on the prior literature (especially Cavaillès, Tran, Bachelard, Lohmar), it is argued that both the first and the second of Gödel’s Incompleteness Theorems have a bearing on the view on mathematics that Husserl presents in Formale und transzendentale Logik, and that this bearing is not small." The talk is mostly for philosophers who are not specialists in logic. [参考]Van Atten 教授のBrouwerとHusserlに関する主な著作の一部 "Why Husserl should have been a strong revisionist in mathematics". Husserl Studies 18 (1), 1–18, 2002. On Brouwer. Belmont (MA), Wadsworth, 2004. Brouwer Meets Husserl: On the Phenomenology of Choice Sequences, Dordrecht, Springer, 2007. "Construction and constitution in mathematics". The New Yearbook for Phenomenology and Phenomenological Philosophy 10, 43–90, 2010. Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Dordrecht, Springer, 2015. "The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs". Indagationes Mathematicae 29, 1565-1636, 2018. "Dummett’s objection to the ontological route to intuitonistic logic : a rejoinder". Inquiry 65(6), 725-742, 2022. "Intuition, iteration, induction", Philosophia Mathematica 32(1), 34-81, 2024. "Luitzen Egbertus Jan Brouwer", SEP, https://plato.stanford.edu/entries/brouwer/ "The development of intuitionistic logic", SEP, https://plato.stanford.edu/entries/intuitionistic-logic-development/ オーガナイザ / Organizing Committee - Ryota Akiyoshi (Keio University) - Koji Mineshima (Keio University) - Mitsuhiro Okada (Keio University) - Kentaro Ozeki (Keio University) 問い合わせ先 / Contact address of the Meeting Office logic[At]abelard.flet.keio.ac.jp

1 0

第6回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ参加募集
by Taro Sekiyama 09 Apr '24

09 Apr '24

皆様 (複数お受け取りの場合はご容赦ください) 国立情報学研究所の関山です。 5月10日に開催される「第6回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ」の参加募集のご案内です。今回はセコムIS研究所のデータセンター見学後、セキュリティ保証のハードウェアサポートの一実装である Arm TrustZone に関する講演が行われます。ワークショップの案内ページ：https://sc-sys.github.io/ 開催日時：5月10日 13:00〜15:30 データセンター見学，15:30〜18:00 講演参加方法： Google form https://forms.gle/mwsSh6hut55noDWLA から申し込み (5/7正午あるいは定員になり次第終了いたします) ワークショップについて：本ワークショップ「セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)」は、新しい（特にセキュアな）計算機システムに関する原理を理論研究と共に計算機ハードウェアからソフトウェアのレイヤまで研究・開発するために必要な知識の獲得と議論の場を提供することを目的として開催しています。また議論を大事にするという観点から、現地参加を推奨しています。それでは皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 関山太朗国立情報学研究所 sekiyama(a)nii.ac.jp

1 0

SAML 2024 について
by SAKAI Hiroshi 09 Apr '24

09 Apr '24

皆様：東京大学の酒井拓史と申します．（4月に神戸大学から東京大学に異動しました．） Symposium on Advances in Mathematical Logic (SAML) 2024 のお知らせをさせてください． SAML は国内の数理論理学の諸分野（証明論・集合論・モデル理論・計算論・非古典論理）の研究交流を目的とした，隔年開催の研究集会です．過去の集会の情報は次のページでご覧いただけます． https://www.mathsoc.jp/section/logic_and_history/saml.html 今年は SAML の開催年で，RIMS 共同研究（公開型）として下記のように開催します． SAML 2024「数理論理学の最近の進展」日程：7月9日(火) -- 12日(金) 形式：ハイブリッド形式対面会場：京都大学数理解析研究所ホームページ： https://sites.google.com/view/saml2024 幹事：酒井拓史 ( hrshsakai(a)gmail.com ) 今年の SAML は集合論・計算論・非古典論理の研究動向紹介・チュートリアルと，数理論理学諸分野の招待講演で構成されます．講演は下記の方々にお願いしています．研究動向紹介・チュートリアル - 集合論：池上大祐氏（中山大学） - 計算論：宮部賢志氏（明治大学） - 非古典論理：大森仁氏（東北大学）招待講演 - 証明論：藤原誠氏（東京理科大学） - 集合論：Diego Mejia 氏（静岡大学） - モデル理論：藤田雅人氏（海上保安大学校） - 計算論：Matthew de Brecht 氏（京都大学） - 非古典論理：鈴木信行氏（静岡大学）参加登録方法などにつきましては，改めてご連絡をさせていただきます．皆様のご参加をお待ちしております．どうぞよろしくお願いいたします．酒井拓史

1 0

SAML 2024 について
by Hiroshi Sakai 09 Apr '24

09 Apr '24

1 0

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

08 Apr '24

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

2 1

東北大ロジックセミナーのご案内
by YOKOYAMA Keita 04 Apr '24

04 Apr '24

東北大学の横山です．直前の方で大変恐縮ですが，以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：4月4日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：Andrew Arana (Université de Lorraine, Archives Poincaré) Title: Varieties of reversals Abstract: Reverse mathematics has become one of the most important subjects of mathematical logic. It has a rich domain of problems arising from ordinary mathematics, as well as a programmatic orientation. To put it briefly, its results seem to matter not only for logic but also for ordinary mathematics. Yet there are several different accounts of why it matters, of what a reversal tells us. I want to discuss a few of these. オンライン参加を希望される方は横山までご連絡いただきますようよろしくお願いいたしますどうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University keita.yokoyama.c2(a)tohoku.ac.jp

1 0

第50回量子情報技術研究会（QIT50）開催のお知らせ
by NISHIMURA Harumichi 03 Apr '24

03 Apr '24

logic-mlの皆様名古屋大学の西村と申します．代理でQIT50のご案内を投稿します．どうぞよろしくお願い致します． ------------------------------------------------------------------- 量子情報技術研究会は、情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と、そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。第50回研究会では、現在この分野で活躍する研究者は勿論、これからの可能性を感じる研究者や技術者の方々からの積極的な発表・参加を心よりお待ちしております。日時: 2024年5月28日(火)〜2024年5月30日(木)*現地開催のみ。オンライン配信なし会場: 産業技術総合研究所つくば中央共用講堂 (茨城県つくば市梅園1-1-1) 発表募集分野 (申し込み状況によって査読の可能性あり)：量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、量子計算、量子計算素子、量子情報、量子誤り訂正、量子エンタングルメント、量子光学、量子物性、相対論的量子情報理論、量子基礎など、その他関連分野定員: 200名参加費：一般4,000円、学生3,000円懇親会費: 4,000円 *事前登録や銀行振込の期限に間に合わない場合、当日現地でのお支払いの場合には、上記金額に1,000円の追加料金が発生します。 *学生限定で、予稿集なし・懇親会なしの参加費1,000円というオプションもあります。（事前手続き不要、当日受付）研究会参加申込詳細： https://www.ieice.org/es/qit/qit50/ 各種締切：口頭講演申込： 2024年4月23日（火）ポスター発表申込： 2024年5月7日（火） PDF原稿提出： 2024年5月7日（火）参加事前登録（懇親会参加登録も含む）： 2024年5月21日（火）参加費（懇親会費も含む）の銀行振込： 2024年5月21日（火）【問合せ先】猪股邦宏（産業技術総合研究所）石川豊史（同上）辻本学（同上）浦出芳郎（同上） Email: M-qit50-ml(a)aist.go.jp 主催：電子情報通信学会量子情報技術特別研究専門委員会（委員長武岡正裕（慶應義塾））共催：応用物理学会量子エレクトロニクス研究会、産業技術総合研究所 ----------------------------------------------------------

1 0

【発表募集】第149回プログラミング研究発表会（PRO-2024-1）
by KAMINA Tetsuo 01 Apr '24

01 Apr '24

皆様大分大学の紙名です。第149回プログラミング研究発表会の申込締切（4/14）が近づいてまいりましたので、再度ご案内させていただきます。論文誌への同時投稿・発表のみのどちらでも大歓迎です。たくさんのお申し込みをお待ちしています。 ==== 第149回プログラミング研究発表会発表募集日程：2024年6月13日（木）～14日（金）会場：オンライン開催参加費：無料発表申込締切：2024年4月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切：2024年5月07日（火）案内ページ：https://sigpro.ipsj.or.jp/pro2024-1/ 発表申込ページ：https://forms.gle/P4qpDTd9PojkHZwz7 --- プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3～4回のペースで発行しており，研究会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究会からおおむね3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します．1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は 30分（発表20分，質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております． ■ 発表申込要領以下の手引きに従い，著者，タイトル，概要などの情報を記入した発表申込フォームを作成し，下記の送信Webページからお送りください． (1) 論文投稿を伴う発表申込：https://sigpro.ipsj.or.jp/trans-author/ (2) 発表のみの申込：https://sigpro.ipsj.or.jp/presentation/ (3) 「短い発表」の申込：(2)に加え，フォームの「『短い発表』の希望」欄で「希望する」を選択してください．発表申込送信Webページ： https://forms.gle/P4qpDTd9PojkHZwz7 発表申込締切： 2024年4月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切： 2024年5月07日（火）注意事項 * 発表申込を送信後72時間以内に，担当者から受領確認メール（≠回答のコピー）をお送りします． * 多数の発表申込がある場合には発表をお断りすることがございますので，お早めにお申し込みください． * 研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ をご参照ください．次のいずれかに該当する場合，下記の問合せ先にメールでご連絡下さい． * 送信後72時間以内に担当者から受領確認メール（≠回答のコピー）が来なかった * 発表申込フォームの内容を更新する（連絡事項の追記を含む） * 発表を取り下げる問合せ先：ipsj-pro-2024-1-organizer(a)googlegroups.com 担当者：佐藤重幸（電気通信大学），紙名哲生（大分大学）

1 0

2024年度人工知能学会全国大会（第38回）参加登録の受付を開始しました
by MOTOURA SHOTA(本浦　庄太) 18 Mar '24

18 Mar '24

logic-mlの皆様、（重複して受け取られた場合はご容赦ください。） NECの本浦庄太と申します。 2024年度人工知能学会全国大会（第38回）（会期：2024年5月28日(火)〜5月31日 (金)）の参加登録の受付を開始しました。事前参加登録期間：　早期：〜2024年4月15日(月)18:00 　後期：〜2024年5月10日(金)18:00 会場：アクトシティ浜松＋オンライン現地参加・オンライン参加が可能なハイブリッド形態の開催を予定しております。参加をご検討いただければ幸いです。参加登録方法の詳細は以下URLをご覧ください。 https://www.ai-gakkai.or.jp/jsai2024/attendance JSAI2024大会サイト： https://www.ai-gakkai.or.jp/jsai2024/ どうぞよろしくお願いいたします。本浦庄太 -- Shota MOTOURA Data Science Laboratories, NEC Corporation 1753 Shimonumabe, Nakahara-ku, Kawasaki, Kanagawa 211-8666, Japan

1 0

← Newer
1
2
3
4
5
6
7
...
174
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml