ヤバイテックトーキョー@技術書典6え34 をよろしく
先ほど原稿を入稿を完了しました。今回の出展の詳細をお伝えします。
(技術書典のサークルページにも詳細を載せているので、是非サークルチェックをお願いします。)
配置はえ34
今回はえ34に配置されました。多分会場に入って真っ先に向かうといいと思います。
頒布物
今回のメインの頒布物はyabaitech.tokyo vol.2です。
- 値段: 1500円
- 頒布予定部数: 70部
今回の合同誌もヤバイテックトーキョーのメンバーがコンピュータサイエンスの様々なトピックについて好き勝手なことを書きます。多分興味のある記事があったらヤバイテックトーキョーに立ち寄ってみてもいいと思います。以下に各記事の著者による一言紹介をのせておきますね。
- けもフレ bot を支える技術（導入編）by censored
無料でmecabを使った人工無能のtwitter botを運用したいっていうQxxta記事みたいなやつを書きます。
- Writing a (micro)kernel in Rust in 12 days ― The first 3 days ― by nullpo_head
シェフの創作L4カーネル料理 〜 ピスタチオと鉄錆を添えて 〜
- 定理証明支援系をつくろう！by wasabiz
定理証明支援系をつくりたい．定理証明支援系をつくりたくない？
- プログラミング言語を形式化するもう一つの方法について by zeptometer
えっ、プログラミング言語の形式化がクソ面倒くさい？Belugaならそれ簡単にできるよ
- 多段階計算と可変参照のための型システム by gfn
メタプログラミングの一種の形式化である多段階計算の体系に可変参照 (mutable reference) の機能をつけ加えたときに生じる計算上の破綻をきたす問題点と，それを静的に防ぐための型システムについて既存研究を紹介し，さらなる改良の可能性のアイディアについて簡単に述べます．
- モニタリングのための時間オートマトン入門 ー 所属性判定 ー by MasWag
モニタリングのための時間オートマトン入門ということで、時間オートマトンの所属性判定問題の紹介と、計算量解析を行います。
- 忙しいエンジニアのための Twitch ゲーム配信観戦ガイド by irn_bru
忙しいエンジニア諸氏が作業中や休憩中に金も体力も使わない娯楽を欲する時、そこには Twitch があるということに気付かせます
なお、表紙がいい感じになっております。多分表紙のためだけに買ってもいいと思います。
また、今回もThe SATySFibookを少数ですが頒布します。多分前回入手し損ねた人は今回ヤバイテックトーキョーに寄るといいと思います。
- 値段: 1200円
- 頒布予定部数: 30部
以上、よろしくお願いします。