mod_poppo@技術書典18す06
@mod_poppo
Followers
2K
Following
14K
Media
3K
Statuses
101K
最近はMLをやっています。「Binary Hacks Rebooted」著者の一人です。避難先： https://t.co/8KUbC9nokv / https://t.co/VHy5nPvD1f
Joined June 2011
サークル「だめぽラボ」は6月1日に池袋サンシャインシティで開催される技術書典18に参加します。新刊「作ってわかるTeX言語」のほか、Haskell関連の既刊などを頒布します。
1
15
59
非可述性を許さないまどマギ「『全ての魔女を〜』という言明は、その願いによって生まれる魔女を対象とできない。よって地球は滅亡する」.
0
0
6
今年は技術書典にTeX言語（組版ではない）の同人誌も出ているし、TeX言語の一大ブームが来ているのでは.
技術書典18オンラインはまだ開催中です！だめぽラボの新刊「作ってわかるTeX言語」では、TeX言語の動作の仕組みをTeX言語の模倣品を作ることによって解説します。組版は扱わず、字句解析や展開などの説明が中心となります。The TeXbookやTeX by Topicを補う資料になれば。
0
4
5
RT @furifuri_mono: 数学「群・環・体」 .わい「インターフェースやな」. 数学「集合論」 .わい「インターフェースやな」. 数学「位相空間」 .わい「インターフェースやな」. 数学「実数論」 .わい「インスタンスが一個しかないインターフェースやな」. 数学「自….
0
75
0
滑川〜魚津は、昔はともかくとして両方ローカル線になった今は線路を3本も維持できる需要はないのはわかる。電化方式が違うから線路を共用する事もできない.
0
0
0
RT @PreferredNetJP: 【発表】日本語に強いPLaMo翻訳のブラウザ拡張機能を、ChromeとFirefox向けに提供開始しました。期間限定の無料トライアルとしてページ数無制限で手軽に利用可能です。是非お試しください！..
preferred.jp
株式会社Preferred Networks（本社：東京都、代表取締役 最高経営責任者：西川 徹、以下、PFN）は、PFNが日本語翻訳に特化してフルスクラッチ開発した大規模言語モデル（LLM） PLaMo™翻訳 のブラウ […]
0
161
0
新着記事です.
ブログ更新した / 続・TypeScriptのnever型の話／型付け規則についての雑談
0
0
0
RT @shinkansen_ex: 【速報】.#富山地方鉄道 滑川〜新魚津、岩峅寺－立山間 自治体の支援がなければ来秋にも廃線へ. ▼富山地方鉄道が鉄道本線の滑川－新魚津駅間と立山線について、行政の��援を得られなければ2026年秋に廃線にする方針を固めたことが、関係者への取材….
0
3K
0