Logic-ml

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

1792 discussions

2016年数学基礎論サマースクールのご案内
by Hirotaka Kikyo 03 Aug '16

03 Aug '16

皆様数学基礎論サマースクールを2016年９月５日（月）から９月７日（水）まで、早稲田大学西早稲田キャンパスで開催する予定です。初日は午前中から、最終日も午後まで行う予定です。今年のテーマはモデル理論です。初日の最初の方にモデル理論の基本事項を解説するつもりです。詳しくは次のサイトでお知らせします。 https://sites.google.com/site/logicsummerschool2016/ どうぞ、よろしくお願い致します。世話人桔梗宏孝

1 0

Kobe Colloquium: Aug 8, 2016, Jun Otsuka
by Makoto Kikuchi 02 Aug '16

02 Aug '16

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時: 2016/8/8 (月) 11.00am - 正午場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館421室講演者：大塚淳（神戸大・文）題目：因果・統計・機械学習の哲学に向けてアブストラクト：限られたデータから推論を行う帰納推論の手法は、 19世紀末からの古典統計学および近年の機械学習理論の発展にともない、大きな進展を見せてきた。しかしそれらは決して一枚岩ではなく、異なった哲学・目的に支えられているといっていいだろう。本発表では、推測統計、因果推論、機械学習など、現代の帰納推論にまつわる様々な数理的手法の背景にある哲学的前提について探ってみたい。特にJudea Pearlらによって開発された、グラフ表現を用いた統計的因果推論を紹介し、それを従来の伝統的統計学および近年の機械学習的手法と比較することで、それぞれの思想的背景を浮き上がらせることが、本発表の目的である。交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

第二十七回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムと懇親会参加について
by 西澤弘毅 02 Aug '16

02 Aug '16

logic-ml メーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十七回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムのアナウンスをさせていただきます。 < 重複してお受け取りの節はご容赦願います。> ご参加をお待ちしております。 --------------------------------------------------------------------- **************************************************************** * 第二十七回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2016年8月27日（土）13:45～8月28日（日）12:45 * * 信州大学松本キャンパス人文学部・経法学部新棟1階第1講義室 * * * * 暫定プログラムのお知らせと講演募集 * **************************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十七回ALGIを開催することになりました。会場の手配などは信州大学の田中康平先生にお願いしています。開催場所は下記のとおりです。信州大学松本キャンパス人文学部・経法学部新棟1階第1講義室 http://www.shinshu-u.ac.jp/guidance/maps/map05.html http://www.shinshu-u.ac.jp/general/extension-courses/pdf/map01-02.pdf 講演枠が１つ空いております。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。 ALGIは申し込み不要で自由にご参加いただけます。ただし、一日目の18:30から松本駅周辺で懇親会を予定しておりますので、懇親会への参加を希望される方は、8/20（土）までに西澤 (nishizawa AT kanagawa-u.ac.jp) にメールでお知らせください。また、今回のALGIの前後には次のような集会も予定されています。併せて参加をご検討下さい。 2016年度 SLACS(記号論理と情報科学研究集会) 日時：2016年8月25日(木),26日(金) 会場：名古屋大学VBL(ベンチャービジネスラボラトリー)3階ベンチャーホール詳細：http://www.seto.nanzan-u.ac.jp/~sasaki/SLACS2016.html 「空間の代数的・幾何的モデルとその周辺」日時：2016年8月29日（月）14:00～8月31日（水）12:15 会場：信州大学理学部講義棟第一講義室詳細：http://marine.shinshu-u.ac.jp/~kuri/ALG_TOP2016/AGM2016.html できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学大学院理工学研究科） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

Call for Participation: ICFP 2016
by Jacques Garrigue 26 Jul '16

26 Jul '16

