ときどきの雑記帖 Re* (新南口) on ときどきの雑記帖 Re* http://www.kt.rim.or.jp/~kbk/zakkicho/post/ Recent content in ときどきの雑記帖 Re* (新南口) on ときどきの雑記帖 Re* Hugo -- gohugo.io ja-jp Sat, 25 Apr 2026 00:00:00 +0900 ジオン驚異のメカニズム http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/25/ Sat, 25 Apr 2026 00:00:00 +0900 http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/25/ t sed: s///g now works for input lines longer than 2GB - sed.git - GNU stream editor + printf (" regex[%d] = %td-%td '", i, + (ptrdiff_t)regs.start[i], (ptrdiff_t)regs.end[i]); %tdのtってなんじゃろ? と思ったのだけどC99からあったのかこれ printf のマイナーな機能

t

sed: s///g now works for input lines longer than 2GB - sed.git - GNU stream editor

+          printf ("  regex[%d] = %td-%td '", i,
+                  (ptrdiff_t)regs.start[i], (ptrdiff_t)regs.end[i]);

%tdのtってなんじゃろ? と思ったのだけどC99からあったのかこれ

WG 14

WG 14 Document log

以前にもちょっと触れたissueの現時点での最新(たぶん) C23 issue log, r4 (N3831) から

Issue Summary Status
1000 Structure type compatibility with flexible array members Fixed in C2Y
1001 Qualified rvalues from structure or union members Review
1002 Type qualifiers in [*] in abstract declarators Fixed in C2Y
1003 Linkage between library functions Fixed in C2Y
1004 Classification of scanf failures Review
1005 Annex D refers to option removed from UAX#31 in revision 39 Fixed in C2Y
1006 atomic_fetch operations and “address types” Fixed in C2Y
1007 Implicitly unsigned bit-fields ambiguity Open
1008 Bad constraint on attributes with tags Fixed in C2Y
1009 extern thread_local should not be an external definition Fixed in C2Y
1010 Termination of the execution with threads Open
1011 powr(negative, qNaN) Fixed in C2Y
1012 Error returns from specific width length modifiers Open
1013 Ambiguity of “same type” Open
1015 Imprecise wording for cnd_t functions Fixed in C2Y
1016 Are digit separators allowed in LINE? Fixed in C2Y
1017 Unspecified timing and synchronization for cnd_t functions Open
1018 Issue with enum compatibility Open
1019 String functions and trailing null inclusion Review
1020 Definition of address constant Review
1021 Integer promotions for enumerations Open
1022 Void expressions and lvalues Open
1023 static_assert in structure and union definitions Open
1024 Redeclaration of standard library typedefs Open
1025 Variably modified standard library types Open
1026 thrd_t as an array type Open
1027 Member declaration attributes and composite types Open
1028 jmp_buf as an incomplete array type Open
1029 Spelling of LINE Open
1030 Lvalue conversion for generic associations Open
1031 Generic selection controlling expression lvalue of incomplete non-array type Open

大体見覚えのあるもの…かな?

新刊近刊

プロフラマーのための圏論

怪奇大作戦

へー

感動する計算問題

難解に見えるのに超気持ちよく解ける 感動する計算問題 | まさし |本 | 通販 | Amazon

以前に出ている図形問題の続きというかお仲間というか

東京大学で教わるゲーム学入門

東京大学で教わるゲーム学入門 (基礎から身につく「大人の教養」) | 吉田 寛 |本 | 通販 | Amazon

ざっと見た感じは面白そうだった

統計検定

クレーン船

awk

技術書ライブラリー

メモ

ニュータンタン〇〇

SAFS

懐かしい😄＞SAFS

0

へー。

 2026-04-22 http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/22/ Wed, 22 Apr 2026 00:00:00 +0900 http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/22/ Ruby kaigi 最後に行ったのいつだっけか。 まあたとえ近くで開催されても今は行く余裕はないのだけど 今日から #RubyKaigi が函館で開催中なんですね。 北海道行きたい！h

Ruby kaigi

最後に行ったのいつだっけか。 まあたとえ近くで開催されても今は行く余裕はないのだけど

