Takuo Watanabe

Dept. of Computer Science, Institute of Science Tokyo 東京科学大学情報理工学院情報工学系の教員です． 主な研究分野はプログラミング言語です．

[Takuo Watanabe @wtakuo]

@u_akihiro 自作マイコンボードの動作確認をAMラジオに入ってくるノイズでなんとなくやっていました。

[Takuo Watanabe @wtakuo]

大学のサークルで6809を使った機器を作っていたとき、Lチカでモールス符号を出力するルーチンを入れておいてデバッグに使っていました。

[www11bigorjpkkk @www11bigorjpkkk]

標準出力がない組み込み機器のデバッグどうするかって？
・ICEやJTAG ← 神。超ラクチン
・SPIでLCD接続 ← お大臣
・UARTからログ吐くだけ ← まあしょうがない
・空いてるピンにLED繋ぎ、プログラム各所でHI/LOし、LEDの点滅で進行をチェック ← 実在するんだよそういうクソみたいな開発も！

[Takuo Watanabe @wtakuo]

@miura1729 そういえばForthの処理系はまだ作ったことないですね。

[tomorrow56 @tomorrow56]

Vivado新ライセンスの無料版でのLinuxサポートが復活した！！ユーザーの声が届いた。素晴らしい。

https://t.co/bIhgYhfT7t

[あゆさん @ayumi_ss]

プログレおじさんの習性

[おれんち @orenchinopack]

プログレおじさん出来たよ！

[Takuo Watanabe @wtakuo]

@shigerufujita 学生時代はKyoto Common-Lispのお世話になっていたので、（必然的に）Cに足を向けて寝られません。

[Takuo Watanabe @wtakuo]

どうも。プログレおじさんです。

[反動 @FF14_hando]

@1T0T バンドしてたおじさん編

[Takuo Watanabe @wtakuo]

@ciniml そうなると動画＋音声の双方向通信は難しそうですね。最初だけESP-NOWか何かで繋いでから普通の(?)WiFiに切り替えるなんてことができるといいのでしょうかね。

[Takuo Watanabe @wtakuo]

@ciniml もしかするとESP-NOWかも知れませんね。

[Takuo Watanabe @wtakuo]

@miura1729 まあろくに設計もしないうちあらエディタに向かう「悪い癖」は今でも治っていませんが。そういえばエディタに (defun とだけ打ってちょっと考えていたら後ろで見ていた @ykuno さんに笑われたことを思い出しました。

[Takuo Watanabe @wtakuo]

@miura1729 なんと！私が2つ上の先輩に似たようなことを言われたのは1983年でした。その年から学科の計算機がVAX-11になって学生はVT100で作業するようになったのですが、その前まではFACOM-230/45Sでバッチ処理だったそうです。

[かみくず @p_craft]

世界中のWebフロントエンドエンジニアに届いてほしいのですが

keydownイベントでEnterキーを待ち受けてサブミットを行う機能を作るとき、KeyboardEvent.isComposingを参照してください。そうしないと日本人ユーザーがまともに使えなくなります。
詳しくはこちらを。
https://t.co/Vx0PbtZqmb

[Takuo Watanabe @wtakuo]

@hidemotoNakada 学会やジャーナルのスタイルファイルに相当するものがないとなかなか移行できませんよね。

[Takuo Watanabe @wtakuo]

カルディ猫バッグに付いてきた小物入れが @saleae Logic 8 Proにちょうどよかった。

[Good Willsmith @GoodWillsmith]

Disk Union is heaven on earth. just spent too much money at the video game branch & now discovering there’s an entire floor devoted to prog. CDs wall to wall. brazil / latin is next. never want to leave this building

[Type Theory Forall @ttforall]

Today we honor the life and work of Sir Tony Hoare (1934–2026), one of the giants of computer science. His work shaped algorithms, programming languages, concurrency, and formal verification.

In 1960, while a visiting student at Moscow State University working on a machine translation project, Hoare needed a way to sort the words of Russian sentences before looking them up in a Russian–English dictionary. His first idea was insertion sort, but this line of thinking led him to invent Quicksort — still one of the most widely used sorting algorithms in the world.

In 1969 he introduced Hoare Logic in An Axiomatic Basis for Computer Programming, giving us the famous Hoare triple {P} C {Q} and launching the field of formal reasoning about programs.

He also created Communicating Sequential Processes (CSP), a foundational model for concurrency and message-passing systems that influenced languages and systems for decades.

Hoare also introduced null references in ALGOL W, which he later called his “billion-dollar mistake,” a candid reflection that pushed language designers toward safer type systems.

For these and many other contributions he received the ACM Turing Award in 1980.

Few researchers have shaped the intellectual foundations of our field so deeply. Thank you, Tony Hoare. May you rest in peace.

[SODA Noriyuki @n_soda]

quick sort 以外にも
・形式的検証のHoare Logic
・並行プログラミングのMonitor (POSIX threadやJavaやC#のcondition variableはこれ)
・並行処理の数学モデルCSP (OccamのchannelやGoのgorutoineやErlangの通信モデルはこれから)
・Algol言語への貢献→Pascal/C
・null安全への貢献
とか真の偉人だよ

[uchan 2026/5/9 第7回自作CPUを語る会 @uchan_nos]

ラボユース成果発表会の発表タイトルがだんだん出そろってきた。眺めてみよう。
「省電力コプロセッサをsafeに使うRustライブラリ」が面白そう。確か、ESP32のULPのプログラミングを快適にやるってやつだった気がする。
「LLVMのDSL"TableGen"向け言語サーバーの開発」めっちゃニッチ！

[Bo Wang @BoWang87]

Prof. Donald Knuth opened his new paper with "Shock! Shock!"

Claude Opus 4.6 had just solved an open problem he'd been working on for weeks — a graph decomposition conjecture from The Art of Computer Programming.

He named the paper "Claude's Cycles."

31 explorations. ~1 hour. Knuth read the output, wrote the formal proof, and closed with: "It seems I'll have to revise my opinions about generative AI one of these days."

The man who wrote the bible of computer science just said that. In a paper named after an AI.

Paper: https://t.co/juSOmK9vOt