Mercurial > hg > Members > atton > seminar_slides

comparison slides/20150714/slide.md @ 107:972cd08436f2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix typo
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 21 Jul 2015 17:46:05 +0900
parents 5819dea3ceb5
children
comparison
equal deleted inserted replaced
106:5819dea3ceb5 107:972cd08436f2
5 5
6 6
7 # LOLA + LICS/ICALP に行ってきました 7 # LOLA + LICS/ICALP に行ってきました
8 * LICS/ICALP が本体(月から金の5日間) 8 * LICS/ICALP が本体(月から金の5日間)
9 * [Logic in Computer Science](http://lics.rwth-aachen.de/lics15/) 9 * [Logic in Computer Science](http://lics.rwth-aachen.de/lics15/)
10 * [nternational Colloquium on Automata, Languages and Programming](http://www.kurims.kyoto-u.ac.jp/icalp2015/) 10 * [International Colloquium on Automata, Languages and Programming](http://www.kurims.kyoto-u.ac.jp/icalp2015/)
11 * の併設。([スケジュール](http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/icalplics2015-schedule-overview.pdf)) 11 * の併設。([スケジュール](http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/icalplics2015-schedule-overview.pdf))
12 * LOLA は LICS の workshop 12 * LOLA は LICS の workshop
13 * [Syntax and Semantics of Low-Level Languages](http://lola15.tcs.ifi.lmu.de/) 13 * [Syntax and Semantics of Low-Level Languages](http://lola15.tcs.ifi.lmu.de/)
14 * 他にもいくつかあったみたいです 14 * 他にもいくつかあったみたいです
15 15
19 * 4(thread) * 10(papers) * 5(days) = 200 papers? 19 * 4(thread) * 10(papers) * 5(days) = 200 papers?
20 * Proceeding を先生が買ってくださったので気になったのがあれば 20 * Proceeding を先生が買ってくださったので気になったのがあれば
21 21
22 # 気になった発表とか 22 # 気になった発表とか
23 * The SML# compiler backend: compiling ML to C-compatible low-level code(LOLA) 23 * The SML# compiler backend: compiling ML to C-compatible low-level code(LOLA)
24 * SML#, dependent type, C-compatible 24 * SML#, dependent type, C-compatible, LLVM
25 * A Cubical Approach to Synthetic Homotopy Theory(LICS) 25 * A Cubical Approach to Synthetic Homotopy Theory(LICS)
26 * HoTT, topology, Type Theory 26 * HoTT, topology, Type Theory
27 * Game Semantics for Type Soundness(LICS) 27 * Game Semantics for Type Soundness(LICS)
28 * Game Semantics, Type Theory 28 * Game Semantics, Type Theory
29 29