星取表はあればあるほどいいと思われがちだが、実際には使うものの星のみがついていて、それ以外はついていないのがベストというのは見落とされがちだと思っている

『マスタースケジュールの理論とコインチェックにおける実践 - 若くない何かの悩み』へのコメント devorgachem: 書きました。PFD 使うすべての人に届いてほしい

かきました b.hatena.ne.jp/entry/477982...

株式会社ディー・エヌ・エーを退職しました - 若くない何かの悩み 七年間お世話になりました。 送別会で発表を依頼された (!?) ので発表資料を用意しました。 次の会社はコインチェックです。よろしくお願いいたします。

blog.kuniwak.com/entry/2025/0...

なぜ国際法を守る世界が来ないのか

5年前に私の中で起きた理解しやすさのブレークスルーを振り返る - 若くない何かの悩み 10年前から文章の理解しやすさの認識がだいぶ変わった。昔は論理式やそれに相当する固い説明がどっさり書かれている文章を理解しやすいとは思わなかったが、今ではコンテキストさえ掴んでいれば論理式やそれに相当する固い説明で書かれた文章の方が理解しやすいと感じる。たとえば論理式やそれに相当する固い説明がどっさり（本当にどっさり）書いてある ソフトウェア科学基礎 や 型システム入門 を理解しやすいと今は思う。...

blog.kuniwak.com/entry/2025/0...

ホテルオークラのレシピでスコーン焼いてみた。焼きたてはふわふわ、冷ますとザクザクで好きな味だった

ホットケーキへたくそ選手権

最小機能のツールしか作らないので、作った当日に 1.0.0 をリリースできる

小ネタ: macOS 標準のコマンドだけで MacBook を閉じても勝手に寝ないようにする - Qiita TL;DRmacOS には caffeinate というコマンドが標準であって、スリープ突入を一時的に抑制できるよlaunchd というプロセスが macOS では常時動いていて、システム起動の…

"ところで、この pid の検査がザルのため、 caffeinate コマンド自身の PID を指定しても問題なくカーネルに受理されてしまい、結果として（中略）永久にスリープ突入を阻止できるという目標が達成できる。" / 草 htn.to/33NFwsqw2a

記事末に MCP を使った応用とかも書きました。機会可読な仕様書をプロンプトに入れて実装と正当性検証を自動でやりたいという野望があります

画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 - DeNA Testing Blog SWET第二グループのKuniwakです。本記事では画面仕様（後述）の仕様書に対する静的検査器を開発した事例について紹介します。 伝えたいこと 画面表示と画面遷移を記述する仕様書は機械可読にできる 仕様書が機械可読であれば仕様の静的検査ができる 静的検査によって自身の担当範囲の15%の画面から計40件弱の欠陥を発見した 機械可読な仕様書にはさらなる応用が見込める おさらい：仕様とは 仕様の定義はい...

Lintオタクがとうとう仕様書に踏み込んだ話を書きました。機械可読な仕様書は圧倒的正義！ / “画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 - DeNA Testing Blog” htn.to/UfvLFkhEmN

大震災に備えた救急箱に何を入れるべきなのか？ - 若くない何かの悩み 大震災に備え我が家に備えておく救急箱に何を入れるべきか検討した記録です。

blog.kuniwak.com/entry/2024/0...

眠いとき瞼を瞑ると、瞼の筋肉が痙攣してプルルと音がするんだけど、自分だけなのか？娘はどうやらそれがあるらしいが…

育児とは中断力であると痛感している

Trie

新年開ウンうさみくじ【小吉】 - FLUFFLOP 新年開ウンうさみくじ【小吉】

今年の運勢は【小吉】でした！
「じぶんのペースで ゆっくりと」

#新年開ウンうさみくじ by @flufflop.com
flufflop.com/apps/usamiku...

🎍㊗️

子供の命名のために名前を探索するツールを作った - 若くない何かの悩み 子供が産まれるのに備え子供の名前を探索するツールを作りました。Linux、macOS、Windows で次のように名前の候補を列挙してくれます： $ name search --space full 山田 --max-length 2 < ./filter.json | tee result.tsv 評点 画数 名前 読み 性別 天格 地格 人格 外格 総格 14 16 丈辞 ジョウジ 男性 吉 ...

書きました / “子供の命名のために名前を探索するツールを作った - 若くない何かの悩み” htn.to/3wZ6iXXmPh

metoo

子供の命名のために名前を探索するツールを作った - 若くない何かの悩み 子供が産まれるのに備え子供の名前を探索するツールを作りました。Linux、macOS、Windows で次のように名前の候補を列挙してくれます： $ name search --space full 山田 --max-length 2 < ./filter.json | tee result.tsv 評点 画数 名前 読み 性別 天格 地格 人格 外格 総格 14 16 丈辞 ジョウジ 男性 吉 ...

書きました / “子供の命名のために名前を探索するツールを作った - 若くない何かの悩み” htn.to/3wZ6iXXmPh

#hacoa

フロー解析を実装した静的解析ツールをOSS公開しました - DeNA Testing Blog こんにちは、SWETの秦野です。 2024/8/22のCEDEC2024にてIKさんと私でRoslynアナライザーに関する発表を行いました。 そして先日、本発表で紹介した静的解析ツールをOSSとして公開しました。 本記事では、CEDECの発表内容と公開したツールについて紹介していきます。 また、本ツールで実装されている静的解析技術（主にフロー解析）について解説します。 CEDEC2024での発表 ...

swet.dena.com/entry/2024/1...

ただし教科書の著者ほどには自分は理解はできていないから、誤りが含まれるリスクは高い。その品質のものではあるけども教科書では届かない人へ届けることができたらいいなと思う

教科書を読めばわかることを発表で知って実用し始めた経験が自分にいくつかある。なので価値はあるのだろうとは思う

テスト界隈に向けてなんとか自分の今の知識を広めたいと思うが、すでによい教科書などが知られてる中で自分がなぜ改めて発表するのかを考えている

プロセス代数についてずっと話していた #vimconf

uhooi さんドラ神回避 #vimconf