Logic-ml October 2013

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

18 participants
25 discussions

Dick de Jongh オープンセミナー@理科大10/25
by Sumiyo Nishiguchi 04 Oct '13

04 Oct '13

メーリングリストの皆様東京理科大学では下記の要領でオープンセミナーを開催致しますので、奮ってご参加ください。講演者: Professor Dick de Jongh (ILLC, University of Amsterdam) 題: Logic and Learning 日時: 2013年10月25日(金) 4:30pm- Date: Oct 25, 2013, 4:30pm- 場所: 東京理科大学神楽坂キャンパス森戸記念館第2フォーラム <http://www.tus.ac.jp/facility/morito/> （アクセス <http://www.tus.ac.jp/info/access/kagcamp.html>) Location: 2nd Forum, Morito Memorial Hall, Kagurazaka Campus, Tokyo University of Science (directions<http://www.tus.ac.jp/en/campus/kagurazaka.html> ) 参加無料事前申し込み不要 Abstract: Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive inference. This proximity relation between logic and learning is examined with respect to learning and belief revision, knowledge updating and efficiency, concentrating on knowledge updating. See Nina Gierasimczuk, Vincent Hendricks and Dick de Jongh, Logic and Learning, to appear in: Outstanding Contributions: Johan van Benthem. Trends in Logic Book Series, Springer 2013, and Nina Gierasimczuk and Dick de Jongh, On the complexity of Conclusive Update, The Computer Journal (2013) 56(3): 365-377. 問合わせ先: 西口純代東京理科大学経営学部 email: nishiguchi(a)rs.tus.ac.jp -- Sumiyo Nishiguchi, PhD Junior Associate Professor of Linguistics School of Management Tokyo University of Science nishiguchi(a)rs.tus.ac.jp http://www.rs.tus.ac.jp/nishiguchi/

1 0

Dr. Andreas Abel at NII Logic Seminar
by Makoto Tatsuta 04 Oct '13

04 Oct '13

Dr. Andreas Abel at NII Logic Seminar Date: October 11, 2013, 14:00--16:00 Place: National Institute of Informatics, Room 1210 (12th floor) 場所: 国立情報学研究所 12階 1210室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Dr. Andreas Abel (Chalmers and Gothenburg University) Title: Copatterns: Programming Infinite Structures by Observations Abstract: Inductive datatypes provide mechanisms to define finite data such as finite lists and trees via constructors and allow programmers to analyze and manipulate finite data via pattern matching. In this paper, we develop a dual approach for working with infinite data structures such as streams. Infinite data inhabits coinductive datatypes which denote greatest fixpoints. Unlike finite data which is defined by constructors we define infinite data by observations. Dual to pattern matching, a tool for analyzing finite data, we develop the concept of copattern matching, which allows us to synthesize infinite data. This leads to a symmetric language design where pattern matching on finite and infinite data can be mixed. We present a core language for programming with infinite structures by observations together with its operational semantics based on (co)pattern matching and describe coverage of copatterns. Our language naturally supports both call-by-name and call-by-value interpretations and can be seamlessly integrated into existing languages like Haskell and ML. We prove type soundness for our language and sketch how copatterns open new directions for solving problems in the interaction of coinductive and dependent types. This is joint work with Brigitte Pientka, McGill University, Montreal. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

配送回復のおしらせ
by Atsushi Igarashi 02 Oct '13

02 Oct '13

logic-ml, kisoron-ml, jssst-ppl を購読されているみなさま，管理人の五十嵐です．メイリングリストを管理しているソフトウェアが落ちていたことに気付かず， 9月の半ばから二週間程度配送が滞っていたことがわかりました．現在は通常の状態に戻っているのではないかと思います．この間に投稿をされた方におきましては大変ご迷惑をおかけいたしました．どのメイリングリストも毎日必ず投稿があるほどはアクティブではありませんので単に投稿がないのか，不具合が発生しているのか俄かにはわからないことがあります (^^; あれ，投稿が配送されていないかも？と思った場合はお気軽にお問い合わせください．今後ともどうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

Talk by Tarmo Uustalu, Friday this week
by Ichiro Hasuo 01 Oct '13

01 Oct '13

Dear all, Friday this week we have Tarmo Uustalu from Institute of Cybernetics, Tallinn, Estonia visiting us in U Tokyo and making a talk. No registration needed. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/ ________________________________ Fri 4 October 2013, 17:00-18:00 Tarmo Uustalu (Institute of Cybernetics, Tallinn), Update Monads: Cointerpreting Directed Containers 理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html Access: http://www-mmm.is.s.u-tokyo.ac.jp/ We introduce update monads as a generalization of state monads. Update monads are compatible compositions of reader and writer monads given by a set and a monoid. Distributive laws between such monads are given by monoid actions. We also discuss a dependently typed generalization of update monads. Unlike simple update monads, those cannot be factored into a reader and writer monad. Dependently typed update monads arise from cointerpreting directed containers, by which we mean interpreting the opposite of the category directed containers into the category of set functors. (Joint work with Danel Ahman, University of Edinburgh.)

1 0

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

01 Oct '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 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ---------------------------------------------------------------- ************************************* Yoshihito Tanaka Faculty of Economics, Kyushu Sangyo University (KSU) 2-3-1 Matsukadai, Higashi-ku, Fukuoka 813-8503, Japan e-mail ytanaka(a)ip.kyusan-u.ac.jp. tel +81-92-673-5216 *************************************

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2013