現地速報！ RubyKaigi 2026 Day1

ラクダ本

なぜ、「プログラマーの三大美徳」は日本でばかり有名なのか？

広まりの最初の段階は、もちろんPerl の正典としてです。Perldoc には現在でも三大美徳が記されており、 古いバージョンの文書にも同じ文が確認できます。後から誰かが作ったネットミームではなく、 Perl 本体の自己紹介に近い位置を持つ言葉だということです。

日本では、その原典にかなり早い時期から日本語で触れられました。 オライリー・ジャパンは『プログラミング Perl 第3版』を 2002 年 9 月に刊行しており、 日本語読者は早い段階でラクダ本を自国語で読める状態にありました。 日本の三大美徳受容は、後年のブログ文化だけで始まったのではなく、 まず邦訳基盤が先に整っていたわけです。

なんで第3版? 初版のも第2版のも翻訳本は出ていたのに

プログラミングPerl 改訂版 : ラリ・ウォ-ル, 近藤嘉雪: 本

出版社 ‏ : ‎ オライリー・ジャパン
発売日 ‏ : ‎ 1997/12/1

Perlプログラミング (A nutshell handbook) | Larry Wall, Randal L.Schwartz, 近藤 嘉雪 |本 | 通販 | Amazon

出版社 ‏ : ‎ ソフトバンククリエイティブ
発売日 ‏ : ‎ 1993/2/1

triple-backref

grep.git - grep

-# The triple-backref test is expected to fail with both the system
-# matcher (i.e., with glibc) and with the included matcher.
-# Both matchers need to be fixed.
-# FIXME-2025: Remove this once the glibc and gnulib bugs are fixed.
-XFAIL_TESTS = triple-backref

削除されたこのコメントが気になる

WG 14

WG 14 Document log

今週は一件だけ

N3869 2026/04/19 Veldmeijer , The malloc_allocated_size function

malloc(など)で確保した領域の情報をどう得るかという話

void func(void) {
    // Allocation failures are ignored for brevity in this example

    size_t actual  malloc_allocated_size(NULL); // actual == 0

    char *buf = malloc(100);
    actual = malloc_allocated_size(buf);        // actual >= 100

    memset(buf, 0, actual);                     // initialize all alocated memory

    buf = realloc(buf, 200);
    actual = malloc_allocated_size(buf);        // actual >= 200

    actual = malloc_allocated_size(buf + 50);   // UNDEFINED BEHAVIOR (interior pointer)

    int n;
    actual = malloc_allocated_size(&n);         // UNDEFINED BEHAVIOR (automatic storage)

    free(buf);
    actual = malloc_allocated_size(buf);        // UNDEFINED BEHAVIOR (freed pointer)
}

すでに同様のものはいろいろな名前で実装されているらしい(知らなかった)

Platform Function Header
macOS/iOS malloc_size <malloc/malloc.h>
OpenBSD malloc_size <stdlib.h>
FreenBSD malloc_usable_size <malloc_np.h>
Linux(glibc) malloc_usable_size <malloc.h>
Windwos(MSVC) _msize <malloc.h>
jemalloc malloc_usable_size <jmalloc/jmalloc.h>
mimalloc ml_usable_size <mimalloc.h>

新刊近刊

プログラマーのための圏論

プログラマーのための圏論 | Bartosz Milewski, 北川 雅裕, 松田 一孝

〈本書のポイント〉

  • C++とHaskellのコードを使って、圏論の概念を解説した
  • 数学書のような定理⇒証明の繰り返しではなく、プログラマーの慣れている技術書な解説とした

ふむ。

冒険者カールの地球ダンジョン

これかな? 3月に出たばかりか

怪奇大作戦

怪奇大作戦　池上遼一版 | 池上 遼一 |本 | 通販 | Amazon

気になる

awk

gawk

あまりの話の通じなさにarnoldが…😓

