ときどきの雑記帖 RE* (新南口)
SOURCE CODE
EV
数日前に屋根の形がちょっと変わった東急の路線バスを見かけたのだけど、 近くを通ったときにEVであるらしき表記があった (実際にどういう言葉が書かれていたのかは忘れた)。
東急バスってEV導入していたの? と思って調べたら台数はそれほどではないものの、 少し前から一部の路線で走っているらしい
WG 14
elvis operator
12/7付でなんかたくさんきた😄
| N3760 | 2025/12/07 | Colomar, add _Assert(), not depending on NDEBUG |
| N3759 | 2025/12/07 | Colomar, Add operator _Typeas |
| N3758 | 2025/12/07 | Colomar, C source files are text files |
| N3757 | 2025/12/07 | Colomar, Liquidate Annex L |
| N3756 | 2025/12/07 | Colomar, Ignite annex I |
| N3755 | 2025/12/07 | Colomar, Split memory management section (Editorial) |
| N3754 | 2025/12/07 | Colomar, Split formatted I/O sections (Editorial) |
| N3753 | 2025/12/07 | Colomar, The Elvis operator ?: |
| N3752 | 2025/12/07 | Colomar, Restore the traditional realloc(3) specification |
| N3751 | 2025/12/07 | Colomar, Refactor syntax of preprocessing directives |
| N3750 | 2025/12/07 | Colomar, add a malloc(3)-based sprintf(3) variant |
| N3749 | 2025/12/07 | Colomar, Adopt qualifier conversion rules from C++ |
| N3748 | 2025/12/07 | Colomar, Add operators _Minof and _Maxof |
| N3745 | 2025/12/07 | Uecker, Dependent Structure Types |
| N3710 | 2025/12/07 | Svoboda, Earthly Demon Slaying Technique and UB 6: Extended Punctuation Characters |
n3753がThe Elvis operator ?:なので、お、と中身を見てみると
Description
The expression ‘x ? x : y’ isn’t safe within macros: it evaluates ‘x’ twice. Some implementations allow omitting the second operand of this operator, which results in the same semantics, except that the first operand is not evaluated twice.
Prior art
GNU C.
それはまあ。 gccはかなり昔から持ってたよねえ
これにElvis operator
という名前をつけたのはPHPだっけ?
エルビス演算子(Elvis operator) - yohhoyの日記 https://t.co/1y5jgdNqub なんやらWG14でC2y（C29？）向けに提案されてた
— yoh (@yohhoy) December 10, 2025
新刊近刊
SOURCE CODE
【マイクロソフト50周年、ビル・ゲイツ70歳記念】
— 早川書房公式 (@Hayakawashobo) December 10, 2025
『ビル・ゲイツ自伝Ⅰ SOURCE CODE 起動』
＼発売まで あと2日 ／
💻本書の舞台となる60〜70年代。
“パソコン”がまだ夢物語だった時代を知ると、ゲイツの物語はさらに面白くなる！
革命前夜のコンピュータはどんな姿だったのか？…
え、もう出るの? と思ったけど、 原著の発売から びっくりするほど短い時間というわけでもないか。 いずれにしても今まで全然気がつかなかった。
12日発売ならひょっとして大型書店にはもう並んでいるかもと 会社帰りに寄ってみたがまだなかった😓
革命前夜のコンピュータはどんな姿だったのか？『ビル・ゲイツ自伝Ⅰ SOURCE CODE 起動』に登場するマシン紹介｜Hayakawa Books & Magazines（β）
Lean
まさか朝日に定理証明支援系、それもLeanの話が載るとは……。
— kmizu (@kmizu) December 7, 2025
https://t.co/lCzxGJ8QSr
形式化すればいいってものじゃなくてですね、某御大がP=NP問題を解決したと言って出してきた論文ドラフトにも機械証明がついていたという思い出がですね…。 https://t.co/5ScxPPbJS4
— ytb (@ytb_at_twt) December 7, 2025
そう言えばラムダノートのLean本まだ買ってなかった😓
Rust
Rust プロフェッショナル プログラミング - マイナビ出版 | 版元ドットコム
12/11発売予定とある割に 著者や書影がないのは…?🤔
それっぽいものはなし?
awk
銀河の歴史がまた一ページ
「カイザーラインハルト陛下、わしはあなたの才能と器量を高く評価しているつもりだ。孫を持つなら、あなたのような人物を持ちたいものだ。だが、あなたの臣下にはなれん。ヤン・ウェンリーもあなたの友人にはなれるが、やはり臣下にはなれん。他人事だが保証してもよいくらいさ。何故なら、偉そうに言… https://t.co/mizN4OJIUF pic.twitter.com/YtDf9b8IR8
— MASA(航空宇宙・軍事) (@masa_0083) December 7, 2025
ノイエ、ここまで行くのいつぐらいだろう… そもそも行けるのか?(マテ)
そして行ったとしても観ることができるか😓