Logic-ml August 2022

5 participants
5 discussions

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 15 Mar '23

15 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

【論文/発表募集】第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
by Kazutaka Matsuda 31 Aug '22

31 Aug '22

（重複して受けとられました方はご容赦ください）皆様，東北大学の松田と申します．来年（2023）の3/6〜8に名古屋大学にて開催予定の PPL 2023の論文/発表募集をお御送りいたします． PPL 2023では，理論・実装を問わず，プログラミングおよびプログラミング言語に関する発表・論文を広く募集しております．なお，今年の PPL 2023 は通常の研究会方式でのハイブリッド開催を予定しております．どうぞ発表・投稿をご検討いただけますと幸いです． PPL 2023 プログラム共同委員長（ppl2023-pc-chair(a)jssst-ppl.org) 松田一孝（東北大学）小宮常康（電気通信大学） ================================================== 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2023年3月6日（月）-- 3月8日（水）会場：名古屋大学およびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2023/ ** 重要な日程 ** カテゴリ1：発表申込締切 2022年12月23日（金）17:00 (JST) 論文提出締切 2023年 1月 6日（金）17:00 (JST) 採否通知　　 2023年 1月30日（月）カテゴリ2：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火）カテゴリ3：発表申込締切 2023年 2月 1日（水）17:00 (JST) 採否通知　　 2023年 2月 3日（金）カテゴリ4：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火） ** PPL 2023 の開催形式について ** PPL 2023 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．以前の PPL は合宿形式で開催しておりましたが，COVID-19 の影響により，当初の計画こそ PPL 2020，PPL 2021 および PPL 2022 は対面開催でしたが，結果として PPL 2020は現地開催を緊急中止することになり，PPL 2021 および PPL 2022 は完全オンライン実施となりました．今回の PPL 2023 では，対面形式の開催への最初のステップとして，合宿形式ではなく，通常の研究会形式での開催を採用することとなりました． PPL 2023 では，かつての合宿形式で実現されていたカジュアルかつインフォーマルな意見交換や交流の場に近付けるためにも，発表者は原則対面でご参加いただくことを考えております．しかしながら，COVID-19 状況下でより広範な方々に研究の議論にご参加いただくためにも，オンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．なお，ポスター・デモ発表のセッションにつきましては，全てのポスター・デモ発表について対面での発表を基本とすることを計画しております．なお，状況によっては完全オンラインでの開催へ移行する可能性もあります．開催形式の変更に関する判断は，少なくともワークショップ開催の 2ヶ月前までを目処に行う予定です．開催に関する詳しい動向は随時 Web ページ等で公開します． ** PPL 2023 とは ** PPL 2023 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** プログラム委員会 ** プログラム共同委員長　小宮常康（電気通信大学）プログラム共同委員長　松田一孝（東北大学）安部達也　（千葉工業大学）荒堀喜貴　（東京工業大学）上里友弥　（ドワンゴ）紙名哲生　（大分大学）川端英之　（広島市立大学）佐々木晃　（法政大学）篠埜功　　（芝浦工業大学）佐藤亮介　（東京大学）佐藤哲也　（東京工業大学）関山太朗　（国立情報学研究所）滝本宗宏　（東京理科大学）千代英一郎（成蹊大学）対馬かなえ（国立情報学研究所）中田景子　（SAP Innovation Center Potsdam）西田直樹　（名古屋大学）星野直彦　（崇城大学）堀江倫大　（日本IBM）松崎公紀　（高知工科大学）水島宏太　（オプト）南出靖彦　（東京工業大学）山田晃久　（産業技術総合研究所）結縁祥治　（名古屋大学）横山哲郎　（南山大学）横山大作　（明治大学） ** 組織委員会 ** 組織委員長　　　　　　　今井敬吾（岐阜大学）組織副委員長　　　　　　新屋良磨（秋田大学）財務担当　　　　　　　　森口草介（東京工業大学）財務副担当　　　　　　　和賀正樹（京都大学）会場担当　　　　　　　　橋本健二（名古屋大学）会場副担当　　　　　　　謝　昊辰（Kotoi-Xie Consultancy, Inc.）会場副担当　　　　　　　叢　悠悠（東京工業大学）渉外担当　　　　　　　　宋　剛秀（神戸大学）プログラム共同委員長　　松田一孝（東北大学）プログラム共同委員長　　小宮常康（電気通信大学）前プログラム共同委員長　稲葉一浩（Google）前プログラム共同委員長　江本健斗（九州工業大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2023-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2023-pc-chair(a)jssst-ppl.org

1 0

SLACS2022 (9月20日～21日) 講演・参加募集のお知らせ
by Daisuke Kimura 29 Aug '22

29 Aug '22

皆様， (複数のメイリングリストに送信しています。重複して受信の際はご容赦ください) 東邦大学の木村です． SLACS2022の参加案内と講演募集を以下の通り行います．ぜひご検討をよろしくお願いいたします．第39回記号論理と情報科学研究集会 (SLACS2022) https://sites.google.com/view/slacs2022/ 開催期間：2022年9月20日(火)から2022年9月21日(水) 開催形式：対面(東邦大学)＋オンライン(Zoom) 参加費：無料連絡先：kmr(a)is.sci.toho-u.ac.jp 参加および講演申込方法：講演・聴講を希望される方は、以下のフォームからお申し込みください． https://docs.google.com/forms/d/e/1FAIpQLSeEy-tjXThGZEoLZvfSklt9tqSLOcJFGm3… 参加形態は聴講・講演は共に現地および Zoom のお好きな方を選択できます．参加申し込みは開催前日まで受け付けます．プログラム作成の都合上，講演の申し込みは以下までにお願い致します ** 2022年9月12日(月) ** (タイトルや概要は後日変更もできますので，講演の意思があることだけでもお伝えいただければ幸いです)． SLACS2022 幹事木村大輔 (東邦大学) ======================================================= SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2021（Zoom） https://sites.google.com/view/slacs2021/ SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html