Re: [Security] Stack-based buffer overflow in readdir extension (sprintf

!@#$%^&*()

I am sssssssooooooooo tired….

This is what I mean by inconsisencies. snprintf() includes the NUL in its computations to not overwrite the buffer but doesn’t include it in the count returned.

 ガラガラポンからガッチャンコしてペライチに http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/18/ Sat, 18 Apr 2026 00:00:00 +0900 http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/18/ JR東の車内広告でみた＞ガラガラポンからガッチャンコしてペライチに なぜAdobeの広告は一瞬で刺さるのか「ガラガラポン」「がっちゃんこ」「ペ

JR東の車内広告でみた＞ガラガラポンからガッチャンコしてペライチに

下位互換

IPv4と完全下位互換の「IPv8」ドラフトが投稿。IPv6の課題を克服 - PC Watch

こういうケースは「上位互換」ではなかろうか?

おくすり手帳ケース

あえて言おう、お薬手帳であると。「ガンダム」連邦軍、シャア、ザビ家をデザイン！お薬手帳ケースで通院グッズをすっきり収納 | アニメ！アニメ！

手帳そのものではなくケースと

ハンズ

ハンズ、東京・自由が丘に「ハンズ 自由が丘店」2026年9月オープン | 流通・小売業界で働く人の情報サイト_ダイヤモンド・チェーンストアオンライン

メモ

重巡洋艦

日露戦争で活躍した、日本海軍の重巡洋艦、「吾妻」…バルチック艦隊との決戦で、敵艦に致命的な集中弾を浴びせ、戦後に勇名を馳せた。｜ゴールドライフオンライン

日露戦争の時点では「重巡洋艦」という艦種はまだないし、 吾妻が重巡洋艦に類別されたことはなかったような

Ada

Ada Lovelace and the First Computer Algorithm - 101 Computing

kent beck

新刊近刊

Grande Armée

さすがは書泉グランデ、結構な数をいれてそう

アド・インエクスプロラータ

これかな?

宮武一貴のアド・インエクスプロラータ 明後日の空へ: 明後日の空へ | 宮武一貴 |本 | 通販 | Amazon
出版社 大日本絵画
発売日 2026/4/8
本の長さ 128ページ
商品の重量 630 g
寸法 21.2 x 1.2 x 29.8 cm

値段は…まあこれくらいにはなるのか

AIシステム性能エンジニアリング

へーと思ったが

こういうことらしい?

宇宙にいかない方

「『ムサッシ』」とは違うから」にくすりと

超攻速

ガルビオンは一応観ていたと思うんだけどほとんど記憶に残ってない😓

ザブングル グラフィティ

今ちょっと観てみたい(「ドキュメント・ダグラム」も)

キョーダイン

観ていたと思うんだけど(ry

 2026-04-15 http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/15/ Wed, 15 Apr 2026 00:00:00 +0900 http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/15/ 北斗の拳 どこまでやるんだろう? 1クールだとシンとの決着くらいか? と思って ONAIR -アニメ『北斗の拳 -FIST OF THE NORTH STAR-』公式サイト- を見るとキャラク

北斗の拳

どこまでやるんだろう? 1クールだとシンとの決着くらいか? と思って

ONAIR -アニメ『北斗の拳 -FIST OF THE NORTH STAR-』公式サイト-

を見るとキャラクターにレイやラオウ、トキがあるので 連続2クールとか?

初回4月10日(金)および4月17日(金)は2話連続特別編成!!

今週も2話連続らしい

京浜東北線日中メンテ

日中に作業するらしい

Molotov cocktail

OpenAIのアルトマンCEO、批判的報道と自宅への火炎瓶事件についての個人ブログ公開　家族写真も - \ITmedia NEWS]

この事件に関してのものだと思うけどHNで

Sam Altman’s response to Molotov cocktail incident | Hacker News

Molotov cocktail て…😓

YAPC::Tokyo 2026

「YAPC::Tokyo 2026」、東京ビッグサイトで開催します!!! - YAPC::Japan 運営ブログ

メモ

お静かにライト

キングジム、声の大きさを光で知らせる「お静かにライト」 - Impress Watch

職場にちょっと欲しいなこれ(ただし役に立つかは微妙)😄

Merkle hash

The Merkle hash trick for incremental updates

Merkle hash → Markle tree?

WG 14

WG 14 Document log
N3875 2026/04/12 Colomar, comparable types
N3874 2026/04/12 Thomas, April 2026 CFP teleconference agenda
N3873 2026/04/12 Thomas, March 2026 CFP teleconference minutes
N3872 2026/04/12 Douglas, Thread safe signals handling rev 3
N3867 2026/04/12 Gustedt, C semantics for contracts, v3
N3866 2026/04/12 Karl, Remove undefined behavior for non-basic source characters in source files (modified)
N3836 2026/04/12 Celeste, Ottawa ON August 2026 venue information

C semantics for contracts ｗちょっと読んでみると

Other features in our proposal that are different from C++ contracts:

  • We allow declarations of ghost states, similar to declarations in if-statements.
  • The name of the return variable in postconditions is fixed to _ReturnValue and cannot be annotated with attributes.
  • We use keywords _Pre, _Post and _Inv for contracts. C++’s syntax with pre and post (plus inv) is available with function-like macros. Contracts cannot be annotated with attributes.
  • We provide a macro (and function) stdc_contract_terminate that in general leads to the printing of a diagnostic and then to program termination.

こんなことが書かれていた

awk

gawk

MinRX regular expression failure

For example, the two lines

sub(/+[/]*-/, "")
sub("+/-[ ]*", "")

both cause a MinRX error (gawk quits parsing at the “offending” line).

細かいところでもいろいろ違いがありそう

glibc

glincのregexのバグ。 gawkはback referenceを使っていないのでセーフ(?)

Re: [PATCH] posix: fix false regex match with backrefs and $ anchor

パッチを見ると

diff --git a/lib/regexec.c b/lib/regexec.c
index c84ce1ef33..e09fc7698e 100644
--- a/lib/regexec.c
+++ b/lib/regexec.c
@@ -943,7 +943,10 @@ prune_impossible_nodes (re_match_context_t *mctx)
                  goto free_return;
                }
            } while (mctx->state_log[match_last] == NULL
-                    || !mctx->state_log[match_last]->halt);
+                    || !mctx->state_log[match_last]->halt
+                    || !check_halt_state_context (mctx,
+                                                  mctx->state_log[match_last],
+                                                  match_last));
          halt_node = check_halt_state_context (mctx,
                                                mctx->state_log[match_last],
                                                match_last);

