<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0">
    <channel>
        <title>ren - しずかなインターネット</title>
        <link>https://sizu.me/lotus530</link>
        <description>ren さんの記事一覧のRSSフィードです</description>
        <lastBuildDate>Fri, 05 Jun 2026 23:19:52 GMT</lastBuildDate>
        <docs>https://validator.w3.org/feed/docs/rss2.html</docs>
        <generator>しずかなインターネット</generator>
        <copyright>© @lotus530</copyright>
        <item>
            <title><![CDATA[2ヶ月]]></title>
            <link>https://sizu.me/lotus530/posts/fzom3z6va9kc</link>
            <guid>https://sizu.me/lotus530/posts/fzom3z6va9kc</guid>
            <pubDate>Thu, 09 Apr 2026 07:38:49 GMT</pubDate>
            <description><![CDATA[早いもので、もうすぐ子が生まれて2ヶ月が経つ。
追視するようになったり、目を合わせた時によく笑うようになったりと、嬉しい成長を見せてくれている。まだ短時間だけど、晴れた日に公園でピクニックするようにもなり、それも楽しい。
寝かしつけの後に床に寝かせるとすぐ起きてしまうから、最近は日中もずっと抱っこしている。抱っこ紐のおかげで両手が空くので、暇つぶしはできる。
泣きまくって大変なときもあるけど、育児…]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[Requirements-Driven Automated Software Testing: A Systematic]]></title>
            <link>https://sizu.me/lotus530/posts/xv4if3715vo3</link>
            <guid>https://sizu.me/lotus530/posts/xv4if3715vo3</guid>
            <pubDate>Tue, 10 Mar 2026 09:54:56 GMT</pubDate>
            <description><![CDATA[Requirements-Driven Automated Software Testing (REDAST)の既存研究をまとめたもの。長すぎたので、chat gptに要約させたもので流し読み。
リサーチクエスチョンと、得られた結論は以下の通り。
RQ1. What are the input configurations, formats, and notations used in the r…]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[Automatic Generation of System Test Cases from Use
Case Spec]]></title>
            <link>https://sizu.me/lotus530/posts/vfdb4hxedvd5</link>
            <guid>https://sizu.me/lotus530/posts/vfdb4hxedvd5</guid>
            <pubDate>Mon, 09 Mar 2026 13:19:04 GMT</pubDate>
            <description><![CDATA[以下の手順で、ユースケース記述から実行可能なテストケースを作成する手法を提案。
ユースケース仕様を作成（RUCM形式）: 制約付き自然言語のユースケース仕様を記述する
ドメインモデル作成 : UMLクラス図とOCL制約を用いてシステムの概念モデルを定義する
NLPでユースケース解析 : ユースケースから以下を抽出する
入力
条件
代替フロー
事後条件 
Use Case Test Model (U…]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[物語化批判の哲学　〈わたしの人生〉を遊びなおすために]]></title>
            <link>https://sizu.me/lotus530/posts/h1u6a843z9xv</link>
            <guid>https://sizu.me/lotus530/posts/h1u6a843z9xv</guid>
            <pubDate>Thu, 05 Mar 2026 15:00:00 GMT</pubDate>
            <description><![CDATA[物語的主体に無自覚でいると自己認識が歪んでいくという主張は、アイデンティティが習慣を形作るという、別の本で出てきた主張と通ずるものがあるように感じた。
ゲーム的主体、パズル的主体、ギャンブル的主体、おもちゃ的主体、という主体の色々な捉え方を読めて面白かった。色んなモードがあるということに自覚的でいるだけでも、自己認識をコントロールしやすくなっていくのだろうと思った。]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[WILLPOWER 意志力の科学]]></title>
            <link>https://sizu.me/lotus530/posts/v8nuufasu0cf</link>
            <guid>https://sizu.me/lotus530/posts/v8nuufasu0cf</guid>
            <pubDate>Wed, 11 Feb 2026 04:01:03 GMT</pubDate>
            <description><![CDATA[メモ
意志力とは、何かを決断したり我慢したりと、自己コントロールのために使われるもの
意志力には限りがあり、意志力を消耗してしまった後では、判断を誤ることがある。少なくとも、消耗前であれば下せた判断や行動を取ることができなくなる
未完のものは脳のリソースを消費し続ける。だからこそ、GTDは有用
この本の内容をベースに直近の1年間を振り返ると、自己コントロールに使えるリソースは有限なのに常に複数の問…]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[ユースケース記述のケーススタディ論文]]></title>
            <link>https://sizu.me/lotus530/posts/u6z2wtimo6x7</link>
            <guid>https://sizu.me/lotus530/posts/u6z2wtimo6x7</guid>
            <pubDate>Tue, 10 Feb 2026 12:50:39 GMT</pubDate>
            <description><![CDATA[Requirements Engineering 2025で採択されたもので読みやすそうなものをチョイス。
Use Case記述の企業での採用状況、品質や開発工程への影響を実証的に分析したケーススタディ研究
理論の提案は多いけど、実務での実証はあまりされていないよね。っていう課題感から書かれたものらしい
覚えておきたいと思ったこと
ユースケース記述に詳細過ぎることを記載するのは、却って設計工程を遅…]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[2026-01-23]]></title>
            <link>https://sizu.me/lotus530/posts/44r6x4muz3fv</link>
            <guid>https://sizu.me/lotus530/posts/44r6x4muz3fv</guid>
            <pubDate>Fri, 23 Jan 2026 12:31:58 GMT</pubDate>
            <description><![CDATA[科学は新しい学説のおかげではなく、それを検証するうまい方法を見つけた誰かのおかげで進歩するのだ。
意志力の科学っていう本を読み始めた。
評価駆動開発の話と関連して、自分の中でタイムリーに響く文句だ。]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[2026-01-21]]></title>
            <link>https://sizu.me/lotus530/posts/4ohhiebf6iwk</link>
            <guid>https://sizu.me/lotus530/posts/4ohhiebf6iwk</guid>
            <pubDate>Wed, 21 Jan 2026 08:23:13 GMT</pubDate>
            <description><![CDATA[走り続ける人たちだけが生き残れる世界であって欲しくないと思う。
だから、制度上取れる最長の休暇を取ることにした。
この考え方は、ジョンロールズっていう人の正義論や政治的リベラリズムに近いらしい。そのうち深掘りしてみようかな。]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[「テストの十分性」の調査 #2]]></title>
            <link>https://sizu.me/lotus530/posts/e8zxs6xzodes</link>
            <guid>https://sizu.me/lotus530/posts/e8zxs6xzodes</guid>
            <pubDate>Fri, 02 Jan 2026 15:00:00 GMT</pubDate>
            <description><![CDATA[THE CATEGORY-PARTITION METHOD FOR SPECIFYING AND GENERATING FUNCTIONAL TESTS
1988年にCommunications of the ACMに掲載された論文。
category-partition method とは、
機能仕様を、独立してテスト可能なfunctional unitsに分割する
機能の振る舞いに影響する'p…]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[「Safety-Ⅰ & Safety-Ⅱ」を読んだ。#1]]></title>
            <link>https://sizu.me/lotus530/posts/7b7d8a352udk</link>
            <guid>https://sizu.me/lotus530/posts/7b7d8a352udk</guid>
            <pubDate>Tue, 23 Dec 2025 15:00:00 GMT</pubDate>
            <description><![CDATA[Safety-Ⅰ& Safety-Ⅱ―安全マネジメントの過去と未来  
第1章まで読んだ。
"確かさの希求"は、とりあえずテストをやっておくような事例に通ずるところがあると感じた。
"調節器のパラドックス"は、パッと見ソフトウェアテストでいう殺虫剤のパラドックスに近いのかなと思ったけど違った。調節器のパラドックスは、調節器が働くほど、調節器に必要なフィードバックを得られなくなる…ということを指すも…]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[「テストの十分性」の調査 #1]]></title>
            <link>https://sizu.me/lotus530/posts/w9xhi5mtisxt</link>
            <guid>https://sizu.me/lotus530/posts/w9xhi5mtisxt</guid>
            <pubDate>Sun, 21 Dec 2025 15:05:56 GMT</pubDate>
            <description><![CDATA[Experiments on the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria
1994年のICSEに出されていたもの。
内容は、データフローベースと制御フローベースで「テストの十分性」の基準を設け、その基準が不具合検出能力に寄与するかを検証したもの。
90%や95%より100%達成の方が欠陥検出…]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
        <item>
            <title><![CDATA[Joe Pass]]></title>
            <link>https://sizu.me/lotus530/posts/8wnf9b8kix9a</link>
            <guid>https://sizu.me/lotus530/posts/8wnf9b8kix9a</guid>
            <pubDate>Fri, 19 Dec 2025 15:00:00 GMT</pubDate>
            <description><![CDATA[VIRTUOSO
ジョーパスは、アメリカのジャズギタリスト。
「CAGED」コードが特徴で、人差し指をカポタスト代わりに使い、いろんなオープンコードフォームを弾いていたらしい。
ギター1本ほぼ生音のアルバムなのがスゴイ。
しばらく聴いてみる。スコアも見つかったから、挑戦してみようかな。]]></description>
            <enclosure length="0" type="image/png" url="https://static.sizu.me/api/og-image/418be7adc988?theme=user&amp;username=lotus530"/>
        </item>
    </channel>
</rss>