Logic-ml July 2012

16 participants
19 discussions

数学基礎論若手の会２０１２（１１月２３−２５日・奈良）
by Kazushige TERUI 07 Jul '12

07 Jul '12

皆様：京都大学の照井一成と申します．今年度の数学基礎論若手の会のアナウンスをさせていただきます．お近くに基礎論を勉強している学生さんや，興味を持っている方がいらっしゃいましたら，周知していただけると幸いです：数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の照井までお気軽にご連絡ください．日程： 11月23日(金)午後〜 25日(日)午前場所：奈良県青少年会館 http://www6.ocn.ne.jp/~naseikan/ 幹事：照井一成 (京都大学) terui(a)kurims.kyoto-u.ac.jp ホームページ： http://www.kurims.kyoto-u.ac.jp/~terui/wakate2012.html [宿泊・食事] 宿泊は11月23日(金)と24日(土)の2晩，食事は23日(金)の夕食から 25日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 3,250円 (相部屋) 食事：朝食 700円，昼食 800円，夕食 900円 ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． ※ 宿泊や食事を伴わない参加も歓迎します。 [参加申し込み] 参加を希望される方は，幹事の照井にメールにてお申し込みください． <申込締切> 10月25日(木) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (講演希望の場合のみ) 講演時間： (講演希望の場合のみ) 宿泊： 23日(金)の夜 … ○ or × 24日(土)の夜 … ○ or × 食事： 23日(金)夕食 … ○ or × 24日(土)朝食 … ○ or × 24日(土)昼食 … ○ or × 24日(土)夕食 … ○ or × 25日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

教員公募(千葉大学)
by Takafumi SAKURAI 06 Jul '12

06 Jul '12

