型システム入門 プログラミング言語と型の理論 発売ニュースに沸き立つTL

藤村 @ffu_

TaPL邦訳だ！ - 2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部 http://t.co/0ptd853g

専門性・売上・原稿 @golden_lucky

TLがTaPL色

natsutan @natsutan

パタヘネ！ QT @johtani: SICPとTAPLとあと読まないといけない本ってどのくらいあるんだろう。

Daisuke Matsumoto @daimatz

期待のオーム社から TaPL 邦訳が出るらしい

きしもと @ksmakoto

TaPL予告キタ

Daisuke Matsumoto @daimatz

TaPL 邦訳。期待を込めてブクマです / “2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部” http://t.co/uknKUf7W

natsutan @natsutan

TAPL翻訳版で喧嘩するのやめて＞＜

Shugo Maeda @shugomaeda

「2012年3月新刊予定：型システム入門 プログラミング言語と型の理論」 http://t.co/tAVaFvag おおお

ロウエル @rowel0000

型システム入門 プログラミング言語と型の理論 http://t.co/fqmxwAfD 「型の理論」を「型の推論」って見間違えた。せっかくだからちょっと見て見ようか？3月までに忘れちゃいそうだな

カグラ屋 @kagura_miya

TAPLの邦訳がついに出ますよ！

山本和彦 @kazu_yamamoto

TaPL の勉強会をやりたい。

かしまかずお @k4200jp

大抵の人は日本語で読むほうが速いから＞TAPLの日本語訳を買う理由

mzp @mzp

和訳版TAPLの略称を考える会

hole @h013

TAPL邦訳かー。買おう

ɥozɐʞıɥ @hikazoh

TaPLの日本語訳らしい。買おう。 2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部 - るとぅるる http://t.co/BYSiREgD

hole @h013

パターン認識と機械学習の邦訳もみんなPRMLって言ってるし、TAPLもそのまま邦訳版の略称になりそう

すもぎ @smallgeek

TaPL 翻訳版きたかー。頑張って読みたい / http://t.co/lXrPK5MI

hole @h013

Types and Programming Languages→型システム入門 プログラミング言語と型の理論 Pattern Recognition and Machine Learning→ パターン認識と機械学習

ばばろあ @valvallow

とうとうTaPLの翻訳でるんですね怖い。

Masashi Nishimoto @comlopard

ついにTAPLの日本版の発売日が決まったらしい。これで英語が苦手な人も型理論が勉強できる！

👻 道化師 🃏 @wraith13

TaPLいい本らしいし、読んだ方がいいよ！ プログラマなら英語ぐらいできなきゃね！ え？TaPLの邦訳本が出るの？やったー！読むぞー！

Takuo Watanabe @wtakuo

TaPLの邦訳がでるのか。訳者の皆様おつかれさまです。

shishi @shishi4tw

TAPL の翻訳が出るのか

でこすけ @dekosuke

TaPL和訳くるー http://t.co/O2zNki4S

terazzo @terazzo

いわゆるTaPLってやつなの？＞2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部 http://t.co/WxLntKXs #Zenback via @zenback