-
Notifications
You must be signed in to change notification settings - Fork 0
/
pop.saty
125 lines (121 loc) · 4.1 KB
/
pop.saty
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
% -*- coding: utf-8 -*-
@require: itemize
% parallel
@require: parallel/parallel
% latexcmds
@require: latexcmds/latexcmds
@import: pop
document '<
+centering{\large{ヤバイテックトーキョー 2日目} \huge{東N29b}}
+linebreak;
+parallel-bottom ?:(0.45) ?:(0.55) <
+front-image-new(`./images/yabaitechvol7.jpg`);
> <
+p-noindent{\Large{【新刊】}}
+vol(7);
+enumerate-with-gap(3.5mm) {
* チルノのパーフェクトフォワーディング (完全転送) 教室
* 不完全情報ゲームのナッシュ均衡を CFR アルゴリズムで求めよう
* 炒め物のイディオム
* 自作言語Sesterlでオンライン対局ゲームを実装した話
}
+p-noindent{\price(`書籍`)(1500); \price(`電子版`)(1000);}
% +price(`書籍`)(1500);
% % +linebreak;
% +price(`電子版`)(1000);
>
+linebreak;
+parallel-bottom ?:(0.75) ?:(0.25) <
+vol-old(6);
+enumerate-with-gap(5.5mm) {
* \small{テキサスホールデムの役判定に見る高速化テクニック}
* \small{GNU Emacsで\LaTeX;文書を書く話}
* \small{高速SATソルバーを支える技術}
}
+p-noindent{\price(`書籍`)(1500); \price(`電子版`)(1000);}
% +linebreak;
> <
+front-image-old(`./images/yabaitechvol6.jpg`);
>
+linebreak;
+parallel-bottom ?:(0.35) ?:(0.65) <
+front-image-old(`./images/yabaitechvol5.jpg`);
> <
+vol-old(5);
+enumerate-with-gap(0mm) {
* \small{”Python” Cookbook: Recipes for Eating Python}
* \small{\SATySFi; クラスファイル開発の『コードを書く』以外のTips}
* \small{アスペクト指向プログラミングで C++ プログラム用モニタを実装した話}
* \small{F-ing modulesの型検査とコンパイル手法}
}
+price?:(`各`)(`書籍/電子版`)(1000);
>
+linebreak;
%%%%%%%%%%%%%%%%%%%%% 2枚目 %%%%%%%%%%%%%%%%%%%%%%%%%%%%
+parallel-bottom ?:(0.3) ?:(0.7) <
+front-image-old(`./images/yabaitechvol4.jpg`);
> <
+vol-old(4);
+enumerate-with-gap(3mm) {
* \small{ゲーム紹介記事 ー忙しくないプログラマのためのー}
* \small{複数マシンでの実験をAnsibleとかでシュッとした話 ー実験編ー}
* \small{(おまけ記事) Let's verify your C program!}
* \small{あとがき ーyabaitech.tokyoを支える技術ー}
}
+price?:(`各`)(`書籍/電子版`)(500);
>
+linebreak;
+parallel-bottom ?:(0.75) ?:(0.24) <
+vol-old(3);
+enumerate-with-gap(0mm) {
* \small{Schreier-Sims のアルゴリズムを Rust で実装した}
* \small{はじめての AI ーAI は AI でも Automata Inference の方だがなぁぁーっ !ー}
* \small{Writing a (micro) kernel in Rust in 12 days ー2.5th dayー}
* \small{粘菌で計算がしたい!}
* \small{真矛盾主義入門}
}
+price?:(`各`)(`書籍/電子版`)(1000);
> <
+front-image-old(`./images/yabaitechvol3.jpg`);
>
+linebreak;
+parallel-bottom ?:(0.3) ?:(0.7) <
+front-image-old(`./images/yabaitechvol2.jpg`);
> <
+vol-old(2);
+parallel <
+enumerate-with-gap(3mm) {
* \small{けもフレbotを支える技術}
* \small{RustでOSをつくる}
* \small{定理証明支援系を作ろう}
* \small{Belugaによる定理証明}
}
> <
+enumerate-with-gap?:(4)(3mm) {
* \small{多段階計算の型システム}
* \small{時間オートマトン入門}
* \small{Twitchゲーム配信観戦ガイド}
}
>
+price(`電子版`)(1000);
>
+linebreak;
+parallel-bottom ?:(0.7) ?:(0.265) <
+parallel-bottom ?:(0.6) ?:(0.4) <
+vol-old(1);
+enumerate-with-gap(10mm) {
* \small{RNNからのオートマトン学習}
* \small{自然な様相論理をつくる}
}
+price(`電子版`)(300);
> <
+front-image-old(`./images/yabaitechvol1.jpg`);
>
> <
+centerings {|
電子版は|
Boothから買えます
|}
+qr-image(`./images/qr20211219151921966.jpeg`);
>
>