Kisoron-ml

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

599 discussions

7/30(金)　組合せ論・モデル理論セミナーのご案内
by Hirotaka Kikyo 10 Jul '21

10 Jul '21

各位神戸大学の桔梗です. 熊本大学の佐竹先生のご尽力により, 2019年度まで開催しておりました「組合せ論・モデル理論セミナー」を再開する運びとなりましたので, ご連絡申し上げます. 前回より長く時間が空いてしまい, 大変申し訳ございませんでした. 次回のセミナーについてご案内申し上げます. --- 日時: 2021年7月30日 (金) 16:00-17:30 講演者: Hyungrok Jo 氏 (筑波大学) タイトル: On Ramanujan graphs in the era of Post-Quantum Cryptography 開催場所: オンライン (ZOOM) アブストラクトはHPにてご覧いただけます. https://sites.google.com/site/kcmseminar/7thseminar --- 参加をご希望の方は, *7/28 (水)*までに下記のGoogle formよりご登録のほどよろしくお願い申し上げます. https://forms.gle/SNXc6TZkkTtPdwbaA 参加方法等に関しましては, セミナー当日までにご登録いただいた皆様にお送り致します. 皆様のご参加を心よりお待ち申し上げております. 世話人: 岡部峻典桔梗宏孝 (神戸大学) 佐竹翔平 (熊本大学) 澤正憲 (神戸大学) --

1 0

モデル理論夏の学校
by 池田宏一郎 29 Jun '21

29 Jun '21

kisoron-mlのみなさま法政の池田です．今年の「モデル理論夏の学校」は以下のように行う予定です．詳細は８月上旬ころにあらためてお伝えいたします．皆様の参加をお待ちしております．池田宏一郎（法政大学） ------------------------------- 日時：2021年9月5日(日)午後～7日(火)午前開催形式：ハイブリッド形式（対面＋Zoom）会場：八王子セミナーハウス（各部屋１名で使用．各部屋シャワー付き） HP：https://sites.google.com/view/modeltheory2021/%E3%83%9B%E3%83%BC%E3%83%A0 世話人：池田宏一郎（法政大学，ikeda(at)hosei.ac.jp）補足：感染状況により，全面オンライン開催に切り替える可能性もあります．

1 0

June 19th Symposium “Fairness, Integrity andTransparency of Formal Systems:Challenges for a Society IncreasinglyDominated by Technology”
by Mitsu Okada 16 Jun '21

16 Jun '21

