Logic-ml February 2018

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

7 participants
15 discussions

セミナー案内
by KASHIMA Ryo 06 Sep '19

06 Sep '19

数理論理学セミナーのお知らせ東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を　　９月８日（金）と１５日（金）に開催します。以下に「話者（所属）題目」の一覧を載せました。どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。 ----- 鹿島亮東京工業大学情報理工学院数理・計算科学系 kashima(a)is.titech.ac.jp ＝＝＝＝＝＝＝＝【８日（金）】西牟田祐樹（慶應大）一般化乗法的論理結合子のシーケント化定理とdecomposabilityについて藤原誠（早大）Bar induction and restricted classical logic 武原直紀（東工大）直観主義二階命題論理と論理式完備ハイティング代数について松田直祐（神奈川大）Curry's last problemへの弱い解答中村誠希（東工大）関係Kleene代数におけるatomic negationについて（仮題）新屋良磨（東大）論文紹介 Cyclic Arithmetic … [View More]

1 8

特任研究員の募集
by koba＠kb.is.s.u-tokyo.ac.jp 28 May '18

28 May '18

＃複数受け取られましたらご容赦ください．東京大学の小林と申します．当研究室では現在，高階モデル検査（高階再帰スキームのモデル検査）とそのプログラム検証などへの応用をテーマとした研究を精力的に進めており，プロジェクトに携わる特任研究員を探しております．身近にご興味のある方がいらっしゃいましたら，10月20日までに小林 (koba(a)is.s.u-tokyo.ac.jp) までメールでお知らせいただければ幸いです。その際、できれば略歴および論文リスト（フォーマット自由）もメールに添えるかまたは郵送でお送りください。（後日、さらに詳細な資料をお願いする可能性があります）．募集の条件は概ね以下のとおりです。 ================ 着任時期：2018年4月（数ヵ月の前後は応相談）任期：年度単位の更新で、業績により最長2020年3月まで延長可能給与：月額38～45万円　　（大学の規定および本人の実績による．細かい条件は応相談.）研究テーマ：高階モデル検査（高階再帰スキームのモデル検査）… [View More]および、そのプログラム検証やデータ圧縮、知識発見などへの応用。高階モデル検査については，プロジェクトのページ　　　http://www-kb.is.s.u-tokyo.ac.jp/~koba/hmc/ および下の参考文献をご覧ください。　　本プロジェクトは科学研究費補助金基盤研究(S)：　　　課題名：高階モデル検査の深化と発展　　　研究代表者：小林直樹（東京大学）　　　研究分担者：五十嵐淳（京都大学）、篠原歩（東北大学）　　の支援をいただいており、その補助金で研究員を雇用する予定です。条件： - 着任時に博士号を取得していること - 理論計算機科学全般に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、　　　２つ以上のトピックに詳しいことモデル検査（特にソフトウェアモデル検査）型システムプログラム意味論プログラム解析・検証・変換オートマトンと形式言語理論自動定理証明　　　　　計算量理論 (可逆)データ圧縮技術自然言語処理ゲノムデータ解析問い合わせ先：　　小林直樹　　東京大学大学院情報理工学系研究科コンピュータ科学専攻　　〒113-0033 東京都文京区本郷7-3-1 　　Phone: 03-5841-4124 　　Fax: 03-5841-4114 　　email: koba(a)is.s.u-tokyo.ac.jp 参考文献の抜粋 ------------- 高階モデル検査の概要： Naoki Kobayashi, "Model Checking Higher-Order Programs", Journal of the ACM, 60(3), 2013. Naoki Kobayashi, "Higher-Order Model Checking: From Theory to Practice", Invited paper in Proceedings of LICS 2011. (A very brief survery of the field) 高階モデル検査/高階言語の理論： Naoki Kobayashi, Etienne Lozes, Florian Bruse, "On the relationship between higher-order recursion schemes and higher-order fixpoint logic", POPL 2017, pp.246-259, 2017 Kazuyuki Asada, Naoki Kobayashi, "Pumping Lemma for Higher-order Languages", ICALP 2017, 97:1-97:14, 2017. Ryoma Sinya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada, "Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence", FoSSaCS 2017, pp.53-68 プログラム検証への応用: Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno, "Predicate Abstraction and CEGAR for Higher-Order Model Checking", Proceedings of PLDI 2011, pp.222-233, 2011. Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno, "Temporal verification of higher-order functional programs", POPL 2016, pp.57-68 データ圧縮への応用: Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi, "Functional Programs as Compressed Data", Higher-Order and Symbolic Computation, 2(1), pp.39-84, 2012. [View Less]

1 1

リマインダー：Sakarovitch先生講演会
by "新屋良磨(秋田大)" 27 Feb '18

27 Feb '18