みなさま、9月に奈良で開催される ICFP 2016 の案内を転送します。早期参加申し込みの〆切は8月17日になっております。 5年ぶりの日本開催で、ご参加をお待ちしています。 ===================================================================== Call for Participation ICFP 2016 21st ACM SIGPLAN International Conference on Functional Programming and affiliated events September 18 - September 24, 2016 Nara, Japan http://conf.researchr.org/home/icfp-2016 ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 10 workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Overview and affiliated events: http://conf.researchr.org/home/icfp-2016 * Program: http://conf.researchr.org/program/icfp-2016/program-icfp-2016 * Accepted Papers: http://conf.researchr.org/track/icfp-2016/icfp-2016-papers#event-overview * Registration is available via: https://regmaster4.com/2016conf/ICFP16/register.php Early registration is due 17 August, 2016. * Programming contest, 5-8 August, 2016: http://2016.icfpcontest.org/ * Student Research Competition (deadline: 3 August, 2016): http://conf.researchr.org/info/icfp-2016/student-research-competition * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, September 18 Workshop on Higher-order Programming with Effects Workshop on Type-Driven Development Scheme and Functional Programming Workshop Programming Languages Mentoring Workshop Monday, September 19 – Wednesday, September 21 ICFP Thursday, September 22 Haskell Symposium – Day 1 ML Family Workshop Workshop on Functional High-Performance Computing Commercial Users of Functional Programming – Day 1 Friday, September 23 Haskell Symposium – Day 2 OCaml Workshop Erlang Workshop Commercial Users of Functional Programming – Day 2 Saturday, September 5 Commercial Users of Functional Programming – Day 3 Haskell Implementors Workshop Functional Art, Music, Modeling and Design Conference Organizers General Co-Chairs: Jacques Garrigue, Nagoya University Gabriele Keller, University of New South Wales Program Chair: Eijiro Sumii, Tohoku University Local Arrangements Co-Chairs: Shinya Katsumata, Kyoto University Susumu Nishimura, Kyoto University Industrial Relations Chair: Rian Trinkle, Obsidian Systems LLC Workshop Co-Chairs: Nicolas Wu, University of Bristol Andres Loeh, Well-Typed LLP Programming Contest Chair: Keisuke Nakano, The University of Electro-Communications Student Research Competition Chair: David Van Horn, University of Maryland, College Park Mentoring Workshop Co-Chairs: Amal Ahmed, Northeastern University Robby Findler, Northwestern University Atsushi Igarashi, Kyoto Universty Publicity Chair: Lindsey Kuper, Intel Labs Video Chair: Iavor Diatchki, Galois Jose Calderon, Galois Student Volunteer Co-Chairs: Yosuke Fukuda, Kyoto University Yuki Nishida, Kyoto University Gabriel Scherer, INRIA Industrial partners: Platinum partners Jane Street Capital Ahrefs Gold partners Mozilla Research Silver partners Ambiata Tsuru Capital Bronze partners Awake Networks Microsoft Research =====================================================================

1 0

Glynn Winskel "Formal Semantics of Programming Languages" の翻訳をお手伝いいただける方を探しています
by Kohei SUENAGA 22 Jul '16

22 Jul '16

皆様，京都大学の末永です．メーリングリストをお借りして，教科書の翻訳をお手伝いいただける方を募集させていただければと思います．重複して受け取られた場合はご容赦ください． Glynn Winskel "Formal Semantics of Programming Languages " の翻訳出版の話が来ていて，お手伝いいただける方を探しています． https://www.amazon.com/dp/0262731037 プログラム意味論の世界で一番有名な教科書の一つです．トピックはプログラムの意味を数学を使って厳密に与える様々な方法や，与えた意味論を使ってプログラミング言語の性質を証明する方法です．興味のある方は末永 ksuenaga(a)kuis.kyoto-u.ac.jp までメールをいただければと思います．書誌情報に訳者として名前を載せられるのは数人らしいのですが，お手伝いいただいた方には謝辞などでお名前を出させていただきます．また，些少ながら原稿料も出るようです．どうぞよろしくお願い致します．末永幸平 -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 20 Jul '16

20 Jul '16