Symposium “Fairness, Integrity and Transparency of Formal Systems: Challenges for a Society Increasingly Dominated by Technology” June 19th (Sat.) 14:30-18:00 JST 6月19日(土) June 19th, 2021, Zoom Free pre-registration open now 登録受付中（無料） (重複した受信になりましたらお許しください。）本会議は論理・科学・技術哲学系研究者の会議ですが、Algorithms の説明可能性、公平性の問題を、計算や証明の観点を含む、諸観点から議論します。本メールリストのsubscribersの一部の方に関心をお持ちの方がいらっしゃると思いますので、投稿させていただきます。主要講演は、証明とアルゴリズムと説明性、公平性公理と投票アルゴリズム、説明性の価値、などに関わります。The topics of the main invited talks include expnainability with proofs and algorithms, some issues on voting algorithms with a fairness property and their computation, values of explainability in automatic authority systems, and others. Gilles Dowek (INRIA、ENS-Saclay) “Explanation: from ethics to logic” Edith Elkind (University of Oxford) “Justified Representation in Approval-Based Committee Voting” Seth Lazar (Australian National University) “Legitimacy, Authority, and the Political Value of Explanations” プログラム、講演アブストラクトは下にあります。基本情報ページ (Information Pages in English) https://abelard.flet.keio.ac.jp/seminar/symposium-202106-en/ [要事前登録 Pre-registration required] 事前登録方法：日本語ポスターの案内に従ってStreaming用登録ができます。DLMPSTページ側の案内に従って英語ポスターのコードを用いると ZoomWebinar登録できます。 Use the code on the poster in Japanese of JAPS for streaming. One could use the code on the poster in English posted on the DLMPST page for Zoom. 科学基礎論学会ポスター (JAPS Poster in Japanese) http://phsc.jp/dat/20210514_poster.pdf DLMPST(国際科学基礎論学会連合)/IUHPST)Symposium Information Page http://dlmpst.org/pages/activities/japs-dlmpst-symposium-2021.php DLMPST > Activities > 2021 Contact: 岡田光弘 Mitsuhiro Okada Coordinator and Co-organizer of the Symposium Keio University Mitsu[ AT ]abelard.flet.keio.ac.jp

1 0

日本数学会秋季総合分科会はオンライン開催
by Masaru KADA 19 May '21

19 May '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。日本数学会2021年度秋季総合分科会はオンライン開催となることが、 5月15日付の理事長文書でアナウンスされました。 ↓2021年度秋季総合分科会のオンライン開催について https://www.mathsoc.jp/activity/meeting/chiba21sept/news20210515.html 5月28日から一般講演の申込が始まる予定です。 2021年度年会のオンライン開催と同様に、一般講演の形式としては -- アブストラクト提出をもって講演成立 -- 講演スライドのアップロードも可能（講演オプション1） -- Zoomウェビナーによる講演のオンライン配信も可能（講演オプション2）となります。みなさまのご理解とご協力をお願い申し上げます。嘉田勝 -- -------- Masaru KADA （嘉田勝） kada.mbg.nifty.com(a)gmail.com --------

1 0

オンライン講義のご案内: モデル理論:ソフトウェアの代数的仕様記述と形式検証
by Yoshihito Tanaka 12 May '21

12 May '21

九州産業大学の田中義人です．九州大学の溝口佳寛先生の代理で投稿いたします．九州大学により，オンライン講義「モデル理論:ソフトウェアの代数的仕様記述と形式検証」が以下の要領で開催されます：期間：5月13日-7月29日日時：毎週木曜日16:00-18:00 詳細は添付のポスターをご参照ください（2行目の講義開始日は5月13日の誤りです）． ZoomのURL，ID等は，以下にお問い合わせください： Daniel Gaina：daniel(a)imi.kyushu-u.ac.jp 溝口佳寛：ym(a)imi.kyushu-u.ac.jp ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

（周知）科研費公募、内定時期の前倒し
by Masaru KADA 14 Apr '21

14 Apr '21

kisoron-ml のみなさま：分科会連絡責任評議員嘉田です。すでにご存じかと思いますが、科研費の公募時期が従来より1〜2ヶ月早まります。このことについて、日本数学会から周知のメッセージを受け取りましたので、お知らせします。嘉田勝（以下、日本数学会理事長からのメッセージ） ==== 日本数学会分科会連絡責任評議員　各位特別セッション「無限可積分系」世話人　様 ※本メールはBccでお送りしております。平素より日本数学会の運営ではご協力を賜り感謝申し上げます。教育研究資金問題検討委員会より下記の情報が届きました。【科研費】令和4年度からの公募、申請、内定時期の前倒しについて例年９月に公募が行われていた基盤研究等について、公募時期が１〜２ヶ月早まります。メーリングリストなどを通して分科会会員へ周知下さいますようよろしくお願い致します。詳しくは下記の日本学術振興会ホームページに掲載されております。令和４(2022)年度の科学研究費助成事業の公募、内定時期の前倒し等について https://www.jsps.go.jp/j-grantsinaid/06_jsps_info/g_210408/index.html 一般社団法人　日本数学会理事長　寺杣友秀 ==== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Fwd: 会報181号の原稿依頼
by Masaru KADA 17 Mar '21

17 Mar '21

kisoron-ml のみなさま：分科会連絡責任評議員嘉田勝（大阪府立大学）です。日本数学会理事長名で、会報181号の原稿依頼を受けています。会報181号（「数学通信」26巻1号）紙上で【全会員向けに】アナウンスすべき事項がありましたら、嘉田にご一報ください。なお、「数学通信」誌の「分科会便り」につきましては、別途、掲載すべき情報のとりまとめを行いますので、その際はご協力のほどお願い申し上げます。嘉田勝 -------- Forwarded Message -------- Subject: 会報181号の原稿依頼 Date: Wed, 17 Mar 2021 13:11:44 +0900 From: 「数学通信」編集部 <msj-tushin(a)mathsoc.jp> To: msj-tushin(a)mathsoc.jp ご関係の先生各位　(bccでお送りしています）いつも大変お世話になっております。会報１８１号（「数学通信」26巻1号）紙上で全会員にお知らせする事項がございましたら、ご投稿をお願いいたします。締切：２０２１年４月２日（金）宛先：msj-tushin(a)mathsoc.jp 詳細は添付のPDFファイルをご覧ください。どうぞ宜しくお願い申し上げます。日本数学会「数学通信」編集部

1 0

数学基礎論および歴史分科会総会（終了しました）
by Masaru KADA 15 Mar '21

15 Mar '21

kisoron-ml のみなさま：分科会連絡責任評議員嘉田勝（大阪府立大学）です。日本数学会年会1日目 3月15日の 11:45 から 11:55 頃まで、数学基礎論および歴史分科会総会を行いました。ご参加くださったみなさま、ありがとうございました。総会での議事を反映して補足したスライド PDF ファイルを分科会ウェブページに置きましたので、ご確認ください。 ↓分科会ウェブページ http://mathsoc.jp/section/logic_and_history/ 今後ともよろしくお願いします。嘉田勝 -- -------- Masaru KADA （嘉田勝） kada.mbg.nifty.com(a)gmail.com --------

1 0

数学基礎論および歴史分科会総会のお知らせ（Zoom ミーティングで実施）
by Masaru KADA 15 Mar '21

15 Mar '21

数学基礎論および歴史分科会のみなさま：連絡責任評議員嘉田勝（大阪府立大学）です。ご連絡が遅くなりましたが、2021日本数学会年会の1日目（3月15日月曜日）の 11:45 から（関隆宏先生の特別講演終了後）15分間の予定で、数学基礎論および歴史分科会総会を、Zoom ミーティングで行います。みなさまのご参加をお願い申し上げます。総会のための Zoom ミーティング招待情報は、下記のとおりです。 ======== 嘉田勝さんがあなたを予約されたZoomミーティングに招待しています。トピック: 【分科会総会】数学基礎論および歴史分科会総会 2021日本数学会年会時間: 2021年3月15日 11:45 AM 大阪、札幌、東京 Zoomミーティングに参加する https://zoom.us/j/95058177697 ミーティングID: 950 5817 7697 パスコード: ******（数字6桁） ======== パスコードの部分を伏せ字にしてありますが、パスコードは数字6桁で【 "00" に続けて、嘉田勝の日本数学会会員番号4桁】に設定してあります。パスコードの数字6桁の情報を含めた招待情報は、当日、【3月15日 09:30--10:35 分科会一般講演ウェビナーのチャット】【3月15日 10:45--11:45 特別講演（関隆宏先生）ウェビナーのチャット】にて、あらためてご案内申し上げます。 2021年3月12日嘉田勝（連絡責任評議員） -- -------- Masaru KADA （嘉田勝） kada.mbg.nifty.com(a)gmail.com --------

1 1

日本数学会年会のオンライン講演配信（ウェビナー）参加方法
by Masaru KADA 15 Mar '21

15 Mar '21

みなさま：数学基礎論および歴史分科会評議員嘉田です。本日と明日の2日間、数学基礎論および歴史分科会の Zoom ウェビナーを用いたオンラインライブ配信が行われます。ライブ配信の視聴方法がわかりにくいかもしれませんので、ご案内します。まず、年会のウェブページ内「聴講者用マニュアル」をご一読ください。 https://www.mathsoc.jp/activity/meeting/keio21mar/manual/audience.html 次に、箇条書き項目2の「オンライン講演会場」の URL に、さらに次のページの中の「ライブ配信・録画配信の視聴に関する情報」のリンクに進んでください。この際、日本数学会サーバーへのログイン情報が必要です。（直接リンク→ https://app.mathsoc.jp/meeting/keio21mar/video/member/ ）「Googleサイトライブ配信 (ウェビナー視聴URL)」のリンクに進むと、画面上方が濃灰色の「2021年度年会慶應義塾大学ウェビナー視聴URL」のページが表示されます。右上に「各分科会」のプルダウンメニューがありますので、メニューから「数学基礎論および歴史」を選んでください。すると、時間帯別の一般講演及び特別講演（関隆宏先生）のウェビナーへのリンクが表示されます。みなさまのご参加をお待ち申し上げます。嘉田勝 -- -------- Masaru KADA （嘉田勝） kada.mbg.nifty.com(a)gmail.com --------

1 0

← Newer
1
...
14
15
16
17
18
19
20
...
60
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml