ときどきの雑記帖 RE* (新南口)

DASOKU

ザ・ウルトラマン＠MX

最終回だった。 が、まだ(録画したものを)観ていない

鉄腕アトム

気がつかなかった! まあ配信で…という話ではあるんだけど (全部を観る気はあまりない)

アニメ | テレ玉/地デジ3ch

サンライズチャンネル配信　

配信と言えばYouTubeのサンライズチャンネルで キングゲイナーの後半が!

スマート

そういや日本語でのよくある使い方(意味)はどこからきたん?

英語「smart」の意味・読み方・表現 | Weblio英和辞書

DASOKU

0655/2355の新曲「DASOKU」の歌詞、 「余分なものが世界を面白くする」 の部分が好き😄

WG 14

長い😓

新刊近刊

ゼロから始めるLean言語入門

まだ買っていないのだけど、書店でちらほら見かける。

私が書いたLean言語の本が出版されました。

ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発 www.lambdanote.com 9/4 に出版されて購入可能になっていたのですけど、報告が遅れてしまいました。よろしくお願いします。

植物病理学は明日の君を願う

『植物病理学は明日の君を願う』 竹良　実 | ビッグコミックBROS.NET（ビッグコミックブロス）｜小学館

世界は圏論でできている

見かけたのでパラパラと眺めてみたのだけど割とよさげ。 が、値段がなあ😓

すごすぎる数の図鑑

「数字がわかれば世界がわかる！ すごすぎる数の図鑑」渡邉究 [生活・実用書] - KADOKAWA

こういう本好きなので書店で見かけたらチェックせねば

地球の歩き方

シリーズもの?

Linuxコマンド&シェル・スクリプト入門

Linuxコマンド&シェル・スクリプト入門 (ボード・コンピュータ・シリーズ) | 国野 亘 |本 | 通販 | Amazon

awk

gawk

5.4のリリースが近い?

5.3.x→5.4.0にするような大きめの変更あったっけ?

goawk

A potential bug:

   goawk 'BEGIN { s="#!a"; sub(/(#!|#)/, "", s); print s }' returns a
   goawk 'BEGIN { s="#!a"; sub(/(#|#!)/, "", s); print s }' returns !a

The following awk implementations return a in both cases:

  • gawk 5.2.2, 5.1.0
  • nawk tag 20240728
  • mawk 1.3.4 20240905
  • busybox awk 1.35.0
  • wak v24.10

ということでgoawkの動作もこうなるように変更されたっぽいのだけど、 その一方では

C:\Users\kbk>perl -e "$foo='#!a'; $foo=~s/#|#!//; print($foo)"
!a

C:\Users\kbk>ruby -e "puts '#!a'.gsub(/#|#!/,'')"
!a

C:\Users\kbk>python -c "import re; print(re.sub('#|#!','', '#!a'))"
!a

まあこの辺はいろいろとね。

POSIX的には各種awkのそれの動作になるんだろうけど。

Regular Expressions

If the pattern permits a variable number of matching characters and thus there is more than one such sequence starting at that point, the longest such sequence is matched.

and the ERE “(wee|week)(knights|night)” matches all ten characters of the string “weeknights”.

FORTRAN Compiler on IBM 704

御本人降臨

こういう流れ好き😄

このポストの引用 / X

void

Lisp

Generations ≪ prev