【明日，明後日および明々後日の講演会のリマインダーです】皆様， 2月28日(水)~3月1日(木)，東工大にて両日16:30からSakarovitch先生による連続講演会があります．水曜と木曜で会場が異なりますのでご注意ください． 3月2日(金)にも東大にて13:30からSakarovitch先生の講演会が開催されます．参加のご検討，どうぞよろしくお願いします．秋田大学数理科学コース新屋良磨 > On Feb 9, 2018, at 9:04, 新屋良磨(秋田大) <ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp>> wrote: > > (重複で受け取られた方はご容赦ください) > 皆様， > > 秋田大の新屋です． > > 2月28日〜3月1日の東工大でのJacques Sakarovitch先生の連続講演会について，開催時間が変更されましたので， > 概要を改めて再通知させていただきます． > &… [View More]gt; 同日に東工大にて行われるプログラミング研究会と時間が重なっていたため，開始時刻を遅らせて > Lecture/Seminar ともに16:30からの開始とさせていただきました．＊会場は変更ありません． > > > ========== Lecture ========== > Time: > 16:30 ~ 17:30, February 28, 2018 (Wed.) > > > Venue: > Room W935, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus) > 　東京工業大学大岡山キャンパス西9号館 W935講義室 (西9号館東側(芝生スロープ側)入口を入って階段を1階上がって左側) > > > Title: > Automata and expressions > > Jacques Sakarovitch > CNRS / Paris Diderot University and Telecom ParisTech > > > Abstract: > Not many results in Computer Science are recognised to be as basic and > fundamental as Kleene Theorem. It states the equality of two sets of > objects that we now call languages. > > In this lecture, I propose a slight change of focus on this result and show > how it is mainly the combination of two families of algorithms: > algorithms that transform an automaton into an expression on one hand > and algorithms that build an automaton from an expression on the other. > > The first purpose is to compare the results of these algorithms, > in order to understand they are indeed not so different. > And also to devise means to keep these results as small as possible. > > The second benefit of isolating this part of Kleene Theorem is to allow > its extension much beyond languages: to subsets of arbitrary monoids > first, and then, with some precaution, to subsets with multiplicity, > that is, to formal power series. > =========================== > > > ========== Seminar ========== > Time: > 16:30 ~ 17:30, March 1, 2018 (Thu.) > > > Venue: > Multi-Purpose Digital Hall, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus) > 　東京工業大学大岡山キャンパス西9号館ディジタル多目的ホール (西9号館東側(芝生スロープ側)入口を入ってすぐ) > > > Title: > Conjugacy and equivalence of weighted automata > > Jacques Sakarovitch > CNRS / Paris Diderot University and Telecom ParisTech > > > Abstract: > As a main thread of this talk, I present the proof of the following result: > > If two regular languages $L$ and $K$ have the same generating > functions, that is, for every integer $n$ they have the same number of > words of length $n$, there exists a rational bijection realised by a > letter-to-letter transducer that maps $L$ onto $K$. > > This statement is a consequence of a refinement of the decidability of > the equivalence of two automata with multiplicity in $N$. It gives us > the opportunity to review first the basic definitions and results on > weighted finite automata, and second to revisit the `classical' theory > of reduction of automata with two notions borrowed to symbolic > dynamics: conjugacy and the Finite Equivalence Theorem. > =========================== > > > 大岡山キャンパスまでの行き方は以下をご覧ください： > https://www.titech.ac.jp/maps/ <https://www.titech.ac.jp/maps/> > 西9号館までの行き方は > http://www.dst.titech.ac.jp/outline/facility/hall.html <http://www.dst.titech.ac.jp/outline/facility/hall.html> > の中の地図をご覧ください。 > > 以上，どうぞよろしくお願いします． > > 秋田大学数理科学コース新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> > (共催：東京工業大学情報理工学院鹿島亮) > Begin forwarded message: > > From: "新屋良磨(秋田大)" <ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp>> > Subject: [jssst-ppl] Talk by Prof. Jacques Sakarovitch (March 2, 2018) > Date: February 16, 2018 12:14:47 JST > To: logic-ml(a)fos.kuis.kyoto-u.ac.jp <mailto:logic-ml@fos.kuis.kyoto-u.ac.jp>, jssst-ppl(a)fos.kuis.kyoto-u.ac.jp <mailto:jssst-ppl@fos.kuis.kyoto-u.ac.jp> > > (重複で受け取られた方はご容赦ください) > 皆様， > > 秋田大学の新屋です． > > 以下の要領で3/2(金)に東大にてJacques Sakarovitch先生の講演会が開催されます． > > なお，前日(2/28~3/1)の東工大でのSakarovitch先生の連続講演会とは講演内容が別の > 新規なものとなっております．どうぞふるってご参加ください． > > 秋田大学数理科学コース新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> > > ========== > Time: > 1:30pm, March. 2, 2018 > > > Venue: > Room 236, East Building of Department of Chemistry, Faculty of Science(化学東館), University of Tokyo > > > Title: > Mysteries and marvels of rational base numeration systems > > Jacques Sakarovitch > CNRS / Paris Diderot University and Telecom ParisTech > > > Abstract: > The definition of numeration systems with rational base, in a joint > work with S. Akiyama and Ch. Frougny (Israel J. Math., 2008), > has allowed to make some progress in a number theoretic problem, > by means of automata theory and combinatorics of words. > At the same time, it raised the problem of understanding the > structure of the sets of the representations of the integers in these > systems from the point of view of formal language theory. > > At first sight, these sets look rather chaotic and do not fit well > in the classical Chomsky hierarchy of languages. They all enjoy a > property that makes them defeat, so to speak, any kind of iteration > lemma. On the other hand, these sets also exhibit remarkable > regularity properties. > > During the recent years, these regularities have been studied in a > series of joint papers with my student V. Marsault. In particular, we > have shown that periodic signatures are characteristic of the > representation languages in rational base numeration systems and > studied, jointly with S. Akiyama, a kind of autosimilarity property > that also leads to the construction of Cantor-like sets. > > These languages still keep most of their mystery. The partial results > which will be presented call for further investigations on the subject > even stronger. > ========== > _______________________________________________ > jssst-ppl mailing list > jssst-ppl(a)fos.kuis.kyoto-u.ac.jp <mailto:jssst-ppl@fos.kuis.kyoto-u.ac.jp> > http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/jssst-ppl <http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/jssst-ppl> [View Less]

1 0

ワークショップのお知らせ(3/26~3/29@秋田大)
by Ryoma Sin'ya 26 Feb '18

26 Feb '18

(重複で受け取られた方はご容赦ください) 皆様，秋田大の新屋です．以下の要項で3月末に秋田大にてワークショップを開催いたします．参加申し込みなどは不要ですので，どうぞお気軽にご参加ください．期間： 3月26日のお昼後から3月29日のお昼前まで会場：〒010-8502 秋田市手形学園町1番1号秋田大学手形キャンパス総合研究棟 1階講義室 (学内地図 http://www.akita-u.ac.jp/honbu/info/magazine/outline/pdf/2011/46.pdf <http://www.akita-u.ac.jp/honbu/info/magazine/outline/pdf/2011/46.pdf> ) 講演予定者リスト(敬称略，決定順)：　　根元多佳子 (JAIST)，石原哉 (JAIST)，木原貴行 (名古屋大)，鹿島亮 (東工大)，照井一成 (京大)，　　薄葉季路 (早稲田大)，坪井明人 (筑波大)，金沢誠 (NII)，中野圭介 (電通大) 講演予定者リストは今後更新される可能性があります．ま… [View More]

1 1

Project colloquium talk by Étienne André and Bart Jacobs on 1 March
by urabenatsuki＠is.s.u-tokyo.ac.jp 26 Feb '18

26 Feb '18

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Étienne André and Bart Jacobs on 1 March, 16:00-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo, ERATO MMSD ---- Thu 1 March 2018, 16:00–18:00 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html 16:00–17:00 Étienne André (University Paris 13), … [View More]

1 0

Project colloquium talk by Takeo Uramoto on 22 February
by urabenatsuki＠is.s.u-tokyo.ac.jp 21 Feb '18

21 Feb '18

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Takeo Uramoto on 22 February, 16:30-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo, ERATO MMSD ----- Thu 22 February 2018, 16:30–18:00 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html Takeo Uramoto (Tohoku University), Recent developments in … [View More]

1 0

WIAS Seminar "Type Theory and Proof Theory"(3/16) 及び WIAS Top Runners’ Lecture Collection “Proof Theory and Computation"(3/16, 17) のご案内
by Makoto Fujiwara 21 Feb '18

21 Feb '18

皆様， (重複して受け取られた場合はご容赦ください) 早稲田大学の藤原誠です．以下の通り，3月16日-17日(日本数学会2018年度年会@東京大学の直前)に早稲田大学早稲田キャンパスにて 1. WIAS Seminar "Type Theory and Proof Theory” https://www.waseda.jp/inst/wias/news/2018/01/26/4899/ 及び 2. WIAS Top Runners’ Lecture Collection “Proof Theory and Computation” https://www.waseda.jp/inst/wias/news/2018/01/16/4868/ を開催いたします． 1. WIAS Seminar "Type Theory and Proof Theory” 日程：2018年3月16日(金)13:20-15:30 場所：早稲田大学早稲田キャンパス 26号館 11階 1102教室講演者及び講演題目：・Chuangjie Xu (LMU Munchen), The computer … [View More]

1 0

【参加募集(締切延長・最終案内)】第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）
by 安部達也 19 Feb '18

19 Feb '18

千葉工大の安部です． 3月5日(月)～7日(水)に鳥取県米子市で開催される，第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) の招待講演の詳細およびプログラムが確定いたしましたので，参加の最終案内をさせていただきます．なお，参加登録の締切を2月20日(火)に延長いたしました．締切までのお申し込みおよび参加費等のお支払いを忘れずにお願いいたします． -------------------------------------------------------------------------- 第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018） https://jssst-ppl.org/workshop/2018/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)～3月7日(水) 会場: 鳥取県米子市皆生温泉「… [View More]皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2018/registration.html 参加登録締切：2018年2月20日(火)【延長しました】問い合わせ先： ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] 上野雄大 (東北大) 鵜川始陽 (高知工科大) 海野広志 (筑波大学) 江本健斗 (九州工業大) 勝股審也 (NII) 河内谷清久仁 (日本IBM) 倉光君郎 (横浜国立大) 光来健一 (九州工業大) 櫻井孝平 (金沢大) 笹田耕一 (クックパッド) 新屋良磨 (秋田大学) 澄川靖信 (東京理科大) 田辺良則 (鶴見大) 対馬かなえ (NII) 土屋達弘 (大阪大) 鍋島英知 (山梨大) 浜名誠 (群馬大) 星野直彦 (京都大) 堀江倫大 (日本IBM) 前田敦司 (筑波大) 増原英彦 (東京工業大) 松田一孝 (東北大) 南出靖彦 (東京工業大) 森畑明昌 (東京大学) 結縁祥治 (名古屋大) ・組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] ================================================================ [View Less]

1 0

Talk by Prof. Jacques Sakarovitch (March 2, 2018)
by "新屋良磨(秋田大)" 16 Feb '18

16 Feb '18

(重複で受け取られた方はご容赦ください) 皆様，秋田大学の新屋です．以下の要領で3/2(金)に東大にてJacques Sakarovitch先生の講演会が開催されます．なお，前日(2/28~3/1)の東工大でのSakarovitch先生の連続講演会とは講演内容が別の新規なものとなっております．どうぞふるってご参加ください．秋田大学数理科学コース新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> ========== Time: 1:30pm, March. 2, 2018 Venue: Room 236, East Building of Department of Chemistry, Faculty of Science(化学東館), University of Tokyo Title: Mysteries and marvels of rational base numeration systems Jacques Sakarovitch CNRS / … [View More]

1 0

CALL FOR PARTICIPATION: Second Workshop on Mathematical Logic and its Applications
by YOKOYAMA Keita 14 Feb '18

14 Feb '18

みなさま、 3月に金沢にて開催予定の Second Workshop on Mathematical Logic and its Applications につきまして、現在参加登録を受け付けております。ご参加いただける方は2月18日までに参加登録をいただけますと幸いです。ご検討の程よろしくお願い致します。横山啓太 CALL FOR PARTICIPATION Second Workshop on Mathematical Logic and its Applications Kanazawa, Japan 5 - 9 March 2018 http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/ Description ----------- The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these … [View More]areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. We welcome submissions from anyone, not restricted to the members of the project, within the scope described below. Scope ------ Includes (but not limited to) the following topics and their application: * Intuitionistic logic * Type theory * Proof theory * Constructive analysis/topology * Program extraction * Reverse mathematics * Computable analysis/topology * Recursion theory (Computability theory) * Non-classical logic * Computational complexity Invited speakers ----------------- * Andrew Arana (Universite Paris 1) * Urlich Berger (Swansea University) * Douglas Bridges (University of Canterbury) * Laura Crosilla (University of Birmingham) * Akitoshi Kawamura (Kyushu University) * Hidenori Kurokawa (Kanazawa University) * Maria Emilia Maietti (University of Padova) * Norbert Preining (Accelia Inc.) * Helmut Schwichtenberg (LMU Muenchen) * Kazushige Terui (Kyoto University) * Wim Veldman (Radboud University Nijmegen) * Andreas Weiermann (Ghent University) Registration (deadline: 18 February 2018) ------------------------ Registrations after the deadline, or participantions without registrations will be accepted as much as possible. But if you wish to have an abstract booklet or to join the banquet, please register before the deadline from below. Programme Committee -------------------- * Ryota Akiyoshi (Waseda, Japan) * Josef Berger (LMU Muenchen, Germany) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Katsuhiko Sano (Hokkaido, Japan) * Keita Yokoyama (JAIST, Japan) * Martin Ziegler (KAIST, Korea) Organizers ----------------- * Ryota Akiyoshi (Waseda, Japan) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Takako Nemoto (JAIST, Japan) * Keita Yokoyama (JAIST, Japan) Contact address: organizers-jsps2nd(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp [View Less]

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2018