今回の出展では新刊の yabaitech.tokyo vol.8 を頒布予定です！
今回は3つの記事が寄稿されています。
- 「トポスの内部論理で定理証明支援系を作る : 構成的基礎から非構成的公理まで」 by wasabiz
- 「FalCAuN によるブラックボックス検査 ― 形式仕様に対する自動テスト ―」 by MasWag
- 「ハードウェアの事情から理解する C++ メモリモデル」 by nullpo_head
それでは技術書典でお会いできるのを楽しみにしております！
]]>
今回の出展では新刊の yabaitech.tokyo vol.8 を頒布予定です！
今回は3つの記事が寄稿されています。
それでは技術書典でお会いできるのを楽しみにしております！
]]>
今回の出展に関していくつかお知らせがあります。
新刊は出ません(◞‸◟)
本来であれば、今回の技術書典18にあわせて新刊「vol.8」を出版する予定で準備を進めていました。しかし、メンバーそれぞれが多忙な時期と重なってしまい、記事執筆のための時間を十分に確保することができませんでした。そのため、今回は残念ながら新刊の発行を見送ることとなりました。楽しみにしてくださっていた方には申し訳ありません。
新刊はない……のですが、オンサイト会場では既刊のvol.3〜7の書籍版を各500円で頒布しますので、まだお持ちでない方はぜひこの機会にお手に取っていただければ嬉しいです(まとめて買えば2000円です！)。既刊の内容は、コンピュータサイエンスや技術に興味のある方ならどなたでも楽しめる内容となっています。ぜひお気軽にお立ち寄りください！
また、イベント参加に際して既刊全てのpdfを公開しました。ご興味のある方はBooksページから是非ダウンロードしてみてください。また執筆に使ったGitHubリポジトリも同じページからアクセスできます。SATySFiを使った同人誌執筆に興味のある方には参考になるかもしれません。
⚠️Boothのショップからも無料でpdfをダウンロードできます‥‥が、技術書典オンラインマーケットでは無償にできなかったため最低価格の500円になっております。ご注意ください。
]]>時間/場所は「金曜日東地区”N”29b」です。こちらのカタログから詳細を確認できます👉https://webcatalog.circle.ms/Circle/15703999
C99では新刊の yabaitech.tokyo vol.7 を頒布予定です。新刊のvol.7に掲載予定の記事は以下の通りです。
チルノのパーフェクトフォワーディング教室、はじまるよ〜
テキサスホールデムポーカーを始めとする不完全情報ゲームの解析において今や基礎とも言える「CFRアルゴリズム」。その背景・数式・実装・具体例を網羅的かつ丁寧に説明します。
2年家でひきこもって炒めものを作ってきた俺がノウハウを共有するぜ
実用できる水準まで自作プログラミング言語を作り込んで，日本で数十人くらいしか遊んでいないテーブルゲームのゲームサーバを実装するという二重の超自己満足
今回はbinaryさんが引き続きポーカーの話を書いてくれたのに加え、gfnさんが自作言語でゲームサーバーをつくるというガッツリした記事を寄稿してくれました。是非読んでみてください。
なお今回の表紙もcensoredが描いてくれています。
というわけで有明で待っております、みんな買ってね！
]]>新刊のvol.6に掲載予定の記事は以下の通りです。
ヤバイテックメンバーとポーカーで遊んでいたらなぜかサークルに加入させられてしまった筆者が、ポーカーの役判定を題材に爆速なプログラムを作るべくさまざまなアプローチを試みます。
Emacs、LaTeX書くなら、野鳥かな — GNU EmacsでLaTeX文書を書く方法について書いていきます
最先端の高速SATソルバーで実装されている様々な高速化技術を実際にプログラミングしながら(さっと)学んでいきます。
ポーカーの役判定アルゴリズムとSATソルバーの話はそれぞれ「プログラムをゴリゴリにチューニングして 高速にする」系の話で、これまでのyabaitech.tokyoにはあまり出てこなかった話題です。 でもこういうのが好きな人って結構いると思うんですよね。興味があったら是非読んでみてください。
EmacsでLatexを書く記事は普通に役に立つ系のそれです。そのうち公開するらしいですが 早いうちに読んでライバルに差をつけるといいのではないでしょうか。
なお今回の表紙もcensoredが描いてくれています。大体こんな感じになりそう。
というわけで技術書典で待っております、みんな買ってね！
]]>
いよいよ明日が技術書典9本番ですよ！ むっちゃドキドキしてきた…。サークル参加者の皆さん、今日くらいは勉強は休んで明日に備えますよね？
……というわけではないんですけど、zeptometerが見本誌提出の締切のことを忘れていたので yabaitech.tokyo vol.5 が購入可能になるのは少しだけ、本当に少しだけ遅れることになりそうです。もう少しお待ちください🙇
さてさてさて、今回の合同誌もヤバイテックトーキョーのメンバーがコンピュータサイエンスの様々なトピックについて興味のおもむくまま記事を書きます。以下に各記事の著者による一言紹介をのせておきますね。
SATySFi でクラスファイルを開発する際の開発環境で悩んだことはないですか？この記事では「Satyrographosパッケージ公開」と「Regression Testを書く」の二点について、yabaitech.tokyo で得られた知見を共有します。
これは “Python” （食材の方）に挑戦したオタク達の物語もといグダグダ会話劇である
アスペクト試行プログラミングでC++プログラムをモニタリングしていきます！
静的型つきの自作言語にモジュールシステムを設計・実装するときの定番になりうるF-ing modulesという体系を紹介するマンです
なお今回のイカした表紙は censored によるものです。
以上、よろしくお願いします。
]]>ここ最近はコロナウイルスがすっかり日常の一部になってしまった感があります。 今回の技術書典もリモートでの開催となりましたが、yabaitech.tokyoは技術書典9に出典する予定です。
リモートでの開催は必要な準備が少なくて楽な反面、あのお祭り騒ぎ的な雰囲気が楽しめないことが 少し寂しい部分もあります。 地味に痛いポイントは紙媒体の販売がないことですかね。いえ、しようと思えばできるんですが、過去の経験だと紙媒体は オンラインだとあまり売れないんですよね……
電子媒体だけの頒布だと印刷所への「真の締切」が存在しないために締切駆動執筆の強制力が弱いところが あります。これはそもそも締切駆動執筆に頼らないように健全化するべき話ではありますが。 あとは出来上がった紙媒体を見て嬉しくなる、みたいなこともないので執筆者のモチベーションが あまり上がらないという問題もあります。こちらについては身内だけ用に少部数紙媒体を発行する方向で 検討しています。
という感じで若干ネガティブな話題になってしまいましたが、それでもこの新しい形の技術書典を 楽しく盛り上げることに貢献できればいいなと思っております。引き続きyabaitech.tokyoを よろしくお願いします。
（文責：zeptoemter）
]]>(技術書典のサークルページにも詳細を載せているので、是非サークルチェックをお願いします。)
今回は2階ホールDのえ34Dに配置されました。
今回のメインの頒布物はyabaitech.tokyo vol.3です。
今回の合同誌もヤバイテックトーキョーのメンバーがコンピュータサイエンスの様々なトピックについて興味のおもむくまま記事を書きます。自動的に電子版もついてきます。以下に各記事の著者による一言紹介をのせておきますね。
群論をコンピュータでやります
神託を使ってDFAやNFAを学習するアルゴリズムを説明します
Rustでマイクロカーネル書くやつのつづきやります
粘菌計算に興味を持って粘菌を育て始めたら粘菌の魅力に気づいてしまった人の話
命題が真でも偽でもあることを認める非古典論理についてさらっと紹介したりしなかったりします
なお今回も表紙がいい感じになっております。
また、vol.3と前回のvol.2についてそれぞれDLカードを販売します。それぞれ1000円で販売予定です。
以上、よろしくお願いします。
]]>技術書典のサークルページにも詳細を載せているので、是非サークルチェックをお願いします。配置はけ04Dです。
今回のメインの頒布物はyabaitech.tokyo vol.3です。値段と予定部数は未定です。
今回の合同誌もヤバイテックトーキョーのメンバーがコンピュータサイエンスの様々なトピックについて好き勝手なことを書きます。
群論をコンピュータでやります
神託を使ってDFAやNFAを学習するアルゴリズムを説明します
Rustでマイクロカーネル書くやつのつづきやります
粘菌計算に興味を持って粘菌を育て始めたら粘菌の魅力に気づいてしまった人の話
命題が真でも偽でもあることを認める非古典論理についてさらっと紹介したりしなかったりします
ちなみに昨日が第一稿の締切でした。以上よろしくお願いします。
]]>(技術書典のサークルページにも詳細を載せているので、是非サークルチェックをお願いします。)
今回はえ34に配置されました。多分会場に入って真っ先に向かうといいと思います。
今回のメインの頒布物はyabaitech.tokyo vol.2です。
今回の合同誌もヤバイテックトーキョーのメンバーがコンピュータサイエンスの様々なトピックについて好き勝手なことを書きます。多分興味のある記事があったらヤバイテックトーキョーに立ち寄ってみてもいいと思います。以下に各記事の著者による一言紹介をのせておきますね。
無料でmecabを使った人工無能のtwitter botを運用したいっていうQxxta記事みたいなやつを書きます。
シェフの創作L4カーネル料理 〜 ピスタチオと鉄錆を添えて 〜
定理証明支援系をつくりたい．定理証明支援系をつくりたくない？
えっ、プログラミング言語の形式化がクソ面倒くさい？Belugaならそれ簡単にできるよ
メタプログラミングの一種の形式化である多段階計算の体系に可変参照 (mutable reference) の機能をつけ加えたときに生じる計算上の破綻をきたす問題点と，それを静的に防ぐための型システムについて既存研究を紹介し，さらなる改良の可能性のアイディアについて簡単に述べます．
モニタリングのための時間オートマトン入門ということで、時間オートマトンの所属性判定問題の紹介と、計算量解析を行います。
忙しいエンジニア諸氏が作業中や休憩中に金も体力も使わない娯楽を欲する時、そこには Twitch があるということに気付かせます
なお、表紙がいい感じになっております。多分表紙のためだけに買ってもいいと思います。
また、今回もThe SATySFibookを少数ですが頒布します。多分前回入手し損ねた人は今回ヤバイテックトーキョーに寄るといいと思います。
以上、よろしくお願いします。
]]>以下のものを頒布予定です。
yabaitech.tokyo vol.2はヤバイテックトーキョーのメンバーによる合同誌です。 現在鋭意執筆中ですが、以下のトピックの記事が掲載される予定です
詳細が決まったころに新しい記事を投稿する予定です。よろしくお願いします。
]]>