fos.kuis.kyoto-u.ac.jp
Sign In
Sign Up
Sign In
Sign Up
Manage this list
×
Keyboard Shortcuts
Thread View
j
: Next unread message
k
: Previous unread message
j a
: Jump to all threads
j l
: Jump to MailingList overview
2024
December
November
October
September
August
July
June
May
April
March
February
January
2023
December
November
October
September
August
July
June
May
April
March
February
January
2022
December
November
October
September
August
July
June
May
April
March
February
January
2021
December
November
October
September
August
July
June
May
April
March
February
January
2020
December
November
October
September
August
July
June
May
April
March
February
January
2019
December
November
October
September
August
July
June
May
April
March
February
January
2018
December
November
October
September
August
July
June
May
April
March
February
January
2017
December
November
October
September
August
July
June
May
April
March
February
January
2016
December
November
October
September
August
July
June
May
April
March
February
January
2015
December
November
October
September
August
July
June
May
April
March
February
January
2014
December
November
October
September
August
July
June
May
April
March
February
January
2013
December
November
October
September
August
July
June
May
April
March
February
January
2012
December
November
October
September
August
July
June
May
April
March
February
January
2011
December
November
October
September
August
July
June
May
April
March
February
January
2010
December
November
October
List overview
Download
Logic-ml
October 2022
----- 2024 -----
December 2024
November 2024
October 2024
September 2024
August 2024
July 2024
June 2024
May 2024
April 2024
March 2024
February 2024
January 2024
----- 2023 -----
December 2023
November 2023
October 2023
September 2023
August 2023
July 2023
June 2023
May 2023
April 2023
March 2023
February 2023
January 2023
----- 2022 -----
December 2022
November 2022
October 2022
September 2022
August 2022
July 2022
June 2022
May 2022
April 2022
March 2022
February 2022
January 2022
----- 2021 -----
December 2021
November 2021
October 2021
September 2021
August 2021
July 2021
June 2021
May 2021
April 2021
March 2021
February 2021
January 2021
----- 2020 -----
December 2020
November 2020
October 2020
September 2020
August 2020
July 2020
June 2020
May 2020
April 2020
March 2020
February 2020
January 2020
----- 2019 -----
December 2019
November 2019
October 2019
September 2019
August 2019
July 2019
June 2019
May 2019
April 2019
March 2019
February 2019
January 2019
----- 2018 -----
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
----- 2017 -----
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
----- 2016 -----
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
----- 2015 -----
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
----- 2014 -----
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
----- 2013 -----
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
----- 2012 -----
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
----- 2011 -----
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
----- 2010 -----
December 2010
November 2010
October 2010
logic-ml@fos.kuis.kyoto-u.ac.jp
6 participants
7 discussions
Start a n
N
ew thread
第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
0
0
2022年度の証明論研究集会のご案内
by YOKOYAMA Keita
03 Dec '22
03 Dec '22
みなさま, 東北大学の横山です. 今年度の証明論シンポジウムを以下の通り開催いたします. ご講演・ご参加をご検討いただけましたら幸いです. どうぞよろしくお願いいたします. ********************************* 証明論シンポジウム2022 日時:2022/12/19(月)-2022/12/21(水) 場所:秋保グランドホテル(宮城県仙台市)およびオンライン 参加費:1000円(現地参加の方のみ) 宿泊希望の場合は19日,20日,各1泊2食付き10,000円程度の予定. 詳細は研究集会のウェブページをご覧ください.
https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0
また参加登録は以下のフォームよりお願いいたします.
https://forms.gle/WkYU54DzYNmYHCQV6
注意事項 ・オンライン配信について ホテルのネット環境に依存した配信となるため,接続が脆弱となることも考えられます.あらかじめご了承ください. また,オンライン講演の希望もいただいており,現地の状況を確認した限りでは,実行できると考えておりますが,トラブルが生じる可能性もありますので,あらかじめご了解いただけますようお願いいたします. ・宿泊について 宿泊は1泊2食付き10000円程度,和室3-4人程度の相部屋となります.ご希望の場合は,仮の日程でも構いませんので,できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります.想定している部屋が埋まった後は金額が変わってくる可能性があります.また,学生の方は1000円程度割引可能ですので,学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください. ・宿泊時の食事について 会食が制限されている状況でもありますので,ブッフェ形式でみなさま個人でもお食事いただける形式ですが,参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です.なお,状況が許すようでしたら1日は会食形式に変更することを検討しております.その場合は参加申し込みの方に再度ご相談いたします. ・参加費について 参加費は強制はいたしませんので可能な方にお支払いをお願いいたします.なお領収書は発行いたします. どうぞよろしくお願いいたします. 横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp
2
1
0
0
教員公募(5件):島根大学(セキュリティ分野/データサイエンス分野/外国人限定:いずれも准教授または助教/広い意味での数理科学分野)
by Munehiro Iwami
21 Oct '22
21 Oct '22
皆様 島根大学の岩見と申します。 本学において以下5件の公募を行っております。 関連する分野の方がおられましたら、ぜひ応募をご検討ください。お心当たりの方にも情報を共有いただけますと幸いです。 よろしくお願いいたします。 ---------------------------------------------------------------- 募集人員:准教授または助教 計3名 所属:島根大学学術研究院理工学系 担当:総合理工学部知能情報デザイン学科、自然科学研究科 所在地:島根県松江市西川津町1060 勤務形態:常勤 任期なし 応募締切:2022年12月23日(必着) それぞれの詳細は以下をご覧ください。 【セキュリティ分野】1名
https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri…
採用予定時期:2023年2月1日以降のできるだけ早い時期 【データサイエンス分野】1名
https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri…
採用予定時期:2023年4月1日 【外国人限定】1名
https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri…
採用予定時期:2023年4月1日 ---------------------------------------------------------------- 下記の公募は知能情報デザイン学科の教員の公募ではありません。 広い意味での数理科学、およびその応用分野を専門分野とする教員 を募集しています。 募集人員: 准教授、講師または助教 計2名 所属:島根大学学術研究院理工学系 担当:総合理工学部、自然科学研究科 所在地:島根県松江市西川津町1060 勤務形態:常勤 任期なし 応募締切:2022年12月23日(必着) 【広い意味での数理科学分野】2名
https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri…
採用予定時期:2023年4月1日 ----------------------------------------------------------------- -- 以上、よろしくお願い致します。 岩見 宗弘 島根大学 学術研究院 理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp
1
1
0
0
MLが10日あまり止まっていました
by Atsushi Igarashi
20 Oct '22
20 Oct '22
logic-ml/kisoron-ml/jssst-ppl 購読者の皆様, 管理人の五十嵐です. 10/9 あたりからメイリングリストの配送が止まっていたようです. 先程,対処を行いまして,この間の投稿も含めて再び流れ始めたように見えま すが,ひょっとしたら失なわれたものもあるかもしれません. その場合は,お手数ですが再投稿していただけますようお願いいたします. ご迷惑をおかけしたことをお詫びいたします. -- 五十嵐 淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url:
http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/
1
0
0
0
証明論シンポジウム2022
by Hirotaka Kikyo
20 Oct '22
20 Oct '22
皆様 東北大学の横山さんからのお知らせの代理投稿です。 よろしくお願いします。(神戸大学 桔梗宏孝) ************************** みなさま, 東北大学の横山です. 今年度の証明論シンポジウムを以下の通り開催いたします. ご講演・ご参加をご検討いただけましたら幸いです. どうぞよろしくお願いいたします. ********************************* 証明論シンポジウム2022 日時:2022/12/19(月)-2022/12/21(水) 場所:秋保グランドホテル(宮城県仙台市)およびオンライン 参加費:1000円(現地参加の方のみ) 宿泊希望の場合は19日,20日,各1泊2食付き10,000円程度の予定. 詳細は研究集会のウェブページをご覧ください.
https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0
<
https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0
> また参加登録は以下のフォームよりお願いいたします.
https://forms.gle/WkYU54DzYNmYHCQV6
<
https://forms.gle/WkYU54DzYNmYHCQV6
> 注意事項 ・オンライン配信について ホテルのネット環境に依存した配信となるため,接続が脆弱となることも考えられます.あらかじめご了承ください. また,オンライン講演の希望もいただいており,現地の状況を確認した限りでは,実行できると考えておりますが,トラブルが生じる可能性もありますので,あらかじめご了解いただけますようお願いいたします. ・宿泊について 宿泊は1泊2食付き10000円程度,和室3-4人程度の相部屋となります.ご希望の場合は,仮の日程でも構いませんので,できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります.想定している部屋が埋まった後は金額が変わってくる可能性があります.また,学生の方は1000円程度割引可能ですので,学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください. ・宿泊時の食事について 会食が制限されている状況でもありますので,ブッフェ形式でみなさま個人でもお食事いただける形式ですが,参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です.なお,状況が許すようでしたら1日は会食形式に変更することを検討しております.その場合は参加申し込みの方に再度ご相談いたします. ・参加費について 参加費は強制はいたしませんので可能な方にお支払いをお願いいたします.なお領収書は発行いたします. どうぞよろしくお願いいたします. 横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp
1
0
0
0
QIT47のご案内
by NISHIMURA Harumichi
18 Oct '22
18 Oct '22
logic-mlの皆様 名古屋大学の西村と申します. 第47回量子情報技術研究会(QIT47) の会告案内を代理投稿します. どうぞよろしくお願いいたします. 名古屋大学大学院情報学研究科 西村治道 ======================================================================== 第47回量子情報技術研究会(QIT47) 研究会の内容: 情報科学と量子力学を融合させた新しい分野,量子情報科学に関する研究会です.情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して,情報科学,物理学,光エレクトロニクスを含む理学,工学,数理科学に携わる研究者間に自由な討論の場を提供し,この研究分野の発展を図ることを目的としています. 第47回研究会を下記のように開催いたします.現在この分野で活躍する研究者は勿論,自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など,広く関連する分野の研究者・技術者からの発表を募集致します.聴講のみの参加も歓迎致しますので,奮ってお申し込みください. なお,第38回研究会から学生発表賞を創設いたしました.応募方法等については,下記のQITウェブサイトをご確認下さい. 日時:2022年12月8日(木)~ 12月9日(金) 会場:現地参加およびオンライン(Zoomを予定)のハイブリッド方式 現地参加の場合,慶應義塾大学 矢上キャンパス 14棟地下2階マルチメディアルーム(MMR) (神奈川県横浜市港北区日吉3-14-1) 発表募集分野(申し込み状況によっては査読の可能性あり): 量子情報,量子計算,量子暗号など広く量子情報技術に関わる理論的研究,実験的研究,計算機科学的研究,数学的研究,および,その他関連分野. 定員:300名程度 参加費:一般2,000円,学生1,000円 ※参加費は予稿集代(電子版)を含みます. ※12月1日(木)より後にお支払いの場合は12月5日(月)まで直前料金(+1,000円)で振り込みを受け付けます.これを過ぎますとご参加いただけませんのでご注意下さい.参加事前登録が期限に間に合わない場合も直前料金となります. 研究会参加申込要領: 参加申込は下記 Web にて受付けます:
https://www.ieice.org/es/qit/qit47/
講演 (口頭,ポスター) の申込,予稿集原稿PDFの提出は,電子情報通信学会のWebシステムを使用する予定. 各種締切: 【口頭講演申込締切】 2022年10月28日(金) 【ポスター講演申込締切】2022年11月18日(金) 【予稿原稿提出締切】 2022年11月18日(金) 【参加事前登録】 2022年12月1日(木) 【参加費の銀行振込】 2022年12月1日(木) 【問合せ先】 委員長: 山本 直樹(慶應義塾大学) 副委員長: 田中 宗 (慶應義塾大学) 副委員長: 古池 達彦(慶應義塾大学) 副委員長: 関 優也 (慶應義塾大学) Email: qit47-ml(-AT-)appi.keio.ac.jp [(-AT-)を@に変えて下さい] 主催:量子情報技術特別研究専門委員会(委員長:武岡正裕(慶應義塾大学)) ========================================================================
1
0
0
0
2022年度の証明論研究集会のご案内
by YOKOYAMA Keita
16 Oct '22
16 Oct '22
みなさま, 東北大学の横山です. 今年度の証明論シンポジウムを以下の通り開催いたします. ご講演・ご参加をご検討いただけましたら幸いです. どうぞよろしくお願いいたします. ********************************* 証明論シンポジウム2022 日時:2022/12/19(月)-2022/12/22(水) 場所:秋保グランドホテル(宮城県仙台市)およびオンライン 参加費:1000円(現地参加の方のみ) 宿泊希望の場合は19日,20日,各1泊2食付き10,000円程度の予定. 詳細は研究集会のウェブページをご覧ください.
https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0
また参加登録は以下のフォームよりお願いいたします.
https://forms.gle/WkYU54DzYNmYHCQV6
注意事項 ・オンライン配信について ホテルのネット環境に依存した配信となるため,接続が脆弱となることも考えられます.あらかじめご了承ください. また,オンライン講演の希望もいただいており,現地の状況を確認した限りでは,実行できると考えておりますが,トラブルが生じる可能性もありますので,あらかじめご了解いただけますようお願いいたします. ・宿泊について 宿泊は1泊2食付き10000円程度,和室3-4人程度の相部屋となります.ご希望の場合は,仮の日程でも構いませんので,できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります.想定している部屋が埋まった後は金額が変わってくる可能性があります.また,学生の方は1000円程度割引可能ですので,学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください. ・宿泊時の食事について 会食が制限されている状況でもありますので,ブッフェ形式でみなさま個人でもお食事いただける形式ですが,参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です.なお,状況が許すようでしたら1日は会食形式に変更することを検討しております.その場合は参加申し込みの方に再度ご相談いたします. ・参加費について 参加費は強制はいたしませんので可能な方にお支払いをお願いいたします.なお領収書は発行いたします. どうぞよろしくお願いいたします. 横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp
1
1
0
0
Results per page:
10
25
50
100
200