わかるようなわからんような。 glibcのregexはわかりづらいんだよねえ

/* Check NODE match the current context.  */

static bool
check_halt_node_context (const re_dfa_t *dfa, Idx node, unsigned int context)
{
  re_token_type_t type = dfa->nodes[node].type;
  unsigned int constraint = dfa->nodes[node].constraint;
  if (type != END_OF_RE)
    return false;
  if (!constraint)
    return true;
  if (NOT_SATISFY_NEXT_CONSTRAINT (constraint, context))
    return false;
  return true;
}

/* Check the halt state STATE match the current context.
   Return 0 if not match, if the node, STATE has, is a halt node and
   match the context, return the node.  */

static Idx
check_halt_state_context (const re_match_context_t *mctx,
                          const re_dfastate_t *state, Idx idx)
{
  Idx i;
  unsigned int context;
  DEBUG_ASSERT (state->halt);
  context = re_string_context_at (&mctx->input, idx, mctx->eflags);
  for (i = 0; i < state->nodes.nelem; ++i)
    if (check_halt_node_context (mctx->dfa, state->nodes.elems[i], context))
      return state->nodes.elems[i];
  return 0;
}

glibc/posix/rxspencer/COPYRIGHT

 NE2000 http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/11/ Sat, 11 Apr 2026 00:00:00 +0900 http://www.kt.rim.or.jp/~kbk/zakkicho/post/2026/04/11/ 命令セット 同じ処理、3つの命令セット——x86_64・ARM・z/Architecture のアセンブリを読み比べる メインフレームのものもある

命令セット

同じ処理、3つの命令セット——x86_64・ARM・z/Architecture のアセンブリを読み比べる

メインフレームのものもあるのがめずらしい

明朝体

【市谷の杜 本と活字館 企画展「明朝体」】
会期：2026年2月21日（土）～2026年5月31日（日）