(重複して受けとられた方はご容赦ください．) 皆様千葉大学大学院理学研究科数学・情報数理コースの桜井貴文と申します。このメーリングリストをかりて本コースの教員公募を案内をさせていただきます。よろしくご検討ください． (本コースのホームページは http://www.math.s.chiba-u.ac.jp/ です。) 桜井貴文(sakurai(a)math.s.chiba-u.ac.jp) ============================================================================== 教員の公募について (依頼) 千葉大学大学院理学研究科基盤理学専攻数学・情報数理学コース長桜井貴文このたび本研究科では、下記の要領で教員 1名を公募することになりました。つきましては、貴学の関係各位にお知らせいただくとともに、適任者をご存知の場合には応募をお勧めくださるようお願い致します。記 1. 公募職種および公募人員准教授または助教 1名 2. 所属大学院理学研究科基盤理学専攻数学・情報数理学コース情報数理講座 3. 専攻分野情報数理学（プログラム言語論、ソフトウェア基礎理論、アルゴリズム論、符号・暗号理論等） 4. 応募資格博士の学位を有すること、または採用までに取得予定のこと 5. 担当授業科目等大学院理学研究科および理学部の専門科目、特に情報数理学の科目 (プログラミング、アルゴリズム、言語処理系、数理論理学、計算理論等)からいくつか、および全学向け数学の共通科目、大学院理学研究科の研究指導を担当予定 6. 着任予定時期平成 25年 4月 1日以降のできるだけ早い時期 7. 提出書類 (1) 履歴書 (連絡先には電話番号および電子メールアドレスも記載) この公募では、准教授または助教の選考をします。准教授としてのみ応募される方は、その旨を明記して下さい。 (2) 研究業績リスト (3) 主要な論文の別刷 (またはその写し)５編以内 (4) これまでの研究成果の概要と今後の研究計画 (A4版用紙 2〜3枚程度) (5) これまでの教育経験の概要と今後の教育に対する抱負 (A4版用紙 1〜2枚程度) (6) 研究業績を問合せることのできる方の氏名、所属、連絡先および電子メールアドレス 8. 応募期限平成 24年 9月 28日 (金) 必着 9. 応募書類の提出先〒 263-8522千葉市稲毛区弥生町 1-33 千葉大学大学院理学研究科基盤理学専攻数学・情報数理学コース桜井貴文封筒の表には「人事応募書類在中」と朱書して、上記宛てに簡易書留でお送り下さい。なお、応募書類返送を希望する場合は切手を貼った返送用封筒に返送先を記入して同封してください。返送用封筒がない場合は返送致しませんのでご了解ください。 10. 問合せ先桜井貴文研究室直通 043-290-2713 学科ファックス 043-290-2733 電子メールアドレス sakurai(a)math.s.chiba-u.ac.jp 11. その他＊応募者の方に千葉大学に来ていただき面接を行うことがあります。その場合、旅費は支給できませんので予めご了承下さい。＊千葉大学は男女共同参画を推進し、女性教員の採用促進を図るためのポジティブ・アクションに取り組んでいます。

1 0

研究集会「モデル理論夏の勉強会 2012」
by Hirotaka Kikyo 05 Jul '12

05 Jul '12

各位筑波大学の坪井明人先生の代理で投稿させていただきます。桔梗宏孝（神戸大学） -------------------------- 研究集会「モデル理論夏の勉強会 2012」集会概要毎年行われている「夏の勉強会」という名前の研究集会です．今年は以下の日程で行われます．モデル理論に興味を持つ方なら，どなたでも歓迎します．日程： 2012年8月28日（火），29日（水），30日(木)（2泊3日）場所：東海大学山中湖セミナーハウス（〒401-0501 山梨県南都留郡山中湖村山中323-1）参加希望の方は次の情報を坪井明人(tsuboi(a)math.tsukuba.ac.xn--jp)-u63b3a4a5b9eucvn0er468j. 氏名と所属，身分参加希望日宿泊希望日講演を希望するかどうか希望する場合は講演題目学生の方で旅費援助を希望する場合はお知らせください． URL: http://www.math.tsukuba.ac.jp/~tsuboi/

1 0

SLACS 2012 のご案内および講演募集
by Hiroyuki Miyoshi 05 Jul '12

05 Jul '12

メーリングリストへの送信がうまくいかないようなので何度か送っています。重複して届いている方はお許し下さい。今年のSLACS（記号論理と情報科学研究集会）の世話人をおおせつかっている京都産業大学の三好博之です。第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われています（http://www.math.s.chiba-u.ac.jp/SLACS/）。完成された研究のみならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも，圏論やアルゴリズム理論などコンピュータ科学に関わるご講演を広く募集しています。 SLACS 2012のウェブページも近日中に作成致します。開催要項開催日：2011年9月15日（土）午前〜 9月16日（日）午後（講演が少ない場合は、開始を遅らせます）場所：京都産業大学むすびわざ館（京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html 懇親会：9月15日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、　　・題目　　・講演者名　　・e-mail address 　　・所属　　・梗概　　・希望時間　　・講演に必要な道具などの情報を三好 hxm(a)cc.kyoto-su.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全な情報でも結構です。特に申込締切は設けませんが，プログラムを見積もるため未確定でも講演するかもしれないという意思表示は早めにして頂けるとありがたいです。なお，直前の9/12-14には京都大学RIMSで「証明論と複雑性」の研究会がございます（http://www.kurims.kyoto-u.ac.jp/~kyodo/workshop-ja.html）ので続けてのご参加もしやすくなっております。多くの皆さんのご講演・ご参加をお待ちしております。京都産業大学理学部数理科学科　三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

SLACS 2012 のご案内および講演募集
by Hiroyuki Miyoshi 04 Jul '12

04 Jul '12

重複して届いている方はお許し下さい。今年のSLACS（記号論理と情報科学研究集会）の世話人をおおせつかっている京都産業大学の三好博之です。第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われています（http://www.math.s.chiba-u.ac.jp/SLACS/）。完成された研究のみならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも，圏論やアルゴリズム理論などコンピュータ科学に関わるご講演を広く募集しています。 SLACS 2012のウェブページも近日中に作成致します。開催要項開催日：2011年9月15日（土）午前〜 9月16日（日）午後（講演が少ない場合は、開始を遅らせます）場所：京都産業大学むすびわざ館（京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html 懇親会：9月15日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、　　・題目　　・講演者名　　・e-mail address 　　・所属　　・梗概　　・希望時間　　・講演に必要な道具などの情報を三好 hxm(a)cc.kyoto-su.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全な情報でも結構です。特に申込締切は設けませんが，プログラムを見積もるため未確定でも講演するかもしれないという意思表示は早めにして頂けるとありがたいです。なお，直前の9/12-14には京都大学RIMSで「証明論と複雑性」の研究会がございます（http://www.kurims.kyoto-u.ac.jp/~kyodo/workshop-ja.html）ので続けてのご参加もしやすくなっております。多くの皆さんのご講演・ご参加をお待ちしております。京都産業大学理学部数理科学科　三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

Call for participation: Logic, Algebra and Truth Degrees 2012 (10-14 September 2012 in Kanazawa)
by Katsuhiko Sano 03 Jul '12

03 Jul '12

logic-ml の皆様、北陸先端科学技術大学院大学の佐野勝彦と申します。 9/10-9/14 に金沢で開催されるLATD 2012 の Call for participation をお送りいたします。重複してお受け取りの場合はどうぞご容赦ください。佐野勝彦 ===================================================================== Logic, Algebra and Truth Degrees 2012 http://www.jaist.ac.jp/rcis/latd12/ Call for participation The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science [2], Japan Advanced Institute of Science and Technology [3]. We invite interested researchers to participate in the conference. The program has been settled and can be found at the web page http://www.jaist.ac.jp/rcis/latd12/index.php?program Conference Web Site: http://www.jaist.ac.jp/rcis/latd12/ Programme Committee: . Stefano Aguzzoli (University of Milano, Italy) . Matthias Baaz (Vienna University of Technology, Austria) . Petr Cintula (Academy of Sciences, Czech Republic) . Carles Noguera (CSIC, Spain) . Hiroakira Ono (JAIST, Japan), Chair . James Raftery (University of KwaZulu-Natal, South Africa) . Constantine Tsinakis (Vanderbilt University, USA) Program: Invited Speakers and the respective titles (abstracts on the web page): . Rostislav Horčík (Academy of Sciences, Czech Republic) Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable . Emil Jeřábek (Academy of Sciences, Czech Republic) Admissibility and unification with parameters . Daniele Mundici (University of Florence, Italy) When every principal congruence is an intersection of maximal congruences . Greg Restall (University of Melbourne, Australia) Exotic Sequent Calculi for Truth Degrees . Luca Spada (University of Salerno, Italy) The multifarious representations of MV-algebras Tutorial: . Felix Bou (University of Barcelona, Spain) (Un)Decidability in Monadic Fuzzy Predicate Logics Contributed talks: . Stefano Aguzzoli, Tommaso Flaminio and Enrico Marchioni Finite Forests. Their Algebras and Logics . Majid Alizadeh, Mohammad Ardeshir and Wim Ruitenburg Modal Basic Propositional Logic . Conrad Asmus Towards Many Valued Dependence Logics . Matthias Baaz and Agata Ciabattoni Proof theory for non-classical logics: negative results . Paolo Baldi, Agata Ciabattoni and Lara Spendier Standard completeness for extensions of MTL: an automated approach . Libor Behounek Feasibility of program runs in fuzzified Propositional Dynamic Logic . Marjon Blondeel, Tommaso Flaminio and Lluís Godo Relating fuzzy autoepistemic logic and Łukasiewicz KD45 modal logic . Felix Bou, Francesc Esteva and Lluis Godo On possibilistic modal logics over Gödel logic . Félix Bou, Marco Cerami and Francesc Esteva Concept Satisfiability in finite-valued Fuzzy Description Logics is PSPACE-complete . Rodica Ceterchi The Decomposition of Linearly Ordered Pseudo-Hoops . Petr Cintula, Rostislav Horcík and Carles Noguera A basic fuzzy logic which is really basic and fuzzy . Oliver Fasching and Matthias Baaz An analytic calculus for Gödel logics with an operator that shifts truth values . Christian Fermüller and Christoph Roschger Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification . Nikolaos Galatos The finite embeddability property for varieties of distributive, integral residuated lattices . Sándor Jenei Recent results on involute FLe-monoids . Michiro Kondo States on bounded commutative residuated lattices . Tomasz Kowalski BCK is not structurally complete . Michał Kozak Double Negation in Intuitionistic Style Sequent Systems for Residuated Lattices . Tomas Kroupa and Ondrej Majer Nash Equilibria in a Class of Zero-Sum Games Represented by McNaughton Functions . Jan Kühr BCK-algebras and triple construction . Antonio Ledda, Tomasz Kowalski and Francesco Paoli On independent varieties and some related notions . Leonardo Manuel Cabrer and Vincenzo Marra Advances on Unification in MV-algebras . Vincenzo Marra and Stefano Aguzzoli Betting on events observed over an interval of time: de Finetti's Dutch-Book argument for Goedel logic . Yoshihiro Maruyama Diagonals, Paradoxes, and the Edge of Consistency: classical, quantum, and fuzzy . Yuri Movsisyan and Diana Davidova Representation theorem for interlaced q-bilattices . Petra Murinová Structure of generalized intermediate syllogisms . Liu Doing Ning and Zhe Lin Proof Theoretical Investigations on Substructure Modal Logic . Hitoshi Omori and Katsuhiko Sano Generalizing Functional Completeness in Belnap-Dunn's Four Valued System . Jan Paseka and Michal Botur Tense MV-algebras and related operators . Milan Petrík Algebraic webs on more general structures . James Raftery Inconsistency lemmas in algebraic logic . Umberto Rivieccio Implicative twist-structures . Takahiro Seki Disjunction Property of Non-Associative Substructural Logics . Shawn Standefer Revision theory and Field's theory of truth . Nobu-Yuki Suzuki Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics . Peter Verdée Paraconsistent logic and degrees of believe . Thomas Vetterlein Construction methods for finite commutative tomonoids . Shunsuke Yatabe A constructive naive set theory and the $\omega$-rule . William Young Free MV-algebras inside Free Abelian l-groups Registration: Registration is required and can be done at http://www.jaist.ac.jp/rcis/latd12/index.php?registration Conference dates: The scientific program will start Monday morning (10 September) and finish Friday noon (14 September). Wednesday afternoon we plan an excursion. Venue: The conference will be held in the city of Kanazawa [4,5,6], located in the Ishikawa prefecture of Japan on the Japan Sea. The venue is the Ishikawa Prefectural Museum of Art [7] in the center of Kanazawa. Local Organizing Committee: . Norbert Preining (JAIST, Japan), Chair . Katsuhiko Sano (JAIST, Japan) . Kazushige Terui (Kyoto University, Japan) . Shunsuke Yatabe (AIST, Japan) For further information please contact: latd12(a)jaist.ac.jp [1] http://www.mathfuzzlog.org/ [2] http://www.jaist.ac.jp/rcis/en/ [3] http://www.jaist.ac.jp/ [4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa [5] http://www.kanazawa-tourism.com/ [6] http://wikitravel.org/en/Kanazawa [7] http://www.ishibi.pref.ishikawa.jp/index_j.html

1 0

JURISIN2012
by Makoto Nakamura 03 Jul '12

03 Jul '12

（重複して受け取られた場合はご容赦ください）名古屋大学の中村と申します。法情報学に関する国際ワークショップ JURISIN2012 の CFP をお送りします。今年の１１月３０日から１２月１日にかけて宮崎で開催されます。多数のご投稿をお待ちしております。 [Apologies for multiple copies] --------------------------------------------------- Call for Papers: Sixth International Workshop on Juris-informatics (JURISIN 2012) Nov.30 - Dec. 1, 2012 http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ Amusement Zone Miyazaki (The JA-AZM Hall) Kirishima 1-1-1, Miyazaki, Japan with a support of The Japanese Society for Artificial Intelligence in association with Fourth JSAI International Symposia on AI (JSAI-isAI 2012) **** Submission Deadline: September 17, 2012 **** **** Aims and scope **** Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues for juris-informatics among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. **** Topics **** Relevant topics include, but are not limited to, the following: * Legal reasoning * Argumentation/Argumentation agent * Legal term ontology * Formal legal knowledge-base/Intelligent management of legal knowledge-base * Translation of legal documents * Computer-aided law education * Use of Informatics and AI in law * Legal issues on ubiquitous computing/multi-agent system/the Internet * Social implications of use of informatics and AI in law **** Submissions **** We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except as a submission to JURIX 2012 (The 25th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2012 is as follows: 1. Papers being submitted both to JURISIN2012 and JURIX2012 must note this on the title page. 2. A paper to be presented at JURISIN2012 must be withdrawn from JURIX2012 and vice versa according to the choice by the authors. 3. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2012. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from http://www.springeronline.com, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format designated at the workshop page, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. **** Proceedings **** A printed volume of the proceedings with ISBN will be available at the workshop. **** Post Proceedings**** The chair of JSAI-IsAI 2012 is now negotiating with Springer Verlag to publish selected papers of the workshop in the JSAI-isAI 2012 post-proceedings as a volume of LNAI. If it is the case, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. Note that the selected papers of the previous workshops were publisehd as volumes of LNAI4914(JURISIN 2007), LNAI5447(JURISIN 2008), LNAI6284(JURISIN 2009), LNAI6797(JURISIN2010) and LNAI7258(JURISIN2011), respectively. **** Financial Support for Students **** We have received from JSAI partical economical support for travelling costs for promising foreign students whose papers have been accepted to be presented at JURISIN2012. The amount of the whole support is 250,000 yen and we divide it to students who need a support. The actual support will vary based on the number of applicants and where students come from. Please contact the chairperson (mnakamur ((at)) law.nagoya-u.ac.jp) for details. **** Important Dates **** Submission Deadline: September 17, 2012 Notification: October 15, 2012 Camera Ready Copy due: October 29, 2012 JURISIN 2012: November 30 - December 1, 2012 **** Workshop Chair **** Makoto Nakamura, Nagoya University, Japan Katsuhiko Toyama, Nagoya University, Japan **** Organizing Committee Members **** Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan **** Programme Committee Members **** Thomas Agotnes, University of Bergen, Norway Phan Minh Dung, AIT, Thailand Tom Gordon, Franfoher FOKUS, Germany Guido Governatori, The University of Queensland, Australia Tokuyasu Kakuta, Nagoya University, Japan Takehiko Kasahara, Toin University of Yokohama, Japan Masahiro Kozuka, Kanazawa University, Japan Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Paulo Novais, University of Minho, Portugal Jeremy Pitt, Imperial College, UK Henry Prakken, University of Utrecht & Groningen, The Netherlands Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Katsuhiko Toyama, Nagoya University, Japan Radboud Winkels, The University of Amsterdam, the Netherlands Shin-ichi, Yoro, Osaka University, Japan John Zeleznikow, Victoria University, Australia **** Home page of JURISIN 2012 **** http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ **** preivous JURISIN workshops **** JURISIN2007 http://research.nii.ac.jp/~ksatoh/jurisin.html JURISIN2008 http://www.ntt.dis.titech.ac.jp/jurisin2008/ JURISIN2009 http://research.nii.ac.jp/~ksatoh/jurisin2009.html JURISIN2010 http://research.nii.ac.jp/~ksatoh/jurisin2010.html JURISIN2011 http://research.nii.ac.jp/~ksatoh/jurisin2011.html For any inquiry, please send it to "jurisin2012 ((at)) kl.i.is.nagoya-u.ac.jp". -- 中村誠＠名古屋大学大学院法学研究科附属法情報研究センター Makoto Nakamura ( mnakamur(a)law.nagoya-u.ac.jp ) Japan Legal Information Institute, Graduate School of Law, Nagoya University TEL:(052)789-5145 / FAX:(052)789-3800

1 0

$B=8Cf9V5A$N$40FFb!JO!Hx0lO:@h@8!&(B2012$BG/(B7$B7n!w5~ETBg3X!K(B
by Hasegawa Masahito 02 Jul '12

02 Jul '12

$B3'MM!"(B $B5~ETBg3XBg3X1!M}3X8&5f2J$G$O!"0J2<$NFbMF$G=8Cf9V5A!JA4#42s!K(B $B$rM=Dj$7$F$*$j$^$9!#9V;U$O!"El5~Bg3X$NO!Hx0lO:@h@8$G$9!#(B $BM>Be?t$NM}O@$N7W;;5!2J3X$X$N1~MQ$K$D$$$F!"=iJb$+$i>\$7$/2r@b(B $B$7$FD:$1$k$H;G$C$F$*$j$^$9!J7wO@$K4X$9$kM=HwCN<1$OITMW!"$H$N(B $B$3$H$G$9!K!#(B $BM}3X8&5f2J$N3+9V2JL\$G$9$,!"4X?4$r$*;}$A$NJ}$O$I$J$?$G$b$*5$(B $B7Z$K$4MhD02<$5$$!#ITL@$JE@$,$"$j$^$7$?$i!"D9C+@n$^$G$*Ld$$9g(B $B$o$;$/$@$5$$!#(B $BD9C+@n???M(B <hassei at kurims.kyoto-u.ac.jp> $B5~ETBg3X?tM}2r@O8&5f=j(B $B5~ETBg3XBg3X1!M}3X8&5f2J?t3X!&?tM}2r@O@l96?tM}2r@O7O(B $B?tM}2r@OFCJL9V5A#1(B $B7W;;5!2J3X!J=8Cf9V5A!K(B $B!V(BCategorical Algebra and Coalgebra: An Instance of Category Theory in Computer Science$B!W(B $B9V(B $B;U!'O!Hx(B $B0lO:(B $B;a(B $B!JEl5~Bg3XBg3X1!>pJsM}9)3X7O8&5f2J(B $B9V;U!K(B $BF|(B $B;~!'#2#0#1#2G/#77n#1#9F|!&#2#0F|!&#3#1F|!&#87n#1F|(B $B#1#4;~!A(B $B>l(B $B=j!'Am9g8&5f#29f4[#43,(B $B#4#7#89f<<(B $B!JCm!'KLIt$N?tM}2r@O8&5f=jK\4[$G$O$"$j$^$;$s!#I4K|JW$NFnElB&$G$9!#(B $BCO?^$O(B http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg $B!K(B Abstract Category theory is an abstract mathematical language that is used in many different branches of mathematics. It has also found successful applications in computer science - in fact, in many different ways. The classic example is in the semantics of functional programming, where types are objects and programs are arrows. In this course we focus on another eminent use of categories in computer science, namely categorical algebra and coalgebra. The bottom-line here is: a coalgebra is a categorical abstraction of dynamics, i.e. a state-based system like an automaton; and an algebra (especially an initial one) is an abstraction of syntax, i.e. the set of well-formed programs. Plotkin's structural operational semantics - connecting syntax and dynamics - also allows an elegant categorical modeling via a distributive law. After exhibiting these basics of the (co)algebraic modeling in computer science, we proceed to a more advanced categorical structure of presheaf categories. We introduce the necessary categorical machineries - (co)end, Kan extension, Yoneda lemma, etc. - as well as demonstrate their applications in name-passing calculi like the pi-calculus. No preliminary knowledge in category theory is assumed. The course materials will be announced at the course website. $B0u:~MQ0FFb!'(B http://www.kurims.kyoto-u.ac.jp/~hassei/hasuo2012.pdf

1 0

SLACS 2012 のご案内および講演募集
by Hiroyuki Miyoshi 02 Jul '12

02 Jul '12

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml July 2012