書きました！ n月刊ラムダノート「特集：計算とは何か」「社会を人間による計算として考える」（西尾泰和 著） ここ数年のデジタル民主主義やAudrey TangのPluralityなどの発展を、計算機科学に軸足のある視点から描写した他に類を見ない記事だと思います！ lambdanote.com/blogs/news/n-3

1/26新刊『#n月刊ラムダノート 特集:計算とは何か』#ラムダノート (9784908686238)#萩谷昌己 #今井克暢 #五十嵐淳 #上村太一 #西尾泰和 著◆「#情報科学」棚にて展開中!#コンピュータサイエンス の根幹ともいえる"計算"をテーマに第一線で活躍する5人の専門家による"n月刊ラムダノート"解説記事を収録!

今だからこそ「AI以前にそもそも計算って何なんでしたっけ？」を各界のレジェンドたちに語ってもらった大特集号、発売中です。計算パラダイム、自然計算、プログラミング、型理論、そして現代社会という、浮足立ったところが1ミリもない5本の記事が読めます！ lambdanote.com/blogs/news/n-3

1/28新刊 『n月刊ラムダノート「特集:計算とは何か」』萩谷 昌己 今井 克暢 五十嵐 淳 上村 太一 西尾 泰和　2640円（ラムダノート）

🇺🇸人同僚「ChatGPTには本当に知性があると感じてる」 私「ほほう、どんなところに？」 🇺🇸「例えばさ、同じ質問をしても、同じ返事は2度と返ってこないんだよ」 私「毎回反応が違うから、人間味があるってことか」 🇺🇸「そうだ」 私「あれ、じゃあhow are you?に I'm doing great!

ワロタw どんどん人間らしくなるな

多くの人はコンピュータが大好きでも可逆計算も森田憲一先生もご存じないと思うんです（ぼくもそうでした）。こういう分野があって、日本の研究者の名前を冠した成果があり、しかも古い終わった話でもぜんぜんない、といったことを本誌の今井先生の記事で味わってほしいです lambdanote.com/products/n-vol…

パワハラの専門家です。貴殿は「誤解を招く内容」と仰いますが、動画のやりとりは明確な「パワハラ」であり、「誤解」の余地はありません。 ・指導者⇒インターン生という優越的関係を背景とし、 ・複数人の前で吊し上げるように 　「いてもいなくても変わんない。クビ」 　「どうこれ?

ゾルトラークだ

【本日発売】命題論理・述語論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理や計算モデルの典型であるラムダ計算について学習します。 萩谷昌己・西崎真也『論理と計算のしくみ　新装版』☞ iwnm.jp/006194

『ゼロから始めるLean言語入門』井上亜星（ラムダノート） 動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発するための基礎を身に付けます。

旧版持ってますがめっちゃいい本です。復活したんだ。

TLにやたら太田光と高市首相のやりとりが流れてくるんだが、あれ 「女性首相が」「関西弁で」答えた って要素がほとんどすべてじゃないのかという気がする せめてどちらかの要素が違っていれば別に珍しいやり取りでもなく、大して話題にもなってないのでは

萩谷先生のお名前でbit誌を思い出されるという方には「n月刊ラムダノート」もぜひ！ この特集号では、微分可能論理ゲートとLLM+Leanによる数学の定理証明という、一見すると関係なさそな2つの話題から、たぶん馴染みのない人が多いであろう「自然計算」へと話がつながります lambdanote.com/products/n-vol…

現代のテックに浸かった人間の悲哀として「調べれば世の中の大半の専門性は獲得できる」と思い込む、またはそうした思い込みを支える環境の存在があると思う。オープン文化で技術の大半は調べれば身に付く環境で身を立てた成功体験により、経験に根ざす体系知や人文知とその専門性を甘く見る傾向にある

というわけで『プログラマーのためのCPU入門』4刷がデプロイされています。プログラムはCPUで高速に動かせることではじめて実用的になるわけですが、いわゆるCPUの原理だけではソフトウェアってそこまで高速には動かせなくて、そこのところのギャップが丁寧に整理して解説されているすごい本です

上村さんによるHoTTの記事、型理論の基礎を「なんとなく」でいいから知ってることが前提ではあるけれど、トポロジーみたいな抽象数学の証明がAgdaという「実装」で「計算」できるという、Leanとかとはまた違う趣の定理証明を味わえます lambdanote.com/products/n-vol…

来週金曜日、東京駅近郊でプロダクトマネジメントを深掘る『プロダクトマネジメントわいわい会』を開催しますー! オープニングセッションは今井さん( takeo )に必需品を作るための考え方をお話しいただきます! 株式会社ビットキー/Bitkey Inc.様の会場をお借りして開催 pdm.connpass.com/event/382057/

02/27 Fri.、ビットキーオフィスにて「プロダクトマネジメントわいわい会」が開催されます！ takeo さんによるセッションに始まり、OSTやケースメソッドなどでプロダクトマネジメントを楽しく学べる場になりそうです！ ぜひお越しください🙌 #pdmyy pdm.connpass.com/event/382057/