yabaitech.tokyoyabaitech.tokyo vol.2
- Digital1,000 JPY
ページ数: 188ページ 今回の合同誌もヤバイテックトーキョーのメンバーがコンピュータサイエンスコンピュータサイエンスの様々なトピックについて好き勝手なことを書きます。多分興味のある記事があったらヤバイテックトーキョーに立ち寄ってみてもいいと思います。以下に各記事の著者による一言紹介をのせておきますね。
ページ数: 188ページ
今回の合同誌もヤバイテックトーキョーのメンバーがコンピュータサイエンスコンピュータサイエンスの様々なトピックについて好き勝手なことを書きます。多分興味のある記事があったらヤバイテックトーキョーに立ち寄ってみてもいいと思います。以下に各記事の著者による一言紹介をのせておきますね。
けもフレ 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 があるということに気付かせます