Logic-ml January 2025

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

3 participants
3 discussions

CSCAT 2025開催案内
by Hisashi Aratake 28 Jan '25

28 Jan '25

皆様、（重複投稿ご容赦ください）小山高専の荒武と申します。 CSCAT 2025（理論計算機科学と圏論ワークショップ）を以下の要領で開催いたします。 CSCAT（理論計算機科学と圏論ワークショップ）は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。近年のCSCATでは、情報科学への応用だけにとどまらず、数学的対象としての圏そのものについての研究発表も盛んに行われています。日程： 2025年3月10日（月）・11日（火）場所：崇城大学メインキャンパス情報学科棟（F号館）2階203（熊本県熊本市西区池田） Webサイト： https://hisashi-aratake.gitlab.io/event/cscat2025.html なお、今回のCSCAT開催にあたり、崇城大学の星野直彦先生にご協力いただいております。ご参加・ご発表を検討されている方は2/28までに上記ページにあるフォームからお申込をお願いいたします。皆様のご参加をお待ちしております。また、お知り合いの方で興味のある方がいらっしゃいましたら、お誘いいただければ幸いです。荒武永史（小山高専） hisashiaratake(a)gmail.com

1 0

第3回ロジックウィンタースクール
by Takayuki Kihara 22 Jan '25

22 Jan '25

皆様お世話になっております．名古屋大学の木原です．以下の要領で第3回ロジックウィンタースクールを開催いたしますのでご案内をいたします． +++++ 日時: 2025/2/17 (月) 〜 2025/2/21 (金) 場所: 理化学研究所和光事業所（埼玉県和光市） https://sites.google.com/view/logic-winter-school-iii/ 講師: 　• 丸山善宏 (名古屋大学) 　• 上村太一 (名古屋大学) 　• 竹内耕太 (筑波大学) 　• 黒田覚 (群馬女子大学) パネルディスカッション: 講義の他にも，ロジックを巡る素朴な疑問について議論するパネルディスカッションを企画しております．・数学の基礎，集合論，圏論，型理論，算術, etc.に関する素朴な疑問・あるいは普通の論文や教科書上では明示的には問われないような種類の問い，など +++++ ご興味がありましたら，ぜひご参加していただけましたら幸いです．多数のご参加をお待ちしております．懇親会へのご参加を希望される場合には，2/3(月)までの登録をよろしくお願い致します．以上どうぞよろしくお願いいたします． -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

ユネスコ世界論理デー記念オンライン・ミーティング１月１４日(火)/夕方18時 UNESCO World Logic Day Online Meeting, Jan. 14rh
by Mitsu Okada 13 Jan '25

13 Jan '25

直前の投稿となり申し訳ありません。UNESCO世界論理デーを記念するオンラインミーティングのお知らせです。会議は１月１４日午後６時からですが、直前まで事前登録可能です。よろしくお願いいたします。岡田光弘（慶応大）オーガナイザーグループユネスコ世界論理デー記念オンライン・ミーティング１月１４日夕方18時 UNESCO World Logic Day Online Meeting, Jan. 14rh 日時：2025年1月14日(火) 世界論理デー 18:00−19:40 (20:00まで討論延長の可能性あり) 途中入退室自由・時刻表示は日本標準時 World Logic Day, Jan. 14th (Tuesday), 18:00−19:40 (or up to 20:00) (JST) 最新情報は次のURLをご覧ください。 https://abelard.flet.keio.ac.jp/2025/01_World_Logic_Day 国連ユネスコで制定されているユネスコ世界論理デー(UNESCO World Logic Day) を記念して、毎年小会合を開催し、論理の研究・教育に関して検討する機会としております。参加自由・途中入退室自由です。今年は下の三人の先生がたをゲストとしてお迎えし、記念スピーチをお願いしています。要事前登録：（*直前まで*受け付けます） UNESCO 世界論理デー記念ミーチングオンライン用登録フォーム UNESCO WORLD LOGIC DAY meeting (Online Registration Form https://docs.google.com/forms/d/e/1FAIpQLSc_kcwS199Rms5eJKqCdXz40EnjntCyXQc… *プログラ（1月14日）* 18;00 Opening 紹介：世界論理デーとは、 UNESCO事務局長宣言、国際哲学人文学会議(CIPSH)会長声明、国際学術会議(ISC)会長声明など 18:10 記念スピーチ菊池誠 (神戸大学)「数学と論理学の不思議な関係」 18:30 記念スピーチ岡本賢吾（東京都立大学）「論理と哲学―Wittgensteinを一例として」 18;50 記念スピーチ村上祐子（立教大学）「TBA」 19:10記念スピーチの話題・提言や昨年の世界論理デーでなされた論理教育に関する提案などに基づく自由討論 19:40 Conclusive Remarks 補足的討論時間 20;00 ミーティング終了（コーディネータ及びホスト岡田光弘・細川雄一郎・峯島宏次）オーガナイザ- グループ Organizers Group 阿部裕彦（無所属）Hirohito Abe 五十嵐涼介（京都大学） Ryosuke Igarashi (Kyoto University) 岡田光弘（慶應義塾大学） Mitsuhiro Okada (Keio University) 岡本賢吾（東京都立大学） Kengo Okamoto (Tokyo Metropolitan University) 小関健太郎 (東京大学) Kentaro Ozeki (University of Tokyo) 細川雄一郎（群馬県立女子大学）三上温湯 (東京都立大学) Onyu Mikami (Tokyo Metropolitan University) 峯島宏次（慶應義塾大学） Koji Mineshima (Keio University) (五十音順) 問い合わせ先：慶應義塾大学文学部哲学専攻内ユネスコ世界論理デー記念ミーティング事務局 logic[AT]abelard.flet,keio.ac.jp

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml January 2025