lambdanote @lambdanote
技術書出版のラムダノート。お問い合わせはメンションではなく https://t.co/YVhBA2nqIz 末尾のフォームよりお願いします lambdanote.com Tokyo Joined October 2015-
Tweets180
-
Followers2K
-
Following2
-
Likes16
お知らせを公開しました "新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています lambdanote.com/blogs/news/lean
お盆付近（8/8（金）から8/15（金））の紙版ご注文につきまして lambdanote.com/blogs/news/8-8…
『型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語』の直販サイトでの販売を開始しました lambdanote.com/collections/ty…
お知らせを公開しました "『n月刊ラムダノートVol.4 No.3』読者限定！『型システムのしくみ』割引キャンペーン lambdanote.com/blogs/news/n-v…
お知らせを公開しました "新刊『型システムのしくみ』の発売を4/18に予定しています lambdanote.com/blogs/news/typ…
『定理証明手習い』増刷予定および価格改定のお知らせ lambdanote.com/blogs/news/art…
新刊を発売しました。"『n月刊ラムダノート』Vol.5 No.1（2025）発行のお知らせ lambdanote.com/blogs/news/n-v…
当店にてAmazon Payの決済が利用できなくなります lambdanote.com/blogs/news/ama…
バックナンバーの同時購入に対する割引について、お知らせブログの文言を訂正いたしました。新刊1冊につき、バックナンバーのうち「いずれか1冊」のみが割引対象として30%オフになります。最初のアナウンス時に正しい仕様をお伝えできておらず申し訳ありませんでした。lambdanote.com/blogs/news/n-v…
バックナンバーの同時購入に対する割引について、お知らせブログの文言を訂正いたしました。新刊1冊につき、バックナンバーのうち「いずれか1冊」のみが割引対象として30%オフになります。最初のアナウンス時に正しい仕様をお伝えできておらず申し訳ありませんでした。lambdanote.com/blogs/news/n-v…
新刊を発売しました "『n月刊ラムダノート』Vol.4 No.3（2024）発行のお知らせ lambdanote.com/blogs/news/n-v…
お知らせを公開しました "『ピアリング戦記』英語版 “Peering Chronicles of Japan” EPUB無償公開のお知らせ lambdanote.com/blogs/news/art…
新刊を発売しました "『n月刊ラムダノート』Vol.4 No.2（2024）発行のお知らせ lambdanote.com/blogs/news/n-v…
『プロフェッショナルTLS&PKI』の電子版30%オフは本日までとなっています（『OpenSSLクックブック』は引き続き無償でお求めいただけます）。購入を予定されている方はぜひお早めにご利用ください。 lambdanote.com/blogs/news/ope…
『OpenSSLクックブック』改訂と『プロフェッショナルTLS＆PKI』電子版セールのお知らせ lambdanote.com/blogs/news/ope…
新刊発売のお知らせを公開しました "『n月刊ラムダノート』Vol.4 No.1（2024）発行のお知らせ lambdanote.com/blogs/news/n-v…
本日発売した『プロフェッショナルTLS&PKI 改題第2版』のご注文ありがとうございます。現在、初版を直販サイトにて購入いただいた方向けのクーポン適用時にGoogle Payによる決済が不能になる現象が起きており、Google Payの扱いを停止しています。ご迷惑をおかけしますが他の決済方法をご利用ください
新刊発売のお知らせを公開しました "新刊『プロフェッショナルTLS&PKI 改題第2版』を発売しました lambdanote.com/blogs/news/tls…
新刊発売予定のお知らせを公開しました。 "12月4日に新刊『プロフェッショナルTLS&PKI 改題第2版』発売予定 lambdanote.com/blogs/news/12-…
専門性・売上・... @golden_lucky
7K Followers 968 Following 鹿野桂一郎。ラムダノート https://t.co/VQBjVCZtlX という計算機好きのための出版社をやっています。脈略なく本の宣伝をするアカウント。 https://t.co/An1Ki9AgtJ
Shiro Kawai @anohana
4K Followers 214 Following Schemer, Lisper, Actor / https://t.co/pk7zEwwb8G / https://t.co/zGr4YfklIN
songmu @songmu
19K Followers 2K Following Fellow at Henry, Inc. Tech SaaSのPdM、スタートアップ取締役CTOや外資スタートアップのIC等を経て現任。好きな言語はGoとPerlと中国語で雑なOSSを200以上量産している。3 times ISUCON winner. 著書「みんなのGo言語」共著他。Podcast @oss4fun
FUJI Goro @__gfx__
10K Followers 2K Following This account is no longer active. Visit my bluesky: https://t.co/swHo6fnMcw
Kakutani Shintaro @kakutani
9K Followers 2K Following Plain Old Rubyist-ist, XPer, Señor Organizer of RubyKaigi🎭, co-founder of KeebKaigi🌈⌨️🧟♂️; その正体はパートタイムのソーシャルチェンジパーソン💅99% of my tweet will be in Japanese 😇
渋川よしき @shibu_jp
10K Followers 1K Following プログラマです。 @shibukawa は英語用になります。こちらは日本語。Future Architectで仕事してます。
江添亮 @EzoeRyou
18K Followers 7K Following 夏は東京でクライミング。 冬は白馬村でスノーボード。 GitHub: https://t.co/JaDgsD01LX YouTube: https://t.co/K3wH0S9NNF
kmizu @kmizu
15K Followers 6K Following A Software Engineer in Osaka (& Kyoto). Ph.D. in Engineering. Interests: Parsers, Formal Languages, etc. ツイートは所属先の見解と関係ありません．思いついたことをつぶやきます．人生を楽しく生きよう（New!）
ONE OK ROCKのライ�... @gorilla0513
9K Followers 1K Following https://t.co/N3cL9I9qLd https://t.co/dEHfYnrqdN https://t.co/UmTEEn4mGy #wasm #go #rust #typescript #vim #deno #k8s #react #nodejs
画力・博士号・... @bd_gfngfn
8K Followers 5K Following 解釈をしたがらず手を動かす @en_gfngfn @4gfn https://t.co/7yttH4xu38 🌾🍉
くまぎ @kumagi
19K Followers 8K Following そうさ。鉄砲玉(スタビーマン)は神殺しのパケット。 聖なるprotobufを神殺加工(encrypt)した殺傷力バリバリの完全被服弾(gRPC request stream)が、威張り散らかす超根源(SR)を粉砕(クラッシュ)する。 そういう類の喧嘩が、この世にはある。
Yasuhiro Morishita @OrangeMorishita
4K Followers 3K Following 森下泰宏。59歳男性。既婚。DNSと付き合いつつ、技術情報を伝える仕事をしています。投稿は勤務先・関係団体の公式見解ではありません。修行僧（青組）。太田裕美さんファン。個人アカウントにつき業務に関するお問い合わせはこちらまで→ https://t.co/DiipKOHT6y
徳永広夢 @tokuhirom
5K Followers 4K Following 徳永広夢 / https://t.co/xbD7KpMX6c / Tweets are my own / Java / Kotlin / Perl / 発信内容は個人的なものであり、勤務先の仕事とは一切無関係です。
S (ﾂｲｰﾄはﾂ... @esumii
5K Followers 4K Following 個人の趣味です。組織の見解ではありません。専門外は素人意見です。関連明示のため、しばしば自己リプライします。ツイートはツリー全体をご確認ください。明らかにおかしなリプライは非表示にさせていただくことがあります。ログ：https://t.co/1cDSfDReEV
メモ @debuneko_o
93 Followers 675 Following
machiboke @machiboke3
17 Followers 491 Following
Yukihiro ODA @Yukihiro0036
424 Followers 461 Following Specially appointed research fellow at Tohoku Univ. Logic/Cyclic proofs/π-calculus 酒は人類の友だぞ。友人を見捨てられるか
あるべると @_ALBeLT_
173 Followers 398 Following 愛しているのはVivaldi Go Vim Docker Kubernetes GoogleCloud エンジニア的発言多め たまにVRChat VRChat : _ALBeLT_
Shigenori Taya @tayashigenori
147 Followers 1K Following
げん / ねぐれく... @neglect_yp
835 Followers 927 Following ソフトウェアエンジニアの真似事をしながらまったり生きています アイコン/ヘッダーはランサネ先生 (@lalansane) にskebで描いて頂きました
IIJIMAS @IIJIMAS
2K Followers 5K Following ［改訂第3版］C#ポケットリファレンス https://t.co/IryWRcUbyQ kindle版→ https://t.co/rqBV3Bmnyu 6章「非同期処理」,7章「データベースアクセス」⋛◉‸◉⋚興味：数学全般／Ingress／身近な近所の野鳥／アニメ／地形学・河川／図鑑・事典 #ふぁなみりー
摩耶山 愛登家 @The_Maya_Hiker
714 Followers 1K Following ●山より団子。短歌俳句/言葉遊び/替え歌/美術館/博物館/数学/たまに楽器練習など、山以外の話題も色々。時々下ネタ ●のんびり屋 ●グッズ→ https://t.co/C2PCFNvW5A ●合わなければ相互ブロックしましょう ●数学に興味がない方は #数学 タグをミュートして下さい🙇🏻
ロロ @alt9573
45 Followers 3K Following
えび @Jspinylobster
143 Followers 192 Following プログラミングが好きです 興味: 型理論/圏論/言語処理系/低レイヤ全般/統計学/数学全般 最近は勉強したことをLeanで実装するのにハマってます (2024年3月)
白井 @jgmptdtwp
155 Followers 3K Following 情報収集(いいね、RT）用のアカウントです。気になった人面白いと思った人をテキトーにフォローしてます。ツイートはメモ(気になったこと、後で調べようと思ったことなどをメモしておく)
そま2 @buey_t_
38 Followers 141 Following
🥒 @kyuuril
0 Followers 114 Following
ｚ３ｙ @zaki3mymy
347 Followers 420 Following (ba)@Lost_my_Proust (support)@hyperpunch_｜https://t.co/8HJ9tDpX0Y
めぐみん @enlarge35781514
790 Followers 625 Following 数学と物理と化学と情報やる人 🚺️ Bachelor 2, 数学を専門にしています 百合が好きです💞
פיקם @phykm
2K Followers 857 Following 正準量子化を滅ぼす会改め場の演算子を滅ぼす会代表改めマシュー・プランク・クラマース関数復権友の会代表/みんなはもうリンゼイ言語類型論とExploring Language Structureを買ったか？ zenn: https://t.co/IZLi8KL4VO
村松佑亮 @gem86717058
235 Followers 979 Following
ヘカテー @HKTmine
2K Followers 3K Following 漢検準一級 応用情報 エルデシュ数5 いっぱい数学イベントに参加したい！ 興味あるイベント：ロマンティック数学ナイト/日本お笑い数学協会/日曜数学会/数学カフェ/プログラマのための数学勉強会/MATH POWER/数学デー/KIOI STEAM LAB/すうがく徒のつどい/数物セミナー/数学ミニプレゼン/むぐむぐ勉強会
そかも🏊️ @s0kam0
340 Followers 466 Following Juggling, Sumo, Python, Django, IOTA, ArchLinux, AppEngine, Ansible, Sci-Fi, Exploring Sexy Coffee Roasters. 毎日少し本を読み、毎日少しコードを書き、毎日少しお散歩する。
masafmin @nama_tsuyama
599 Followers 2K Following 自称勤め人、自称ツイッタユーザ、自称元小学生、自称未曾有はミゾーウ派、自称5歳。アイコンは@aoiuminooto さんのツイートから。
Koki Igarashi @igarash1_
1 Followers 33 Following A software engineer. All opinions are my own. https://t.co/rc669vz1T4 (I don't use either of X or Bluesky often, so please don't expect quick responses)
Haruka @radsuppes
1 Followers 4 Following
sorinaji @sorinaji
684 Followers 2K Following 雑記垢。アプリ→インフラをしています。AWS、Azure勉強中。 アルコール🍺とクレカ💳が少し好き CICスコア589
専門性・売上・... @golden_lucky
7K Followers 968 Following 鹿野桂一郎。ラムダノート https://t.co/VQBjVCZtlX という計算機好きのための出版社をやっています。脈略なく本の宣伝をするアカウント。 https://t.co/An1Ki9AgtJ
ctakao @ctakao
142 Followers 149 FollowingTrends for United States
You might like