へー

SOM

Sort Chinese numbers

bug#80761: Proposal: Sort Chinese numbers

メモ

VLIW

VLIW: The “Impossible” Computer : r/programming

そんなのもありましたねえ…

STL containers in pure C

メモその2

awk

goawk

Avoid sub/gsub rebuilding $0 when no substitutions made (fix gsubtst7) by benhoyt · Pull Request #276 · benhoyt/goawk

gawk

バージョンアップがあったせいかちょっとバグレポが活発

Possible bug in Gawk 5.3.2 due to split() fix

$ echo 'a.a.a' | ./gawk-5.2.1 '{ n = split($0, a, /./); for (i=1; i<=n;
i++) { print i, a[i] } }'
1
2
3
4
5
6
$ echo 'a.a.a' | ./gawk-5.3.2 '{ n = split($0, a, /./); for (i=1; i<=n;
i++) { print i, a[i] } }'
1 a
2 a
3 a
$ echo 'a.a.a' | original-awk '{ n = split($0, a, /./); for (i=1; i<=n;
i++) { print i, a[i] } }'
1
2
3
4
5
6
$ echo 'a.a.a' | mawk '{ n = split($0, a, /./); for (i=1; i<=n; i++) {
print i, a[i] } }'
1
2
3
4
5
6

最初これを //でsplitするのと勘違いしちゃったのだけど、 /./ でなのね。 で、このバグ(?)が入り込んだコミットも指摘されていて

Fix subtle issue with split(). - gawk.git - gawk

diff --git a/field.c b/field.c
index ab1964fd..5464083b 100644
--- a/field.c
+++ b/field.c
@@ -1198,8 +1198,8 @@ do_split(int nargs)
 				warned = true;
 				lintwarn(_("split: null string for third arg is a non-standard extension"));
 			}
-		} else if (fs->stlen == 1 && (sep->re_flags & CONSTANT) == 0) {
-			if (fs->stptr[0] == ' ') {
+		} else if (fs->stlen == 1) {
+			if ((sep->re_flags & CONSTANT) == 0 && fs->stptr[0] == ' ') {
 				parseit = def_parse_field;
 			} else
 				parseit = sc_parse_field;

というもの。これだとちょっとわかりづらいので 範囲をもう少し広げてコードを見ると

	fs = sep->re_exp;

		if (fs->stlen == 0) {
			static bool warned = false;

			parseit = null_parse_field;

			if (do_lint && ! warned) {
				warned = true;
				lintwarn(_("split: null string for third arg is a non-standard extension"));
			}
		} else if (fs->stlen == 1 && (sep->re_flags & CONSTANT) == 0) {
			if (fs->stptr[0] == ' ') {
				parseit = def_parse_field;
			} else
				parseit = sc_parse_field;
		} else {
			parseit = re_parse_field;
			rp = re_update(sep);
		}
	}

else ifのところで /./は長さが1(fs->stlen == 1{) でregexp constant (sep->re_flags & CONSTANT) == 0) なので、その内側のif～elseに行って fs->stptr[0]がスペースではないので parseit = sc_parse_field;` として1文字でのフィールド分割を行うように設定する。と

で、この動きは

Re: Possible bug in Gawk 5.3.2 due to split() fix

Thanks for the report. I will review. POSIX isn’t as clear about things as it (c|sh)ould be.

というのがメンテナーのarnoldの主張で

Re: Possible bug in Gawk 5.3.2 due to split() fix

* When the third argument is a string, then the same rules as for FS apply:
* 	* A single space		-->	Default fields splitting
* 	* Any other single character	-->	That character splits
* 	* Longer than one character	-->	Regex splitting

ということになった(なる)らしい

Re: Corrupted output with function call and array lookup

とんがり帽子

名前を出してはいけない ララァ専用モビルアーマーとか

C

なんか怪しげな説がちらほら

I

スレッドを追いかけると諸説入り乱れてますな(笑

49

この話を見てWindows96にもそんなバグあったような… と思ったのだけど、 お仲間が

根っこ(ミリ秒単位のカウントのオーバーフロー)は同じみたいすね