1 0

18th TPP meeting (TPP 2022) - call for participation
by Takafumi Saikawa 23 Aug '22

23 Aug '22

Dear all, We are happy to announce that the 18th TPP meeting will take place in Eiheiji-cho, Fukui on September 29 - October 1st, 2022. The meeting is hybrid, so you can attend it online. Note that the meeting is co-located with the 57th TRS meeting. If you will join the meeting in-person, please quickly notify about that by an email to the organizers ** by September 5th. ** Online presentations can be registered until September 22. For the details, please visit the event page: https://t6s.github.io/tpp2022/ Your participation is most welcome! Best regards, Mizuhito Ovawa (JAIST), mizuhito(a)gmail.com Takafumi Saikawa (Nagoya University), tscompor(a)gmail.com 皆様第18回 TPP ミーティングの参加募集の案内をお送り致します。ミーティングは福井県永平寺町にて開催されますが、オンラインでの参加も可能となっております。また第57回 TRS meeting の後に連続開催されます。皆様、奮ってご参加下さい。現地参加ご希望の方は、**９月５日までに** 幹事へメールにてご一報ください。オンライン発表の申し込み期限は９月２２日です。詳細についてはイベントページをご覧ください： https://t6s.github.io/tpp2022/ 小川瑞史 (JAIST), mizuhito(a)gmail.com 才川隆文 (名古屋大学), tscompor(a)gmail.com

1 0

PPL サマースクール 2022「計算効果入門 ― プログラミングから理論まで ―」のご案内
by Hiroshi UNNO 01 Aug '22

01 Aug '22

# 重複して受けとられた方はご容赦ください皆様、筑波大の海野と申します。日本ソフトウェア科学会第39回大会 (https://jssst2022.wordpress.com/) 併設のイベントとして 8月30日（火）にオンラインで開催予定のPPLサマースクール2022「計算効果入門 ― プログラミングから理論まで ―」についてご案内いたします。参加申し込みサイトはまだ準備中ですが、近日中に下記リンク先で公開予定です。 https://jssst2022.wordpress.com/participation/ 一流の講師陣による講義を、参加費無料で受けられるサマースクールです。多数のご参加をお待ちしております。 --- http://ppl.jssst.or.jp/index.php?ss2022 PPLサマースクール2022 「計算効果入門 ― プログラミングから理論まで ―」2022年8月30日(火) 10時-17時（予定）オンライン開催 # 概要プログラムは実行中に入出力、記憶装置のアクセス、乱数のサンプル、ジャンプなど、単なる値の計算として捉えられない様々な動作をする。それらは総称して計算効果(computational effect)と呼ばれる。多様な計算効果を統一的に扱うべく、80年代後半にMoggiはモナドによるモデルを提唱した。このモデルはプログラムの挙動の理解に進歩をもたらした他、新しいプログラミング機構の導入にもつながっている。Haskellのモナド、call/ccなどの制御演算子、そして近年試験的に実装されている代数的エフェクトとエフェクトハンドラはその例である。本サマースクールでは情報系の学部４年生・大学院生および大学・企業の研究者を主な対象とし、3名の講師が計算効果のプログラミングから理論まで、様々な話題を紹介する。受講にあたっては型付きラムダ計算、論理学、集合・関数に関する学部程度の知識を前提とする。 # 講師紹介（発表順）勝股審也国立情報学研究所・特任准教授およびERATO蓮尾メタ数理システムデザインプロジェクト・研究総括補佐。2005年エジンバラ大学 Ph. D。研究テーマはプログラミング言語とシステムの意味論、およびプログラム検証の数理的基盤を研究している。叢悠悠東京工業大学情報理工学院数理・計算科学系助教。2019年お茶の水女子大学大学院博士後期課程修了。限定継続の型システムや、制御演算子・代数的効果の関係に興味を持つ。関山太朗国立情報学研究所アーキテクチャ科学研究系・助教。2016年京都大学 Ph.D。プログラミング言語理の型システムやプログラム検証に関する研究に従事。 # プログラム（予定） 10:00 - 10:30 計算効果の導入 10:30 - 12:00 限定継続を使った計算効果プログラミング 12:00 - 13:30 昼休み 13:30 - 15:00 計算効果の推論技術 15:00 - 15:30 休憩 15:30 - 17:00 計算効果の数理モデル「計算効果の導入」（講師：勝股）計算効果とはプログラムの実行時に引き起こされる多様な振る舞いの総称であり、入出力、非決定的選択、例外処理、継続の扱い、確率的選択など多岐にわたる。このセッションでは計算効果がどのように定式化され、理論的・応用的に発展してきたかを概観する。「限定継続を使った計算効果プログラミング」（講師：叢）限定継続はさまざまな計算効果の表現に有用な概念である。本講義では、限定継続の基本的な考え方を説明し、代表的な応用例を紹介する。また、限定継続を扱うことのできる言語を用いたプログラミング演習も行う予定である。「計算効果の推論技術」（講師：関山）プログラムを正しく理解・検証するためにはプログラムがどのような計算効果を引き起こすかを推論することが重要となる。本講義では(型システムを中心に)計算効果のためのプログラム推論技術について紹介する。「計算効果の数理モデル」（講師：勝股） Moggiは80年代後半に計算効果の数理的モデルとして圏論由来の構造であるモナドを使うことを提唱した。このセッションでは代数の観点からモナドを導入する。そしてモナドを用いたプログラミング言語の表示的意味論を紹介する。

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2022