Logic-ml

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

1792 discussions

第59回MLG数理論理学研究集会(2/21--23)
by Hitoshi Omori 12 Feb '25

12 Feb '25

みなさま (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。直前の連絡になってしまいましたが、第59回MLG数理論理学研究集会のプログラムが確定しましたのでご案内申し上げます。（いくつかの講演題目はなお未定ですが、順次更新する予定です。） https://sites.google.com/view/mlg59/home/program 参加は無料ですので、お気軽にお越しください。なお、二日目・三日目の昼食及び懇親会への参加を希望される方は、予約などの都合上明後日14日までに下のフォームにて記入していただけると助かります。 https://forms.gle/J74vqLBCRmEa44w3A また、案内しておりました24日のワークショップの詳細についてはこちらをご覧ください。 https://sites.google.com/view/llal-at-gsis/meetings/llalgsis-5 どうぞよろしくお願いいたします。大森仁

1 0

因果と科学的説明に関するシンポジウムのお知らせ
by YOKOYAMA Keita 11 Feb '25

11 Feb '25

みなさま，東北大学の横山です．東北大学AIMRの水藤先生に代わりまして以下の研究集会のご案内をさせていただきます．横山啓太 ****************************************** 東北大学AIMRの水藤です。下記のように、因果推論と科学的説明に研究会を開催します。ご興味をお持ちの方のご参加をお待ちしています。シンポジウム「因果とは何かー哲学・数学・物理から考える II」日時：2025年02月18日(火) 10:30 – 17:30 会場：東北大学片平キャンパス知の館（Webinar配信あり） URL：https://www.tfc.tohoku.ac.jp/other-activity/7134_jp.html 参加登録：https://forms.gle/shqRb42KrhiCgUQZ7 昨年度実施した同様の企画の第2回として、科学哲学や認知心理学の立場から「因果に対する説明」や「科学的説明」に関する議論を深めようとしています。データ間の相関関係だけでなく因果関係を抽出することでメカニズムの理解や問題の解決と共に、AIの説明可能性の向上につなげることを目指しています。 ++++++++++ プログラム ++++++++++ 10:30-10:40　開会挨拶・取組紹介 10:40-11:40　説明可能AIを用いた高信頼ベイジアンネットワークの構築　張山昌論（東北大学・情報科学研究科・教授） 11:50-12:30　説明可能性向上のための因果発見インターフェースの試み　大久保茜（東京理科大学・理学研究科・修士課程） 14:00-15:00　科学的に説明するとはどういうことかー法則・因果・適切性判断　井頭昌彦（一橋大学・社会学研究科・教授） 15:15-16:15　心理学における因果推論と説明　清水裕士（関西学院大学・社会学部・教授） 16:45-17:30　講演者とコメンテータによる総合討論　コメンテータ：　金杉武司（國學院大學・文学部・教授）　樋口博之（富士通株式会社・コンピューティング研究所・シニアリサーチマネージャー／東北大学・数理科学共創社会センター・特任教授） 18:00-20:00　懇親会主催：東北大学知の創出センター共催：富士通×東北大学発見知能共創研究所協力：東北大学数理科学共創社会センターお問い合わせ：dil_office(a)grp.tohoku.ac.jp どうぞよろしくお願いいたします。東北大学AIMR 水藤　寛

1 0

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 12 Jan '25

12 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

第152回プログラミング研究発表会参加募集
by Sato, Ryosuke 25 Dec '24

25 Dec '24

皆様，東京農工大学の佐藤です．第152回プログラミング研究発表会を 1/15（水）～1/16（木）に秋田とオンラインのハイブリッド開催します．参加費は無料となっております．多くの皆様のご参加をお待ちしています． ======= 情報処理学会第152回プログラミング研究発表会（PRO2024-4）参加募集 https://sigpro.ipsj.or.jp/pro2024-4/ 日程　：2025年1月15日(水) ～ 1月16日(木) 会場　：秋田拠点センターALVE（https://www.alve.jp/）　　　　およびオンラインのハイブリッド開催参加費：無料プログラム：https://sigpro.ipsj.or.jp/pro2024-4/program/ ＊初日（1月15日）の発表会終了後，現地での懇親会を予定しております．下記の参加申込ページより1/8（水）までにお申し込みください． https://forms.gle/75PgoModww8eABwx8 ＊参加方法：参加申込を頂いた方に Zoom ミーティングへのアクセス方法等をご案内いたします．参加申込は下記のページからお願いします．発表会当日も受け付けております． https://www.ipsj.or.jp/kenkyukai/event/pro152.html ======= 1月15日(水) ＊セッション1（9:30-10:15） 2024-4-(1)：9:30-10:15 「初心者プログラミング教育のための汎用的な構文エラーメッセージ変更手法」中井央（筑波大学図書館情報メディア系） ○舞田純一（筑波大学図書館情報メディア系）中神悠太（筑波大学理工情報生命学術院システム情報工学研究群）＊セッション2（10:30-11:45） 2024-4-(2)：10:30-11:15 「Cyclic-proof systems for symbolic heaps require cut formulas outside initial signatures」 ○Kenji Saotome (Graduate School of Informatics, Nagoya University), Koji Nakazawa (Graduate School of Informatics, Nagoya University) 2024-4-(3)：11:15-11:45（短い発表）「階層的計算省略に基づく耐障害並列実行モデル向け仮想環境を考慮した冗長性削減技法の検討」 ○吉松陸歩（九州工業大学大学院情報工学府）八杉昌宏（九州工業大学大学院情報工学研究院）光来健一（九州工業大学大学院情報工学研究院）平石拓（京都橘大学工学部情報工学科）江本健斗（九州工業大学大学院情報工学研究院）＊セッション3（14:00-15:15） 2024-4-(4)：14:00-14:45 「MAYUZIN: Runtime Generative and Analytical Metaprogramming」 ○Ya Mone Zin (Master Program in Computer Science, University of Tsukuba) Yukiyoshi Kameyama (Department of Computer Science, University of Tsukuba) 2024-4-(5)：14:45-15:15（短い発表）「コマンドスクリプトの部分評価によるMakefileの自動生成」 ○武田淳（新潟大学）上野雄大（新潟大学）＊セッション4（15:30-16:15） 2024-4-(6)：15:30-16:15 「ニューロ記号処理に基づく帰納論理プログラミングの高速化」 ○中澤朋（東京理科大学情報計算科学専攻）大河原萌子（東京理科大学情報計算科学専攻）熊澤努（山陽小野田市立山口東京理科大学数理情報科学科，株式会社SRA）神林靖（山陽小野田市立山口東京理科大学数理情報科学科）滝本宗宏（東京理科大学情報計算科学専攻）＊懇親会 18:30-20:00（予定） 1月16日(木) ＊セッション5（10:30-12:00） 2024-4-(7)：10:30-11:15 「Ambient Calculus による域内トラック輸送シミュレータ」加藤暢（近畿大学大学院総合理工学研究科） ○丸山敦也（近畿大学大学院総合理工学研究科） 2024-4-(8)：11:15-12:00 「Dynamic Version Checking for Gradual Updating」 ○Satsuki Kasuya (Institute of Science Tokyo) Yudai Tanabe (Institute of Science Tokyo) Hidehiko Masuhara (Institute of Science Tokyo) ＊セッション6（14:00-15:15） 2024-4-(9)：14:00-14:45 「SelfcheckGPTによるコード生成性能の調査」 ○伊東和香（日本女子大学大学院）小原有以（日本女子大学大学院）佐藤美唯（日本女子大学大学院）倉光君郎（日本女子大学大学院） 2024-4-(10)：14:45-15:15（短い発表）「改変型メンバーシップ推論攻撃を用いた\\コードコーパスのデータ汚染の検出法」 ○宮田侑佳（日本女子大学）小柳響子（日本女子大学大学院）伊東和香（日本女子大学大学院）佐藤美唯（日本女子大学大学院）倉光君郎（日本女子大学）＊セッション7（15:30-16:00） 2024-4-(11)：15:30-16:00 「Implementation of Hybrid CPU-GPU Programs in a Backtracking-based Load Balancing Framework」 ○Jing Xu (Graduate School of Informatics, Kyoto University) Tasuku Hiraishi (Department of Information and Computer Science, Faculty of Engineering, Kyoto Tachibana University) Zhengyang Bai (RIKEN Center for Computational Science, RIKEN) Keiichiro Fukazawa (Academic Center for Computing and Media Studies, Kyoto University) Masahiro Yasugi (Department of Computer Science and Networks, Kyushu Institute of Technology)

1 0

【投稿受付中】第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 論文/発表募集
by Soichiro Hidaka 16 Dec '24

16 Dec '24

皆様， # 重複してお受取になった場合はご容赦ください．法政大学の日高と申します．カテゴリ1（国内外未発表論文）の発表申込締切（12/23(月)17:00）が迫って参りましたので改めて CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．ぜひご投稿をご検討ください． PPL 2025 プログラム共同委員長（ppl2025-pc-chairs[at]easychair.org）塚田武志　（千葉大学）日高宗一郎（法政大学） ====================================================================== 第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2025年3月5日（水）-- 3月7日（金）会場：ホテル明山荘 URL ：https://jssst-ppl.org/workshop/2025/ ** 重要な日程 ** カテゴリ1：発表申込締切 2024年12月23日（月）17:00 (JST) 論文提出締切 2025年 1月 6日（月）17:00 (JST) 採否通知　　 2025年 1月29日（水）最終原稿締切 2025年 2月17日（月）カテゴリ2：発表申込締切 2025年 1月20日（月）17:00 (JST) 採否通知　　 2025年 1月30日（木）カテゴリ3：発表申込締切 2025年 1月31日（金）17:00 (JST) 採否通知　　 2025年 2月 3日（月）カテゴリ4：発表申込締切 2025年 1月20日（月）17:00 (JST) 採否通知　　 2025年 1月30日（木） ** PPL 2025 の開催形式について ** PPL 2025 は合宿形式での対面での開催を予定しています．PPL 2023 では大学におけるハイブリッド開催，PPL 2024 ではコンベンションセンターによるハイブリッド開催と，COVID-19 状況下において PPL は様々な開催方法が試みられてきました．PPL 2025 では，会場確保を含めた様々な要因を考慮した結果，過去の合宿形式に近い形態での開催を試みることにしました．対面での開催とするのは，PPL 2025 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者にも対面でご参加いただくことを考えております．ポスター・デモを除くセッションについてはオンラインへの配信も実施予定ですが，必ずしも配信を約束するものではなく，機材等の事情により配信が中止されたり断続的であったりする可能性があることにご留意ください． ** PPL 2025 とは ** PPL 2025 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 招待講演 ** PPL 2025 では，以下のお二方の招待講演を予定しております．　Jeehoon Kang 氏（https://cp.kaist.ac.kr/jeehoon.kang/）　伊藤健洋氏（http://www.dais.is.tohoku.ac.jp/take/index-j.html） ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿することが認められる場合があります．投稿・発表申込要領の注記にしたがって申告してください．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2 の全発表の中から最も聴衆の支持を集めた者に発表賞を，それに準ずる支持を集めた学生に学生発表賞を授与する予定です．また，カテゴリ3 の全発表の中から最も聴衆の支持を集めた者にポスター賞を，それに準ずる支持を集めた学生に学生ポスター賞を授与する予定です．（ただし発表賞・ポスター賞は既受賞者を除く） ** 投稿・発表申込要領 ** 以下のURLから申し込んでください．（カテゴリ１・２・４）　https://easychair.org/conferences/?conf=ppl2025 （カテゴリ３） https://forms.gle/NgpKfE3std1cmsrk9 カテゴリ１・２・４の申込にあたっては EasyChair のアカウントが必要となります．申し込み時に Easychair で入力する氏名・所属の情報は，プログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願いいたします．最新の情報は上記ウェブページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは 2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 　著者名，所属，論文タイトル，論文概要（日本語 300～400字程度，もしくは　英語 200語程度），キーワード（3つ以上）を提出してください．論文提出: 　本文 10～15ページ程度（参考文献を除く）の論文（日本語もしくは英語，　PDF 形式．PPL 2025 ウェブページにて指定のスタイルファイルを利用）を　提出してください．最大ページ数を超える付録は投稿版に入れることができ　ます（最終原稿においては削除いただく可能性があります）．著者の web 　page 等においてソースコードや実験データなどを載せて引用しても構いませ　ん．最大ページ数を超える付録や web page 等の情報については査読におい　て考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国際既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上），原論文の出典（発表会議名，掲載済／予定の別等を含む）と併せて提出してください．また，その他プログラム委員会への連絡事項（PPL で発表することに関しての懸念，注意点，事情，要望等）があれば任意で提出してください．カテゴリ3（ポスター・デモ発表） ----------------------------- 著者名，所属，発表タイトル，発表概要（200～300字程度），キーワード（3 つ以上）を提出してください．発表形態については，投稿フォームで選択してください．カテゴリ4 (サーベイ・チュートリアル) --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF 形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）を提出してください． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません．なお予稿集への掲載は，カテゴリ１は論文，カテゴリ３はタイトル・著者・概要，カテゴリ２および４はタイトル・著者を掲載予定です． ** プログラム委員会 ** プログラム共同委員長　塚田武志（千葉大学）プログラム共同委員長　日高宗一郎（法政大学）荒堀喜貴　　　　（東京科学大学）池渕未来　　　　（京都大学）伊澤侑祐　　　　（東京都立大学）上田和紀　　　　（早稲田大学）鵜川始陽　　　　（東京大学）馬谷誠二　　　　（神奈川大学）紙名哲生　　　　（大分大学）亀山幸義　　　　（筑波大学） Jacques Garrigue （名古屋大学）木村大輔　　　　（東邦大学）内藏理史　　　　（早稲田大学）佐々木晃　　　　（法政大学）宋剛秀　　　　　（神戸大学）田邉裕大　　　　（東京科学大学）千代英一郎　　　（成蹊大学）寺内多智弘　　　（早稲田大学）中野圭介　　　　（東北大学）中丸智貴　　　　（東京大学）西田直樹　　　　（名古屋大学）西田雄気　　　　（東北大学）長谷川真人　　　（京都大学）平石拓　　　　　（京都橘大学）福原淳司　　　　（（株）デンソー）松下祐介　　　　（京都大学）八杉昌宏　　　　（九州工業大学）組織委員長　　　　　　　堀江倫大（日本IBM）組織副委員長　　　　　　木村大輔　（東邦大学）財務担当　　　　　　　　田邉裕大　（東京科学大学）財務副担当　　　　　　　池渕未来　（京都大学）会場担当　　　　　　　　中丸智貴　（東京大学）会場副担当　　　　　　　松田直祐　（湘南工科大学）渉外担当　　　　　　　　叢悠悠　　（東京科学大学）プログラム共同委員長　　日高宗一郎（法政大学）プログラム共同委員長　　塚田武志　（千葉大学）前プログラム共同委員長　安部達也　（千葉工業大学）前プログラム共同委員長　川端英之　（広島市立大学） ** 問い合わせ先 ** ・ワークショップ全般について（メールの件名に [PPL2025] と付けていただけるでしょうか）　組織委員長：horie[at]jp.ibm.com ・発表/プログラムについて　プログラム共同委員長：ppl2025-pc-chairs[at]easychair.org ======================================================= -- 法政大学情報科学部コンピュータ科学科日高宗一郎 hidaka[at]hosei.ac.jp

1 0

第61回 TRS Meeting 参加募集
by Saito Teppei 12 Dec '24

12 Dec '24

皆様こちらは第61回 TRS Meeting の参加募集になります。参加する場合は私 saito(a)jaist.ac.jp に参加フォームを埋めてメールで送ってください。参加登録の締切は 2025 年の1月10日です。齊藤哲平 (JAIST) ====================================================================== CALL FOR PARTICIPATION 61st TRS Meeting March 10 – 12, 2025, Kaga, Ishikawa, Japan https://www.jaist.ac.jp/~s2320025/trs61/ ====================================================================== The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. All participants are requested to present their recent activities, observations, etc. (in English). The subject of the talk, however, is not required to be one's original result; for example, it is perfectly acceptable to explain a paper of your interest or a tool that you're developing. See http://www.jaist.ac.jp/~hirokawa/trs-meeting/ for further information. * Basic information Dates: March 10 (Mon) afternoon - March 12 (Wed) morning, 2025 Venue: Yamashiro-onsen Yunokuni Tensyo (Ishikawa, Japan) https://yunokunitensyo.jp/en/ Accomodation fee: 20,900 JPY per night (shared-room by 4 persons, including breakfast and dinner) + 150 JPY onsen-tax Participation fee: TBA (expected to be approximately 10,000 JPY, depending on the number of participants) * Registration Please send the following registration form to Teppei Saito by email. The deadline is January 10 (Fri), 2025. ---------------------------------------------------------------------- Registration Form of the 61st TRS Meeting Name: Affiliation: Title of talk (*): Duration of talk (*): Requests/comments (on foods, partial participation, etc.): ---------------------------------------------------------------------- The items marked with * can be sent later. ======================================================================

1 0

大阪公立大学数学研究所：2025年度共同利用・共同研究提案および数学研究所員の募集
by Masaru KADA 09 Dec '24

09 Dec '24

logic-ml のみなさま：大阪公立大学嘉田勝です。大阪公立大学数学研究所の2025年度共同利用・共同研究提案募集および、数学研究所員の募集について、ご案内申し上げます。よろしくお願いします。嘉田勝 ***** 大阪公立大学数学研究所は、 2019年4月に文部科学省から共同利用・共同研究拠点に認定されています。現在、2025年度からの認定更新の手続きを進めているところですが、先立って以下の２つの事業の募集を行っていますので、お知らせさせていただきます。 (1) 「2025年度実施の共同利用・共同研究の研究計画提案の募集」締切は2025年1月31日（金）です。原則として大阪公立大学で実施するものが対象ですが、大阪公立大学を拠点とするオンラインまたはハイブリッド開催も可能で、研究集会だけでなく少人数での共同研究や研究討論も歓迎します。詳しくは募集要項・応募書類等をご覧ください： https://www.omu.ac.jp/orp/ocami/joint/application/ https://www.omu.ac.jp/orp/ocami-en/joint/application/ (2) 「2025年度数学研究所員の募集」締切は2025年1月31日（金）です。採用された研究所員が希望する場合には、本数学研究所を研究拠点として e-Rad 登録を行い、科研費等の外部資金に応募することもできます。詳しくは募集要項をご覧ください： https://www.omu.ac.jp/orp/ocami/people/dispatch-program/ https://www.omu.ac.jp/orp/ocami-en/people/dispatch-program/ どうぞよろしくお願いいたします。大阪公立大学数学研究所　所長　田丸博士 ***** -- ==== 嘉田勝 Masaru KADA kada(a)omu.ac.jp ====

1 0

第19回関西集合論セミナのご案内（12月23--24日大阪公立大学中百舌鳥キャンパス）
by Masaru KADA 05 Dec '24

05 Dec '24

logic-ml のみなさま：大阪公立大学嘉田勝です。 12月23日（月）～24日（火）に、大阪公立大学中百舌鳥キャンパスにて、下記要領で「第19回関西集合論セミナ」を開催いたします。大学院生の研究成果発表を中心とする研究交流の会です。学外からのご参加、追加のご講演を歓迎します。よろしくお願いします。嘉田勝 ==== 第19回関西集合論セミナ --- 中百舌鳥ファイナル 2024年12月23日（月）14:00 から 2024年12月24日（火） 18:00 まで大阪公立大学中百舌鳥キャンパス A14棟333講義室（堺市中区学園町1-1）講演者（12月5日現在）（追加のご講演を募集中です）静間荘司（大阪府立大学）清颯真（大阪公立大学）依岡輝幸（静岡大学）薄葉季路（早稲田大学）お問い合わせ：嘉田勝（大阪公立大学） kada(a)omu.ac.jp ↓詳細情報ウェブページ https://sites.google.com/view/kansaiset19nakamozufinal/ ==== -- ==== 嘉田勝 Masaru KADA kada(a)omu.ac.jp ====

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml