Skip to content

Instantly share code, notes, and snippets.

View zonuexe's full-sized avatar
🤓
PHP is a Lisp. Emacs is Web.

USAMI Kenta zonuexe

🤓
PHP is a Lisp. Emacs is Web.
View GitHub Profile
@zonuexe
zonuexe / why-japanese-drop-articles-and-s.md
Last active July 26, 2026 22:55
The Invisible Architecture: Why Japanese Speakers Drop Articles and the "-s"

The Invisible Architecture: Why Japanese Speakers Forget Articles and the "-s" Suffix

If you converse with a native Japanese speaker in English, you will likely notice a persistent grammatical quirk, even among those who are highly fluent. They might say, "I bought new car," "She like cats," or "I have two apple." The articles (a, an, the) disappear, and the -s suffix—whether for plural nouns or third-person singular verbs—frequently vanishes.

To a native English speaker, these omissions can sound like basic carelessness. However, they are actually a fascinating window into how differently the two languages conceptualize reality. The Japanese speaker is not being sloppy; they are grappling with an "invisible architecture" of English that simply does not exist in their native tongue.

The Obsession with Boundaries: Articles

English is a language obsessed with boundaries and specificity. When an English speaker thinks of a noun, their brain must automatically process it through a mandatory checklist

@zonuexe
zonuexe / dspec-vs-rigor.md
Last active July 16, 2026 10:23
dspecについてRigorを開発しているClaude Codeの見立て

Q. あなたの意見では、mizchi/dspecはどんなアプリケーションの記述に向いていると思う?

端的に言うと、マルチテナントのクラウド SaaS で、規制対応の説明責任があり、インフラが異種混成のもの — 具体的には fintech / healthcare / gov 系、あるいは SOC 2・ISO 27001・GDPR を負う B2B SaaS です。規模は 10〜50 サービス、TypeScript/Cloudflare/K8s 系のスタック。

ただ、この結論よりなぜそうなるかの方が面白いので、そちらを書きます。

dspec は自分の README に誤って紹介されている

これが私の一番強い意見です。dspec は自らを "a human-level executable specification language" と名乗り、Lean / TLA+ / Alloy への射影を前面に出しています。しかしそこが一番弱い部分でした — Clause AST は 91 行の命題論理断片、atom は文字列上の無解釈述語、semantic な検証パスは Lean の eq/neq/not/implies 断片のみ、自己モデルの bounded/proved はゼロ。

@zonuexe
zonuexe / microbench.md
Created January 6, 2026 16:22
is_bool() benchmark

$v === (bool)$v

ちょっと興味深いので比較してみました

条件の差を縮めるため、以下の式をラップしたユーザー定義関数の呼び出しを使います。

label expression
is_bool (\native) \is_bool($v)
is_bool (ns) is_bool($v)
@zonuexe
zonuexe / ninja.md
Last active December 31, 2025 05:31
Web開発 vs 忍者式テスト 🥷

先に私(tadsan)の理解

  • テスト技法としての忍者式テストは生きたテストを継続的に成長させるものだと整理できる
  • 品質保証目的というより、チームがプロジェクトに当事者意識を持ち続けられるように、絶えずプロダクトに接する営みである

前提: エクストリーム・プログラミング (XP)

2000年前後に整理されたソフトウェア開発のプラクティス体系。

@zonuexe
zonuexe / README.md
Created June 15, 2025 16:32
PHPerKaigi Lisp

PHPerKaigiのコードゴルフ問題として作問した過程でできたLispです。

リスト処理言語

標準入力で以下のような形式のJSONが入力される。以下の規則に従って処理せよ。出力はecho json_encode(JSON_PRETTY_PRINT)形式で出力する。

  • 入力はJSONのarrayであり、先頭が命令、以降の要素を引数とする
    • ["+", 1, 2, 3] は、一般的な計算式の 1 + 2 + 3 を意味する
    • ["-", 1, 2, 3] は、一般的な計算式の 1 - 2 - 3 を意味する
  • ["*", 1, 2, 3] は、一般的な計算式の 1 * 2 * 3 を意味する
@zonuexe
zonuexe / bug-72808.md
Last active October 26, 2024 07:17
Emacs 30: EditorConfig indent_size vs tab_width issue

bug#72808: 30.0.90; editorconfig doesn't set tab_width to a default value

https://mail.gnu.org/archive/html/bug-gnu-emacs/2024-09/msg00316.html

From: Eli Zaretskii
Subject: bug#72808: 30.0.90; editorconfig doesn't set tab_width to a default value
Date: Sat, 07 Sep 2024 10:27:44 +0300

> Cc: 72808@debbugs.gnu.org, jaygkamat@gmail.com, 8.slashes@gmail.com
@zonuexe
zonuexe / haiku.el
Last active January 7, 2024 19:00
Emacsから全俳句データベースをブラウザで開く
;;; haiku.el --- Access to All Haiku database -*- lexical-binding: t; -*-
;; Copyright (C) 2024 USAMI Kenta
;; Author: USAMI Kenta <tadsan@zonu.me>
;; Keywords: multimedia
;; License: GPL-3.0-or-later
;; This program is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
@zonuexe
zonuexe / 3-berkeley-unix.md
Last active December 7, 2023 23:02
『オープンソースソフトウェア 彼らはいかにしてビジネススタンダードになったのか』 3. バークレー版UNIXの20年

3. バークレー版UNIXの20年

Twenty Years of Berkeley Unix:
From AT&T-Owned to Freely Redistributable

バークレー版UNIXの20年
(UNIXが、AT&Tの所有物からオープンソースソフトウェアになるまで)

Marshall Kirk McKusick (マーシャル・カーク・マクージック)

Translation by Akira Kurahone

@zonuexe
zonuexe / README.md
Last active December 5, 2023 10:43
Emacs Lisp repository names survey
@zonuexe
zonuexe / after.txt
Created November 15, 2023 14:55
phpactor.phar file list
.box/.requirements.php
.box/bin/check-requirements.php
.box/src/Checker.php
.box/src/IO.php
.box/src/IsExtensionConflictFulfilled.php
.box/src/IsExtensionFulfilled.php
.box/src/IsFulfilled.php
.box/src/IsPhpVersionFulfilled.php
.box/src/Printer.php
.box/src/Requirement.php