Kuniwak's Avatar

Kuniwak

@kuniwak.com

Formal Methods Learner (2019-), Software Engineer in Test (2018-), iOS/Web app developer, Git Challenge Problem Author (-2018). /kɯɲiːwʌk/

152
Followers
121
Following
109
Posts
27.06.2023
Joined
Posts Following

Latest posts by Kuniwak @kuniwak.com

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

17.02.2026 23:25 👍 0 🔁 0 💬 0 📌 0
Post image Post image Post image Post image
15.02.2026 10:14 👍 1 🔁 0 💬 0 📌 0
Preview
『マスタースケジュールの理論とコインチェックにおける実践 - 若くない何かの悩み』へのコメント devorgachem: 書きました。PFD 使うすべての人に届いてほしい

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

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

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

14.09.2025 07:41 👍 5 🔁 0 💬 0 📌 0

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

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

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

17.05.2025 22:42 👍 1 🔁 0 💬 0 📌 0
Post image

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

05.05.2025 23:29 👍 1 🔁 0 💬 0 📌 0
Post image

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

29.04.2025 00:31 👍 3 🔁 0 💬 0 📌 0

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

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

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

20.04.2025 23:50 👍 2 🔁 0 💬 0 📌 0

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

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

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

17.04.2025 00:22 👍 8 🔁 3 💬 0 📌 1
Post image
04.04.2025 06:54 👍 1 🔁 0 💬 0 📌 0
Preview
大震災に備えた救急箱に何を入れるべきなのか? - 若くない何かの悩み 大震災に備え我が家に備えておく救急箱に何を入れるべきか検討した記録です。

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

12.02.2025 09:57 👍 0 🔁 0 💬 0 📌 0

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

04.02.2025 12:30 👍 0 🔁 0 💬 0 📌 0

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

04.01.2025 09:40 👍 2 🔁 0 💬 0 📌 0
Post image

Trie

04.01.2025 02:37 👍 0 🔁 0 💬 0 📌 0
Preview
新年開ウンうさみくじ【小吉】 - FLUFFLOP 新年開ウンうさみくじ【小吉】

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

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

03.01.2025 04:26 👍 0 🔁 0 💬 0 📌 0

🎍㊗️

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

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

27.12.2024 02:35 👍 4 🔁 4 💬 1 📌 0

metoo

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

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

27.12.2024 02:35 👍 4 🔁 4 💬 1 📌 0
Post image

#hacoa

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

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

03.12.2024 03:59 👍 0 🔁 0 💬 0 📌 0

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

23.11.2024 13:52 👍 1 🔁 0 💬 0 📌 0

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

23.11.2024 13:50 👍 1 🔁 0 💬 0 📌 0

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

23.11.2024 13:44 👍 0 🔁 0 💬 2 📌 0

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

23.11.2024 13:36 👍 1 🔁 0 💬 0 📌 0

uhooi さんドラ神回避 #vimconf

23.11.2024 08:06 👍 0 🔁 0 💬 0 📌 0

"Your time exists to be used for the text editor" - Shougo #vimconf

23.11.2024 07:30 👍 0 🔁 0 💬 0 📌 0