Kisoron-ml November 2013

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

4 participants
6 discussions

春の数学会
by KASHIMA Ryo 13 Jun '14

13 Jun '14

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（2014年3月15日(土)から3月18日(火)学習院大学）の一般講演申し込みが始まりました（オンライン講演申込締め切りは12月1日）。多くの発表をしていただけると嬉しいです。開催情報は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/ ＝＝＝＝＝＝＝＝＝＝【発表をされる方へのお願い】今回から新たに、　アブストラクトの最終的な印刷用PDFファイルの確認を　講演申し込み者本人が行うということになりました。具体的には12月24日（火）から12月27日（金）の短い期間に申込者本人が確認作業をする必要があるようです。詳細は次をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/outline.html ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

2 2

春の数学会
by KASHIMA Ryo 24 Dec '13

24 Dec '13

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（2014年3月15日(土)から3月18日(火)学習院大学）の一般講演オンライン申し込み締め切り（12月1日）が迫ってきました。現在のところ申し込み件数が少ない状態ですので、ぜひとも発表をご検討ください。開催情報は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/ ＝＝＝＝＝＝＝＝＝＝【発表をされる方へのお願い】今回から新たに、　アブストラクトの最終的な印刷用PDFファイルの確認を講演申し込み者本人が行うということになりました。具体的には12月24日（火）から12月27日（金）の短い期間に申込者本人が確認作業をする必要があるようです。詳細は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/outline.html ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

講演会のお知らせ
by KASHIMA Ryo 26 Nov '13

26 Nov '13

非専門家向けの講演会を開催いたします。以前に一部メーリングリストに流しましたが再度の案内お許しください。重複受け取りの方には申し訳ありません。日時：11月30日（土）15:00--16:30 会場：東京工業大学大岡山キャンパス西８号館Ｅ棟10階　　　情報理工学研究科大会議室講師：田中一之（東北大学）題目：数学パスルに挑む概要：知恵の輪、ソリティア、ルービック・キューブ、帽子パズルなど多種多様なパズルの世界に、天才チューリングが開発した計算可能理論を武器にして乗り込もう。ときには解けないと悟ることも正解である。ベネディクト・カンバーバッチがチューリングを演じる映画『The Imitation Game』の公開も待ち遠しい。案内ページ： http://www.is.titech.ac.jp/~kashima/Events/Lecture2013Tanaka.html 参加される方は下記宛ご一報いただければ幸いです。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

第48回 MLG 数理論理学研究集会のご案内[再送：講演・宿泊締切11月20日]
by Katsuhiko Sano 14 Nov '13

14 Nov '13

第48回 MLG 数理論理学研究集会のご案内（再送） (重複してお受け取りの際はご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦です。講演の申し込み締切（11月20日）まで一週間を切りましたので、再度ご案内させていただきます。 2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第48回 MLG 数理論理学研究集会開催要領 ========================================= 期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日) 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）〒922-0126 石川県加賀市山中温泉河鹿町ホ100 URL : http://www.daiwaresort.jp/kajikasou/ 講演・宿泊申込締め切り: 2013 年 11 月 20 日（水）申し込みはこちらから --> https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LST… ホームページ：https://sites.google.com/site/mlg2013kaga/ 連絡先E-mail :mlg.logic.japan [at] gmail.com ============ 参加募集 ============ ・講演時間は原則40分を予定しています。・12月7日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。・ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）2500円をいただきます。・講演申し込みは、https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LSTk/viewform の registration form からお願い致します。世話人佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2013に関するメールは，mlg.logic.japan [at] gmail.com まで。 -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 01 Nov '13

01 Nov '13

皆様 Imperial College London のRobert A. Kowalski 教授の講演を開催いたします。どうぞふるってご参加ください。問い合わせ先：東条　敏北陸先端科学技術大学院大学情報科学研究科 e-mail: tojo(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 21 November, 2013, 15:10--16:40 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Robert A. Kowalski (Imperial College London) Title: Towards a Logic-based Framework for Computing (Joint work with Fariba Sadri) Abstract: In this talk, I present a logic-based, framework for Computing, inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent’s goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics of the framework, the entire sequence of states and events is contained in a single model-theoretic structure, by associating time stamps with facts and events. But in the operational semantics, facts are updated destructively, without time stamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing time stamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state. Speaker's bio： Professor Robert A. Kowalski (Emeritus Professor and Distinguished Research Fellow) at Imperial College London. Robert Kowalski studied at the University of Chicago, the University of Bridgeport, Stanford University, the University of Warsaw, and the University of Edinburgh, where he completed his PhD in 1970. Kowalski has been an advisor to the UNDP Knowledge Based Systems Project in India and to DFKI, the German Institute for Artificial Intelligence. He co-ordinated the European Community Basic Research Project, Compulog, and was the founder of the European Compulog Network of Excellence. Since 2009, he has been an advisor to the Department of Immunization, Vaccines and Biologicals, of the World Health Organization in Geneva. Kowalski is a Fellow of the Association for the Advancement of Artificial Intelligence, the European Co-ordinating Committee for Artificial Intelligence, and the Association for Computing Machinery. He received the IJCAI (International Joint Conference of Artificial Intelligence) award for Research Excellence in 2011. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Nov '13

01 Nov '13

数学基礎論若手の会2013のご案内（プログラムが準備できました）数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html プログラム： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/program.html 講演および宿泊のお申し込みの受け付けは終了いたしました． 11月16日（土）19:30より，懇親会を予定致しております．参加をご希望なさる方は，11月10日（日）までに，幹事までご連絡ください．

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml November 2013