【型システム入門】TAPL翻訳の発売に沸き立つTL

Keigo Imai @keigoi

「【型システム入門】TAPL邦訳、Amazonベストセラー1位の謎」をトゥギャりました。 http://t.co/li5FCxZ1Fa

こくぼ@Leaner Technologies @yusuke_kokubo

TaPL翻訳版は紙媒体を買うか電子書籍を買うか

オスツ🍣 @alohakun

俺の場合、本当に簡単な英語でも誤読しまくるから、時々辻褄が合わなくてもそんなもんかとなんとなく読んでしまうんだけど、やっぱり TaPL の英語って難しいんだ…。（当時は、みんな平易な英語って言ってたからそんなもんかと思ってたし、数学部分の難しさの印象が強すぎた。）

Satoshi Kojima @skoji

TaPLは翻訳でたのか

ytb @ytb_at_twt

乗るしかないでしょ、このビックウェーブに！：次の商品を購入しました：'型システム入門 －プログラミング言語と型の理論－'：Benjamin C. Pierce via @amazonJP http://t.co/3MFCciixrR

Daisuke Matsumoto @daimatz

TAPL ベストセラーの記念スクショ http://t.co/p5MrICsZnI

しいたけ @yuroyoro

TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも : http://t.co/BoPmXmQ7VN

はまん @haman29

[programming][book] 欲しい / “TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも” http://t.co/Ii89ncjivl

ruichi @ruicc

TAPLもうベストセラーかーさすがだなー

ふみ (DJ Monad) @fumieval

TAPL日本語版欲しいけれど気軽に買える値段じゃないな…。

did2 @did2memo

TAPLが手元に届いて初めて開いてどんなことが書いてあるかを知って「なんだこれ？？？」ってなる人が続出する予感…

りらっくみゃー @rirakkumya

TaPL本。amazonでポチろうかと思ったけど、ここで電子版が買える気がする。 誰か情報持ってませんか？ Now Browsing: オーム社eStore(β) - http://t.co/zUK0VzGEcW

Yukihiro Matz @yukihiro_matz

link: TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも - http://t.co/kUu8praO3x

Yusuke Terada @doraTeX

@kuroky_plus ぜひ本家TeXLiveに取り込んでもらえれば有り難いですね。それはさておき，TAPL訳書発売おめでとうございます！型理論は学生時代に長谷川立先生の講義を受けて以来ですが，ジュンク堂のトークセッションにはぜひ出席してみたいと思っています。

がくぞ @gakuzzzz

ここ一連のアレはTaPL邦訳を売るための壮大なステマでしたみたいなオチだったら面白いのに

sasashin @sasashin

q「へー、お兄ちゃん TaPL の日本語版が出るからって浮かれてるねー。で、SICP は読み終ったの?」 お、おう…。 / “【型システム入門】TAPL翻訳の発売に沸き立つTL - Togetter” http://t.co/Dop4tLr5hD

Taro L. Saito @taroleo

おつかれさまです。早速kindle化リクエストを押す。。。 / “TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも” http://t.co/Yp3ZUQHGAs

おく @OKU_K

TAPL日本語版のカバーイメージがどんなのになるのか気になる

ヽ|・∀・|ノ @i_am_a_youkan

TaPL、翻訳でも500ページ強か。世の中の分厚い本書く人たちは、何を考えているんだ

Togetter（トゥギャッター） @togetter_jp

.@keigoiさんの「【型システム入門】TAPL翻訳の発売に沸き立つTL」に注目中〜。じわじわきてるねっ！ http://t.co/0EUnrVCvI7