皆様ルートヴィヒ・マクシミリアン大学ミュンヘンのHelmut Schwichtenberg先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Date: Thursday 25 August, 2016, 13:30-15:10 Place: JAIST, Lecture room I2 (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Helmut Schwichtenberg (Ludwig-Maximilians-Universität München) Title: Invariance axioms for realizability Abstract: Kolmogorov (1932) proposed to consider mathematical formulas as problems asking for solutions. Following this idea it seems reasonable to extend arithmetical theories by adding invariance axioms, which state that every formula is equivalent to the (internal) formula stating that it has a realizer. We sketch such a theory, which in addition allows to fine-tune the computational content of proofs by decorations of the logical connectives. A soundness theorem holds.

1 0

Kobe Colloquium: July 26, 2016, Bakhadyr Khoussainov
by Makoto Kikuchi 20 Jul '16

20 Jul '16

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。 Date: 2016/7/26 (Tue) 3.00pm - 4.30pm Place: Room 421 Speaker: Bakhadyr Khoussainov (Auckland/Kyoto) Title: Algorithmically random infinite structures Abstract: Over the last two decades a significant progress has been made in the study of algorithmic random infinite strings. The main concepts of algorithmic randomness on infinite strings are based on the natural measure on the Cantor space. In spite of much work, research on algorithmic randomness has excluded the investigation of randomness for infinite structures such as graph, trees, algebras. The reason is that it was unclear how one introduces a meaningful measures into these classes of structures that would be pivotal in defining algorithmic randomness. We provide a solution to this problem. We present an axiomatic approach that introduces measure, and hence algorithmic randomness into various classes of structures. We prove the existence of algorithmically random structures with various computability-theoretic properties. We show that any nontrivial variety of algebras has an effective measure 0. This, for instance, implies that no finitely presented algebra in a variety is algorithmically random. We also prove a counter-intuitive result that there are algorithmically random yet computable structures. This establishes a connection between algorithmic randomness and computable model theory. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 19 Jul '16

19 Jul '16

皆様インスブリア大学のMarco Benini先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Date: Monday 8 August, 2016, 13:30-15:10 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Marco Benini (University of Insubria) Title: Variations on the Higman's Lemma Abstract: The Higman's Lemma says that if A is a well-quasi-order, so is the set of finite sequences over A with the order induced by embedding. By considering the structure of the categories of well-founded quasi-orders and well-quasi-orders, another proof of the Lemma will be derived, along with a number of variants, which may be of some interest.

1 0

Talk by Liang-ting Chen, 19 Tue Jul
by Takumi Akazaki 16 Jul '16

16 Jul '16

Dear colleagues, Dr. Liang-Ting Chen, postdoc. in University of Hawaii at Manoa will visit us next Tuesday. He is working mainly on categorical-algebraic automata theory, and the topic of the talk is Schutzenberger Products. His talk is scheduled on 19 Jul (Tuesday). You're all invited. Thanks, and see you, Takumi Akazaki http://www-mmm.is.s.u-tokyo.ac.jp/seminars.html ----------- Tue 19 July 2016, 13:00–15:00 理学部7号館102 Room 102, School of Science Bldg. No. 7 Liang-Ting Chen <https://de.linkedin.com/in/liang-ting-chen-b5a74988> (Dept. of Info. and Comp. Sci., University of Hawaii), Schutzenberger Products in a Category The Sch\"utzenberger product of monoids is a key tool for the algebraic treatment of language concatenation. In this paper we generalize the Sch\"utzenberger product to the level of monoids in an algebraic category 𝒟, leading to a uniform view of the corresponding constructions for monoids (Sch\"utzenberger), ordered monoids (Pin), idempotent semirings (Kl\'ima and Pol\'ak) and algebras over a field (Reutenauer). In addition, assuming that 𝒟 is part of a Stone-type duality, we derive a characterization of the languages recognized by Sch\"utzenberger products. -- /_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ Dept. of Computer Science Graduate School of Information Science and Technology The University of Tokyo Akazaki Takumi mail :<ultraredrays(a)gmail.com> mobile : <090-5379-4901> /_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/

1 0

Nagoya Set Theory Seminar
by 吉信康夫 12 Jul '16

12 Jul '16

名古屋集合論セミナーのご案内：日時：2016年7月15日(金) 午後3時30分より場所：名古屋大学大学院情報科学研究科2階206号室講演者：渕野昌(神戸大学) 題目：Pre-Hilbert spaces without orthonormal bases 概要：Halmos proved in 1970's that there are pre-Hilbert spaces without orthonormal bases. His example of such pre-Hilbert space was so that its dimension (size of maximal orthonormal system in the space) is strictly less than the density of the space. We show that there are also pre-Hilbert spaces X without orthonormal bases such that dim(X)=d(X). We also show that Shelah Singular Compactness Theorem holds for non-existence of orthonormal bases holds and a natural reflection statement of non-existence of orthonormal bases is equivalent to the Fodor-type Reflection Principle. 多数のご参加をお待ちしております。名古屋大学大学院情報科学研究科吉信康夫

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml