A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | AA | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 🔎: Haskellちょっと興味ある人向けのセッション | ||||||||||||||||||||||||||
2 | 🔰: Haskell始める・始めている人向けのセッション | ||||||||||||||||||||||||||
3 | 📙: Haskell入門書を読んでいる、あるいは終えた人向けのセッション | ||||||||||||||||||||||||||
4 | |||||||||||||||||||||||||||
5 | 開始時刻 | 終了時刻 | セッション | ||||||||||||||||||||||||
6 | 9:30 | 10:00 | --- | 🎊開場 | |||||||||||||||||||||||
7 | 10:00 | 12:00 | igrep | 🔰オープニング「作りながら学ぶHaskell入門」を使ったハンズオン | |||||||||||||||||||||||
8 | 12:00 | 13:20 | --- | 🍙Lunch break | |||||||||||||||||||||||
9 | 13:20 | 13:50 | khibino | 🔎Haskellを導入した話 | |||||||||||||||||||||||
10 | 13:50 | 14:20 | nakaji-dayo | 🔎Servantで実現する高速かつ安全なAPI開発 | |||||||||||||||||||||||
11 | 14:20 | 14:35 | --- | ☕Break | |||||||||||||||||||||||
12 | 14:35 | 15:05 | syocy | 🔎並列並行言語Haskell | |||||||||||||||||||||||
13 | 15:05 | 15:35 | syocy | 🔎Dhall: Haskellの新たなキラーアプリ | |||||||||||||||||||||||
14 | 15:35 | 15:50 | --- | ☕Break | |||||||||||||||||||||||
15 | 15:50 | 16:20 | aiya000 | 🔰Semigroupとは? Monoidとは? 環とは? | |||||||||||||||||||||||
16 | 16:20 | 16:35 | --- | ☕Break | |||||||||||||||||||||||
17 | 16:35 | 16:55 | matsubara0507 | 🔰Haskell で作る CLI | |||||||||||||||||||||||
18 | 16:55 | 17:25 | lotz | 📙gloss: 動かして遊んで学ぶHaskell | |||||||||||||||||||||||
19 | 17:25 | 17:35 | --- | ☕Break | |||||||||||||||||||||||
20 | 17:35 | 18:05 | fumieval | 📙Liszt あるいは永続データ構造を真に永続させる方法 | |||||||||||||||||||||||
21 | 18:05 | 18:10 | --- | 🙇クロージング | |||||||||||||||||||||||
22 | 18:10 | 20:30 | --- | 🍻懇親会 | |||||||||||||||||||||||
23 | |||||||||||||||||||||||||||
24 | |||||||||||||||||||||||||||
25 | |||||||||||||||||||||||||||
26 | |||||||||||||||||||||||||||
27 | |||||||||||||||||||||||||||
28 | |||||||||||||||||||||||||||
29 | |||||||||||||||||||||||||||
30 | |||||||||||||||||||||||||||
31 | |||||||||||||||||||||||||||
32 | |||||||||||||||||||||||||||
33 | |||||||||||||||||||||||||||
34 | |||||||||||||||||||||||||||
35 | |||||||||||||||||||||||||||
36 | |||||||||||||||||||||||||||
37 | |||||||||||||||||||||||||||
38 | |||||||||||||||||||||||||||
39 | |||||||||||||||||||||||||||
40 | |||||||||||||||||||||||||||
41 | |||||||||||||||||||||||||||
42 | |||||||||||||||||||||||||||
43 | |||||||||||||||||||||||||||
44 | |||||||||||||||||||||||||||
45 | |||||||||||||||||||||||||||
46 | |||||||||||||||||||||||||||
47 | |||||||||||||||||||||||||||
48 | |||||||||||||||||||||||||||
49 | |||||||||||||||||||||||||||
50 | |||||||||||||||||||||||||||
51 | |||||||||||||||||||||||||||
52 | |||||||||||||||||||||||||||
53 | |||||||||||||||||||||||||||
54 | |||||||||||||||||||||||||||
55 | |||||||||||||||||||||||||||
56 | |||||||||||||||||||||||||||
57 | |||||||||||||||||||||||||||
58 | |||||||||||||||||||||||||||
59 | |||||||||||||||||||||||||||
60 | |||||||||||||||||||||||||||
61 | |||||||||||||||||||||||||||
62 | |||||||||||||||||||||||||||
63 | |||||||||||||||||||||||||||
64 | |||||||||||||||||||||||||||
65 | |||||||||||||||||||||||||||
66 | |||||||||||||||||||||||||||
67 | |||||||||||||||||||||||||||
68 | |||||||||||||||||||||||||||
69 | |||||||||||||||||||||||||||
70 | |||||||||||||||||||||||||||
71 | |||||||||||||||||||||||||||
72 | |||||||||||||||||||||||||||
73 | |||||||||||||||||||||||||||
74 | |||||||||||||||||||||||||||
75 | |||||||||||||||||||||||||||
76 | |||||||||||||||||||||||||||
77 | |||||||||||||||||||||||||||
78 | |||||||||||||||||||||||||||
79 | |||||||||||||||||||||||||||
80 | |||||||||||||||||||||||||||
81 | |||||||||||||||||||||||||||
82 | |||||||||||||||||||||||||||
83 | |||||||||||||||||||||||||||
84 | |||||||||||||||||||||||||||
85 | |||||||||||||||||||||||||||
86 | |||||||||||||||||||||||||||
87 | |||||||||||||||||||||||||||
88 | |||||||||||||||||||||||||||
89 | |||||||||||||||||||||||||||
90 | |||||||||||||||||||||||||||
91 | |||||||||||||||||||||||||||
92 | |||||||||||||||||||||||||||
93 | |||||||||||||||||||||||||||
94 | |||||||||||||||||||||||||||
95 | |||||||||||||||||||||||||||
96 | |||||||||||||||||||||||||||
97 | |||||||||||||||||||||||||||
98 | |||||||||||||||||||||||||||
99 | |||||||||||||||||||||||||||
100 |